Hume box calculus: robust system development through software transformation.
Gudmund GrovGreg MichaelsonPublished in: High. Order Symb. Comput. (2010)
Keyphrases
- development cycle
- software design
- configuration management
- software systems
- software developers
- software engineering
- hardware platforms
- software application
- computer systems
- development process
- technical issues
- software testing
- software reuse
- source code
- requirements engineering
- information processing
- software development
- design tools
- software industry
- platform independent
- product line
- development effort
- computationally efficient
- computer hardware
- knowledge based systems
- programming environments
- commercial off the shelf
- software life cycle