赏心悦目
发表于 2025-3-28 18:03:33
Component-Based Algebraic Specification,mponents is that components are usuallyprovided in binary code and users of components cannot debug them. So, components should be carefully implemented and the users need rigorous specifications of them. Specifications of components should provide information not only of their interface but also th
–FER
发表于 2025-3-28 21:34:44
A Meta-Model Semantics for Structural Constraints In UML,he construction of automated tools, but the semantics is defined by statements in English. A meta-model that incorporates precise semantics would support the construction of tools that could perform semantically-oriented tasks, such as consistency checking. One approach to defining the formal semant
HPA533
发表于 2025-3-29 01:55:30
http://reply.papertrans.cn/19/1829/182894/182894_43.png
averse
发表于 2025-3-29 03:08:39
Formalising the UML in Structured Temporal Theories,ral logic. This semantic representation is suitable for modular reasoning about UML models. We show how it can be used to clarify certain ambiguous cases of UML semantics, and how to justify enhancement or refinement transformations on UML models.
Junction
发表于 2025-3-29 07:54:50
JML: A Notation for Detailed Design, require only modest mathematical training. It uses Eiffel-style syntax combined with model-based semantics, as in VDM and Larch. JML supports quantifiers, specification-only variables, and other enhancements that make it more expressive for specification than Eiffel and easier to use than VDM and L
轻浮女
发表于 2025-3-29 15:13:12
UML, The Future Standard Software Architecture Description Language?,re and the expected behavior of a software system. It has the potential to replace many previously used software architecture description languages. This is especially true for the subset of so-called module interconnection languages. Compared with these languages UML has the main drawback that its
foppish
发表于 2025-3-29 15:53:04
http://reply.papertrans.cn/19/1829/182894/182894_47.png
Enrage
发表于 2025-3-29 20:05:23
http://reply.papertrans.cn/19/1829/182894/182894_48.png
没血色
发表于 2025-3-30 02:12:59
30 Things that Go Wrong in Object Modelling with UML 1.3,ad adoption of UML standard notations. The catalogue is revised to reflect changes made between UML versions 1.1 and 1.3, in which a number of semantic inconsistencies in the notation were fixed. Notwithstanding this, developers still seem to create inordinate problems for themselves by pursuing unp
小平面
发表于 2025-3-30 05:19:26
http://reply.papertrans.cn/19/1829/182894/182894_50.png