Cliff B. Jones  Home/Search
Context Related
| cs.man.ac.uk/pub/cbj/VDM_TN.ps.gz ncl.ac.uk/pub/users/ncbj...VDM_TN.ps.gz 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: comlab.ox.ac.uk/archive/fo...pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ion and Program Synthesis, volume 75: Math. Studies of Information Processing of Lecture Notes in Computer Science. Springer-Verlag, 1979. [Bjo80a] D. Bjorner, editor. Abstract Software Specifications, volume 86 of Lecture Notes in Computer Science. Springer-Verlag, 1980. [Bjø80b] D. Bjørner. Application of formal models. In Data Bases. INFOTECH Proceedings, October 1980. [Bjø80c] D. Bjørner. Experiments in block-structured goto-modelling: Exits vs. continuations. [Bjo80a], pages 216--247,... (Update)
Cited by: More
Knowledge, State, Event and Time in System Modeling -.. - Dong, Duke, Sun (2006) (Correct)
Operation Refinement for VDM-like - Specifications Bettina Buth (Correct)
Retrenchment and the Mondex Electronic Purse - Exte Nd Ed (Correct)
Similar documents (at the sentence level):
5.4%: Main Publications - Jones (2000) (Correct)
Active bibliography (related documents): More All
1.4: The VDM Bibliography - Larsen (1996) (Correct)
0.5: Formal Methods - Selected Historical References - Jones, McCauley (1992) (Correct)
0.5: Logical Pluralism - Beall, Restall (1998) (Correct)
Similar documents based on text: More All
0.1: A Method of Program Refinement - Grundy (1993) (Correct)
0.0: Recent books on Formal Methods (Bibliography) - Jones (1995) (Correct)
0.0: An Introduction to Formal Specification and Verification using.. - Rushby, al. (1991) (Correct)
Related documents from co-citation: More All
23: Larch: Languages and tools for formal specification (context) - Guttag, Horning et al. - 1993
18: International Series in Computer Science (context) - Spivey, Notation et al. - 1992
15: International Series in Computer Science (context) - Hayes, Case - 1993
BibTeX entry: (Update)
C.B. Jones. Systematic Software Development using VDM. Prentice-Hall, Englewood Cliffs, New Jersey, 1986. http://citeseer.ist.psu.edu/jones95systematic.html More
@book{ jones90systematic,
author = "Cliff B. Jones",
title = "Systematic Software Development using {VDM}",
publisher = "Prentice-Hall",
address = "Upper Saddle River, NJ 07458, USA",
isbn = "0-13-880733-7",
pages = "xiv + 333",
year = "1990",
url = "citeseer.ist.psu.edu/jones95systematic.html" }
Citations (may not include all citations):274 Prentice Hall International (context) - Reynolds, of - 1981
221 Denotational Semantics: a Methodology for Language Developme.. (context) - Schmidt - 1986 ACM
154 A Specification Language and its Formal Semantics (context) - Spivey - 1988
128 Logic and Computation: Interactive Proof with Cambridge LCF (context) - Paulson - 1987 ACM
126 Cambridge University Press (context) - Stone, Cooke - 1987
40 Non-deterministic data types: Models and implementations (context) - Nipkow - 1986 ACM DBLP
24 Software Engineering Mathematics (context) - Woodcock, Loomes - 1988 ACM
9 From VDM to RAISE (context) - Prehn - 1987 ACM DBLP
8 Behavioural Implementation Concepts for Nondeterministic Dat.. (context) - Nipkow - 1987
6 Psgprogramming system generator (context) - Jager, Bahlke et al. - 1984
6 The psg-programming system generator (context) - Bahlke, Snelting - 1985
5 Experiences with psg -- programming system generator (context) - Snelting - 1985
4 design and implementation of NDB (context) - Welsh - 1982
3 Department of Computer Science (context) - Vadera, of et al. - 1986
3 A Type Model for VDM (context) - Monahan - 1987
3 The semantics of logic programming (context) - Morgan - 1986
2 Logic: An Introductory Course (context) - Newton-Smith - 1985
2 VDM in three generations of Ada formal descriptions (context) - Pedersen - 1987
1 The draft formal definition of ada --- the role and scope of.. (context) - Bjorner, Pedersen - 1987
1 A formal interface specification (context) - Weissenbock - 1975
1 A Database Programming Language: Definition (context) - Welsh - 1984
1 Die spezifikationssprache fur kontextbedingungen im psg-syst.. (context) - Snelting - 1984
1 A formal mapping description (context) - Weissenbock, Henhapl - 1975
1 Technical University of Denmark (context) - Rasmussen, Technical - 1990
1 Die formale entwicklung der maschin-unabhangigen zwischenspr.. (context) - Schmidt, Voller - 1981
1 Inkrementelle Semantische Analyse in unvollstandigen Program.. (context) - Snelting - 1986
1 Funktionale Semantikbeschreibung von Anfrageoperationen in e.. (context) - Olnhoff - 1981
The graph only includes citing articles where the year of publication is known.
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