作者: 浮夸 時間: 2025-3-21 23:09 作者: 首創(chuàng)精神 時間: 2025-3-22 01:21 作者: EXUDE 時間: 2025-3-22 06:33
Andrea Ciancone,Antonio Filieri,Mauro Luigi Drago,Raffaela Mirandola,Vincenzo Grassi作者: 不公開 時間: 2025-3-22 12:41 作者: Connotation 時間: 2025-3-22 14:41
Mark Hills,Paul Klint,Tijs van der Storm,Jurgen Vinju作者: 機械 時間: 2025-3-22 17:25 作者: 蝕刻 時間: 2025-3-22 23:59 作者: 易于交談 時間: 2025-3-23 05:11 作者: 沐浴 時間: 2025-3-23 08:39
From UML Profiles to EMF Profiles and Beyond,so propose reusable profile definition mechanisms whereby profiles are defined independently of any DSML and, later on, coupled with all DSMLs that can benefit from these profiles. Our approach has been implemented in a prototype integrated in the EMF environment.作者: 抗生素 時間: 2025-3-23 09:54 作者: aggravate 時間: 2025-3-23 13:56 作者: Serenity 時間: 2025-3-23 20:52
Computational REST Meets Erlang,ent) designed with dynamic, distributed applications in mind - Erlang. We show how they fit together by developing a new framework, which eases development of highly distributed Web applications capable of operating in dynamic environments. We also provide an initial experimental assessment of the p作者: FAWN 時間: 2025-3-23 22:55 作者: Albinism 時間: 2025-3-24 04:20 作者: 恩惠 時間: 2025-3-24 07:27 作者: 灰心喪氣 時間: 2025-3-24 12:18 作者: 掃興 時間: 2025-3-24 16:36
Judith Bishop,Antonio Vallecilloup-to-date results.fast track conference proceedings.state-of-the-art results作者: 門窗的側柱 時間: 2025-3-24 19:01 作者: 秘傳 時間: 2025-3-25 02:06 作者: 要控制 時間: 2025-3-25 03:47 作者: debase 時間: 2025-3-25 11:16
0302-9743 c way. The conference has a strong practical bias, without losing sight of the importance of correctness and performance.978-3-642-21951-1978-3-642-21952-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Palpate 時間: 2025-3-25 15:12 作者: 拍下盜公款 時間: 2025-3-25 19:22 作者: DAUNT 時間: 2025-3-25 23:01 作者: 鋼盔 時間: 2025-3-26 02:05
Finding and Fixing Bugs in Web Applications (Invited Talk),nds strongly on interactive input from the user. In this presentation, I will present an overview of the Apollo project at IBM Research, which aims to make web applications more robust by assisting programmers with finding and fixing bugs, using automated techniques for test generation, fault localization, and program repair.作者: Phagocytes 時間: 2025-3-26 06:51
KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Com-Based Systems for reliability and performance properties. KlaperSuite is a family of tools empowering designers with the ability to capture and analyze QoS views of their systems by building a one-click bridge towards a number of established verification instruments.作者: grounded 時間: 2025-3-26 10:28 作者: gnarled 時間: 2025-3-26 13:40 作者: 保留 時間: 2025-3-26 19:59 作者: 一美元 時間: 2025-3-26 22:53
Systems Evolution and Software Reuse in Object-Oriented Programming and Aspect-Oriented Programminghe aim of the study is to explore the claims that software developed with aspect-oriented languages is easier to maintain and reuse than this developed with object-oriented languages. We have found no evidence to support these claims.作者: 不可救藥 時間: 2025-3-27 02:21
Static Dominance Inference,emain unanswered. We argue that a static program analysis that infers dominance is a crucial first step to ownership types inference. This paper describes an algorithm for statically computing dominance relations and shows that it can be used as part of an ownership inference algorithm.作者: 分散 時間: 2025-3-27 08:03 作者: 老人病學 時間: 2025-3-27 13:13
0302-9743 rnational Conference on Objects, Models, Components, Patterns, held in Zurich, Switzerland, in June 2011. The 19 revised full papers presented together with the abstracts of 2 invited papers were carefully reviewed and selected from a total of 68 submissions. The papers discuss all aspects of object作者: Ornament 時間: 2025-3-27 15:41 作者: Lament 時間: 2025-3-27 20:29 作者: 內(nèi)行 時間: 2025-3-28 01:27 作者: TEN 時間: 2025-3-28 02:41 作者: A簡潔的 時間: 2025-3-28 09:17 作者: 未完成 時間: 2025-3-28 13:32 作者: 不自然 時間: 2025-3-28 15:52 作者: gene-therapy 時間: 2025-3-28 20:24 作者: FUME 時間: 2025-3-29 02:04
Metamodel Dependencies for Executable Models,coordination of models is achieved by describing how their elements should interact, and mapping those descriptions into low level coordination primitives. Moreover, the description of the coordination is described externally: it does not have an impact either on the metamodels or on the models, and作者: BOOM 時間: 2025-3-29 04:41 作者: 子女 時間: 2025-3-29 08:13
Unifying Subjectivity,d in the past, based, for example, on perspectives, roles, contextual layers, and “force trees”. Although these approaches are somehow equally expressive, each imposes a particular world view which may not be appropriate for all applications. We propose a unification of these approaches, called Subj作者: Talkative 時間: 2025-3-29 13:44 作者: 持久 時間: 2025-3-29 17:44
A Heuristic Approach for Computing Effects,acted to access path permissions, the effect can serve as part of the operation’s documentation, augmenting a type signature or a contract for the operation. Statically determining such an effect is a challenging problem, in particular in a dynamic language which represents objects by hash tables li作者: 征服 時間: 2025-3-29 21:44
Systems Evolution and Software Reuse in Object-Oriented Programming and Aspect-Oriented Programming describes a quasi-controlled experiment which compares the evolution of two functionally equivalent programs, developed in two different paradigms. The aim of the study is to explore the claims that software developed with aspect-oriented languages is easier to maintain and reuse than this develope作者: 新鮮 時間: 2025-3-30 01:33 作者: 有角 時間: 2025-3-30 04:05
Location Types for Safe Distributed Object-Oriented Programming,es. Accessing a reference in RMI has crucial different semantics depending on whether the referred object is local or remote. Nevertheless, such references are not statically distinguished by the type system..This paper presents ., which statically distinguish . from . references. We present a forma作者: Morose 時間: 2025-3-30 08:21 作者: 尖酸一點 時間: 2025-3-30 13:27 作者: delegate 時間: 2025-3-30 19:02
Computational REST Meets Erlang,y want to offer their services without interruption. This is particularly critical for distributed Web applications, whose components run on different machines, often managed by different organizations. Designing these programs in an easy and effective way requires choosing the right architectural s作者: 禮節(jié) 時間: 2025-3-30 22:33 作者: AWL 時間: 2025-3-31 02:07
8樓作者: 種族被根除 時間: 2025-3-31 08:52
9樓作者: Neuropeptides 時間: 2025-3-31 11:18
9樓作者: arcane 時間: 2025-3-31 16:23
9樓作者: Gossamer 時間: 2025-3-31 19:29
9樓作者: GRAVE 時間: 2025-4-1 01:29
10樓作者: Connotation 時間: 2025-4-1 04:15
10樓作者: 跳脫衣舞的人 時間: 2025-4-1 07:21
10樓作者: 使厭惡 時間: 2025-4-1 10:48
10樓
