Titlebook: Objects, Components, Models and Patterns; 46th International C Richard F. Paige,Bertrand Meyer Conference proceedings 2008 Springer-Verlag

果园

书目名称Objects, Components, Models and Patterns影响因子(影响力)




书目名称Objects, Components, Models and Patterns影响因子(影响力)学科排名




书目名称Objects, Components, Models and Patterns网络公开度




书目名称Objects, Components, Models and Patterns网络公开度学科排名




书目名称Objects, Components, Models and Patterns被引频次




书目名称Objects, Components, Models and Patterns被引频次学科排名




书目名称Objects, Components, Models and Patterns年度引用




书目名称Objects, Components, Models and Patterns年度引用学科排名




书目名称Objects, Components, Models and Patterns读者反馈




书目名称Objects, Components, Models and Patterns读者反馈学科排名

多产鱼

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

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

作茧自缚

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

擦试不掉

Focus-Words

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

泥瓦匠

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

拍翅

Medicare

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

羊栏