The Village Telephone System: A Case Study in Formal Software Engineering.
Karthikeyan BhargavanCarl A. GunterElsa L. GunterMichael JacksonDavor ObradovicPamela ZavePublished in: TPHOLs (1998)
Keyphrases
- software engineering
- formal methods
- case study
- reverse engineering
- software systems
- software development
- programming language
- software maintenance
- object oriented
- artificial intelligence
- software engineers
- software projects
- test bed
- software architecture
- call center
- formal specification
- development process
- systems development
- web services
- human computer interaction
- requirements elicitation
- formal model
- data sets
- knowledge based systems
- knowledge management
- mobile devices
- knowledge base
- machine learning