Formalised development of software by machine assisted transformation.
Colin RuncimanMike FirthPublished in: Formal Methods in Software Development (1990)
Keyphrases
- development process
- software developers
- software design
- development cycle
- software systems
- software engineering
- hardware platforms
- computer systems
- cross platform
- design tools
- software projects
- technical issues
- design patterns
- test cases
- decision support
- object oriented
- case study
- software life cycle
- design principles
- development methodologies
- quality assurance
- software testing
- financial investment
- software maintenance
- software tools
- real time
- information processing
- knowledge based systems
- user interface
- information systems
- artificial intelligence
- neural network