Please enable JavaScript.
Coggle requires JavaScript to display documents.
Structuring and Project Management - Coggle Diagram
Structuring and Project Management
Modularity
IMPORTS
Tree structure
Implementation importing abstract machines
Generates a new abstract machine with the implementation data details (interface)
SEES
Read Only
Not transitive
Local Operation
INCLUDES
Abst. Mach. -> Abst. Mach
PROMOTES
Allow for operation transitivity of included machines
EXTENDS
INCLUDES + PROMOTES
Project Management
Developement
Implementing
Modeling
Proving
Mantainability
Modularize properties
Reduce proof obligations
Avoid complexity
Manage workspace