The Community for Technology Leaders
RSS Icon
Subscribe
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
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. Larrondo-Petrie , 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
M. Saksena , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 7
J. Van Katwijk , Delft Univ. of Technol., Netherlands
E. Durr , Delft Univ. of Technol., Netherlands
S. Goldsack , Delft Univ. of Technol., Netherlands
pp. 17
Session B: Method Integration 1
D.M. Berry , GMD-First, Berlin, Germany
M. Weber , GMD-First, Berlin, Germany
pp. 38
Parallel Session A: Protocols
Bruno Mermet , Universite' Henri Poincare'
Dominique Mery , Universite' Henri Poincare'
pp. 60
Birgit Geppert , University of Kaiserslautern
Frank Roessler , University of Kaiserslautern
pp. 70
Parallel Session B: Testing
Harbhajan Singh , Daimler-Benz AG, Systems Technology Research (F3S/K)
Mirko Conrad , Daimler-Benz AG, Systems Technology Research (F3S/K)
Sadegh Sadeghipour , Daimler-Benz AG, Systems Technology Research (F3S/K)
pp. 81
Lionel van Aertryck , Alliance Qualit? Logicie
Marc Benveniste , Alliance Qualit? Logicie
Daniel Le Métayer , INRIA/IRISA
pp. 101
Invited Speaker
Parallel Session A: Verification
Peter Lindsay , The University of Queensland
David Hemer , The University of Queensland
pp. 122
Jinyun Xue , Santa Clara University Santa Clara, CA
Ruth Davis , Santa Clara University Santa Clara, CA
pp. 132
David Cyrluk , SRI International
John Rushby , SRI International
Mandayam Srivas , SRI International
pp. 140
Parallel Session B: Experience 1
Richard L. Ford , The Open Group Research Institute
Richard T. Simon , The Open Group Research Institute
William R. Bevier , Computational Logic, Inc.
Lawrence M. Smith , Computational Logic, Inc.
pp. 151
Invited Speaker
K. Futatsugi , Graduate Sch. of Inf. Sci., Adv. Inst. of Sci. & Technol., Ishikawa, Japan
A. Nakagawa , 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
Kung-Kiu Lau , Dept. of Comput. Sci., Manchester Univ., UK
M. Omaghi , Dept. of Comput. Sci., Manchester Univ., UK
A. Wills , Dept. of Comput. Sci., Manchester Univ., UK
pp. 213
Parallel Session A: Applications
Mark d'Inverno , University of Westminster, London
Michael Luck , University of Warwick, Coventry
pp. 222
Parallel Session B: Requirements to Specifications
Lingzi Jin , Nanjing University
Hong Zhu , Nanjing University
pp. 243
Invited Speaker
Parallel Session A: Combining State and Process Algebras
A.J. Galloway , Dept. of Comput. Sci., York Univ., UK
W.J. Stoddart , Dept. of Comput. Sci., York Univ., UK
pp. 272
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
H. Habrias , IRIN, Nantes, France
B. Griech , IRIN, Nantes, France
pp. 304
Panel Session
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool