2748 search results - page 248 / 550 » Generating Object-Z Specifications from Use Cases |
107
Voted
TOOLS
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
140
Voted
BIOINFORMATICS
2012
13 years 5 months ago
2012
Summary: The MolClass toolkit and data portal generates computational models from user-defined small molecule datasets based on structural features identified in hit and non-hit m...
161
Voted
PG
2003
IEEE
15 years 8 months ago
2003
IEEE
High-quality non-intrusive human motion capture is necessary for acquistion of model-based free-viewpoint video of human actors. Silhouette-based approaches have demonstrated that...
128
Voted
VLDB
1997
ACM
15 years 7 months ago
1997
ACM
The paper discusses the issue of views in the Web context. We introduce a set of languages for managing and restructuring data coming from the World Wide Web. We present a specifi...
120
click to vote
FBT
1997
15 years 4 months ago
1997
Abstract: In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple...