Author: Kritzinger, Pieter S
Similar Items: An Estelle compiler
- Protocol engineering from Estelle specifications
- A graphical representation for the formal description technique Estelle
- HOOD : a Higher-Order Object-Oriented Database model and its implementation
- Exploiting persistence in CASE technology
- The impact of using a contract-driven, test-interceptor based software development approach
- Specification and implementation of the Larch shared language