The Community for Technology Leaders
Formal Engineering Methods, International Conference on (1997)
Hiroshima, JAPAN
Nov. 12, 1997 to Nov. 14, 1997
ISBN: 0-8186-8002-4
TABLE OF CONTENTS
Parallel Session A: Object-Orientation

Towards a rigorous object-oriented analysis and design method (Abstract)

M. Larrondo-Petrie , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
R.B. France , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
J.-M. Bruel , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
M. Saksena , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
E. Grant , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 7

Hybrid object-oriented real-time software development with VDM/sup ++/ (Abstract)

E. Durr , Delft Univ. of Technol., Netherlands
S. Goldsack , Delft Univ. of Technol., Netherlands
J. Van Katwijk , Delft Univ. of Technol., Netherlands
pp. 17
Session B: Method Integration 1

A pragmatic, rigorous integration of structural and behavioral modeling notations (Abstract)

M. Weber , GMD-First, Berlin, Germany
D.M. Berry , GMD-First, Berlin, Germany
pp. 38
Parallel Session A: Protocols

Incremental Specification of Telecommunication Services (Abstract)

Bruno Mermet , Universite' Henri Poincare'
Dominique Mery , Universite' Henri Poincare'
pp. 60

Generic Engineering of Communication Protocols - Current Experience and Future Issues (Abstract)

Frank Roessler , University of Kaiserslautern
Birgit Geppert , University of Kaiserslautern
pp. 70
Parallel Session B: Testing

Test Case Design Based on Z and the Classification-Tree Method (Abstract)

Sadegh Sadeghipour , Daimler-Benz AG, Systems Technology Research (F3S/K)
Mirko Conrad , Daimler-Benz AG, Systems Technology Research (F3S/K)
Harbhajan Singh , Daimler-Benz AG, Systems Technology Research (F3S/K)
pp. 81

CASTING: A Formally Based Software Test Generation Method (Abstract)

Marc Benveniste , Alliance Qualit? Logicie
Daniel Le Métayer , INRIA/IRISA
Lionel van Aertryck , Alliance Qualit? Logicie
pp. 101
Invited Speaker
Parallel Session A: Verification

Using CARE to Construct Verified Software (Abstract)

David Hemer , The University of Queensland
Peter Lindsay , The University of Queensland
pp. 122

A Simple Program whose Derivation and proof is also (Abstract)

Jinyun Xue , Santa Clara University Santa Clara, CA
Ruth Davis , Santa Clara University Santa Clara, CA
pp. 132

Systematic Formal Verification of Interpreters (Abstract)

David Cyrluk , SRI International
Mandayam Srivas , SRI International
John Rushby , SRI International
pp. 140
Parallel Session B: Experience 1

The Specification-Based Testing of a Trusted Kernel: MK++ (Abstract)

Lawrence M. Smith , Computational Logic, Inc.
Richard T. Simon , The Open Group Research Institute
William R. Bevier , Computational Logic, Inc.
Richard L. Ford , The Open Group Research Institute
pp. 151
Invited Speaker

An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks (Abstract)

A. Nakagawa , Graduate Sch. of Inf. Sci., Adv. Inst. of Sci. & Technol., Ishikawa, Japan
K. Futatsugi , Graduate Sch. of Inf. Sci., Adv. Inst. of Sci. & Technol., Ishikawa, Japan
pp. 170
Parallel Session A: Embedded Systems
Parallel Session B: Method Integration 2

Frameworks in Catalysis: pictorial notation and formal semantics (Abstract)

M. Omaghi , Dept. of Comput. Sci., Manchester Univ., UK
A. Wills , Dept. of Comput. Sci., Manchester Univ., UK
Kung-Kiu Lau , Dept. of Comput. Sci., Manchester Univ., UK
pp. 213
Parallel Session A: Applications

Development and Application of a Formal Agent Framework (Abstract)

Michael Luck , University of Warwick, Coventry
Mark d'Inverno , University of Westminster, London
pp. 222
Parallel Session B: Requirements to Specifications
Invited Speaker
Parallel Session A: Combining State and Process Algebras

An operational semantics for ZCCS (Abstract)

A.J. Galloway , Dept. of Comput. Sci., York Univ., UK
W.J. Stoddart , Dept. of Comput. Sci., York Univ., UK
pp. 272

The state-based CCS semantics for concurrent Z specification (Abstract)

K. Taguchi , Dept. of Comput. Sci. & Commun. Eng., Kyushu Univ., Fukuoka, Japan
K. Araki , Dept. of Comput. Sci. & Commun. Eng., Kyushu Univ., Fukuoka, Japan
pp. 283
Parallel Session B: Experience 2

Formal specification of dynamic constraints with the B method (Abstract)

B. Griech , IRIN, Nantes, France
H. Habrias , IRIN, Nantes, France
pp. 304
Panel Session
97 ms
(Ver 3.1 (10032016))