7475 search results - page 59 / 1495 » Supporting use case based requirements engineering |
TSE
1998
14 years 11 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
116
click to vote
ASWEC
2009
IEEE
14 years 9 months ago
2009
IEEE
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
136
click to vote
ECMDAFA
2008
Springer
15 years 1 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
112
click to vote
SCESM
2006
ACM
15 years 5 months ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
DSN
2008
IEEE
15 years 1 months ago
2008
IEEE
We describe a specific application of assurance cases to the problem of ensuring that a transition from a legacy system to its replacement will not compromise mission assurance ob...