Formal Methods and Software Engineering [[electronic resource] ] : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings / / edited by Kung-Kiu Lau, Richard Banach
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Formal Methods and Software Engineering [[electronic resource] ] : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings / / edited by Kung-Kiu Lau, Richard Banach
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Edizione: | 1st ed. 2005. |
| Descrizione fisica: | 1 online resource (XIV, 502 p.) |
| Disciplina: | 005.13/1 |
| Soggetto topico: | Software engineering |
| Computer logic | |
| Programming languages (Electronic computers) | |
| Software Engineering/Programming and Operating Systems | |
| Software Engineering | |
| Logics and Meanings of Programs | |
| Programming Languages, Compilers, Interpreters | |
| Persona (resp. second.): | LauKung-Kiu |
| BanachRichard | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service Interaction Patterns and Interaction Flows -- An Evidential Tool Bus -- Specification -- Derivation of UML Class Diagrams as Static Views of Formal B Developments -- 29 New Unclarities in the Semantics of UML 2.0 State Machines -- The Semantics and Tool Support of OZTA -- Modelling -- An Abstract Model for Process Mediation -- How Symbolic Animation Can Help Designing an Efficient Formal Model -- Security -- A Theory of Secure Control Flow -- Game Semantics Model for Security Protocols -- Communication -- Towards Dynamically Communicating Abstract Machines in the B Method -- Sweep-Line Analysis of TCP Connection Management -- 2/3 Alternating Simulation Between Interface Automata -- Development -- Formal Model-Driven Development of Communicating Systems -- Jahuel: A Formal Framework for Software Synthesis -- Modelling and Refinement of an On-Chip Communication Architecture -- Testing -- Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics -- Adaptive Random Testing by Bisection with Restriction -- Testing Real-Time Multi Input-Output Systems -- Verification -- Formal Verification of a Memory Model for C-Like Imperative Languages -- Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations -- An Improved Rule for While Loops in Deductive Program Verification -- Using Stålmarck’s Algorithm to Prove Inequalities -- Automatic Refinement Checking for B -- Slicing an Integrated Formal Method for Verification -- A Static Communication Elimination Algorithm for Distributed System Verification -- Incremental Verification of Owicki/Gries Proof Outlines Using PVS -- Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry -- Tools -- An Automated Approach to Specification-Based Program Inspection -- Visualizing and Simulating Semantic Web Services Ontologies -- A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing -- ClawZ: Cost-Effective Formal Verification for Control Systems -- SVG Web Environment for Z Specification Language. |
| Titolo autorizzato: | Formal Methods and Software Engineering |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465729703316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Programming and Software Engineering ; ; 3785