 |
 |
 |
|
| Fomal Methods Forms |
1-2-3-4-5-6-7-8-9-10-11-FM-FM 1-FM 2-FM 3-FM 4-FM 5
General
- Acronym
- Title
- Description
- Homepage
- Classification
(method/tool) - Institution
- Publications
Process Technologies
- Activities
- Documents
- Roles:
(Tasks, Required know-how) - Compliance Rules
(Documents, Software/Hardware, Processes, General) - Development Scenario
(Waterfal, Incremental, Refinement, OO Development, Knowledge-based, Rapid Prototyping, Simulation, Animation, Reuse, Re-engineering, COTS) - Type of System:
(Concurrent systems, Distributed systems, Embedded systems, Parallel systems, Reative systems, Real-time systems, Safety-Critical systems, Sequential systems, Synchronous systems, Heterogeneous
Methods Classification
- Sort of Specification Language:
(Property, Model, State Oriented) - Sort of Logic
(First Order , HOL, Interval, Temporal, Modal, Monadic) - Sort of Checker:
(Type, Consistency, Proof, Model) - Sort of Prover
(Theorem) - Funtional Tool Requirements
- Reference to Standard
(ISO/IEC 8807, ISO VDM?SL Draft, ISO/IEC JTC1/SC22)
Tool Features
- Backtracking
- Version Control
- Common Repository
- Experience Factory
Interfaces
- T1
T2:
(Added/Lost elements/charact., Integration syntatic/semantic, Automated/Semi/Manual, Phases Covered, General Obs.) - T1
T2:
(Added/Lost elements/charact., Integration syntatic/semantic, Automated/Semi/Manual, Phases Covered, General Obs.)
Setting-Up/Comercial Aspects
|
|
|
 GDPA Homepage
Last Updated 05.Nov.1999
Updated by Webmaster
Last Revised 05.Nov.1999
Revised by Webmaster |