2493 search results - page 183 / 499 » Tool Support for Design by Contract |
162
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
180
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we describe a framework for the computeraided evolution of the designs of object-oriented software systems. Evolution mechanisms are software structures that prepar...
165
click to vote
TACAS
2007
Springer
16 years 19 days ago
2007
Springer
This paper is concerned with bridging the gap between requirements, provided as a set of scenarios, and conforming design models. The novel aspect of our approach is to exploit lea...
148
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
The systematic design of a high-speed, high-accuracy Nyquist A/D converter is proposed. The presented design methodology covers the complete flow and is supported by software tool...
159
click to vote
INTERACT
2007
15 years 8 months ago
2007
Nowadays, everyday life is becoming a multi-platform environment where people are surrounded by different types of devices through which they can connect to networks in different w...