382 search results - page 53 / 77 » Product derivation for solution-driven product line engineer... |
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
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...
WECWIS
2006
IEEE
15 years 3 months ago
2006
IEEE
E-contracts are used to describe the supply and the consumption details of e-services within a business process. The establishment of e-contracts in a given application domain usu...
CBSE
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we report on a case study of correct automatic assembly of software components. We show the application of our tool (called Synthesis) for correct components assembly...
VAMOS
2009
Springer
15 years 4 months ago
2009
Springer
In software product line engineering, feature models enable to automate the generation of productspecific models in conjunction with domain “base models” (e.g. UML models). T...
143
click to vote
ECSA
2011
Springer
13 years 9 months ago
2011
Springer
Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduct...