7380 search results - page 1219 / 1476 » Engineering Software Intensive Systems |
126
Voted
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
119
Voted
ISSRE
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper explores a novel application of queuing theory to the corrective software maintenance problem to support quantitative balancing between resources and responsiveness. In...
152
Voted
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
138
Voted
ICSR
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Refinement concepts, such as procedural and data refinement, are among the most important ideas of software engineering. In this paper, we investigate the idea of design ...
130
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...