標(biāo)題: Titlebook: UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools; 4th International Co Martin Gogolla,Cris Kobryn Conferen [打印本頁(yè)] 作者: 全體 時(shí)間: 2025-3-21 19:14
書(shū)目名稱(chēng)UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools影響因子(影響力)
書(shū)目名稱(chēng)UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools被引頻次
書(shū)目名稱(chēng)UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools被引頻次學(xué)科排名
書(shū)目名稱(chēng)UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools年度引用
書(shū)目名稱(chēng)UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools年度引用學(xué)科排名
書(shū)目名稱(chēng)UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools讀者反饋
書(shū)目名稱(chēng)UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools讀者反饋學(xué)科排名
作者: 安心地散步 時(shí)間: 2025-3-22 00:07
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 時(shí)間: 2025-3-22 02:06
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.作者: 猛擊 時(shí)間: 2025-3-22 07:19
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.作者: 殘酷的地方 時(shí)間: 2025-3-22 08:45 作者: Adrenal-Glands 時(shí)間: 2025-3-22 14:12
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 時(shí)間: 2025-3-22 18:35
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.作者: 上下連貫 時(shí)間: 2025-3-23 00:54 作者: 大漩渦 時(shí)間: 2025-3-23 05:00
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 時(shí)間: 2025-3-23 08:44 作者: 陰險(xiǎn) 時(shí)間: 2025-3-23 10:16 作者: 明確 時(shí)間: 2025-3-23 16:28 作者: 內(nèi)疚 時(shí)間: 2025-3-23 18:19
Advances in Mathematical Scienceshines, but differs from it in some minor points. Our semantics deals with real time. The semantics provides a basis for verification of UML activity graphs, for example using model checking, and also for executing UML activity graphs using simulation tools. We illustrate an execution by means of a small example.作者: 熱烈的歡迎 時(shí)間: 2025-3-23 22:54 作者: 冷淡周邊 時(shí)間: 2025-3-24 05:52 作者: Instinctive 時(shí)間: 2025-3-24 09:53 作者: Offbeat 時(shí)間: 2025-3-24 13:12 作者: Adrenal-Glands 時(shí)間: 2025-3-24 18:47
Sherli Koshy-Chenthittayil,Elena Dimitrovable SQL code generator is needed which can be used and adapted for different relational database systems and different object-to-table mappings. We implement such a database tool as an additional module for our OCL toolset using XML techniques.作者: 合并 時(shí)間: 2025-3-24 20:13 作者: gangrene 時(shí)間: 2025-3-25 02:52 作者: 彎彎曲曲 時(shí)間: 2025-3-25 05:13 作者: Atheroma 時(shí)間: 2025-3-25 08:44 作者: Mere僅僅 時(shí)間: 2025-3-25 13:30 作者: 壓艙物 時(shí)間: 2025-3-25 16:50 作者: Reclaim 時(shí)間: 2025-3-25 20:47 作者: 沉積物 時(shí)間: 2025-3-26 03:35
UML Activity Diagrams as a Workflow Specification Languagerizes a wide range of practices, competencies, capacities, and capabilities in four complementary “stances”—essentially, four different kinds of educational “ethos” for change. These are the critical educator, who plays the roles of activist (critiquing existing relationships and norms), ally (walki作者: 講個(gè)故事逗他 時(shí)間: 2025-3-26 04:32 作者: Amylase 時(shí)間: 2025-3-26 09:12 作者: VEST 時(shí)間: 2025-3-26 16:02
Refactoring UML Modelsiversity of the Incarnate Word, USAThere are many books on the market which discuss indigenous ways of knowing, and bemoan western society’s seeming lack of interest in anything other than scientific fact-based knowledge.Equally plentiful are the writings of critical theorists who consider today’s p作者: ORBIT 時(shí)間: 2025-3-26 18:18
UML Support for Designing Software Systems as a Composition of Design Patternsdance rate for England and Wales ..1750 of some 4 per cent of total population, while for Scotland an incomplete survey of some sixty lowland and highland parishes points to percentages varying from almost 8 to nearly 13.. Table 1 shows the proportions of the population at day school in the nineteen作者: rectocele 時(shí)間: 2025-3-26 21:56 作者: Flu表流動(dòng) 時(shí)間: 2025-3-27 03:51 作者: GET 時(shí)間: 2025-3-27 07:35 作者: NOT 時(shí)間: 2025-3-27 10:20 作者: 哭得清醒了 時(shí)間: 2025-3-27 15:59
Understanding UML — Pains and Rewardsing. The Republic of Korea first had to overcome the war and poverty, then increase its defense against external invasion, develop human resources as well as discover and nurture talent for specialized fields, and maintain social and political stability. The fact that Korea’s sovereignty means its r作者: 陳舊 時(shí)間: 2025-3-27 19:12
A Formal Semantics of UML State Machines Based on Structured Graph Transformationroductory remarks expressing my profound thanks to the contributors to this volume, the first section of the chapter makes the case that we engage with the world in practices. It does so by describing intersubjective space: the ‘three-dimensional’ medium in which we encounter one another and the wor作者: 喃喃而言 時(shí)間: 2025-3-28 01:57
Martin Gogolla,Cris KobrynIncludes supplementary material: 作者: 正常 時(shí)間: 2025-3-28 03:07 作者: antedate 時(shí)間: 2025-3-28 07:56 作者: TATE 時(shí)間: 2025-3-28 14:23
978-3-540-42667-7Springer-Verlag Berlin Heidelberg 2001作者: 結(jié)合 時(shí)間: 2025-3-28 17:15 作者: 險(xiǎn)代理人 時(shí)間: 2025-3-28 21:10 作者: Binge-Drinking 時(shí)間: 2025-3-28 23:50
Anand V. Bhatnagar,Yashoverdhan Vyasg families of UML languages. Actions are defined as computational procedures with side-effects. The action semantics are described in the MML style, with model, instance and semantic packages. Different actions are described as specializations of the basic action in their own package. The aim is to 作者: coagulate 時(shí)間: 2025-3-29 05:25
Pradip Kumar Gaur,Abhay Kumar Jhathe underlying meta-modeling architecture will assume growing importance. It is generally recognized that without a simple, clean and intuitive theory of how metamodel levels are created and related to one another, the UML2.0 vision of a coherent family of languages with a common core set of concept作者: 執(zhí) 時(shí)間: 2025-3-29 07:29
Advances in Mathematical Sciences UML metamodel to be precisely defined, and to enable UML to evolve into a family of languages. This paper argues that although MML takes a metamodeling approach to language definition, it cannot be described as strict metamodeling. This has significant implications for the nature of the metamodel a作者: 過(guò)渡時(shí)期 時(shí)間: 2025-3-29 15:05 作者: Erythropoietin 時(shí)間: 2025-3-29 17:58
Advances in Mathematical Sciencesneering. They are very suitable for describing the model of program behaviour. In this paper, we extend UML activity diagrams by introducing timing constraints so that they can be used to model real-time software systems, and give the solution for timing analysis of UML activity diagrams. We give th作者: 高興去去 時(shí)間: 2025-3-29 22:55 作者: 遺棄 時(shí)間: 2025-3-30 01:28
Advances in Mathematical Sciencesh systems is supported by databases and query languages. UML sustains many aspects of software engineering; however, it does not provide explicit facility for writing queries. It is crucial for any such query language to have, at least, the expressive power of Relational Algebra, which serves as a b作者: jagged 時(shí)間: 2025-3-30 07:31
Sherli Koshy-Chenthittayil,Elena Dimitrovamatically deal with business rules when building object-oriented applications. We investigate how OCL constraints can be handled in database applications as one of the most important kind of business applications. Based on our OCL toolset prototype and earlier research work we particularly experimen作者: Vaginismus 時(shí)間: 2025-3-30 09:27 作者: bioavailability 時(shí)間: 2025-3-30 14:46 作者: 細(xì)頸瓶 時(shí)間: 2025-3-30 17:29 作者: seduce 時(shí)間: 2025-3-30 21:07 作者: Conserve 時(shí)間: 2025-3-31 02:25 作者: Nonthreatening 時(shí)間: 2025-3-31 05:02
Jorge Navarro,Pedro J. Hernándezthat system test requirements are derived from UML analysis artifacts such as use cases, their corresponding sequence and collaboration diagrams, class diagrams, and possibly the use of the Object Constraint Language across all these artifacts. Our goal is to support the derivation of test requireme作者: 使激動(dòng) 時(shí)間: 2025-3-31 12:04 作者: 逃避現(xiàn)實(shí) 時(shí)間: 2025-3-31 17:00
Dimitris Karlis,Evdokia Xekalakiesign languages, such as UML (Unified Modelling Language), permit modelling the full system, including the database schema, in a uniform way. Besides, as UML is an extensible language, it allows introducing new stereotypes for specific applications if it is needed. There are some proposals to extend作者: 信任 時(shí)間: 2025-3-31 18:39
https://doi.org/10.1007/978-0-8176-4626-4 is “in”. But do we really understand what we model?.This talk takes for granted, that models are alive, are executable, are used to explore the design space, are used to communicate design decisions, and ultimately are evolving to target code. And it asks plenty of nasty questions about the meaning作者: Medicaid 時(shí)間: 2025-3-31 22:05
Viviane Durand-Guerrier,Denis Tanguaytion semantics is described only informally. Graph transformation, on the other hand, constitutes a well-studied area with many theoretical results and practical application domains. In this paper, an operational semantics for a subset of UML state machines is proposed which is based on graph transf作者: 嚴(yán)峻考驗(yàn) 時(shí)間: 2025-4-1 05:03 作者: 不妥協(xié) 時(shí)間: 2025-4-1 08:40 作者: Aspirin 時(shí)間: 2025-4-1 10:19
The Essence of Multilevel Metamodelingexists in Britain. We are analysing this perspective in preference to the others because it is one that is widely supported, because it has a strong theoretical and empirical basis, and because it challenges some of our own assumptions about how the distribution of power in contemporary British soci
