2558 search results - page 263 / 512 » Model Composition Contracts |
145
click to vote
KBSE
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
138
click to vote
ICCAD
1994
IEEE
15 years 9 months ago
1994
IEEE
We present an improved data model that reflects the whole VLSI design process including bottom-up and topdown design phases. The kernel of the model is a static version concept th...
148
Voted
ICWS
2008
IEEE
15 years 6 months ago
2008
IEEE
BPEL (Business Process Execution Language) has become the standard for specifying and executing workflow specifications for web service composition invocation. A major weakness of ...
124
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
A model is a simplified representation of an aspect of the world for a specific purpose. Complex systems typically give rise to more than one model because many aspects are to be h...
196
click to vote
SPLC
2007
15 years 6 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 ...