1. Home
  2. Proceedings
  3. ICFEM
  4. ICFEM 1997
Default Cover Image

Formal Engineering Methods, International Conference on

Nov. 12 1997 to Nov. 14 1997

Hiroshima, JAPAN

ISBN: 0-8186-8002-4

Table of Contents

Formal Methods For Developing Reliable Software In IndustryFull-text access may be available. Sign in or learn about subscription options.pp. 2
by S. Otsuki
Hazard Analysis: Determining Context For The Use Of Formal MethodsFull-text access may be available. Sign in or learn about subscription options.pp. 3
by P. Lindsay
Whither Formal Methods: A Plea To Investigate New ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 5
by C.B. Jones
Parallel Session A: Object-Orientation
Towards a rigorous object-oriented analysis and design methodFull-text access may be available. Sign in or learn about subscription options.pp. 7
by R.B. France, J.-M. Bruel, M. Larrondo-Petrie, E. Grant, M. Saksena
Parallel Session A: Object-Orientation
Hybrid object-oriented real-time software development with VDM/sup ++/Full-text access may be available. Sign in or learn about subscription options.pp. 17
by J. Van Katwijk, E. Durr, S. Goldsack
Session B: Method Integration 1
Towards a Formal Semantics for an Integrated SA/RT & Z Specification LanguageFull-text access may be available. Sign in or learn about subscription options.pp. 28
by Dirk Scholz, Carsta Petersohn
Session B: Method Integration 1
A pragmatic, rigorous integration of structural and behavioral modeling notationsFull-text access may be available. Sign in or learn about subscription options.pp. 38
by D.M. Berry, M. Weber
Parallel Session A: Protocols
Formal Automatic Verification of Authentication Cryptographic ProtocolsFull-text access may be available. Sign in or learn about subscription options.pp. 50
by M. Debbabi, M. Mejri, N. Tawbi, I. Yahmadi
Parallel Session A: Protocols
Incremental Specification of Telecommunication ServicesFull-text access may be available. Sign in or learn about subscription options.pp. 60
by Bruno Mermet, Dominique Mery
Parallel Session A: Protocols
Generic Engineering of Communication Protocols - Current Experience and Future IssuesFull-text access may be available. Sign in or learn about subscription options.pp. 70
by Birgit Geppert, Frank Roessler
Parallel Session B: Testing
Test Case Design Based on Z and the Classification-Tree MethodFull-text access may be available. Sign in or learn about subscription options.pp. 81
by Harbhajan Singh, Mirko Conrad, Sadegh Sadeghipour
Parallel Session B: Testing
A Formal Approach to Testing Lustre SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 91
by Ioannis Parissis
Parallel Session B: Testing
CASTING: A Formally Based Software Test Generation MethodFull-text access may be available. Sign in or learn about subscription options.pp. 101
by Lionel van Aertryck, Marc Benveniste, Daniel Le Métayer
Invited Speaker
Formally Specifying and Verifying Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 112
by R. Kemmerer
Parallel Session A: Verification
Using CARE to Construct Verified SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 122
by Peter Lindsay, David Hemer
Parallel Session A: Verification
A Simple Program whose Derivation and proof is alsoFull-text access may be available. Sign in or learn about subscription options.pp. 132
by Jinyun Xue, Ruth Davis
Parallel Session A: Verification
Systematic Formal Verification of InterpretersFull-text access may be available. Sign in or learn about subscription options.pp. 140
by David Cyrluk, John Rushby, Mandayam Srivas
Parallel Session B: Experience 1
The Specification-Based Testing of a Trusted Kernel: MK++Full-text access may be available. Sign in or learn about subscription options.pp. 151
by Richard L. Ford, Richard T. Simon, William R. Bevier, Lawrence M. Smith
Parallel Session B: Experience 1
Formalising Process Scheduling Requirements for an Aircraft Operational Flight ProgramFull-text access may be available. Sign in or learn about subscription options.pp. 161
by Jin Song Dong, Neale Fulton, Lin Zucconi, John Colton
Invited Speaker
An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networksFull-text access may be available. Sign in or learn about subscription options.pp. 170
by K. Futatsugi, A. Nakagawa
Parallel Session A: Embedded Systems
A Methodological Approach to the Requirement Specification of Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 183
by F. Lattemann, E. Lehmann
Parallel Session A: Embedded Systems
Specification and Analysis of System Level Inter-Component CommunicationFull-text access may be available. Sign in or learn about subscription options.pp. 192
by Mats P. E. Heimdahl, Jeffrey M. Thompson
Parallel Session B: Method Integration 2
Refinement of Information Flow ArchitecturesFull-text access may be available. Sign in or learn about subscription options.pp. 203
by Jan Philipps, Bernhard Rumpe
Parallel Session B: Method Integration 2
Frameworks in Catalysis: pictorial notation and formal semanticsFull-text access may be available. Sign in or learn about subscription options.pp. 213
by Kung-Kiu Lau, M. Omaghi, A. Wills
Parallel Session A: Applications
Development and Application of a Formal Agent FrameworkFull-text access may be available. Sign in or learn about subscription options.pp. 222
by Mark d'Inverno, Michael Luck
Parallel Session A: Applications
Formal Specification and Verification of the MISSI Sender and Local Cache Using SPINFull-text access may be available. Sign in or learn about subscription options.pp. 232
by Milica Barjaktarovic
Parallel Session B: Requirements to Specifications
Automatic Generation of Formal Specification from Requirements DefinitionFull-text access may be available. Sign in or learn about subscription options.pp. 243
by Lingzi Jin, Hong Zhu
Parallel Session B: Requirements to Specifications
A Generic Approach to the Formal Specification of RequirementsFull-text access may be available. Sign in or learn about subscription options.pp. 252
by Christian Peper, Reinhard Gotzhein, Martin Kronenburg
Invited Speaker
Michael Jackson's problem frames: towards methodological principles of selecting and applying formal software development techniques and toolsFull-text access may be available. Sign in or learn about subscription options.pp. 263
by D. Bjoner, S. Koussoube, R. Noussi, G. Satchok
Parallel Session A: Combining State and Process Algebras
An operational semantics for ZCCSFull-text access may be available. Sign in or learn about subscription options.pp. 272
by A.J. Galloway, W.J. Stoddart
Parallel Session A: Combining State and Process Algebras
The state-based CCS semantics for concurrent Z specificationFull-text access may be available. Sign in or learn about subscription options.pp. 283
by K. Taguchi, K. Araki
Parallel Session A: Combining State and Process Algebras
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSPFull-text access may be available. Sign in or learn about subscription options.pp. 293
by Graeme Smith, John Derrick
Parallel Session B: Experience 2
Formal specification of dynamic constraints with the B methodFull-text access may be available. Sign in or learn about subscription options.pp. 304
by H. Habrias, B. Griech
Parallel Session B: Experience 2
Software Measurement and Formal Methods: A Case Study Centered on TRIO+ SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 315
by Lionel C. Briand, Sandro Morasca
Showing 34 out of 34