Sciweavers

11089 search results - page 13 / 2218
» Developing software families
Sort
View
FASE
2012
Springer
12 years 4 months ago
Integration Testing of Software Product Lines Using Compositional Symbolic Execution
Software product lines are families of products defined by feature commonality and variability, with a well-managed asset base. Recent work in testing of software product lines ha...
Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer
JUCS
2008
182views more  JUCS 2008»
13 years 8 months ago
Modularizing Theorems for Software Product Lines: The Jbook Case Study
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
Don S. Batory, Egon Börger
DBSEC
2003
157views Database» more  DBSEC 2003»
13 years 10 months ago
Systematic Development of a Family of Fair Exchange Protocols
: Fair exchange protocols play an important role in application areas such as e-commerce where protocol participants require mutual guarantees that a transaction involving exchange...
Paul D. Ezhilchelvan, Santosh K. Shrivastava
COMPSAC
2002
IEEE
14 years 1 months ago
Software Application Platforms: From Product Architecture to Integrated Application Strategy
One promising approach to more effective software development is the concept of product platform originated from mechanical engineering, aiming at architectural product families i...
Markku Sääksjärvi
ISMIR
2004
Springer
98views Music» more  ISMIR 2004»
14 years 2 months ago
Expressive Notation Package - an Overview
The purpose of this paper is to give the reader a concise overview of Expressive Notation Package 2.0 (henceforward ENP). ENP is music notation program that belongs to a family of...
Mika Kuuskankare, Mikael Laurson