Proceedings First IEEE International Conference on Formal Engineering Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Sco

0818680024

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Methods For Developing Reliable Software In Industry

Proceedings First IEEE International Conference on Formal Engineering Methods ◽

10.1109/icfem.1997.630388 ◽

2005 ◽

Author(s):

S. Otsuki

Keyword(s):

Formal Methods ◽

Reliable Software

Download Full-text

Whither Formal Methods: A Plea To Investigate New Applications

Proceedings First IEEE International Conference on Formal Engineering Methods ◽

10.1109/icfem.1997.630391 ◽

2005 ◽

Author(s):

C.B. Jones

Keyword(s):

Formal Methods ◽

New Applications

Download Full-text

Hazard Analysis: Determining Context For The Use Of Formal Methods

Proceedings First IEEE International Conference on Formal Engineering Methods ◽

10.1109/icfem.1997.630389 ◽

2005 ◽

Author(s):

P. Lindsay

Keyword(s):

Formal Methods ◽

Hazard Analysis

Download Full-text

Test case design based on Z and the classification-tree method

Proceedings First IEEE International Conference on Formal Engineering Methods ◽

10.1109/icfem.1997.630406 ◽

2002 ◽

Cited By ~ 34

Author(s):

H. Singh ◽

M. Conrad ◽

S. Sadeghipour

Keyword(s):

Classification Tree ◽

Test Case ◽

Case Design ◽

Tree Method

Download Full-text

Development and application of a formal agent framework

Proceedings First IEEE International Conference on Formal Engineering Methods ◽

10.1109/icfem.1997.630429 ◽

2002 ◽

Cited By ~ 13

Author(s):

M. d'Inverno ◽

M. Luck

Download Full-text

A formal approach to testing LUSTRE specifications

Proceedings First IEEE International Conference on Formal Engineering Methods ◽

10.1109/icfem.1997.630409 ◽

2002 ◽

Cited By ~ 1

Author(s):

I. Parissis

Keyword(s):

Formal Approach

Download Full-text

Refinement of information flow architectures

Proceedings First IEEE International Conference on Formal Engineering Methods ◽

10.1109/icfem.1997.630427 ◽

2002 ◽

Cited By ~ 14

Author(s):

J. Philipps ◽

B. Rumpe

Keyword(s):

Information Flow

Download Full-text

Formally specifying and verifying real-time systems

Proceedings First IEEE International Conference on Formal Engineering Methods ◽

10.1109/icfem.1997.630415 ◽

2002 ◽

Cited By ~ 1

Author(s):

R.A. Kemmerer ◽

P.Z. Kolano

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

Formal specification and verification of the MLSSI sender and local cache using SPIN

Proceedings First IEEE International Conference on Formal Engineering Methods ◽

10.1109/icfem.1997.630430 ◽

2002 ◽

Author(s):

M. Barjaktarovic

Keyword(s):

Formal Specification ◽

Local Cache ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Formal specification of dynamic constraints with the B method

Proceedings First IEEE International Conference on Formal Engineering Methods ◽

10.1109/icfem.1997.630437 ◽

2002 ◽

Cited By ~ 1

Author(s):

H. Habrias ◽

B. Griech

Keyword(s):

Formal Specification ◽

Dynamic Constraints ◽

B Method

Download Full-text

Proceedings First IEEE International Conference on Formal Engineering MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Sco

Formal Methods For Developing Reliable Software In Industry

Whither Formal Methods: A Plea To Investigate New Applications

Hazard Analysis: Determining Context For The Use Of Formal Methods

Test case design based on Z and the classification-tree method

Development and application of a formal agent framework

A formal approach to testing LUSTRE specifications

Refinement of information flow architectures

Formally specifying and verifying real-time systems

Formal specification and verification of the MLSSI sender and local cache using SPIN

Formal specification of dynamic constraints with the B method

Proceedings First IEEE International Conference on Formal Engineering Methods
Latest Publications