lumbar-puncture
发表于 2025-3-21 16:19:34
书目名称VDM ‘90. VDM and Z - Formal Methods in Software Development影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0980039<br><br> <br><br>书目名称VDM ‘90. VDM and Z - Formal Methods in Software Development影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0980039<br><br> <br><br>书目名称VDM ‘90. VDM and Z - Formal Methods in Software Development网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0980039<br><br> <br><br>书目名称VDM ‘90. VDM and Z - Formal Methods in Software Development网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0980039<br><br> <br><br>书目名称VDM ‘90. VDM and Z - Formal Methods in Software Development被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0980039<br><br> <br><br>书目名称VDM ‘90. VDM and Z - Formal Methods in Software Development被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0980039<br><br> <br><br>书目名称VDM ‘90. VDM and Z - Formal Methods in Software Development年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0980039<br><br> <br><br>书目名称VDM ‘90. VDM and Z - Formal Methods in Software Development年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0980039<br><br> <br><br>书目名称VDM ‘90. VDM and Z - Formal Methods in Software Development读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0980039<br><br> <br><br>书目名称VDM ‘90. VDM and Z - Formal Methods in Software Development读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0980039<br><br> <br><br>
圆木可阻碍
发表于 2025-3-22 00:09:55
https://doi.org/10.1007/3-540-52513-0Entwurfsmethodik; Spezifikationsmethodik; design; distributed systems; formal method; formalisation; progr
中子
发表于 2025-3-22 01:30:56
http://reply.papertrans.cn/99/9801/980039/980039_3.png
BIAS
发表于 2025-3-22 08:29:16
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
发表于 2025-3-22 11:24:07
http://reply.papertrans.cn/99/9801/980039/980039_5.png
异常
发表于 2025-3-22 15:58:24
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.
思想上升
发表于 2025-3-22 17:35:45
http://reply.papertrans.cn/99/9801/980039/980039_7.png
太空
发表于 2025-3-22 22:39:49
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
发表于 2025-3-23 05:13:58
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
发表于 2025-3-23 06:39:10
http://reply.papertrans.cn/99/9801/980039/980039_10.png