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, ...
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...
Collaborative software development is nowadays inconceivable without optimistic version control systems (VCSs). Without such systems the parallel modification of one artifact by m...
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...
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...