Developing Mode-Rich Satellite Software by Refinement in Event B.
Alexei IliasovElena TroubitsynaLinas LaibinisAlexander B. RomanovskyKimmo VarpaaniemiDubravka IlicTimo LatvalaPublished in: FMICS (2010)
Keyphrases
- software tools
- software development
- software design
- design and implementation issues
- software systems
- computer systems
- development process
- commercial software
- hardware design
- event driven
- source code
- development lifecycle
- software requirements
- software packages
- software evolution
- software maintenance
- software developers
- test cases
- personal computer
- event detection
- software architecture