3 search results - page 1 / 1 » Validating Use-Cases with the AsmL Test Tool |
QSIC
2003
IEEE
13 years 10 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...
COMCOM
2000
13 years 4 months ago
2000
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
BMCBI
2008
13 years 5 months ago
2008
Background: Ontologies such as the Gene Ontology can enable the construction of complex queries over biological information in a conceptual way, however existing systems to do thi...