Titlebook: Specification and Design of Software Systems; Conference on Operat Elöd Knuth,Erich J. Neuhold Conference proceedings 1983 Springer-Verlag

hormone-therapy

书目名称Specification and Design of Software Systems影响因子(影响力)




书目名称Specification and Design of Software Systems影响因子(影响力)学科排名




书目名称Specification and Design of Software Systems网络公开度




书目名称Specification and Design of Software Systems网络公开度学科排名




书目名称Specification and Design of Software Systems被引频次




书目名称Specification and Design of Software Systems被引频次学科排名




书目名称Specification and Design of Software Systems年度引用




书目名称Specification and Design of Software Systems年度引用学科排名




书目名称Specification and Design of Software Systems读者反馈




书目名称Specification and Design of Software Systems读者反馈学科排名

假装是你

卜闻

Vsd168

Specification and Design of Software Systems978-3-540-39605-5Series ISSN 0302-9743 Series E-ISSN 1611-3349

不给啤

0302-9743 Overview: 978-3-540-12284-5978-3-540-39605-5Series ISSN 0302-9743 Series E-ISSN 1611-3349

BARK

macular-edema

,Program design — A practical approach,rmal specification, programming language constructs to facilitate their implementation, and the formal verification of implementations. This paper shows how abstract data types may be used as the basis of a top-down method of program design which leads to programs with a high degree of information hinding.

B-cell

emission

System cars and its description language,. CARS applies a top-down structured approach in the design process and can be used at any user-defined level of refinement. CARS does not apply any restriction on the creative work of the designer, but it only gives means to describe his concepts and tools to check his results. The design language

bizarre