ACRID
发表于 2025-3-25 05:23:07
Formalization of Cadence SPW Fixed-Point Arithmetic in HOLd the fixed-point number system and specified the different rounding modes in fixed-point arithmetic such as the directed and even rounding modes. We also considered the formalization of exceptions detection and their handling like overflow and invalid operation. An error analysis is then performed
mortgage
发表于 2025-3-25 09:34:01
http://reply.papertrans.cn/47/4685/468500/468500_22.png
Debrief
发表于 2025-3-25 13:34:57
Refinement in Object-Z and CSP within Object-Z, established using the standard simulation rules, does not imply failures-divergences refinement in CSP. This contradicts accepted results..Having established that data refinement in Object-Z and failures refinement in CSP are not equivalent we identify alternative refinement orderi
Customary
发表于 2025-3-25 17:16:54
http://reply.papertrans.cn/47/4685/468500/468500_24.png
欢乐东方
发表于 2025-3-25 20:36:04
http://reply.papertrans.cn/47/4685/468500/468500_25.png
Digitalis
发表于 2025-3-26 00:51:08
Model Driven Engineeringtion, being amenable to manipulation and transformation by machine. Model Driven . (MDE) is wider in scope than MDA. MDE combines . and . with architecture. This article sets out a framework for model driven engineering, which can be used as a point of reference for activity in this area. It propose
Stricture
发表于 2025-3-26 07:01:50
The Design of a Tool-Supported Graphical Notation for Timed CSPspecification languages, including Statecharts, is aimed at providing the means for more easily constructing and managing large TCSP specifications, with the intention of forming the basis for tools and a methodology for applying TCSP in the large. The graphical notation extends TCSP by allowing spe
fringe
发表于 2025-3-26 09:19:48
Combining Graphical and Formal Development of Open Distributed Systemssis. These aspects are, to some extent, exclusive. This paper describes an approach to the specification of systems that emphasizes both aspects, by combining UML with a language for description of the observable behavior of object viewpoints, OUN. Whereas both languages are centered around object-o
morale
发表于 2025-3-26 16:17:13
Translations between Textual Transition Systems and Petri Netsions. The translations are ., meaning that the hierarchical structure of the systems is preserved. Furthermore, assuming non-finite data has been abstracted out of the textual transition system, then translating one model to another and then back results in a model which is identical to the original
Moderate
发表于 2025-3-26 18:39:33
0302-9743 sing on particular aspects of behavior or analysis, such as sequential program str- tures,concurrentprogramstructures,dataandinformationstructures,temporal reasoning, deductive proof, and model978-3-540-43703-1978-3-540-47884-3Series ISSN 0302-9743 Series E-ISSN 1611-3349