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網(wǎng)絡(luò)公開度




書目名稱UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools網(wǎng)絡(luò)公開度學科排名




書目名稱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