3514 search results - page 196 / 703 » Evolving Specification Engineering |
118
click to vote
SOFSEM
1999
Springer
15 years 7 months ago
1999
Springer
Changeability (also called evolvability) is an essential property of software. Software change is the foundation for both new software development and legacy software maintenance, ...
120
click to vote
ICSM
1994
IEEE
15 years 7 months ago
1994
IEEE
Software evolution is usually considered in terms of corrections, improvements and enhancements. While helpful, this approach does not take into account the fundamental dimensions...
147
Voted
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
There is a need for mechanisms for maintaining and restoring software integrity on deployed systems. Dynamic replacement, removal and addition of components in deployed systems is...
120
Voted
RE
2008
Springer
15 years 1 months ago
2008
Springer
Requirements models are essential not just during system implementation, but also to manage system changes post-implementation. Such models should be supported by a requirements m...
141
click to vote
ICCAD
2002
IEEE
16 years 1 days ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...