default search action
1st ICFEM 1997: Hiroshima, Japan
- First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings. IEEE Computer Society 1997, ISBN 0-8186-8002-4
Invited Speaker
- Cliff B. Jones
:
Whither Formal Methods: A Plea to Investigate New Applications. 5-
Object-Orientation
- Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie
Towards a Rigorous Object-Oriented Analysis and Design Method. 7-16 - Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack:
Hybrid Object-Oriented Real-Time Software Development with VDM++. 17-27
Method Integration 1
- Dirk Scholz, Carsta Petersohn:
Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language. 28-37 - Daniel M. Berry, M. Weber:
A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations. 38-49
Protocols
- Mourad Debbabi, Mohamed Mejri, Nadia Tawbi
Formal Automatic Verification of Authentication Crytographic Protocols. 50-59 - Bruno Mermet, Dominique Méry:
Incremental Specification of Telecommunication Services. 60-69 - Birgit Geppert, Frank Rößler:
Generic Engineering of Communication Protocols - Current Experience and Future Issues. 70-80
Testing
- Harbhajan Singh, Mirko Conrad, Sadegh Sadeghipour:
Test Case Design Based on Z and the Classification-Tree Method. 81-90 - Ioannis Parissis:
A Formal Approach to Testing LUSTRE Specifications. 91-100 - Lionel Van Aertryck, Marc V. Benveniste, Daniel Le Métayer:
CASTING: A Formally Based Software Test Generation Method. 101-111
Invited Speaker
- Richard A. Kemmerer:
Formally Specifying and Verifying Real-Time Systems. 112-121
Verification
- Peter A. Lindsay, David Hemer:
Using CARE to Construct Verified Software. 122-131 - Jinyun Xue, Ruth Davis:
A Simple Program whose Derivation and Proof is Also. 132-139 - David Cyrluk, John M. Rushby, Mandayam K. Srivas:
Systematic Formal Verification of Interpreters. 140-150
Experience 1
- Richard L. Ford, William R. Bevier, Richard T. Simon, Lawrence M. Smith:
The Specification-Based Testing of a Trusted Kernel: MK++. 151-160 - Jin Song Dong, Neale Fulton, Lin Zucconi, John Colton:
Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program. 161-169
Invited Speaker
- Kokichi Futatsugi, Ataru T. Nakagawa:
An Overview of CAFE Specification Environment - An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over Networks. 170-182
Embedded Systems
- Frank Lattemann, Egbert Lehmann:
A Methodological Approach to the Requirement Specification of Embedded Systems. 183-191 - Mats Per Erik Heimdahl, Jeffrey M. Thompson:
Specification and Analysis of System Level Inter-Component Communication. 192-202
Method Integration 2
- Jan Philipps, Bernhard Rumpe:
Refinement of Information Flow Architectures. 203-212 - Kung-Kiu Lau, Mario Ornaghi, Alan Wills:
Frameworks in Catalysis: Pictorial Notation and Formal Semantics. 213-221
Applications
- Mark d'Inverno, Michael Luck
Development and Application of a Formal Agent Framework. 222-231 - Milica Barjaktarovic:
Formal Specification and Verification of the MISSI Sender and Local Cache using SPIN. 232-242
Requirements to Specifications
- Lingzi Jin, Hong Zhu:
Automatic Generation of Formal Specification from Requirements Definition. 243-251 - Christian Peper, Reinhard Gotzhein, Martin Kronenburg:
A Generic Approach to the Formal Specification of Requirements. 252-262
Invited Speaker
- Dines Bjørner, S. Koussoube, R. Noussi, G. Satchok:
Michael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools. 263-271
Combining State and Process Algebras
- Andy Galloway, Bill Stoddart:
An Operational Semantics for ZCCS. 272-282 - Kenji Taguchi, Keijiro Araki:
The State-Based CCS Semantics for Concurrent Z Specification. 283-292 - Graeme Smith, John Derrick:
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP. 293-303
Experience 2
- Henri Habrias, B. Griech:
Formal Specification of Dynamic Constraints with the B Method. 304-314 - Lionel C. Briand, Sandro Morasca:
Software Measurement and Formal Methods: A Case Study Centered on TRIO+ Specifications. 315-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-22 19:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: