2748 search results - page 4 / 550 » Generating Object-Z Specifications from Use Cases |
ICSE
2009
IEEE-ACM
14 years 1 months ago
2009
IEEE-ACM
In ICSE’08 we demonstrated the Java UML Lightweight Enumerator (JULE) tool, which supports compliance test generation from modeling standards specifications. When employed in ou...
ATVA
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
DKE
2011
13 years 3 months ago
2011
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
COMSIS
2004
13 years 8 months ago
2004
This paper outlines a methodology for designing information systems based on XML. The methodology uses XML DTDs to define the design standards, and the structure and constraints of...
UML
2000
Springer
14 years 3 days ago
2000
Springer
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...