241 search results - page 3 / 49 » Design by Contract Using Meta-Assertions |
159
Voted
STEP
2003
IEEE
15 years 8 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
153
Voted
APN
2009
Springer
15 years 10 months ago
2009
Springer
Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given Quality of Service (QoS...
154
Voted
UML
2004
Springer
15 years 8 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
120
Voted
SCS
2003
15 years 4 months ago
2003
Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to d...
136
click to vote
COMPSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...