Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

3540566627

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A metalanguage for the formal requirement specification of reactive systems

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024642 ◽

2005 ◽

pp. 110-128 ◽

Cited By ~ 5

Author(s):

Egidio Astesiano ◽

Gianna Reggio

Keyword(s):

Reactive Systems ◽

Requirement Specification ◽

Formal Requirement

Download Full-text

Conformity clause for VDM-SL

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024664 ◽

2005 ◽

pp. 501-520

Author(s):

Graeme I. Parkin ◽

Brian Wichmann

Download Full-text

Real-time refinement

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024654 ◽

2005 ◽

pp. 314-331 ◽

Cited By ~ 10

Author(s):

Colin Fidge

Keyword(s):

Real Time

Download Full-text

Specification and validation of a security policy model

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024636 ◽

2005 ◽

pp. 42-51 ◽

Cited By ~ 3

Author(s):

Tony Boswell

Keyword(s):

Security Policy ◽

Policy Model

Download Full-text

Role of VDM(++) in the development of a real-time tracking and tracing system

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024638 ◽

2005 ◽

pp. 64-72 ◽

Cited By ~ 5

Author(s):

E. H. Dürr ◽

E. M. Dusink

Keyword(s):

Real Time ◽

Real Time Tracking

Download Full-text

On the derivation of executable database programs from formal specifications

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024656 ◽

2005 ◽

pp. 351-366 ◽

Cited By ~ 4

Author(s):

Thomas Günther ◽

Klaus-Dieter Schewe ◽

Ingrid Wetzel

Keyword(s):

Formal Specifications

Download Full-text

Maintaining consistency under changes to formal specifications

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024667 ◽

2005 ◽

pp. 558-577 ◽

Cited By ~ 6

Author(s):

Kelvin J. Ross ◽

Peter A. Lindsay

Keyword(s):

Formal Specifications

Download Full-text

Putting advanced reachability analysis techniques together: The “ARA” tool

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024669 ◽

2005 ◽

pp. 597-616 ◽

Cited By ~ 21

Author(s):

Antti Valmari ◽

Jukka Kemppainen ◽

Matthew Clegg ◽

Mikko Levanto

Keyword(s):

Reachability Analysis ◽

Analysis Techniques

Download Full-text

A concurrency case study using RAISE

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024657 ◽

2005 ◽

pp. 367-387 ◽

Cited By ~ 2

Author(s):

Anne Haxthausen ◽

Chris George

Download Full-text

Reasoning about interference in an object-based design method

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024634 ◽

2005 ◽

pp. 1-18 ◽

Cited By ~ 13

Author(s):

C. B. Jones

Keyword(s):

Design Method ◽

Object Based

Download Full-text

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

A metalanguage for the formal requirement specification of reactive systems

Conformity clause for VDM-SL

Real-time refinement

Specification and validation of a security policy model

Role of VDM(++) in the development of a real-time tracking and tracing system

On the derivation of executable database programs from formal specifications

Maintaining consistency under changes to formal specifications

Putting advanced reachability analysis techniques together: The “ARA” tool

A concurrency case study using RAISE

Reasoning about interference in an object-based design method

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods
Latest Publications