5085 search results - page 20 / 1017 » Can We Teach Empirical Software Engineering |
165
click to vote
VMCAI
2012
Springer
14 years 1 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
293
click to vote
EUROSYS
2011
ACM
14 years 9 months ago
2011
ACM
Multicore computers pose a substantial challenge to infrastructure software such as operating systems or databases. Such software typically evolves slower than the underlying hard...
192
click to vote
HCI
2009
15 years 3 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
135
click to vote
IUI
2000
ACM
15 years 10 months ago
2000
ACM
CT How can an adaptive intelligent interface decide what particular action to perform in a given situation, as a function of perceived properties of the user and the situation? Ide...
174
click to vote
COMPSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...