Sciweavers

3901 search results - page 125 / 781
» software 2008
Sort
View
JUCS
2008
155views more  JUCS 2008»
15 years 4 months ago
Determining Software Investment Lag
: The investments needed to bring a software project to the market are substantial and can extend over several years. Managing software development requires not only technical expe...
Gio Wiederhold
TCAD
2008
181views more  TCAD 2008»
15 years 4 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...
FMOODS
2008
15 years 5 months ago
Modeling and Model Checking Software Product Lines
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...
Alexander Gruler, Martin Leucker, Kathrin D. Schei...
WICSA
2008
15 years 5 months ago
Simulating Software Architectures for Functional Analysis
Simulation is a mean for verifying the quality of an architectural specification. Some approaches have been proposed in the past. Each approach has its own internal simulation eng...
Henry Muccini, Patrizio Pelliccione