1312 search results - page 23 / 263 » Embedded contract languages |
ISAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
FORTE
2003
14 years 11 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
IEE
1998
14 years 9 months ago
1998
In recent years a number of OO methods have been enhanced with textual, mathematical languages for specifying invariants and action contracts (pre and post conditions). This paper ...
EUROPKI
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we propose the notion of security-by-contract, a mobile contract that an application carries with itself. The key idea of the framework is that a digital signature sh...
ISSRE
2003
IEEE
15 years 3 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...