1782 search results - page 43 / 357 » Tool Support for Proof Engineering |
ITP
2010
13 years 7 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
The Prometheus Design Tool is a graphical editor which supports the design tasks specified within the Prometheus methodology for designing agent systems. The tool propagates info...
VISSOFT
2005
IEEE
14 years 2 months ago
2005
IEEE
The paper presents a new visualization approach to support static concept location in source code. The approach is realized through the combination of two existing tools: IRiSS, w...
ICSE
2010
IEEE-ACM
13 years 10 months ago
2010
IEEE-ACM
Planning iterations in software projects requires considering artifacts from different aspects such as requirements, specifications, tasks or even bug reports. UNICASE is a unifie...
APSEC
2002
IEEE
14 years 1 months ago
2002
IEEE
Software development needs to be supported at both the organisational process level (programming-for-thelarge) and the detailed coding level (programming-for-thesmall). It is crit...