7. ICFEM 2005: Manchester, UK
Kung-Kiu Lau, Richard Banach (Eds.): Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science ISBN 3-540-29797-9
Invited Talks
- Anthony Hall: Realising the Benefits of Formal Methods. 1-4
- Alistair P. Barros, Egon Börger: A Compositional Framework for Service Interaction Patterns and Interaction Flows. 5-35
- John M. Rushby: An Evidential Tool Bus. 36-36
Specification
- Akram Idani, Yves Ledru, Didier Bert: Derivation of UML Class Diagrams as Static Views of Formal B Developments. 37-51
- Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever: 29 New Unclarities in the Semantics of UML 2.0 State Machines. 52-65
Modelling
- Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard: How Symbolic Animation Can Help Designing an Efficient Formal Model. 96-110
Security
Communication
- Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum: Towards Dynamically Communicating Abstract Machines in the B Method. 141-155
- Guy Edward Gallasch, Bing Han, Jonathan Billington: Sweep-Line Analysis of TCP Connection Management. 156-172
Development
- Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik: Formal Model-Driven Development of Communicating Systems. 188-203
- Ismail Assayad, Valérie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine: Jahuel: A Formal Framework for Software Synthesis. 204-218
- Juha Plosila, Pasi Liljeberg, Jouni Isoaho: Modelling and Refinement of an On-Chip Communication Architecture. 219-234
Testing
- Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou: Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. 235-250
- Johannes Mayer: Adaptive Random Testing by Bisection with Restriction. 251-263
Verification
- Sandrine Blazy, Xavier Leroy: Formal Verification of a Memory Model for C-Like Imperative Languages. 280-299
- Farn Wang: Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations. 300-314
- Bernhard Beckert, Steffen Schlager, Peter H. Schmitt: An Improved Rule for While Loops in Deductive Program Verification. 315-329
- Francesc-Xavier Babot, Miquel Bertran, August Climent: A Static Communication Elimination Algorithm for Distributed System Verification. 375-389
- Arjan J. Mooij, Wieger Wesselink: Incremental Verification of Owicki/Gries Proof Outlines Using PVS. 390-404
- Jens Brandt, Klaus Schneider: Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry. 405-420
Tools
- Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid: An Automated Approach to Specification-Based Program Inspection. 421-434
- Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun: Visualizing and Simulating Semantic Web Services Ontologies. 435-449
- Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal: A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. 450-464
- M. M. Adams, Philip B. Clayton: ClawZ: Cost-Effective Formal Verification for Control Systems. 465-479
- Jing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik: SVG Web Environment for Z Specification Language. 480-494
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team