Institutional Repository

Browsing Unisa ETD by Subject "Z"

UnisaIR/Manakin Repository

Browsing Unisa ETD by Subject "Z"

Sort by: Order: Results:

  • Van Coppenhagen, Ingrid H. M. (2002-06)
    This dissertation investigates the role of specification, refinement and implementation in the software development cycle. Both the structured and object-oriented paradigms are looked at. Particular emphasis is placed on ...
  • Dongmo, Cyrille (2011-11)
    Formal specification of software systems has been very promising. Critics against the end results of formal methods, that is, producing quality software products, is certainly rare. Instead, reasons have been formulated ...
  • Steyn, Paul Stephanes (2009-01)
    The specification of enterprise information systems using formal specification languages enables the formal verification of these systems. Reasoning about the properties of a formal specification is a tedious task that ...

Search UnisaIR


Browse

My Account