2748 search results - page 56 / 550 » Generating Object-Z Specifications from Use Cases |
ICSE
1993
IEEE-ACM
14 years 23 days ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
BMCBI
2004
13 years 8 months ago
2004
Background: One of the important challenges in microarray analysis is to take full advantage of previously accumulated data, both from one's own laboratory and from public re...
ISSRE
2000
IEEE
14 years 1 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
EXPERT
2008
13 years 8 months ago
2008
Natural language technologies have been long envisioned to play a crucial role in transitioning from the current Web to a more "semantic" Web. If anything, the significa...
SCOPES
2005
Springer
14 years 2 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...