2086 search results - page 180 / 418 » Principles of Software Evolution |
146
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
136
click to vote
CSEE
2003
Springer
15 years 10 months ago
2003
Springer
Many software engineering courses include all-term projects to convey principles relating to large-scale multi-person development. But even such projects will easily be too small ...
173
click to vote
CIBSE
2009
ACM
15 years 9 months ago
2009
ACM
We present a mechanism to derivate products of Software Product Lines (SPLs) using decision models. Our approach to create SPLs is based on Model Driven Engineering principles. It ...
132
Voted
ICSE
2001
IEEE-ACM
15 years 9 months ago
2001
IEEE-ACM
We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce ...
125
click to vote
BCSHCI
2007
15 years 6 months ago
2007
We seek to close the gap between software engineering (SE) and human-computer interaction (HCI) by indicating interdisciplinary interfaces throughout the different phases of SE an...