2493 search results - page 221 / 499 » Tool Support for Design by Contract |
181
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The Unified Software Development Process (USDP) and Unified Modeling Language (UML) have been now generally accepted as the standard methodology and modeling language for developin...
177
click to vote
ECEASST
2006
15 years 6 months ago
2006
OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important to OCL to have a solid formal ...
174
click to vote
DSRT
2008
IEEE
16 years 1 months ago
2008
IEEE
A rational P2P node may decide not to provide a particular resource or to provide it with degraded quality. If nodes are very likely to behave this way, or if the failure of an P2...
202
click to vote
ACSAC
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper describes the design and development of a software system to support law enforcement in investigating and prosecuting email based crimes. It focuses on phishing scams w...
169
click to vote
ICSM
2007
IEEE
16 years 27 days ago
2007
IEEE
The build system forms an indispensable part of any software project. It needs to evolve in parallel with the source code in order to build, test and install the software. Unfortu...