Developing an ROV software control architecture: A formal specification approach.
Fabio Henrique de AssisFabio Kawaoka TakaseNewton MaruyamaPaulo Eigi MiyagiPublished in: IECON (2012)
Keyphrases
- formal specification
- control architecture
- object oriented design
- formal methods
- software components
- robotic systems
- specification languages
- model checking
- specification language
- software systems
- control system
- process algebra
- control strategy
- data abstraction
- software development
- autonomous agents
- reverse engineering
- shop floor
- software maintenance
- software design
- web services
- source code
- test cases
- object oriented systems
- design patterns
- software architecture
- machine learning