SAFE: A Programming Language for Software Quality.
B. K. OliverR. Geoff DromeyPublished in: Software Quality and Productivity (1994)
Keyphrases
- programming language
- software quality
- software engineering
- software systems
- software projects
- software development
- development process
- object oriented
- quality assurance
- general purpose
- life cycle
- strongly typed
- high level
- database languages
- reverse engineering
- programming environment
- computer programs
- specification language
- software metrics
- object oriented concepts
- program understanding
- database
- denotational semantics
- object oriented programming
- application development
- software architecture
- conceptual modeling
- design patterns
- user interface
- information systems
- artificial intelligence
- machine learning