1137 search results - page 132 / 228 » Disciplined Methods of Software Specification: A Case Study |
ISCA
2002
IEEE
14 years 9 months ago
2002
IEEE
This paper introduces the Simulation Architecture Description Language (SADL) developed at the National Aeronautics and Space Administration's Marshall Space Flight Center to...
107
click to vote
WER
2010
Springer
14 years 7 months ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
102
click to vote
RSP
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper describes the early analysis and estimation features currently implemented in the Berkeley Emulation Engine (BEE) system. BEE is an integrated rapid prototyping and des...
RE
2006
Springer
14 years 9 months ago
2006
Springer
Domain knowledge is one of crucial factors to get a great success in requirements elicitation of high quality, and only domain experts, not requirements analysts, have it. We prop...
148
click to vote
TII
2011
14 years 4 months ago
2011
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...