116 search results - page 8 / 24 » A why-what-how tool for development and documentation of ope... |
DGO
2003
13 years 10 months ago
2003
ct The REGNET Project aims to develop a formal information infrastructure for regulatory information management and compliance assistance. This paper discusses three components of ...
SIGITE
2005
ACM
14 years 2 months ago
2005
ACM
Many undergraduate IT programs recognize that their graduates will find jobs as software developers. As such, software development (analysis and design) courses are often a core r...
ICDE
2008
IEEE
14 years 10 months ago
2008
IEEE
Developments in semantic search technology have motivated the need for efficient and scalable entity annotation techniques. We demonstrate RAD: a tool for Rapid Annotator Developme...
TYPES
1998
Springer
14 years 23 days ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
CAISE
2003
Springer
14 years 1 months ago
2003
Springer
This paper describes a new procedure that has been developed for extending an existing on-line information system about The Voyages of the Beagle with information collected automat...