 |
|
| Index for tools/publications on formal methods |
 Contents
|
|
|---|
Introduction / General / Without classification
Types of Systems
- Concurrent systems
- Distributed systems
- Embedded systems
- Parallel systems
- Reative systems
- Real-time systems
- Safety-Critical systems
- Sequential systems
- Synchronous systems
Development Phases
- Analysis
- Modelling
- Specification
- Description
- Transformation
- Development
- Programming
- Proof
- Testing
- Verification
- Refinement
- Simulation
- Rapid Prototyping
- Re-engineering
- Reverse Engineering
- Validation
- Deduction
- Reasoning
- Synthesis
Specification Languages
- Classical ordering
- Classification by /Wing 80/
- Classification by /Wing 19/
- Property Oriented
- Axiomatic
- Algebraic
- Model Oriented
- Property Oriented
Sort of Logic
GDPA Homepage
Last Updated 10.May.2000
Updated by Webmaster
Last Revised 10.May.2000
Revised by Webmaster
|