UnisaIR Home
→
College of Science, Engineering and Technology
→
School of Computing
→
Research Outputs (School of Computing)
→
Browsing Research Outputs (School of Computing) by Author

Browsing Research Outputs (School of Computing) by Author "Van der poll, J.A."

Now showing items 1-1 of 1

Towards design guidelines for constructing a formal specification

Van der poll, J.A. (2002)

Accepted software engineering design principles are well established, but design principles for constructing a formal specification have been relatively rare. In this paper we examine a number of formal specifications ...

Now showing items 1-1 of 1

Search UnisaIR

Browse

All of UnisaIR
This Collection
- By Issue Date
- Authors
- Titles
- Subjects
- Advisor
- Type

My Account