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
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
E. Durr , Delft Univ. of Technol., Netherlands
J. Van Katwijk , Delft Univ. of Technol., Netherlands
pp. 17
Session B: Method Integration 1
Parallel Session A: Protocols
Bruno Mermet , Universite' Henri Poincare'
Dominique Mery , Universite' Henri Poincare'
pp. 60
Parallel Session B: Testing
Mirko Conrad , Daimler-Benz AG, Systems Technology Research (F3S/K)
Harbhajan Singh , Daimler-Benz AG, Systems Technology Research (F3S/K)
pp. 81
Marc Benveniste , Alliance Qualit? Logicie
Lionel van Aertryck , Alliance Qualit? Logicie
pp. 101
Invited Speaker
Parallel Session A: Verification
Peter Lindsay , 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 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
Parallel Session A: Embedded Systems
Parallel Session B: Method Integration 2
M. Omaghi , Dept. of Comput. Sci., Manchester Univ., UK
Kung-Kiu Lau , Dept. of Comput. Sci., Manchester Univ., UK
pp. 213
Parallel Session A: Applications
Mark d'Inverno , University of Westminster, London
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
Panel Session
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool