5608 search results - page 190 / 1122 » Structure description tools |
139
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Change and evolution of business and technology imply change and evolution of development processes. Besides that for a certain enterprise or a project we will usually integrate e...
111
click to vote
ISSRE
2000
IEEE
15 years 7 months ago
2000
IEEE
A coverage testing tool ATACOBOL (Automatic Test Analysis for COBOL) that applies data flow coverage technique is developed for software development on IBM System/390 mainframe. W...
133
Voted
TACAS
1999
Springer
15 years 7 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
117
Voted
ADAEUROPE
2003
Springer
15 years 7 months ago
2003
Springer
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
124
Voted
DEXAW
1995
IEEE
15 years 7 months ago
1995
IEEE
Digital libraries can take advantage of documents that have their content (semantics) explicitly represented as knowledge structures. These knowledge-rich documents can be created ...