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...
Main Author: | |
---|---|
Language: | en_US |
Published: |
2007
|
Online Access: | http://hdl.handle.net/1993/2690 |