2748 search results - page 41 / 550 » Generating Object-Z Specifications from Use Cases |
CICLING
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
ADBIS
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Database modeling is based on the assumption of a high regularity of its application areas, an assumption which applies to both the structure of data and the behavior of ...
FLAIRS
2000
13 years 10 months ago
2000
For manyknowledgeintensive applications, it is necessary to have extensive domain-specific knowledgein addition to general-purpose knowledge bases usually built around MachineRead...
JSA
2008
13 years 8 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
SIGSOFT
2003
ACM
14 years 1 months ago
2003
ACM
This paper presents PLUTO, a simple and intuitive methodology to manage the testing process of product lines, described as Product Lines Use Cases (PLUCs). PLUCs are an extension ...