2118 search results - page 111 / 424 » Execution of A Requirement Model in Software Development |
145
click to vote
BELL
2000
15 years 4 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
165
click to vote
LCTRTS
2010
Springer
15 years 2 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
128
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Model-driven development requires a full set of development tools. While technologies for constructing graphical editors, compilers etc. are readily available, there is a lack of ...
144
click to vote
CIT
2007
Springer
15 years 8 months ago
2007
Springer
Existence of crosscutting concerns in software requirements often intensifies complexity of software development. Modeling and analysis of these concerns at software architecture ...
140
click to vote
CISIS
2010
IEEE
15 years 3 months ago
2010
IEEE
The new generation of open networked IT systems poses particular challenges to software engineering due to their evolving nature and their high quality requirements. In particular...