1. Home
  2. Proceedings
  3. SEFM
  4. SEFM 2003
Default Cover Image

First International Conference on Software Engineering and Formal Methods (SEFM'03)

Sept. 22 2003 to Sept. 27 2003

Brisbane, Australia

ISBN: 0-7695-1949-0

Table of Contents

Introduction
PrefaceFreely available from IEEE.pp. vii
Introduction
Conference ChairsFreely available from IEEE.pp. viii
Introduction
Program CommitteeFreely available from IEEE.pp. ix
Introduction
RefereesFreely available from IEEE.pp. x
Keynote Speaker 1
From Requirements to Design: Formalizing the Key StepsFull-text access may be available. Sign in or learn about subscription options.pp. 2
by R.G. Dromey
Session 1: Testing
Supporting the Software Testing Process through Specification AnimationFull-text access may be available. Sign in or learn about subscription options.pp. 14
by Tim Miller, Paul Strooper
Session 1: Testing
Architecting Specifications for Test Case GenerationFull-text access may be available. Sign in or learn about subscription options.pp. 24
by Richard Sinnott
Session 2: Formal Models for Security
Weak Bisimulation for Probabilistic Timed Automata and Applications to SecurityFull-text access may be available. Sign in or learn about subscription options.pp. 34
by Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Session 2: Formal Models for Security
Refinement Operators and Information Flow SecurityFull-text access may be available. Sign in or learn about subscription options.pp. 44
by Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
Session 2: Formal Models for Security
A Formal Model for Trust in Dynamic NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 54
by Marco Carbone, Mogens Nielsen, Vladimiro Sassone
Keynote Speaker 2
Taming Mobile Processes Using TypesFull-text access may be available. Sign in or learn about subscription options.pp. 64
by Davide Sangiorgi
Session 3: Program Verification
Facilitating Program Verification with Dependent TypesFull-text access may be available. Sign in or learn about subscription options.pp. 72
by Hongwei Xi
Session 3: Program Verification
A Partial-Correctness Semantics for Modelling Assembler ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 82
by Geoffrey Watson, Colin Fidge
Session 3: Program Verification
Program Verification Using Change InformationFull-text access may be available. Sign in or learn about subscription options.pp. 91
by Bernhard Beckert, Peter H. Schmitt
Keynote Speaker 3
Towards a Well-Founded UML-Based Development MethodFull-text access may be available. Sign in or learn about subscription options.pp. 102
by Egidio Astesiano, Gianna Reggio
Session 4: Integration of Formal and Informal Methods I
Behavioral Consistency Validation of UML DiagramsFull-text access may be available. Sign in or learn about subscription options.pp. 118
by Boris Litvak, Shmuel Tyszberowicz, Amiram Yehudai
Session 4: Integration of Formal and Informal Methods I
Component-Based Design and Analysis: A Case StudyFull-text access may be available. Sign in or learn about subscription options.pp. 126
by Yan Jin, Charles Lakos, Robert Esser
Session 5: Integration of Formal and Informal Methods II
Towards Formalizing UML State Diagrams in CSPFull-text access may be available. Sign in or learn about subscription options.pp. 138
by Muan Yong Ng, Michael Butler
Session 5: Integration of Formal and Informal Methods II
Semantic Properties of μ-ChartsFull-text access may be available. Sign in or learn about subscription options.pp. 148
by Doug Goldson, Greg Reeve
Session 5: Integration of Formal and Informal Methods II
The Fallacy of Spec-Based DesignFull-text access may be available. Sign in or learn about subscription options.pp. 156
by Rahul Bhatt, Dave LaFollette, Arjun Kapur
Session 6: Object-Oriented Modelling
Formalizing the Framework Design Language F-UMLFull-text access may be available. Sign in or learn about subscription options.pp. 164
by Nadia Bouassida, Han?ne Ben-Abdallah, Fa?ez Gargouri, Abdemajid Ben Hamadou
Session 6: Object-Oriented Modelling
Modelling Java Concurrency with Object-ZFull-text access may be available. Sign in or learn about subscription options.pp. 173
by Roger Duke, Luke Wildman, Brad Long
Session 6: Object-Oriented Modelling
Specification Matching of Object-Oriented ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 182
by Frank Feiks, David Hemer
Session 6: Object-Oriented Modelling
Animation of Object-Z Specifications Using a Z AnimatorFull-text access may be available. Sign in or learn about subscription options.pp. 191
by Tim McComb, Graeme Smith
Session 7: Automated Verification
Model Checking Visual Specification of RequirementsFull-text access may be available. Sign in or learn about subscription options.pp. 202
by Ulka Shrotri, Purandar Bhaduri, R. Venkatesh
Session 7: Automated Verification
Formal Verification of ASM Designs Using the MDG ToolFull-text access may be available. Sign in or learn about subscription options.pp. 210
by Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter
Session 7: Automated Verification
Light-Weight Theorem Proving for Debugging and Verifying Units of CodeFull-text access may be available. Sign in or learn about subscription options.pp. 220
by David Déharbe, Silvio Ranise
Author Index
Author IndexFreely available from IEEE.pp. 229
Showing 28 out of 28