Titlebook: VDM ‘90. VDM and Z - Formal Methods in Software Development; Third International D. Bj?rner,C. A. R. Hoare,H. Langmaack Conference proceed

lumbar-puncture

書目名稱VDM ‘90. VDM and Z - Formal Methods in Software Development影響因子(影響力)




書目名稱VDM ‘90. VDM and Z - Formal Methods in Software Development影響因子(影響力)學(xué)科排名




書目名稱VDM ‘90. VDM and Z - Formal Methods in Software Development網(wǎng)絡(luò)公開度




書目名稱VDM ‘90. VDM and Z - Formal Methods in Software Development網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱VDM ‘90. VDM and Z - Formal Methods in Software Development被引頻次




書目名稱VDM ‘90. VDM and Z - Formal Methods in Software Development被引頻次學(xué)科排名




書目名稱VDM ‘90. VDM and Z - Formal Methods in Software Development年度引用




書目名稱VDM ‘90. VDM and Z - Formal Methods in Software Development年度引用學(xué)科排名




書目名稱VDM ‘90. VDM and Z - Formal Methods in Software Development讀者反饋




書目名稱VDM ‘90. VDM and Z - Formal Methods in Software Development讀者反饋學(xué)科排名

圓木可阻礙

https://doi.org/10.1007/3-540-52513-0Entwurfsmethodik; Spezifikationsmethodik; design; distributed systems; formal method; formalisation; progr

中子

BIAS

Anthony Hallorm length”) 12 Zoll und automatisches überspringen der Perforation zwischen zwei Papierseiten (“skip perforation”). Bei den meisten Druckern erfolgt die Einstellung an DIP-Schaltern, sie k?nnen aber auch, wie weiter unten beschrieben, vor jedem Ausdruck eine Kette von Steuerzeichen zur Initialisierung an den Drucker senden.

Awning

異常

An algebraic approach to refinement,ebraic tradition and illustrates them with a simple example. The basic ideas are that a specification is a structured theory and a refinement is a structured theory morphism. A final section summarizes some good and bad points of this approach.

思想上升

太空

Refining data to processes,rate theories for ”programs as predicates” and ”programs as predicate transformers”, is generalized to parallel processes and is used to formulate syntactic verification conditions to check the correctness of reification by means of processes.

Fortuitous

Modular extensions to Z,This paper suggests some mechanisms for supporting a modular approach to specifications written using .. The general idea is that a (system) specification must be a . which may be split into .. Chapters may . objects through import and export declarations, and it is possible to define . chapters which may be ..

Inoperable