Sciweavers

1926 search results - page 201 / 386
» Modeling and Model Checking Software Product Lines
Sort
View
EWSPT
2003
Springer
15 years 10 months ago
Quality Ensuring Development of Software Processes
: Software development is a complex process where many organizational units, persons, systems and artifacts are involved. In companies that exceed a certain size the business proce...
Alexander Förster, Gregor Engels
ISSRE
2010
IEEE
15 years 3 months ago
A Large-Scale Industrial Case Study on Architecture-Based Software Reliability Analysis
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...
Heiko Koziolek, Bastian Schlich, Carlos G. Bilich
EUROMICRO
1998
IEEE
15 years 9 months ago
Software Quality Assurance - Concepts and Misconceptions
Software quality engineering is concerned with building software products with required quality and assessing the level of quality. Software processes are important assets in achi...
Per Runeson, Peter Isacsson
CCGRID
2006
IEEE
15 years 10 months ago
Component-Based Modeling, Analysis and Animation
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
Jeff Kramer
EMSOFT
2006
Springer
15 years 8 months ago
Software partitioning for effective automated unit testing
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
Arindam Chakrabarti, Patrice Godefroid