A design methodology for reliable software systems.
Barbara H. LiskovPublished in: AFIPS Fall Joint Computing Conference (1) (1972)
Keyphrases
- software systems
- design methodology
- software engineering
- source code
- object oriented
- software components
- design process
- physical design
- software development
- design methodologies
- software design
- software evolution
- software architecture
- embedded systems
- software maintenance
- fuzzy neural network
- formal specification
- software engineers
- linux kernel
- databases
- complex software systems
- software quality
- neural network
- software reuse
- machine learning