標(biāo)題: Titlebook: Objects, Components, Models and Patterns; 46th International C Richard F. Paige,Bertrand Meyer Conference proceedings 2008 Springer-Verlag [打印本頁(yè)] 作者: 果園 時(shí)間: 2025-3-21 16:28
書目名稱Objects, Components, Models and Patterns影響因子(影響力)
書目名稱Objects, Components, Models and Patterns影響因子(影響力)學(xué)科排名
書目名稱Objects, Components, Models and Patterns網(wǎng)絡(luò)公開度
書目名稱Objects, Components, Models and Patterns網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Objects, Components, Models and Patterns被引頻次
書目名稱Objects, Components, Models and Patterns被引頻次學(xué)科排名
書目名稱Objects, Components, Models and Patterns年度引用
書目名稱Objects, Components, Models and Patterns年度引用學(xué)科排名
書目名稱Objects, Components, Models and Patterns讀者反饋
書目名稱Objects, Components, Models and Patterns讀者反饋學(xué)科排名
作者: 多產(chǎn)魚 時(shí)間: 2025-3-21 23:00
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities, behavior of an environment for each component. Real-life component applications often involve complex interaction patterns like callbacks and autonomous activities, which have to be considered by the model of environment’s behavior. In general, such patterns can be properly modeled only by a formal作者: ATRIA 時(shí)間: 2025-3-22 04:21
Efficient Model Checking of Networked Applications, and communication schedules makes it desirable to model check such applications. When model checking such a networked application, a simple state space exploration scheme is not applicable, as the process being model checked would repeat communication operations when revisiting a given state after 作者: 作繭自縛 時(shí)間: 2025-3-22 04:52
Controlling Accessibility in Agile Projects with the Access Modifier Modifier,n, i.e., the hiding of implementation details behind the interface of a class. However, what is an implementation detail and what makes the interface of a class is often subject to change: especially in an agile setting (with absence of an upfront design dictating accessibility levels), the interfac作者: 擦試不掉 時(shí)間: 2025-3-22 09:53 作者: Focus-Words 時(shí)間: 2025-3-22 16:31
Virtual Machine Support for Stateful Aspects,to transitions in a State Machine, so that the State Machine structure is seen in the implementation. Vanderperren et al. proposed an extension of the JAsCo Aspect-Oriented Programming Language for stateful aspects. This work proposes a low-overhead stateful aspects mechanism with the same semantics作者: 泥瓦匠 時(shí)間: 2025-3-22 17:27
Guarded Program Transformations Using JTL, a side-effect-free technique of using the paradigm for the general task of .. Our technique offers a variety of applications, such as implementing generic structures (without erasure) in ., a Lint-like program checker, and more. By allowing the transformation target to be a different language than 作者: 拍翅 時(shí)間: 2025-3-22 22:57 作者: Medicare 時(shí)間: 2025-3-23 02:27
Representing and Operating with Model Differences,specific languages that allow to represent the various facets of a system in terms of models. This paper discusses the problem of calculating differences between models conforming to arbitrary metamodels, something essential in any MDSD environment for dealing with the management of changes and evol作者: 羊欄 時(shí)間: 2025-3-23 06:22 作者: Ferritin 時(shí)間: 2025-3-23 11:59 作者: 捏造 時(shí)間: 2025-3-23 17:27 作者: Monolithic 時(shí)間: 2025-3-23 21:41
The Meta in Meta-object Architectures,e of reflective features can lead to severe problems due to infinite meta-call recursion even in simple cases. This is especially a problem when reflecting on core language features since there is a high chance that such features are used to implement the reflective behavior itself. In this paper we作者: 危機(jī) 時(shí)間: 2025-3-24 01:41 作者: 菊花 時(shí)間: 2025-3-24 05:07 作者: Mets552 時(shí)間: 2025-3-24 09:10
A Comparison of State-Based Modelling Tools for Model Validation,the system under investigation. UML, Alloy and Z are examples of popular state-based modelling languages. In the literature, there has been research about the similarities and the differences between modelling languages. However, we believe that, in addition to recognising the expressive power of mo作者: 暗諷 時(shí)間: 2025-3-24 10:45
MontiCore: Modular Development of Textual Domain Specific Languages,ces, and inheritance are well-known principles for independent development that enable combination and reuse of developed artifacts. In this paper we apply modularity concepts for domain specific languages (DSLs) and discuss how they help to design new languages by extending existing ones and compos作者: 不能約 時(shí)間: 2025-3-24 18:04 作者: paroxysm 時(shí)間: 2025-3-24 19:01 作者: embolus 時(shí)間: 2025-3-25 01:20
978-3-540-69823-4Springer-Verlag Berlin Heidelberg 2008作者: nurture 時(shí)間: 2025-3-25 07:08 作者: palette 時(shí)間: 2025-3-25 09:07
Lecture Notes in Business Information Processinghttp://image.papertrans.cn/o/image/700241.jpg作者: 移動(dòng) 時(shí)間: 2025-3-25 13:43 作者: ULCER 時(shí)間: 2025-3-25 18:20
The End of the Computing Era: Hephaestus Meets the Olympians,easingly digital world as indicators of two fundamental shifts. We will first look at the End of the Computing Era and the emergence of the Problem Solving Era in which the problem owners attempt to solve problems with increasing realism and complexity aided by technology – not .. Second, we will ex作者: Phenothiazines 時(shí)間: 2025-3-25 20:55
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities,ehavior. The key contribution are the constraints on interleaving of events related to callbacks and autonomous activities, which are expressed via syntactical patterns, and evaluation of the proposed constraints on real-life component applications.作者: 流浪者 時(shí)間: 2025-3-26 02:41 作者: jeopardize 時(shí)間: 2025-3-26 08:14
Cyrille Artho,Watcharin Leungwattanakit,Masami Hagiya,Yoshinori Tanabe作者: Mawkish 時(shí)間: 2025-3-26 11:46
Philipp Bouillon,Eric Gro?kinsky,Friedrich Steimann作者: 執(zhí) 時(shí)間: 2025-3-26 15:46
Friedrich Steimann,Thomas Eichst?dt-Engelen,Martin Schaaf作者: 能得到 時(shí)間: 2025-3-26 16:51 作者: MIRE 時(shí)間: 2025-3-26 23:19 作者: 濃縮 時(shí)間: 2025-3-27 04:26 作者: 公式 時(shí)間: 2025-3-27 09:11 作者: 摻和 時(shí)間: 2025-3-27 10:37 作者: VALID 時(shí)間: 2025-3-27 16:46
A Multiparadigm Study of Crosscutting Modularity in Design Patterns,itative case study based on the Gang-of-Four design patterns comparing and contrasting mechanisms of representative languages of collaboration-based designs (Jak) and aspect-oriented programming (AspectJ). Our work yields guidelines for using both paradigms when implementing design patterns exploiting their relative strengths.作者: Debark 時(shí)間: 2025-3-27 18:13 作者: Ingenuity 時(shí)間: 2025-3-27 23:27 作者: 撫慰 時(shí)間: 2025-3-28 05:13 作者: ablate 時(shí)間: 2025-3-28 07:05
1865-1348 OOLS kept its traditional spirit of technical excellence, its acclaimed focus on practicality, its well-proven combination of theory and applications, and its reliance on the best experts from academia and industry.978-3-540-69823-4978-3-540-69824-1Series ISSN 1865-1348 Series E-ISSN 1865-1356 作者: PRO 時(shí)間: 2025-3-28 11:06
The Meta in Meta-object Architectures,resent how meta-level execution can be represented by a . and how reflection becomes .. Our solution makes it possible to freely apply behavioral reflection even on system classes: the meta-context brings stability to behavioral reflection. We validate the concept with a robust implementation and we present benchmarks.作者: Laconic 時(shí)間: 2025-3-28 16:31 作者: 侵蝕 時(shí)間: 2025-3-28 19:04
A Comparison of State-Based Modelling Tools for Model Validation,ation stages of MBT are handled by these tools for the same system. Through this experiment, we not only concretise the tasks that form the modelling and validation stages of MBT process, but also reveal how efficiently these tasks are carried out in different tools.作者: Cholecystokinin 時(shí)間: 2025-3-29 02:47
MontiCore: Modular Development of Textual Domain Specific Languages,he parser, but also by the editor, and algorithms based on tree traversal like context checkers, pretty printers, and code generators. We demonstrate that compositional engineering of new languages becomes a useful concept when starting to define project-individual DSLs using appropriate tool support.作者: Prostatism 時(shí)間: 2025-3-29 05:17 作者: 鞭打 時(shí)間: 2025-3-29 09:54
1865-1348 TOOLS EUROPE 2008, held in Zurich, Switzerland, in June/July 2008. The 21 papers presented in this book were carefully reviewed and selected from 58 submissions. TOOLS played a major role in the spread of object-oriented and component technologies. It has now broadened its scope beyond the original 作者: Blemish 時(shí)間: 2025-3-29 15:11
Conference proceedings 2008PE 2008, held in Zurich, Switzerland, in June/July 2008. The 21 papers presented in this book were carefully reviewed and selected from 58 submissions. TOOLS played a major role in the spread of object-oriented and component technologies. It has now broadened its scope beyond the original topics of 作者: Affiliation 時(shí)間: 2025-3-29 16:40 作者: allergy 時(shí)間: 2025-3-29 20:59
Engineering Associations: From Models to Code and Back through Semantics,ise semantics for several association constructs, whose implementation has been considered problematic. We also identify a number of patterns for using associations in practical applications, which cannot be modeled (reverse engineered) in UML.作者: 絆住 時(shí)間: 2025-3-30 02:05
Towards Raising the Failure of Unit Tests to the Level of Compiler-Reported Errors,noses are based on data about a program and its test cases, especially as collected during test runs, and demonstrate that it is capable of performing reasonably well using a couple of simple fault locators in different evaluation scenarios.作者: Eulogy 時(shí)間: 2025-3-30 07:56
Guarded Program Transformations Using JTL,ique is an extension of JTL (Java Tools Language, [12]), which is a high-level abstraction over .. We discuss the JTL-to-. compilation process, and how the program transformation extension can be added to JTL without deviating from the logic paradigm, and specifically without introducing side-effects to logic programs.作者: MURAL 時(shí)間: 2025-3-30 10:12
Optimizing Dynamic Class Composition in a Statically Typed Language,is is achieved based on mixins and linearization. In this paper we focus on the virtual machine related challenges of supporting dynamic class composition. In particular we present some core algorithms used for creating new classes, as well as some performance enhancements in these algorithms.作者: giggle 時(shí)間: 2025-3-30 13:56 作者: 使乳化 時(shí)間: 2025-3-30 20:10
7樓作者: 初次登臺(tái) 時(shí)間: 2025-3-30 23:15
7樓作者: 時(shí)代 時(shí)間: 2025-3-31 03:53
7樓作者: dissent 時(shí)間: 2025-3-31 06:25
7樓作者: reject 時(shí)間: 2025-3-31 11:52
8樓作者: 戰(zhàn)勝 時(shí)間: 2025-3-31 15:02
8樓作者: LIEN 時(shí)間: 2025-3-31 20:28
8樓作者: 粘土 時(shí)間: 2025-4-1 00:10
8樓作者: 無(wú)目標(biāo) 時(shí)間: 2025-4-1 05:47
9樓作者: 舔食 時(shí)間: 2025-4-1 09:19
9樓作者: 強(qiáng)有力 時(shí)間: 2025-4-1 10:40
9樓作者: amnesia 時(shí)間: 2025-4-1 16:31
9樓作者: grieve 時(shí)間: 2025-4-1 21:54
10樓作者: mortgage 時(shí)間: 2025-4-2 01:19
10樓作者: 預(yù)防注射 時(shí)間: 2025-4-2 03:02
10樓作者: chuckle 時(shí)間: 2025-4-2 07:19
10樓
