Formal Specification Techniques for Promoting Software Modularity, Enhancing Documentation, and Testing Specifications
This thesis presents three ideas. First, it presents a novel use of formal specification to promote a programming style based on specified interfaces and data abstraction in a programming language that lacks such supports. Second, it illustrates the uses of claims about specifications.
| Main Author: | |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149770 |