1390 search results - page 91 / 278 » A Methodology for Requirements Engineering Process Developme... |
101
click to vote
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
100
click to vote
IJWIS
2008
14 years 12 months ago
2008
ed Abstract: Purpose of this paper Software Product Line (SPL) is at the forefront among the techniques for reducing costs, decreasing schedule time, and ensuring commonality of fe...
179
click to vote
POPL
2008
ACM
16 years 6 days ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
ICSE
2004
IEEE-ACM
15 years 12 months ago
2004
IEEE-ACM
Software architectural modeling is crucial to the development of high-quality software. Software engineering tool support is required for this activity, so that models can be deve...
81
Voted
SPLC
2000
15 years 1 months ago
2000
: We consider a set of programs a family when it pays to look at their common aspects before looking at their differences. For commercial software developers the implications are t...