140 search results - page 15 / 28 » Formal Modeling for Product Families Engineering |
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Design for change is a well-known adagium in software engineering. We separate concerns, employ well-designed interfaces, and the like to ease evolution of the systems we build. W...
CSEE
2000
Springer
13 years 12 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
SEKE
2004
Springer
14 years 26 days ago
2004
Springer
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
ROOM
2000
13 years 8 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...