This page intentionally left blank. Pamela Zave Michael Jackson Att Research...  Home/Search
Context Related
| att.com/~pamela/wdo.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: att.com/~pamela/cri (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a technique to help people organize and write complex specifications, exploiting the best features of several different specification languages. Z is supplemented, primarily with automata and grammars, to provide a rigorous and systematic mapping from input stimuli to convenient operations and arguments for the Z specification. Consistency analysis of the resulting specification is based on the structural rules. The technique is illustrated by two examples, a graphical human-computer ... (Update)
Context of citations to this paper: More
...in [Nus94] provides a generic mechanism for achieving such combinations. Attempts to integrate semi formal and formal languages include [Zav96], which combines state based specifications [Pot96] and finite state machine specifications; and [Dar93] which combines semantic nets...
...observation. The synchronization of operations in my telephone specification can be seen as a special case of event classification [ZJ91, ZJ94]. A description can partition an event class into subclasses; other descriptions may then refer to the names of the subclasses....
Cited by: More
A Formal View of Aspects in the Development of.. - Blair, Blair.. (2000) (Correct)
A Formal View of Aspects in the Development of.. - Blair, Blair.. (Correct)
Formal Specification: a Roadmap - van Lamsweerde (2000) (Correct)
Active bibliography (related documents): More All
0.3: A formal specification of some important 5ESS features, Part II: .. - Zave, al. (1993) (Correct)
0.3: Formal Method Integration via Heterogeneous Notations - Paige (1997) (Correct)
0.3: Requirements For Telecommunications Services: An Attack On.. - Zave, Jackson (1997) (Correct)
Similar documents based on text: More All
0.3: Elastic Graphical Interfaces for Precise Data Manipulation - Masui, Kashiwagi, IV (1995) (Correct)
0.2: DFC modifications I (Version 2): Routing extensions - Zave, Jackson (Correct)
0.2: Four Dark Corners of Requirements Engineering - Zave, Jackson (1997) (Correct)
Related documents from co-citation: More All
6: Formal Specification of Distributed Multimedia Systems (context) - Blair, Blair et al. - 1997
6: Conjunction as Composition (context) - Zave, Jackson - 1993
5: Issues in Multiparadigm Viewpoint Specification - Boiten, Bowman et al. - 1996
BibTeX entry: (Update)
P. Zave and M. Jackson, 1996. "Where do operation come from? A multiparadigm specification technique" IEEE Transactions on Software Engineering, XXII(7):508--528. http://citeseer.ist.psu.edu/zave96where.html More
@article{ zave96where,
author = "Pamela Zave and Michael Jackson",
title = "Where Do Operations Come From?: {A} Multiparadigm Specification Technique",
journal = "IEEE Transactions on Software Engineering",
volume = "22",
number = "7",
month = "July",
pages = "508--528",
year = "1996",
url = "citeseer.ist.psu.edu/zave96where.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1174 Statecharts: A visual formalism for complex systems - Harel - 1987
689 Systematic Software Development Using VDM - Jones - 1990
603 Kluwer Academic Publishers (context) - McMillan, Checking - 1993
592 Introduction to HOL: A theorem proving environment for highe.. (context) - Gordon, Melham - 1993
447 Prentice-Hall International (context) - Milner, Concurrency - 1989
274 Prentice-Hall International (context) - Spivey, Notation et al. - 1992
118 the formal semantics of Statecharts (context) - Harel, Pnueli et al. - 1987
66 ACM Transactions on Software Engineering and Methodology II (context) - Zave, Jackson et al. - 1993
66 ACM Transactions on Software Engineering and Methodology IV (context) - Jackson, with - 1995
61 Principles of Program Design (context) - Jackson - 1975
32 Statemate: A working environment for the development of comp.. (context) - Harel, Lachover et al. - 1990
15 Specifying telephone systems in LOTOS (context) - Boumezbeur, Logrippo - 1993
14 Integrating status and event phenomena in formal specificati.. - Abowd, Dix - 1994
10 A formal specification of some important 5ESS features - Zave, Mataga - 1993
10 A formal specification of some important 5ESS features - Mataga, Zave - 1993
10 What is in a step (context) - Pnueli, Shalev - 1989
10 A formal specification of some important 5ESS features - Zave, Mataga - 1993
8 LOTOS---A formal description technique based on the temporal.. (context) - for - 1989
8 A rely and guarantee method for Timed CSP: A specification a.. (context) - Kay, Reed - 1993
7 Software Engineering Mathematics: Formal Methods Demystified (context) - Woodcock, Loomes - 1988
1 Human-computer interface management: Concepts and systems fo.. (context) - Hartson, Hix - 1989
1 Practical specification techniques for control-oriented syst.. (context) - Zave, Jackson - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.research.att.com/~pamela/cri.html): More
DFC modifications I (Version 2): Routing extensions - Zave, Jackson (Correct)
New Feature Interactions in Mobile and Multimedia.. - Zave, Jackson (2000) (Correct)
Formal Description of Telecommunication Services in Promela and Z - Zave (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC