1200 search results - page 50 / 240 » The Problem Frames Approach to Software Engineering |
SPLC
2007
13 years 10 months ago
2007
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...
COMPSAC
2008
IEEE
14 years 3 months ago
2008
IEEE
Commercial-off-the-shelf components (COTS) are widely reused at present and black-box composition is the unique way to integrate them into the target system. However, various mism...
AMAST
2006
Springer
13 years 10 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
DAGSTUHL
2007
13 years 10 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
FATES
2005
Springer
14 years 2 months ago
2005
Springer
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...