2493 search results - page 29 / 499 » Tool Support for Design by Contract |
INFSOF
2000
14 years 9 months ago
2000
Software design is a cognitively challenging task. Most software design tools provide support for editing, viewing, storing, and transforming designs, but lack support for the ess...
AOSE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
ECIR
2004
Springer
14 years 11 months ago
2004
Springer
A medium-scale user study was carried out to investigate the usability of a concept-based query expansion support tool. The tool was fully integrated into the interface of an IR sy...
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
This article reveals our work on refactoring plug-ins for Eclipse’s C++ Development Tooling (CDT). With CDT a reliable open source IDE exists for C/C++ developers. Unfortunately...
APSEC
2004
IEEE
15 years 1 months ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...