Current Work

Current Work

• More complex idealizations.
• Environmental conditions and specification semantics.
• Introspection: is analysis model X supported by this APM?
• Standardization and reusability.
• Synthesis.

Previous slide

Next slide

Back to the first slide

View Graphic Version