Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues.
Gilles BernotMichel BidoitPublished in: AMAST (1991)
Keyphrases
- technical issues
- software systems
- software design
- development methodologies
- software platform
- user interface
- software packages
- source code
- computer systems
- software package
- real world
- highly modular
- hardware design
- software evolution
- analysis tool
- software tools
- website
- genetic algorithm
- databases
- software maintenance
- key issues
- formal methods
- development process
- open source
- software engineering
- object oriented
- e learning
- search engine