241 search results - page 5 / 49 » Design by Contract Using Meta-Assertions |
123
Voted
ECOOP
2010
Springer
15 years 1 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
ELECTRONICMARKETS
1998
14 years 9 months ago
1998
AbstractAbstractAbstractAbstract A design and pilot implementation of a system, called InterProcs, supporting electronic contracting is presented. A key concept in the design of th...
75
Voted
WSFM
2007
Springer
15 years 4 months ago
2007
Springer
Service orientation is a means for integrating across diverse systems. Each resource, whether an application, system, or trading partner, can be accessed as a service. The resultin...
84
Voted
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...
86
Voted
ACSW
2006
14 years 11 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...