2493 search results - page 109 / 499 » Tool Support for Design by Contract |
ACSC
2001
IEEE
15 years 1 months ago
2001
IEEE
Management of system requirements and system architectures is part of any software engineering project. But it is usually very tedious and error prone. In particular, managing the...
NAACL
2003
14 years 11 months ago
2003
WordFreak is a natural language annotation tool that has been designed to be easy to extend to new domains and tasks. Specifically, a plug-in architecture has been developed whic...
114
click to vote
IPM
1998
14 years 9 months ago
1998
This paper describes a collaborative effort to explore user needs in a digital library, develop interface prototypes for a digital library, and suggest and prototype tools for dig...
SEMWEB
2007
Springer
15 years 4 months ago
2007
Springer
Ontology-based applications play an increasingly important role in the public and corporate Semantic Web. While today there exist a range of tools and technologies to support speci...
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...