2493 search results - page 163 / 499 » Tool Support for Design by Contract |
189
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we advocate the use of visual tooling for the development and maintenance of component-based software systems. Our contribution is twofold. First, we demonstrate ho...
176
click to vote
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
155
click to vote
CSCW
2000
ACM
15 years 11 months ago
2000
ACM
Collaborative interpretation occurs when a group interprets and transforms a diverse set of information fragments into a coherent set of meaningful descriptions. This activity is ...
190
click to vote
EWSN
2010
Springer
15 years 9 months ago
2010
Springer
Experimentally driven research for wireless sensor networks is invaluable to provide benchmarking and comparison of new ideas. An increasingly common tool in support of this is a t...
179
click to vote
ASE
2008
15 years 6 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...