Availability Evaluation of Software Architectures through Formal Methods.
João Miguel FrancoRaul BarbosaMário Zenha RelaPublished in: QUATIC (2014)
Keyphrases
- formal methods
- software architecture
- software engineering
- description language
- formal analysis
- artificial intelligence
- safety critical
- knowledge based systems
- software systems
- model checker
- security requirements
- formal specification
- security properties
- model checking
- software development
- distributed systems
- reactive systems
- process algebra
- real world
- development lifecycle
- functional requirements
- modeling language
- cooperative
- reinforcement learning
- information systems