FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns.
Diego MarmsolerHabtom Kahsay GideyPublished in: FACS (2018)
Keyphrases
- design patterns
- software architecture
- software engineering
- object oriented software
- object oriented
- formal verification
- design rationale
- software design
- ontology driven
- code generation
- design principles
- metamodel
- formal methods
- usage scenarios
- database driven
- model checking
- asynchronous circuits
- high level
- process model
- software systems
- specific problems
- cooperative
- web services
- temporal logic
- commercial off the shelf
- colored petri nets
- multi agent systems
- web applications
- pattern languages
- data mining