2748 search results - page 322 / 550 » Generating Object-Z Specifications from Use Cases |
125
click to vote
ERLANG
2008
ACM
15 years 6 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
144
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
141
click to vote
FGCS
2006
15 years 4 months ago
2006
In computational biomolecular research, large amounts of simulation data are generated to capture the motion of proteins. These massive simulation data can be analysed in a number...
190
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: The Cancer Genome Anatomy Project (CGAP) xProfiler and cDNA Digital Gene Expression Displayer (DGED) have been made available to the scientific community over a decade...
137
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper deals with the error analysis of a novel navigation algorithm that uses as input the sequence of images acquired from a moving camera and a Digital Terrain (or Elevatio...