2748 search results - page 53 / 550 » Generating Object-Z Specifications from Use Cases |
102
Voted
BMCBI
2010
15 years 24 days ago
2010
Background: Next-generation sequencing technologies allow researchers to obtain millions of sequence reads in a single experiment. One important use of the technology is the seque...
QSIC
2003
IEEE
15 years 6 months ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
84
Voted
APSEC
2001
IEEE
15 years 4 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
118
Voted
AAAI
1997
15 years 2 months ago
1997
To effectively generate a fast and consistent apartment construction project network, Hyundai and KAIST have developed a case and constraint based project planning expert system f...
74
Voted
FPL
2005
Springer
15 years 6 months ago
2005
Springer
Many System-on-a-Chip devices would benefit from the inclusion of reprogrammable logic on the silicon die, as it can add general computing ability, provide run-time reconfigurabil...