VDM '88 VDM — The Way Ahead - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540502142, 9783540459552

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proof rules for VDM statements

VDM '88 VDM — The Way Ahead - Lecture Notes in Computer Science ◽

10.1007/3-540-50214-9_23 ◽

1988 ◽

pp. 318-336 ◽

Author(s):

Robert Milne

Keyword(s):

Download Full-text

Test case selection using VDM

VDM '88 VDM — The Way Ahead - Lecture Notes in Computer Science ◽

10.1007/3-540-50214-9_16 ◽

1988 ◽

pp. 178-186 ◽

Author(s):

G. T. Scullard

Keyword(s):

Test Case ◽

Test Case Selection ◽

Download Full-text

The use of VDM in the specification of Chinese characters

VDM '88 VDM — The Way Ahead - Lecture Notes in Computer Science ◽

10.1007/3-540-50214-9_29 ◽

1988 ◽

pp. 476-499

Author(s):

Ghee S. Teo ◽

Mícheál Mac an Airchinnigh

Keyword(s):

Chinese Characters

Download Full-text

Towards a formal definition of GKS and other graphics standards

VDM '88 VDM — The Way Ahead - Lecture Notes in Computer Science ◽

10.1007/3-540-50214-9_5 ◽

1988 ◽

pp. 64-73

Author(s):

Clive Ruggles

Keyword(s):

Formal Definition ◽

Graphics Standards ◽

Download Full-text

Understanding an informal description: Office documents architecture, an ISO standard

VDM '88 VDM — The Way Ahead - Lecture Notes in Computer Science ◽

10.1007/3-540-50214-9_4 ◽

1988 ◽

pp. 48-63

Author(s):

Andrzej Borzyszkowski ◽

Stefan Sokolowski

Keyword(s):

Iso Standard ◽

Informal Description

Download Full-text

Software support for the refinement of VDM specifications

VDM '88 VDM — The Way Ahead - Lecture Notes in Computer Science ◽

10.1007/3-540-50214-9_28 ◽

1988 ◽

pp. 459-475 ◽

Author(s):

P. Kilpatrick ◽

P. McParland

Keyword(s):

Software Support

Download Full-text

Correctness proofs for META IV written code generator specifications using term rewriting

VDM '88 VDM — The Way Ahead - Lecture Notes in Computer Science ◽

10.1007/3-540-50214-9_26 ◽

1988 ◽

pp. 406-433

Author(s):

Bettina ◽

Karl-Heinz Buth

Keyword(s):

Term Rewriting ◽

Code Generator ◽

Correctness Proofs

Download Full-text

Computing is a physical science

VDM '88 VDM — The Way Ahead - Lecture Notes in Computer Science ◽

10.1007/3-540-50214-9_1 ◽

1988 ◽

pp. 1-1

Author(s):

Donald I. Good

Keyword(s):

Physical Science

Download Full-text

Formal methods in standards—A report from the BCS working group

VDM '88 VDM — The Way Ahead - Lecture Notes in Computer Science ◽

10.1007/3-540-50214-9_7 ◽

1988 ◽

pp. 79-85

Author(s):

Clive Ruggles

Keyword(s):

Formal Methods ◽

Download Full-text

Report from the BSI panel for the standardisation of VDM (IST/5/50)

VDM '88 VDM — The Way Ahead - Lecture Notes in Computer Science ◽

10.1007/3-540-50214-9_6 ◽

1988 ◽

pp. 74-78 ◽

Author(s):

D. Andrews

Download Full-text