Verification & Validation of Object-Oriented Functional ...

micsymposium.org

Verification & Validation of Object-Oriented Functional Design using Formal Specification Techniques . Vanessa Jackson & Emanuel Grant . Department of Computer Science

  Using, Design, Specification, Technique, Functional, Formal, Object, Oriented, Oriented functional design using formal specification techniques