arthroplasty
发表于 2025-3-25 05:55:28
https://doi.org/10.1007/978-3-0348-5540-2 with the corresponding program by stepwise refinement. They turn to be useful for specification, verification and documentation, but only the last point is emphasized in this paper and illustrated by an elementary example.
separate
发表于 2025-3-25 08:06:25
Klaus M. Leisinger,Karin SchmittOur approach is to use a rich type theory which allows us to specify modules purely by their type. The basic theoretical notion underlying our approach is then that a specification is a type, and that an implementation of such a specification is any element in the type.
calamity
发表于 2025-3-25 15:00:10
http://reply.papertrans.cn/11/1010/100915/100915_23.png
Crumple
发表于 2025-3-25 16:35:32
http://reply.papertrans.cn/11/1010/100915/100915_24.png
acheon
发表于 2025-3-25 20:27:39
http://reply.papertrans.cn/11/1010/100915/100915_25.png
五行打油诗
发表于 2025-3-26 01:31:37
http://reply.papertrans.cn/11/1010/100915/100915_26.png
JAMB
发表于 2025-3-26 04:50:46
http://reply.papertrans.cn/11/1010/100915/100915_27.png
Etching
发表于 2025-3-26 08:45:24
https://doi.org/10.1007/978-3-0348-5540-2cation is performed by using laws to combine the NSAs from the program to obtain the specification. The derivation of the laws and the mechanization of their use is in progress, but not yet complete...: It is expected that many of the details in the preliminary work described here will need correcting and elaborating.
frivolous
发表于 2025-3-26 14:32:43
http://reply.papertrans.cn/11/1010/100915/100915_29.png
泛滥
发表于 2025-3-26 19:27:01
http://reply.papertrans.cn/11/1010/100915/100915_30.png