default search action
1st SEFM 2003: Brisbane, Australia
- 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia. IEEE Computer Society 2003, ISBN 0-7695-1949-0
Keynote Speaker 1
- R. Geoff Dromey:
From Requirements to Design: Formalizing the Key Steps. 2-
Testing
- Tim Miller, Paul A. Strooper:
Supporting the Software Testing Process through Specification Animation. 14-23 - Richard O. Sinnott:
Architecting Specifications for Test Case Generation. 24-
Formal Models for Security
- Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina:
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. 34-43 - Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi:
Refinement Operators and Information Flow Security. 44-53 - Marco Carbone, Mogens Nielsen, Vladimiro Sassone:
A Formal Model for Trust in Dynamic Networks. 54-
Keynote Speaker 2
- Davide Sangiorgi:
Taming Mobile Processes Using Types. 64-
Program Verification
- Hongwei Xi:
Facilitating Program Verification with Dependent Types. 72-81 - Geoffrey Watson, Colin J. Fidge:
A Partial-Correctness Semantics for Modelling Assembler Programs. 82-90 - Bernhard Beckert, Peter H. Schmitt:
Program Verification Using Change Information. 91-
Keynote Speaker 3
- Egidio Astesiano, Gianna Reggio:
Towards a Well-Founded UML-Based Development Method. 102-
Integration of Formal and Informal Methods I
- Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai:
Behavioral Consistency Validation of UML Diagrams. 118-125 - Yan Jin, Charles Lakos, Robert Esser:
Component-Based Design and Analysis: A Case Study. 126-
Integration of Formal and Informal Methods II
- Muan Yong Ng, Michael J. Butler:
Towards Formalizing UML State Diagrams in CSP. 138- - Doug Goldson, Greg Reeve:
Semantic Properties of mu-Charts. 148-155 - Rahul Bhatt, Dave LaFollette, Arjun Kapur:
The Fallacy of Spec-Based Design. 156-
Object-Oriented Modelling
- Nadia Bouassida, Hanêne Ben-Abdallah, Faïez Gargouri, Abdelmajid Ben Hamadou:
Formalizing the Framework Design Language F-UML. 164-172 - Roger Duke, Luke Wildman, Brad Long:
Modelling Java Concurrency with Object-Z. 173-181 - Frank Feiks, David Hemer:
Specification Matching of Object-Oriented Components. 182-190 - Tim McComb, Graeme Smith:
Animation of Object-Z Specifications Using a Z Animator. 191-
Automated Verification
- Ulka Shrotri, Purandar Bhaduri, R. Venkatesh:
Model Checking Visual Specification of Requirements. 202-209 - Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter:
Formal Verification of ASM Designs Using the MDG Tool. 210-219 - David Déharbe, Silvio Ranise:
Light-Weight Theorem Proving for Debugging and Verifying Units of Code. 220-228
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.