1829 search results - page 87 / 366 » Towards Validation of Requirements Models |
ECRTS
2007
IEEE
15 years 6 months ago
2007
IEEE
Today’s CPUs consume a significant amount of power and generate a high amount of heat, requiring an active cooling system to support reliable operations. In case of cooling sys...
112
click to vote
APSEC
2006
IEEE
15 years 6 months ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
106
click to vote
FM
2003
Springer
15 years 5 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
ESWS
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes BT Wholesale’s B2B Gateway as an approach to provide BusinesstoBusiness integration within the Telecommunications sector. ...
WSR
2008
15 years 1 months ago
2008
: Traceability of various artifacts created during the development of software systems plays an important role in software evolution. Subsequent changes to artifacts must be traced...