4799 search results - page 26 / 960 » Model Based Requirements Engineering for Embedded Software |
CBSE
2004
Springer
14 years 9 days ago
2004
Springer
There is a conceptual gap between the way we currently articulate requirements and the reuse-driven paradigm embodied in component-based system development. The principal challenge...
APSEC
1999
IEEE
14 years 27 days ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
FM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
APSEC
2005
IEEE
14 years 2 months ago
2005
IEEE
Requirements volatility is an important risk factor for software projects. Software measures can help in quantifying and predicting this risk. In this paper, we present an industr...
ICFEM
2003
Springer
14 years 1 months ago
2003
Springer