Lecture Notes in Computer Science - FME '94: Industrial Benefit of Formal Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540585558, 9783540490319

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proof-based development of specifications with KIDS/VDM

Lecture Notes in Computer Science - FME '94: Industrial Benefit of Formal Methods ◽

10.1007/3-540-58555-9_97 ◽

1994 ◽

pp. 214-232 ◽

Cited By ~ 5

Author(s):

Yves Ledru

Download Full-text

A new concept of refinement used for behaviour modelling with automata

Lecture Notes in Computer Science - FME '94: Industrial Benefit of Formal Methods ◽

10.1007/3-540-58555-9_94 ◽

1994 ◽

pp. 154-174 ◽

Cited By ~ 10

Author(s):

Barbara Paech ◽

Bernhard Rumpe

Keyword(s):

Behaviour Modelling

Download Full-text

Comparing approaches to data reification

Lecture Notes in Computer Science - FME '94: Industrial Benefit of Formal Methods ◽

10.1007/3-540-58555-9_92 ◽

1994 ◽

pp. 118-133 ◽

Cited By ~ 6

Author(s):

T. Clement

Download Full-text

A precise examination of the behaviour of process models

Lecture Notes in Computer Science - FME '94: Industrial Benefit of Formal Methods ◽

10.1007/3-540-58555-9_99 ◽

1994 ◽

pp. 251-270 ◽

Cited By ~ 1

Author(s):

Kelvin J. Ross ◽

Peter A. Lindsay

Keyword(s):

Process Models

Download Full-text

Adding real time to formal program development

Lecture Notes in Computer Science - FME '94: Industrial Benefit of Formal Methods ◽

10.1007/3-540-58555-9_119 ◽

1994 ◽

pp. 618-638 ◽

Cited By ~ 10

Author(s):

Colin Fidge

Keyword(s):

Real Time ◽

Program Development ◽

Formal Program

Download Full-text

An experimental support system for formal mathematical reasoning

Lecture Notes in Computer Science - FME '94: Industrial Benefit of Formal Methods ◽

10.1007/3-540-58555-9_108 ◽

1994 ◽

pp. 421-440 ◽

Cited By ~ 2

Author(s):

Matthias Anlauff ◽

Stefan Jähnichen ◽

Martin Simons

Keyword(s):

Support System ◽

Mathematical Reasoning ◽

Experimental Support

Download Full-text

Evaluation of underdetermined explicit definitions

Lecture Notes in Computer Science - FME '94: Industrial Benefit of Formal Methods ◽

10.1007/3-540-58555-9_98 ◽

1994 ◽

pp. 233-250 ◽

Cited By ~ 2

Author(s):

Peter Gorm Larsen

Download Full-text

On transferring VDM verification techniques to Z

Lecture Notes in Computer Science - FME '94: Industrial Benefit of Formal Methods ◽

10.1007/3-540-58555-9_96 ◽

1994 ◽

pp. 190-213 ◽

Cited By ~ 2

Author(s):

Peter A. Lindsay

Keyword(s):

Verification Techniques

Download Full-text

Specifying safety and progress properties with RSL

Lecture Notes in Computer Science - FME '94: Industrial Benefit of Formal Methods ◽

10.1007/3-540-58555-9_116 ◽

1994 ◽

pp. 567-581 ◽

Cited By ~ 1

Author(s):

Jesper Gørtz

Download Full-text

Applying a concurrent formal framework to process modelling

Lecture Notes in Computer Science - FME '94: Industrial Benefit of Formal Methods ◽

10.1007/3-540-58555-9_101 ◽

1994 ◽

pp. 291-305 ◽

Cited By ~ 2

Author(s):

J. A. Keane ◽

J. Sa ◽

B. C. Warboys

Keyword(s):

Process Modelling ◽

Formal Framework

Download Full-text

Lecture Notes in Computer Science - FME '94: Industrial Benefit of Formal MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Proof-based development of specifications with KIDS/VDM

A new concept of refinement used for behaviour modelling with automata

Comparing approaches to data reification

A precise examination of the behaviour of process models

Adding real time to formal program development

An experimental support system for formal mathematical reasoning

Evaluation of underdetermined explicit definitions

On transferring VDM verification techniques to Z

Specifying safety and progress properties with RSL

Applying a concurrent formal framework to process modelling

Lecture Notes in Computer Science - FME '94: Industrial Benefit of Formal Methods
Latest Publications