1121 search results - page 84 / 225 » Building Formal Requirements Models for Reliable Software |
RE
2004
Springer
15 years 5 months ago
2004
Springer
One of the benefits of goal-oriented requirements engineering is the possibility of conducting formal analysis in order to evaluate alternative solutions of goal models. Superfici...
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
Truly successful models for component-based software development continue to prove elusive. One of the few is the use of operating system, database and similar programs in many sy...
106
click to vote
EUROMICRO
1998
IEEE
15 years 4 months ago
1998
IEEE
Software quality engineering is concerned with building software products with required quality and assessing the level of quality. Software processes are important assets in achi...
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
115
click to vote
CADE
2004
Springer
16 years 6 days ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...