Integrated Formal Methods Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Grieskamp, Wolfgang (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Santen, Thomas (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Stoddart, Bill (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Computer Science, 1945
• Θέματα: Programming languages (Electronic computers).; Computers.; Software engineering.; Computer logic.; Computer programming.; Programming Languages, Compilers, Interpreters.; Theory of Computation.; Software Engineering/Programming and Operating Systems.; Logics and Meanings of Programs.; Software Engineering.; Programming Techniques.

Πίνακας περιεχομένων:

• Invited Talk
• Assertions
• Linking and Extending Notations
• State-Based Extension of CASL
• Linking DC Together with TRSL
• Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
• A Process Compensation Language
• Activity Graphs and Processes
• Structuring Real-Time Object-Z Specifications
• ISpec: Towards Practical and Sound Interface Specifications
• Methodology
• Cooperation of Formal Methods in an Engineering Based Software Development Process
• Developing Control Systems Components
• Specification and Analysis of Automata-Based Designs
• Structural Refinement in Object-Z / CSP
• Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs
• Foundation of One Formalism by Another
• Construction of Finite Labelled Transition Systems from B Abstract Systems
• ?-Charts and Z: Hows, Whys, and Wherefores
• Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language
• Invited Talk
• Why Doesn't Anyone Use Formal Methods?
• Semantics
• How to Write a Healthiness Condition
• A Concurrent and Compositional Petri Net Semantics of Preemption
• Verification and Validation
• An Approach to Symbolic Test Generation
• Behavioral Conformance Verification in an Integrated Approach Using UML and B
• Predicate Diagrams for the Verification of Reactive Systems
• Modular Verification for a Class of PLTL Properties
• Towards Model Checking Stochastic Process Algebra.