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影響因子(影響力)學(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)魚

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

羊欄