Titlebook: UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools; 4th International Co Martin Gogolla,Cris Kobryn Conferen

全体

书目名称UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools影响因子(影响力)




书目名称UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools影响因子(影响力)学科排名




书目名称UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools网络公开度




书目名称UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools网络公开度学科排名




书目名称UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools被引频次




书目名称UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools被引频次学科排名




书目名称UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools年度引用




书目名称UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools年度引用学科排名




书目名称UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools读者反馈




书目名称UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools读者反馈学科排名

安心地散步

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

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.

猛击

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.

残酷的地方

Adrenal-Glands

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

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.

上下连贯

大漩涡

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