• I
  • ICFEM
  • 1997
  • First International Conference on Formal Engineering Methods (ICFEM'97)
Advanced Search 
First International Conference on Formal Engineering Methods (ICFEM'97)
Hiroshima, JAPAN
November 12-November 14
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
Parallel Session A: Protocols
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
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
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
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
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
The Future of Formal Methods: Verification, Error Detection, or What?
Usage of this product signifies your acceptance of the Terms of Use.