全体
发表于 2025-3-21 19:14:13
书目名称UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0102975<br><br> <br><br>书目名称UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0102975<br><br> <br><br>书目名称UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0102975<br><br> <br><br>书目名称UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0102975<br><br> <br><br>书目名称UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0102975<br><br> <br><br>书目名称UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0102975<br><br> <br><br>书目名称UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0102975<br><br> <br><br>书目名称UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0102975<br><br> <br><br>书目名称UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0102975<br><br> <br><br>书目名称UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0102975<br><br> <br><br>
安心地散步
发表于 2025-3-22 00:07:42
Advances in Mathematical Sciencese solution for timing analysis of simple UML activity diagrams (containing no loop) by linear programming, and present an algorithm for checking UML activity diagrams using integer time verification techniques. This work forms a base for verification of real-time software systems.
chondromalacia
发表于 2025-3-22 02:06:42
Carmen Castillo,Cristina Solaresion Language (SADL) in order to make the verification capabilities of SADL available to those who develop in UML. The result is a UML profile for structural description of software architecture. The paper also presents a prototype tool that supports this UML profile.
猛击
发表于 2025-3-22 07:19:57
Jorge Navarro,Pedro J. Hernández the choice results in one model for one reality. Another problem rises when no object is involved. In our opinion this issue can best be tackled by introducing a domain layer and a functionality layer.
残酷的地方
发表于 2025-3-22 08:45:00
http://reply.papertrans.cn/11/1030/102975/102975_5.png
Adrenal-Glands
发表于 2025-3-22 14:12:20
Advances in Mathematical Sciencespressions to be written using OCL, that are elegant and ideally suited for use in conjunction with UML data models. This technique is illustrated by expressing the UML equivalent of an example Relational data model and associated query expressions.
separate
发表于 2025-3-22 18:35:29
Andrew D. B. Paice,Fabian R. Wirthcan ensure behavior preservation. These transformations, also known as refactorings, can then be used, step by step, to improve the design of the system. In this paper we present a set of refactorings and explain how they can be designed so as to preserve the behavior of a UML model. Some of these refactorings are illustrated with examples.
上下连贯
发表于 2025-3-23 00:54:17
http://reply.papertrans.cn/11/1030/102975/102975_8.png
大漩涡
发表于 2025-3-23 05:00:16
Statistics for Industry and Technologyftware architecture of an application; we introduce a complete methodology that, starting from a software architecture described using this extended notation, generates a performance model (namely a Markov Reward or Decision Process) that allows the designer to evaluate the convenience of introducing logical mobility into a software application.
landmark
发表于 2025-3-23 08:44:23
http://reply.papertrans.cn/11/1030/102975/102975_10.png