Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

ICFEM
2000
Springer

favoriteEmaildiscussreport

93views Software Engineering» more ICFEM 2000»

Using Use Cases in Executable Z

13 years 8 months ago

Using Use Cases in Executable Z

Download research.microsoft.com

Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, beside others, the specification of early requirements. In this paper, we develop a representation of Use Cases in Z and apply it to several examples. Our focus is on instrumenting the formalization for black-box test evaluation in Executable Z, a computation model and implementation for Z based on concurrent constraint resolution

Wolfgang Grieskamp, Markus Lepper

Real-time Traffic

Early Development Phase | ICFEM 2000 | Software Engineering | Use Cases | Wide-spread Informal Method |

claim paper

Related Content

» Generating ObjectZ Specifications from Use Cases

» An Overview of RoZ A Tool for Integrating UML and Z Specifications

» PeertoPeer Networked Fieldtype Virtual Environment by Using AtoZ

» A Computation Model for Z Based on Concurrent Constraint Resolution

» The Case for Distributed Execution Replay Using a Virtual Machine

» Formalization Testing and Execution of a Use Case Diagram

» Using the CaseBased Ranking Methodology for Test Case Prioritization

» Verifying a signature architecture a comparative case study

» Linearization identification and an application to BSS using a SOM

Post Info
More Details (n/a)

Added	24 Aug 2010
Updated	24 Aug 2010
Type	Conference
Year	2000
Where	ICFEM
Authors	Wolfgang Grieskamp, Markus Lepper

Comments (0)