241 search results - page 5 / 49 » Design by Contract Using Meta-Assertions |
134
click to vote
ECOOP
2010
Springer
15 years 3 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...
102
click to vote
ELECTRONICMARKETS
1998
14 years 11 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...
WSFM
2007
Springer
15 years 5 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...
CD
2004
Springer
15 years 5 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...
ACSW
2006
15 years 1 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...