SPIL: A language for construction of reliable system software.
Barbara H. LiskovLeroy A. SmithPublished in: SIGPLAN-SIGOPS Interface Meeting (1973)
Keyphrases
- software development
- software systems
- software design
- natural language
- modeling language
- software architecture
- test cases
- source code
- computer systems
- real time
- english language
- software package
- programming language
- database
- information retrieval
- software tools
- commercial software
- specification language
- databases
- object oriented programming
- information extraction
- software maintenance
- data processing
- personal computer
- embedded systems
- language learning
- software engineering
- cost effective
- open source