803 search results - page 94 / 161 » Building Formal Models for Software Requirements |
147
click to vote
UML
2000
Springer
15 years 7 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
117
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
134
Voted
IPSN
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
139
click to vote
ICSM
2006
IEEE
15 years 10 months ago
2006
IEEE
The MDA approach aims to ease software maintenance faced with platform and business evolution. In this approach, main development artifacts, i.e. models, are defined with the Meta...
159
click to vote
RE
2006
Springer
15 years 3 months ago
2006
Springer
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...