13 search results - page 1 / 3 » Model-based software configuration: patterns and languages |
EJIS
2006
13 years 5 months ago
2006
ICSE
2009
IEEE-ACM
13 years 3 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
ICSE
1993
IEEE-ACM
13 years 9 months ago
1993
IEEE-ACM
Software designers compose systems from components written in some prolanguage. They regularly describe systems using abstract patterns and sophisticated relations among component...
LCPC
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. This paper describes how the use of software libraries, which is prevalent in high performance computing, can benefit from compiler optimizations in much the same way tha...
EUROMICRO
2006
IEEE
13 years 11 months ago
2006
IEEE
One area of the web services architecture yet to be standardised is that of fault tolerance for services. At the same time, WS-BPEL is moving from a de facto standard to an OASIS ...