Sciweavers

7202 search results - page 260 / 1441
» Software System Engineering: A Tutorial
Sort
View
145
Voted
APSEC
1999
IEEE
15 years 11 months ago
Conducting Requirements Evolution by Replacing Components in the Current System
As new software components become available for an existing system, we can evolve not only the system itself but also its requirements based on the new components. In this paper, ...
Haruhiko Kaiya, Kenji Kaijiri
ICSE
1994
IEEE-ACM
15 years 10 months ago
Prototyping a Visual Formalism for System Modelling
Abstract. Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConF...
Michael W. Godfrey, Richard C. Holt, Spiros Mancor...
ICSE
2009
IEEE-ACM
15 years 4 months ago
Improving conflict resolution in model versioning systems
Collaborative software development is nowadays inconceivable without optimistic version control systems (VCSs). Without such systems the parallel modification of one artifact by m...
Petra Broschy
SEKE
1992
Springer
15 years 10 months ago
An Iterative-Cyclic Software Process Model
The current state of traditional software development is surveyed and essential problems are investigated on the basis of system theoretical considerations. The concept of optimis...
Matthias Rauterberg
PASTE
2005
ACM
16 years 5 days ago
An empirical framework for comparing effectiveness of testing and property-based formal analysis
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
Jeremy S. Bradbury, James R. Cordy, Jürgen Di...