2700 search results - page 159 / 540 » The role of abstraction in software engineering |
168
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
202
click to vote
REFSQ
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. [Context and motivation] With increasing use of software, quality attributes grow in relative importance. Robustness is a software quality attribute that has not received...
172
click to vote
AMAST
2004
Springer
15 years 11 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...
160
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
188
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Companies in the software business often distribute requirements engineering responsibilities over several roles. Product management has overall product responsibility and performs...