Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

FM'99 - Formal Methods Vol.1

World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings
BuchKartoniert, Paperback
940 Seiten
Englisch
Springererschienen am13.09.1999
Formal methods are coming of age. This s- cession re?ects an increasing openness within the international community of researchers and practitioners: papers were submitted covering a wide variety of formal methods and application areas.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR106,99
E-BookPDF1 - PDF WatermarkE-Book
EUR96,29

Produkt

KlappentextFormal methods are coming of age. This s- cession re?ects an increasing openness within the international community of researchers and practitioners: papers were submitted covering a wide variety of formal methods and application areas.
Details
ISBN/GTIN978-3-540-66587-8
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr1999
Erscheinungsdatum13.09.1999
ReiheLecture Notes in Computer Science
Seiten940 Seiten
SpracheEnglisch
Gewicht1182 g
IllustrationenXXXVI, 940 p.
Artikel-Nr.11596462

Inhalt/Kritik

Inhaltsverzeichnis
Invited Papers.- Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle.- Scientific Decisions which Characterize VDM.- Mechanized Formal Methods: Where Next?.- Integration, the Price of Success.- The Role of Formalism in Method.- Integration into the Development Process.- Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project.- A Business Process Design Language.- Software Architecture.- Refinement of Pipe-and-Filter Architectures.- A Formalization of Software Architecture.- European Association for Theoretical Computer Science (EATCS).- Component and Interface Refinement in Closed-System Specifications.- Semantics of First Order Parametric Specifications.- Model Checking.- A Perfecto Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software.- Error Detection with Directed Symbolic Model Checking.- Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination.- On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems.- On-the-fly Verification of Linear Temporal Logic.- Symbolic Model Checking with Fewer Fixpoint Computations.- Formula Based Abstractions of Transition Systems for Real-Time Model Checking.- If: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems.- Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes.- The B Method.- The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications.- Météor: A Successful Application of B in a Large Project.- Formal Development of Databases in ASSO and B.- Interpreting the B-Method in the Refinement Calculus.- Compositional Symmetric Sharing in B.- Structural Embeddings: Mechanization withMethod.- The Safe Machine: A New Specification Construct for B.- csp2B: A Practical Approach to Combining CSP and B.- Test Criteria Definition for B Models.- Composition and Synthesis.- Bunches for Object-Oriented, Concurrent, and Real-Time Specification.- Applications of Structural Synthesis of Programs.- Towards a Compositional Approach to the Design and Verification of Distributed Systems.- Telecommunications.- Formal Modeling in a Commercial Setting: A Case Study.- KVEST: Automated Generation of Test Suites from Formal Specifications.- Feature Interaction Detection Using Testing and Model-Checking Experience Report.- Emma: Developing an Industrial Reachability Analyser for SDL.- Correctness Proof of the Standardized Algorithm for ABR Conformance.- Verifying a Distributed Database Lookup Manager Written in Erlang.- Security.- Secure Interoperation of Secure Distributed Databases.- A Formal Security Model for Microprocessor Hardware.- Abstraction and Testing.- Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol.- Probabilistic Polynomial-Time Equivalence and Security Analysis.- A Uniform Approach for the Definition of Security Properties.- Group Principals and the Formalization of Anonymity.- Object-Orientation.- Developing BON as an Industrial-Strength Formal Method.- On the Expressive Power of OCL.- A Systematic Approach to Transform OMT Diagrams to a B Specification.- Verifying Consistency and Validity of Formal.- Verifying Consistency and Validity of Formal Specifications by Testing.- A GSM-MAP Protocol Experiment Using Passive Testing.mehr

Schlagworte