1146 search results - page 27 / 230 » Formal Specification Generation from Requirement Documents |
ISSRE
2003
IEEE
15 years 2 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
83
Voted
IJMSO
2008
14 years 9 months ago
2008
: Recent advances in the Semantic Web research community actuated the experimentation with a variety of approaches concerning the retrieval of Semantic Web Documents (SWDs). Most a...
RE
2001
Springer
15 years 2 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
66
Voted
OTM
2007
Springer
15 years 3 months ago
2007
Springer
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...
WER
1998
Springer
15 years 1 months ago
1998
Springer
Active systems are emerging in many fields, being particularly interesting those like Active Database Management Systems which always provide some kind of reactive capabilities. I...