Practical Application of Formal Methods for Specification and Analysis of Software Architecture.
Cameron MaxwellArtem ParakhineJohn LeaneyPublished in: Australian Software Engineering Conference (2005)
Keyphrases
- practical application
- formal methods
- software architecture
- formal analysis
- software engineering
- model checking
- formal specification
- software systems
- description language
- real world
- artificial intelligence
- high level
- provably correct
- protocol specification
- reactive systems
- functional requirements
- reference model
- data quality
- information technology
- machine learning