T[subscript]EXspec, a Computer Aided Software Engineering tool for scientific and mathematical applications

This report discusses the development of the spec Computer Aided Software Engineering (CASE) tool, which assists with the development and documentation of software in an environment where software quality is closely monitored, perhaps by independent regulators. The tool can assist in the development...

Full description

Bibliographic Details
Main Author: Oliver, Stephen E.
Language:en_US
Published: 2007
Online Access:http://hdl.handle.net/1993/2690