Daniel Jackson  Home/Search
Context Related
| mit.edu/~dnj/pubs/CMUCS94126.ps umassd.edu/CoursePag...CMUCS94126.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: mit.edu/~dnj/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this document are those of the author and should not be interpreted as necessarily representing official policies or endorsements, either express or implied, of ARPA, NSF, TRW or the United States Government. (Update)
Context of citations to this paper: More
...phenomena also form the relationships among descriptions of distinct properties. For example, a text worked on in a simple editor [Jac95c] may be described as a text string (for purposes of inserting, spell checking and finding words) and also as a sequence of lines (for...
...informal specifications that may deploy multiple representation schemes, such as the ones we have described in this paper. Jackson [14] describes the use of views to structure Z specifications in order to make them simpler, clearer and more amenable to change. His view...
Cited by: More
Deriving Operational Software Specifications from System Goals - Letier, van Lamsweerde (2002) (Correct)
Formal Specification: a Roadmap - van Lamsweerde (2000) (Correct)
Restructuring Requirements Specifications - Russo, Nusbeibeh, Kramer (1999) (Correct)
Similar documents (at the sentence level):
37.5%: Structuring Z Specifications with Views - Daniel Jackson June (Correct)
Active bibliography (related documents): More All
0.5: Foundations for the Study of Software Architecture - Perry, Wolf (1992) (Correct)
0.3: Mediators: Easing the Design and Evolution of Integrated Systems - Sullivan (1994) (Correct)
0.3: A Formal Framework for Viewpoint Consistency - Bowman, Steen, Boiten, Derrick (1996) (Correct)
Similar documents based on text: More All
0.6: Chopping: A Generalization of Slicing - Jackson, Rollins (1994) (Correct)
0.0: Using the Implicit Association Test to Measure Self-Esteem.. - Greenwald, Farnham (2000) (Correct)
0.0: [SCT92] J. Schaeffer, J. Culberson, N. Treloar, B.. - Artificial Intelligence (Correct)
Related documents from co-citation: More All
3: Conjunction as Composition (context) - Zave, Jackson - 1993
3: Using ViewPoints for Inconsistency Management - Easterbrook, Nuseibeh - 1996
3: Specifying message passing and time-critical systems with temporal logic (context) - Koymans - 1992
BibTeX entry: (Update)
D . Jackson "Structuring Z Specifications with Views", ACM Transactions on Software Engineering and Methodology Vol. 4 No. 4, October 1995, 365-389. http://citeseer.ist.psu.edu/article/jackson94structuring.html More
@article{ jackson95structuring,
author = "Daniel Jackson",
title = "Structuring {Z} specifications with views",
journal = "ACM Transactions on Software Engineering and Methodology",
volume = "4",
number = "4",
pages = "365--389",
year = "1995",
url = "citeseer.ist.psu.edu/article/jackson94structuring.html" }
Citations (may not include all citations):689 Systematic Software Development Using VDM - Jones - 1986
135 Integrating Non-interfering Versions of Programs (context) - Horwitz, Prins et al. - 1990
112 Viewpoints: A Framework for Integrating Multiple Perspective.. (context) - Finkelstein, Kramer et al. - 1992
64 The Larch Family of Specification Languages (context) - Guttag, Horning et al. - 1985
55 Conjunction as Composition (context) - Zave, Jackson - 1993
38 Domain Descriptions (context) - Jackson, Zave - 1993
31 Programs are predicates (context) - Hoare - 1985
27 Report on the Larch Shared Language: Version - Guttag, Horning et al. - 1990
26 Views for Tools in Integrated Environments (context) - Garlan - 1987
24 And Nothing Else Changes: The Frame Problem (context) - Borgida, Mylopoulos et al. - 1993
19 Specification of the UNIX Filing System (context) - Morgan, Sufrin - 1984
19 Object-Oriented Subsystem Specification (context) - Schuman, Pitt - 1987
17 Understanding the Differences Between VDM and Z - Hayes, Jones et al. - 1993
12 Where Do Operations Come From? A Multiparadigm Specification.. - Zave, Jackson - 1994
9 Mathematics as a Management Tool: Proof Rules for Promotion (context) - Woodcock - 1989
8 Caviar: A Case Study in Specification (context) - Flinn, Sorensen - 1993
6 Formal Specification of a Display-Oriented Text Editor (context) - Sufrin
5 Technical Report CMU-CS (context) - Nord, Manipulating - 1992
5 VDM and Z: A Comparative Case Study (context) - Hayes - 1992
3 Technical Report CMU-CS (context) - Habermann, Krueger et al. - 1988
3 Software Development Method (context) - Jackson - 1994
3 Formal Specification via Viewpoints (context) - Ainsworth, Cruickshank et al. - 1993
2 Case Study: A Telephone Exchange (context) - Woodcock, Loomes - 1988
2 A Response to Florence, Dougal and Zebedee (context) - Hall - 1993
2 Composing Data and Process Descriptions in the Design of Sof.. (context) - Jackson - 1988
1 A New Approach to Modular Formal Description (context) - Wallis - 1992
1 Techniques for Partial Specification of Switching Systems (context) - Zave, Jackson - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://sdg.lcs.mit.edu/~dnj/publications.html): More
Some Shortcomings of OCL, the Object Constraint Language of UML - Vaziri, Jackson (1999) (Correct)
Isomorph-free Model Enumeration: A New Method for Checking.. - Jackson, Jha, Damon (Correct)
Boolean Compilation of Relational Specifications - Jackson (1997) (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