2748 search results - page 56 / 550 » Generating Object-Z Specifications from Use Cases |
126
Voted
ICSE
1993
IEEE-ACM
15 years 4 months 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...
110
click to vote
BMCBI
2004
15 years 16 days 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...
98
Voted
ISSRE
2000
IEEE
15 years 5 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...
112
Voted
EXPERT
2008
15 years 22 days 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
15 years 6 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...