Software Development with Object-Z, CSP, and Java: A Pragmatic Link from Formal Specifications to Programs.
Clemens FischerPublished in: ECOOP Workshops (1999)
Keyphrases
- formal specification
- software development
- software components
- java programs
- object oriented design
- software testing
- software engineering
- reverse engineering
- software systems
- model checking
- object oriented
- specification language
- constraint satisfaction problems
- case study
- open source
- design methodology
- complex objects
- specification languages
- concurrent systems
- programming language
- development environment
- source code
- building blocks
- software maintenance
- software evolution
- database applications
- information systems
- object oriented languages
- database design
- process algebra
- development process
- formal specification language