689 citations found. Retrieving documents...
C. Jones. Systematic Software Development Using VDM. International Series in Computer Science. Prentice-Hall, 1986.

 Home/Search   Document Details and Download   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents  Next 50

Knowledge, State, Event and Time in System Modeling -.. - Dong, Duke, Sun (2006)   (Correct)

No context found.

C. Jones. Systematic Software Development Using VDM. International Series in Computer Science. Prentice-Hall, 1986.


Operation Refinement for VDM-like - Specifications Bettina Buth   (Correct)

No context found.

Cliff B. Jones. Systematic Software Development using VDM . Series in Computer Science. Prentice-Hall International, Second edition, 1990.


Retrenchment and the Mondex Electronic Purse - Exte Nd Ed   (Correct)

No context found.

C.B. Jones. Systematic Software Development using VDM. Prentice-Hall, second edition, 1990.


Using Axiomatic Specifications for Hardware - System Design Marc   (Correct)

No context found.

C.B. Jones, : "Systematic Software Development using VDM", Prentice Hall International, 2nd edition, 1990.


Reconciling Retrenchments and Refinements II - Czeslaw Jeske Richard   (Correct)

No context found.

Jones C. B. Systematic Software Development Using VDM, 2nd ed. Prentice Hall, 1990.


Structuring Z Specifications with Views - Daniel Jackson June   (Correct)

No context found.

Cliff B. Jones, Systematic Software Development Using VDM, Prentice Hall International, second edition, 1990.


Retrenching the Purse: The Balance Enquiry Quandary, and.. - Banach, al. (2006)   (Correct)

No context found.

Jones, C.: Systematic Software Development using VDM, Second edition, Prentice-Hall, 1990.


Derivation of Data Intensive Algorithms by Formal Transformation - .. - Ward (1996)   (1 citation)  (Correct)

No context found.

C. B. Jones, Systematic Software Development using VDM , Prentice-Hall, Englewood Cliffs, NJ, 1986.


Debugging Overconstrained Declarative Models Using.. - Ilya Shlyakhter Mit (2003)   (Correct)

No context found.

C. B. Jones. Systematic Software Development using VDM. Prentice-Hall, Upper Saddle River, NJ 07458, USA, 1990.


TestEra: Specification-based Testing of Java Programs Using SAT - Sarfraz Khurshid And (2004)   (1 citation)  (Correct)

No context found.

Cli# B. Jones. Systematic Software Development using VDM. Prentice-Hall, 1990.


Unknown -   (Correct)

No context found.

Cli# B. Jones. Systematic Software Development using VDM. Prentice-Hall, 1990.


The 4P Taxonomy - A Survey of Software Development Environments - Hessellund (2006)   (Correct)

No context found.

Jones, C.B.: Systematic software development using VDM (2nd ed.). Prentice-Hall, Inc., Upper Saddle River, NJ, USA (1990)


The Role of Formal Methods in Software Engineering - Education And Industry   (Correct)

No context found.

Jones, C.B. 1990. Systematic Software Development using VDM. 2nd. Edition, Prentice-Hall.


Retrenchment and the Mondex Electronic Purse (Extended.. - Banach, Jeske, Stepney   (Correct)

No context found.

C.B. Jones. Systematic Software Development using VDM. Prentice-Hall, second edition, 1990.


Implications of a Data Structure Consistency Checking System - Kuncak, Lam, Zee, Rinard (2005)   (Correct)

No context found.

C. B. Jones. Systematic Software Development using VDM. Prentice Hall International (UK) Ltd., 1986.


An Overview of the Jahob Analysis System - Project Goals and.. - Kuncak, Rinard   (Correct)

No context found.

C. B. Jones. Systematic Software Development using VDM. Prentice Hall International (UK) Ltd., 1986.


Declarative Reflection and its Application as a Pattern.. - Moreno-Navarro.. (2001)   (Correct)

No context found.

C. B. Jones. Systematic Software Development Using VDM. Prentice Hall, 1986.


Declarative Reflection and its Application as a.. - Herranz-Nieva.. (2002)   (Correct)

No context found.

C. B. Jones. Systematic Software Development Using VDM. Prentice Hall, 1986.


Rapid Prototyping and Incremental Evolution Using SLAM - Herranz, Moreno-Navarro (2003)   (Correct)

No context found.

C. B. Jones. Systematic Software Development Using VDM. Prentice Hall, 1986.


Declarative Reflection and its Application as a Pattern.. - Herranz, Moreno, Maya (2002)   (Correct)

No context found.

C. B. Jones. Systematic Software Development Using VDM. Prentice Hall, 1986.


Formal Extreme (and Extremely Formal) Programming - Angel Herranz And   (Correct)

No context found.

C. B. Jones. Systematic Software Development Using VDM. Prentice Hall, 1986.


Declarative Reflection and its Application as a Pattern.. - Moreno-Navarro.. (2001)   (Correct)

No context found.

C. B. Jones. Systematic Software Development Using VDM. Prentice Hall, 1986.


Formal Agility. How much of each? - Herranz, Moreno-Navarro (2003)   (Correct)

No context found.

C. B. Jones. Systematic Software Development Using VDM. Prentice Hall, 1986.


On the Design of an Object-oriented Formal Notation - Herranz-Nieva, Moreno-Navarro   (Correct)

No context found.

Cli B. Jones. Systematic Software Development Using VDM. Prentice Hall, 1986.


Specifying in the large: Object Oriented Specifications in the .. - Herranz-Nieva (2002)   (Correct)

No context found.

C. B. Jones. Systematic Software Development Using VDM. Prentice Hall, 1986.

First 50 documents  Next 50

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