Specification Language
372
浏览
0
关注

A specification language is a formal language used in computer science. Unlike most programming languages, which are directly executable formal languages used to implement a system, specification languages are used during systems analysis, requirements analysis and systems design. Specification languages are generally not directly executed. They describe the system at a much higher level than a programming language. Indeed, it is considered as an error if a requirement specification is cluttered with unnecessary implementation detail, because the specification is meant to describe the what, not the how. A common fundamental assumption of many specification approaches is that programs are modelled as algebraic or model theory|model-theoretic structures that include a collection of set (mathematics)|sets of data values together with function (mathematics)|functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour...
[展开]
相关概念
Case Study    
Real Time    
主要的会议/期刊
演化趋势
Chart will load here
Specification Language文章数量变化趋势

Feedback
Feedback
Feedback
我想反馈:
排行榜