Titlebook: Software and Data Technologies; 6th International Co María José Escalona,José Cordeiro,Boris Shishkov Conference proceedings 2013 Springer-

不能和解

Conference proceedings 2013uly 12011. The 13 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 220 submissions. The papers are organized in topical sections on enterprise software technology; software engineering; distributed systems; data management; knowledge-based system

exigent

The Impact of Emerging Computing Models on Organizational Socio-technical System away from desktop PCs and departmental servers and are being integrated and packaged on the Web into “the computing cloud.” Whether referred to Grid, Utility or Cloud Computing, the idea is basically the same: instead of investing in and maintaining expensive applications and systems, users access

Ovulation

On-the-Fly Dependable Mediation between Heterogeneous Networked Systemsution of loosely connected networked systems. The European project . addresses the challenging and ambitious topic of ensuring eternally functioning distributed and heterogeneous systems through on-the-fly synthesis of the .ors through which they communicate. In this paper we focus on the . enablers

GOAD

SADT/IDEF0 for Augmenting UML, Agile and Usability Engineering Methodse effective. Unified Modeling Method (UML) addresses the former; Usability Engineering addresses the later. Taken together, they create a systems de-velopment framework, capable of: a) specifying functions, data, behavior and usage, b) rapid prototyping, and c) verifying system usability and correct

NORM

From Requirements to Code: A Full Model-Driven Development Perspectiveerent abstraction levels, and model transformations facilitate the transition from one layer to the other. However, how to effectively integrate requirements engineering within model-driven development is still an open research challenge. This paper shows a full MDD approach that covers from require

AMEND

Enabling Automatic Process-Aware Collaboration Support in Software Engineering Projectst is the coordination of and collaboration among the many individuals working in such projects. Numerous efforts to establish software engineering environments (SEEs) to address this aspect have been made. However, since SE projects depend on individuals and their intentions, their collaboration is

親愛

Hybrid Debugging of Java Programsdeclarative debugging, which has its origins in the area of functional and logic programming, and omniscient debugging, which is basically an extension of trace debugging. To benefit from the advantages of both techniques we have integrated them into a single hybrid debugger called JHyde. We use JHy

山頂可休息

飛來飛去真休

Requirements-Driven Iterative Project Planning within the Tropos process. Its high-level representation elements allow to partition the software problem into adequate and manageable elements (., ., ., . and .) leading to an agent-oriented design, and eventually an implementation with agent technologies (., ., ., ...). This paper proposes to use

無法解釋