2558 search results - page 24 / 512 » Model Composition Contracts |
130
click to vote
BPM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring co...
133
Voted
EEE
2005
IEEE
15 years 8 months ago
2005
IEEE
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...
111
Voted
LCTRTS
2010
Springer
15 years 9 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
TOOLS
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
139
click to vote
VL
2005
IEEE
15 years 8 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...