Sciweavers

721 search results - page 80 / 145
» Variability Management in Software Product Line Engineering
Sort
View
ICSE
2009
IEEE-ACM
14 years 9 months ago
VCC: Contract-based modular verification of concurrent C
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
Markus Dahlweid, Michal Moskal, Thomas Santen, Ste...
ICWS
2010
IEEE
15 years 1 months ago
Variability Modeling and QoS Analysis of Web Services Orchestrations
The ever-growing choice in diverse services is making service orchestration variability an essential aspect of a composite web service. Influence of this variation on the Quality o...
Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Be...
EUROMICRO
1998
IEEE
15 years 4 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
IEE
2008
116views more  IEE 2008»
14 years 12 months ago
Evaluating formal properties of feature diagram languages
: Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as pa...
Patrick Heymans, Pierre-Yves Schobbens, Jean-Chris...
83
Voted
ISPW
2008
IEEE
15 years 6 months ago
Scoping Software Process Models - Initial Concepts and Experience from Defining Space Standards
Defining process standards by integrating, harmonizing, and standardizing heterogeneous and often implicit processes is an important task, especially for large development organiza...
Ove Armbrust, Masafumi Katahira, Yuko Miyamoto, J&...