争吵加
发表于 2025-3-28 17:48:03
http://reply.papertrans.cn/99/9801/980041/980041_41.png
Decongestant
发表于 2025-3-28 22:37:23
A case for structured analysis/formal design, may be composed by taking the best of a formal method and the best of a structured method and constructing one, new method. In this paper two approaches to transforming data flow diagrams, the main system representation resulting from SA, to constructs in VDM are described. Each approach can be use
万神殿
发表于 2025-3-29 00:09:13
A model-oriented method for algebraic specifications using COLD-1 as notation,ebraic concepts, such as equivalence relations, congruence relations and homomorphisms. The method makes a clear distinction between the abstract type being defined and the model used as representation. The advantage of this approach is that the problem of implementation bias does not apply and that
enflame
发表于 2025-3-29 05:07:50
A mechanical formalization of several fairness notions,ree fairness notions and one safety assumption with an automated theorem prover. These proof rules have been integrated into a mechanization of the Unity logic and are suitable for the mechanical verification of concurrent programs. Mechanical verification provides greater trust in the correct
BACLE
发表于 2025-3-29 08:12:00
Specification and stepwise development of communicating systems, a model similar to Hoare‘s CSP is used. First a specification language is given, which is particularly suitable for describing communicating systems. A quite simple readiness semantics allows to specify the users‘ wishes in an exact but easily expressible manner. Secondly aspects of a development a
HATCH
发表于 2025-3-29 15:23:57
http://reply.papertrans.cn/99/9801/980041/980041_46.png
interpose
发表于 2025-3-29 19:32:45
http://reply.papertrans.cn/99/9801/980041/980041_47.png
aerial
发表于 2025-3-29 21:10:29
http://reply.papertrans.cn/99/9801/980041/980041_48.png
inflate
发表于 2025-3-30 00:41:25
http://reply.papertrans.cn/99/9801/980041/980041_49.png
Aboveboard
发表于 2025-3-30 05:33:46
http://reply.papertrans.cn/99/9801/980041/980041_50.png