Semi-formal and formal interface specification for system of systems architecture.
Jeremy W. BryansRichard John PayneJon HoltSimon PerryPublished in: SysCon (2013)
Keyphrases
- reactive systems
- formal methods
- formal specification
- management system
- formal model
- human computer interface
- formal languages
- client server architecture
- dynamic reconfiguration
- cross platform
- specification language
- distributed systems
- user interface
- model checking
- retrieval systems
- petri net
- natural language interface
- mathematical theory
- complex systems
- high level
- artificial intelligence