ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769508227

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Legacy code

ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods ◽

10.1109/icfem.2000.873807 ◽

2005 ◽

Author(s):

C.A.R. Hoare

Keyword(s):

Legacy Code

Download Full-text

Offering formal verification capabilities for industry standard case tools: challenges and results

ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods ◽

10.1109/icfem.2000.873815 ◽

2005 ◽

Cited By ~ 1

Author(s):

W. Damm

Keyword(s):

Formal Verification ◽

Standard Case ◽

Case Tools ◽

Industry Standard

Download Full-text

Mechanical verification of transaction processing systems

ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods ◽

10.1109/icfem.2000.873809 ◽

2002 ◽

Cited By ~ 2

Author(s):

D. Chkliaev ◽

J. Hooman ◽

P. van der Stok

Keyword(s):

Transaction Processing ◽

Mechanical Verification ◽

Transaction Processing Systems

Download Full-text

Using use cases in Executable Z

ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods ◽

10.1109/icfem.2000.873811 ◽

2002 ◽

Cited By ~ 11

Author(s):

W. Grieskamp ◽

M. Lepper

Keyword(s):

Use Cases

Download Full-text

Composing specifications in VSPEC

ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods ◽

10.1109/icfem.2000.873804 ◽

2002 ◽

Cited By ~ 2

Author(s):

A. Venkataraman ◽

M. Rangarajan ◽

P. Alexander

Download Full-text

Translating UAN into CSP

ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods ◽

10.1109/icfem.2000.873812 ◽

2002 ◽

Cited By ~ 2

Author(s):

I. MacColl ◽

D. Carrington

Download Full-text

Formal treatment of a family of fixed-point problems on graphs by CafeOBJ

ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods ◽

10.1109/icfem.2000.873806 ◽

2002 ◽

Author(s):

T. Tamai

Keyword(s):

Fixed Point ◽

Fixed Point Problems ◽

Formal Treatment

Download Full-text

ClawZ: control laws in Z

ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods ◽

10.1109/icfem.2000.873817 ◽

2002 ◽

Cited By ~ 13

Author(s):

R. Arthan ◽

P. Caseley ◽

C. O'Halloran ◽

A. Smith

Keyword(s):

Control Laws

Download Full-text

An integrated CSP-based tool for the visualisation, animation and performance evaluation of message passing algorithms

ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods ◽

10.1109/icfem.2000.873819 ◽

2002 ◽

Author(s):

A.E. Abdallah ◽

M. Green

Keyword(s):

Performance Evaluation ◽

Message Passing ◽

Message Passing Algorithms ◽

And Performance

Download Full-text

Structuring reactive systems in B AMN

ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods ◽

10.1109/icfem.2000.873802 ◽

2002 ◽

Cited By ~ 3

Author(s):

K. Lano ◽

K. Androutsopoulos ◽

P. Kan

Keyword(s):

Reactive Systems

Download Full-text

ICFEM 2000. Third IEEE International Conference on Formal Engineering MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Legacy code

Offering formal verification capabilities for industry standard case tools: challenges and results

Mechanical verification of transaction processing systems

Using use cases in Executable Z

Composing specifications in VSPEC

Translating UAN into CSP

Formal treatment of a family of fixed-point problems on graphs by CafeOBJ

ClawZ: control laws in Z

An integrated CSP-based tool for the visualisation, animation and performance evaluation of message passing algorithms

Structuring reactive systems in B AMN

ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods
Latest Publications