4418 search results - page 117 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
178
click to vote
ECOOPW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Software evolution has largely been focused on low-level implementation artefacts through refactoring techniques rather than the architectural level. However code-centric...
155
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
154
click to vote
EDCC
2010
Springer
15 years 9 months ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
142
click to vote
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
132
click to vote
CBSE
2009
Springer
15 years 11 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...