376 search results - page 4 / 76 » A Controlled Language for the Specification of Contracts |
IFL
2007
Springer
14 years 5 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
EEE
2005
IEEE
14 years 4 months ago
2005
IEEE
Comprehensive contractual description of Web Services and Web Service compositions is needed for selection of appropriate Web Services and their service and quality of service (Qo...
COORDINATION
2005
Springer
14 years 4 months ago
2005
Springer
Software systems are becoming more open, distributed, pervasive, and connected. In such systems, the relationships between loosely-coupled application elements become non-determini...
LCTRTS
2010
Springer
14 years 5 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...
AUTOMATICA
2008
13 years 11 months ago
2008
The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synth...