Sciweavers

1782 search results - page 137 / 357
» Tool Support for Proof Engineering
Sort
View
ICSM
2007
IEEE
16 years 22 days ago
Smart Formatter: Learning Coding Style from Existing Source Code
The quality of identifiers, the coding style and formatting are important aspects that influence program understandings and maintenance. This is confirmed by the presence of se...
Filippo Corbo, Concettina Del Grosso, Massimiliano...
VISSOFT
2005
IEEE
16 years 12 hour ago
SAB - The Software Architecture Browser
SAB is a tool for automatic generation of class diagrams from Java code. In addition to hierarchical layout, it features a wealth of user interaction facilities for dealing with c...
Nils Erben, Klaus-Peter Löhr
SEFM
2003
IEEE
15 years 11 months ago
Architecting Specifications for Test Case Generation
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
Richard O. Sinnott
AVI
2008
15 years 8 months ago
Interactive visual interfaces for evacuation planning
To support planning of massive transportations under time-critical conditions, in particular, evacuation of people from a disasteraffected area, we have developed a software modul...
Gennady L. Andrienko, Natalia V. Andrienko, Ulrich...
RE
2002
Springer
15 years 6 months ago
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
Rik Eshuis, David N. Jansen, Roel Wieringa