Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings
Сохранить в:
| Соавтор: | |
|---|---|
| Другие авторы: | , , |
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Серии: | Lecture notes in computer science
1945 |
| Предметы: | |
| Online-ссылка: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Примечание: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Integrated formal methods, second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, proceedings, Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.), 2000, New York, Springer, 1 vol. (X-439 p.), Lecture notes in computer science, 3-540-41196-8 • Integrated Formal Methods, Texte imprimé, 9783662203743 |
Оглавление:
- 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.