Overview

abstract specification


Show Summary Details

Quick Reference

A specification for software expressed in a (mathematically) formal language such that the specification is completely independent of, and does not imply, any design and implementation method and languages. It does not normally express the constraints that the final software must satisfy. See also formal specification.

Subjects: Computing.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.