JCSProB: Implementing Integrated Formal Specifications in Concurrent Java.
Letu YangMichael PoppletonPublished in: CPA (2007)
Keyphrases
- formal specification
- object oriented design
- model checking
- specification language
- specification languages
- programming language
- concurrent systems
- reverse engineering
- process algebra
- database management systems
- source code
- open source
- object oriented systems
- general purpose
- design methodology
- software design
- databases
- protocol specification
- java programs
- formal methods
- software testing
- software components
- database technology
- database applications
- object oriented
- case study
- web services