3399 search results - page 308 / 680 » Requirements Development in Scenario-Based Design |
177
click to vote
MODELS
2007
Springer
16 years 24 days ago
2007
Springer
This report summarizes the results and discussions from the 11th Workshop on Aspect-Oriented Modeling (AOM). The workshop was held in conjunction with the International Conference ...
141
click to vote
SEW
2006
IEEE
16 years 20 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
193
click to vote
ICWE
2005
Springer
16 years 5 days ago
2005
Springer
Cloning (ad hoc reuse by duplication of design or code) speeds up development, but also hinders future maintenance. Cloning also hints at reuse opportunities that, if exploited sys...
152
click to vote
MSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Intellectual property IP blocks are being created for reuse and marketed as a means of reducing the development time of complex designs. This in turn leads to a reduction in time ...
195
click to vote
FAABS
2000
Springer
15 years 10 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...