標(biāo)題: Titlebook: Object Modeling with the OCL; The Rationale behind Tony Clark,Jos Warmer Book 2002 Springer-Verlag Berlin Heidelberg 2002 Java.OCL.UML.Unif [打印本頁] 作者: 諷刺文章 時(shí)間: 2025-3-21 18:31
書目名稱Object Modeling with the OCL影響因子(影響力)
書目名稱Object Modeling with the OCL影響因子(影響力)學(xué)科排名
書目名稱Object Modeling with the OCL網(wǎng)絡(luò)公開度
書目名稱Object Modeling with the OCL網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Object Modeling with the OCL被引頻次
書目名稱Object Modeling with the OCL被引頻次學(xué)科排名
書目名稱Object Modeling with the OCL年度引用
書目名稱Object Modeling with the OCL年度引用學(xué)科排名
書目名稱Object Modeling with the OCL讀者反饋
書目名稱Object Modeling with the OCL讀者反饋學(xué)科排名
作者: municipality 時(shí)間: 2025-3-21 21:13
Introduction,it is now understood that “proofs” really represent social consensus among mathematicians rather than statements of objective reality. This should be even more apparent in the case of mathematical models of real-world systems, which are almost always approximations of some kind.作者: 清醒 時(shí)間: 2025-3-22 00:31 作者: 摸索 時(shí)間: 2025-3-22 07:20 作者: BROOK 時(shí)間: 2025-3-22 10:25 作者: 厭煩 時(shí)間: 2025-3-22 15:13 作者: cardiovascular 時(shí)間: 2025-3-22 17:16 作者: disrupt 時(shí)間: 2025-3-23 01:09 作者: 讓步 時(shí)間: 2025-3-23 02:34 作者: Meditative 時(shí)間: 2025-3-23 09:17 作者: Hla461 時(shí)間: 2025-3-23 10:33
The Semantics of the OCL Action Clause,emantic domain of every UML model needs to be specified. This paper uses a specification of the semantic domain based on local object states. These local object states includes a ‘virtual’ input and output queue that may contain signals. The Action Clause is defined using the signals in the in- and output queues.作者: enchant 時(shí)間: 2025-3-23 14:28
0302-9743 sues faced by advanced professionals and researchers in object modeling like e.g. real-time constraints, type checking, and constraint modeling.978-3-540-43169-5978-3-540-45669-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 恫嚇 時(shí)間: 2025-3-23 20:16 作者: 甜食 時(shí)間: 2025-3-24 01:30
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/o/image/700141.jpg作者: biosphere 時(shí)間: 2025-3-24 05:12 作者: 著名 時(shí)間: 2025-3-24 08:24
A Meta-model Facility for a Family of UML Constraint Languages,of this paper is to identify a meta-modelling facility that encompasses the specification of the semantics of a family of object constraint languages. This facility defines a common set of model concepts, semantic domain concepts and semantic mappings that can be conveniently reused when constructing new family members.作者: Bravura 時(shí)間: 2025-3-24 11:19 作者: colostrum 時(shí)間: 2025-3-24 17:58 作者: bonnet 時(shí)間: 2025-3-24 22:19 作者: esculent 時(shí)間: 2025-3-25 00:53 作者: parasite 時(shí)間: 2025-3-25 06:22
Shane Sendall,Alfred Strohmeieres of pumps by designing more ef cient pumps and by using the latest technologies available in terms of design software, new developed materials, and state of the art manufacturing tools. Today, computational u978-3-642-06421-0978-3-540-68214-1作者: 欺騙世家 時(shí)間: 2025-3-25 09:35 作者: ungainly 時(shí)間: 2025-3-25 13:15 作者: 開始從未 時(shí)間: 2025-3-25 17:38 作者: 賞心悅目 時(shí)間: 2025-3-25 23:53 作者: 持久 時(shí)間: 2025-3-26 03:39
Using OCL and UML to Specify System Behavior,odeling Language (UML) and its Object Constraint Language (OCL). We focus the paper on pre- and postconditions descriptions and in particular propose a number of enhancements and interpretations to OCL that we made while refining our approach. In particular, we describe a number of issues that cover作者: 閃光東本 時(shí)間: 2025-3-26 07:33
Stuart Kent,John Howse Turbomaschinenforschung, die sich aus den wirtschaftlichen und gesellschaftlichen Perspektiven der 80er und 90er Jahre ableiten. Im Vordergrund stehen somit die Forderungen nach bestm?glicher Energieausnutzung, nach hoher Verfügbarkeit und Zuverl?ssigkeit, nach Werterhaltung sowie einer menschenger作者: blithe 時(shí)間: 2025-3-26 11:04
Shane Sendall,Alfred Strohmeiers and peripheral systems.The complete reference book for TurPumps are one of the mechanical devices that are widely used in many industries throughout the world. Turbopumps which are common types of pumps are used mainly for transporting water in agricultural units, industrial processes, cooling and作者: GROUP 時(shí)間: 2025-3-26 13:29 作者: 變白 時(shí)間: 2025-3-26 20:18 作者: GLIDE 時(shí)間: 2025-3-27 00:18
A Meta-model Facility for a Family of UML Constraint Languages,of this paper is to identify a meta-modelling facility that encompasses the specification of the semantics of a family of object constraint languages. This facility defines a common set of model concepts, semantic domain concepts and semantic mappings that can be conveniently reused when constructin作者: 熟練 時(shí)間: 2025-3-27 03:17 作者: fixed-joint 時(shí)間: 2025-3-27 06:32 作者: 結(jié)合 時(shí)間: 2025-3-27 11:28 作者: 輕而薄 時(shí)間: 2025-3-27 15:16 作者: 去掉 時(shí)間: 2025-3-27 18:26
The Amsterdam Manifesto on OCL,about the semantics and the use of OCL, and to discuss useful and necessary extensions of OCL. Various topics have been raised and clarified. This manifesto contains the results of that workshop and the following work on these topics. Overview of OCL.作者: epinephrine 時(shí)間: 2025-3-27 23:13 作者: insert 時(shí)間: 2025-3-28 05:29 作者: sorbitol 時(shí)間: 2025-3-28 09:41
,?Java?OCL Based on New Presentation of the OCL-Syntax, design. OCL is designed as a formal language for specifying constraints that cannot be expressed conveniently using UML’s diagrammatic notation..This article describes results of a careful analysis of the syntactic structure of OCL, resulting in a number of improvements of the OCL-syntax. In partic作者: Harbor 時(shí)間: 2025-3-28 14:19
The Semantics of the OCL Action Clause,ct that a signal has been send, or an operation has been called. This type of expression is called an Action Clause. This paper defines the Action Clause based on a model of the values in the semantic domain of UML models. In order to define the semantics of the Action Clause a small kernel of the s作者: 性冷淡 時(shí)間: 2025-3-28 15:23
Constraint Trees,ject-oriented modeling; a developer-friendly notation for that language, as an alternative to traditional mathematical syntax. Whilst the former is an important contribution the latter is more questionable. Not only is notation often a matter of taste, but it would also be desirable to freely mix no作者: 發(fā)怨言 時(shí)間: 2025-3-28 20:49
Using OCL and UML to Specify System Behavior,ctivities. We believe that there is value from complementing use case descriptions with pre- and postcondition descriptions, not only to better support reasoning about system properties and a basis for testing and debugging, but also to better support a predictable decomposition level on which one c作者: Aqueous-Humor 時(shí)間: 2025-3-29 01:11
A Plasticity Model for the Crushing of Icestrain curves. These calculations show good qualitative agreement with experimental measurements of volume change. A brittle failure criterion based on dilatant deformation follows naturally from the plastic potential. The model is intended for application to ice indentation problems where crushing is the dominant failure mode.作者: lipids 時(shí)間: 2025-3-29 05:17
The Affordances of Openness for the Virtual University,Nations Sustainable Development Goal 4 – ensure inclusive and equitable quality education and promote lifelong learning opportunities for all. In many cases, this calls for a paradigm shift in how higher education might benefit from adopting open principles of fairness, flexibility, and freedom.作者: ABASH 時(shí)間: 2025-3-29 09:47
https://doi.org/10.1007/978-3-319-78990-3ve to investigate the strength of synergies between decision making activities and data management visualization, their effectiveness for data-driven decision making and the margin of improvements with respect to the current decision routines in enterprises. This study contributes to set the terrain作者: 特征 時(shí)間: 2025-3-29 15:06 作者: 馬具 時(shí)間: 2025-3-29 17:00 作者: Excise 時(shí)間: 2025-3-29 23:19
Verena K?nigtion of the N7 atoms of two adjacent guanine bases to platinum. This chelate has been clearly established for the .-DDP reaction products with three self-complementary hexanucleoside pentaphosphates, d(ApGpGpCpCpT), d(TpGpGpCpCpA), and d(CpCpApTpGpG) and with the decanucleotide d(TpCpTpCpGpGpTpCpTpC).作者: Restenosis 時(shí)間: 2025-3-30 01:48
Einleitung,Dieses Buch ist der neuen Familie der kleinen IBM Computer gewidmet, den Modellen 50, 60 und 80 des IBM Personal System/2. Es werden erstens die Bestandteile des neuen Personal System/2 vorgestellt und die F?higkeiten mit denen früherer Personal Computer unter kommerziellen Anwendergesichtspunkten verglichen.作者: atopic-rhinitis 時(shí)間: 2025-3-30 07:48 作者: 說明 時(shí)間: 2025-3-30 09:27
Begriffliche Grundlagen und Forschungsstand,er beiden Perspektiven l?sst sich jede Art des Markenverst?ndnisses zwischen den beiden definitorischen Polen ?Marke = Markierung“ (enge Sichtweise) und ?Marke = Vorstellungsbild“ (weite Sichtweise) einordnen.
