metamorphose
发表于 2025-3-21 16:42:33
书目名称6th Refinement Workshop影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0101076<br><br> <br><br>书目名称6th Refinement Workshop影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0101076<br><br> <br><br>书目名称6th Refinement Workshop网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0101076<br><br> <br><br>书目名称6th Refinement Workshop网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0101076<br><br> <br><br>书目名称6th Refinement Workshop被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0101076<br><br> <br><br>书目名称6th Refinement Workshop被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0101076<br><br> <br><br>书目名称6th Refinement Workshop年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0101076<br><br> <br><br>书目名称6th Refinement Workshop年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0101076<br><br> <br><br>书目名称6th Refinement Workshop读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0101076<br><br> <br><br>书目名称6th Refinement Workshop读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0101076<br><br> <br><br>
字谜游戏
发表于 2025-3-21 21:45:59
978-3-540-19886-4British Computer Society 1994
单挑
发表于 2025-3-22 02:01:36
Workshops in Computinghttp://image.papertrans.cn/012/image/101076.jpg
Nausea
发表于 2025-3-22 06:05:40
People Must Know What They Are in For!The purpose of this paper is to describe how testing and safety analysis of Abstract Machine Specifications can be undertaken in a formal manner. It is also shown that safety properties are preserved under refinement.
就职
发表于 2025-3-22 09:27:20
Jiří Zounek,Oto Polouček,Michal ŠimáněI present an interpretation of machine language programs as boolean expressions. Source language programs may also be so interpreted. The correctness of a code generator can then be expressed as a simple relationship between boolean expressions. Code generators can then be calculated from their specification.
草率女
发表于 2025-3-22 14:31:48
Palgrave Studies in Animals and LiteratureExtending the laws of sequential programming, we investigate laws of parallel programs in which processes communicate via shared variables. A rich and elegant set of laws, which resemble closely the laws of message passing concurrency, is presented, and this forms an algebraic framework of refinement and verification.
排他
发表于 2025-3-22 19:07:58
The Nature and Importance of ReflectionExisting “algorithm design” rules, for refining Z specifications to structured high-level language code, are extended with proof obligations that preserve specified real-time, as well as functional, behaviour.
杠杆支点
发表于 2025-3-23 01:00:19
6th Refinement Workshop978-1-4471-3240-0Series ISSN 1431-1682
In-Situ
发表于 2025-3-23 03:28:22
http://reply.papertrans.cn/11/1011/101076/101076_9.png
原谅
发表于 2025-3-23 06:16:22
http://reply.papertrans.cn/11/1011/101076/101076_10.png