376 search results - page 6 / 76 » A Controlled Language for the Specification of Contracts |
189
click to vote
POPL
2006
ACM
15 years 10 months ago
2006
ACM
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
118
click to vote
EDOC
2003
IEEE
15 years 3 months ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
LOPSTR
1998
Springer
15 years 2 months ago
1998
Springer
CD
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents an approach to describe, deploy and manage component-based applications having dynamic functional and non-functional requirements. The approach is centered on a...
TOOLS
1999
IEEE
15 years 2 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...