Applying Formal Specifications to Real-World Software Development.
Girish Keshav PalshikarPublished in: IEEE Softw. (2001)
Keyphrases
- formal specification
- software development
- real world
- software components
- software testing
- case study
- model checking
- object oriented design
- formal methods
- software engineering
- specification languages
- specification language
- concurrent systems
- software design
- process algebra
- data sets
- software projects
- protocol specification
- design methodology
- reverse engineering
- software architecture
- development process
- effort estimation
- database
- temporal logic
- software systems
- relational databases
- database systems
- web services
- formal specification language