16725 search results - page 31 / 3345 » Engineering Software Correctness |
EWSA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
97
Voted
INTERACT
1997
15 years 1 months ago
1997
ABSTRACT Do developers use proven usability techniques like user involvement, usability testing, and iterative design in industrial practice? Based on inside knowledge of many diff...
151
Voted
SOFTWARE
2002
14 years 11 months ago
2002
Software's increasingly critical role in systems of widespread significance presents new challenges for the education of software engineers. Not only is our dependence on sof...
105
click to vote
AOSD
2012
ACM
13 years 7 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
101
click to vote
PLDI
2010
ACM
15 years 3 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...