Sciweavers

7380 search results - page 276 / 1476
» Engineering Software Intensive Systems
Sort
View
ICSE
1994
IEEE-ACM
15 years 7 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 1 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 7 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
15 years 9 months 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...
KBSE
2008
IEEE
15 years 9 months ago
Exploiting social software to build open source communities
This paper describes work in progress on how to build open source communities. The proposed approach is based on exploiting existing social software communities and applications t...
Imed Hammouda, Timo Aaltonen, Petri Sirkkala