Software Architecture
First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings
Page
%P
15 Result(s)
within
Flavio Oquendo
Programming Languages, Compilers, Interpreters
-
Article
Ark: a constraint-based method for architectural synthesis of smart systems
As smart systems leverage capabilities of heterogeneous systems for accomplishing complex combined behaviors, they pose new challenges to traditional software engineering practices that considered software arc...
-
Chapter and Conference Paper
Executing Software Architecture Descriptions with SysADL
Most Software Architecture Description Languages (ADLs) lack explicit support for executing an architecture description. In the execution view, the runtime behavior of an architecture is simulated to validate ...
-
Chapter and Conference Paper
Statistical Model Checking of Dynamic Software Architectures
The critical nature of many complex software-intensive systems calls for formal, rigorous architecture descriptions as means of supporting automated verification and enforcement of architectural properties and...
-
Chapter and Conference Paper
Formal Verification of Software-Intensive Systems Architectures Described with Pi** and Instrumentation Diagrams
Socio-technical systems are increasingly becoming software-intensive. The challenge now is to design the architecture of such software-intensive systems for guaranteeing not only its correctness, but also the ...
-
Chapter and Conference Paper
A Logic for the Statistical Model Checking of Dynamic Software Architectures
Dynamic software architectures emerge when addressing important features of contemporary systems, which often operate in dynamic environments subjected to change. Such systems are designed to be reconfigured o...
-
Chapter and Conference Paper
Software Architecture Challenges and Emerging Research in Software-Intensive Systems-of-Systems
Software-intensive systems are often independently developed, operated, managed, and evolved. Progressively, communication networks enabled these independent systems to interact, yielding a new kind of complex...
-
Chapter and Conference Paper
Towards a Process to Design Architectures of Service-Oriented Robotic Systems
Robots have supported several areas of society, making daily tasks easier and executing dangerous, complex activities. The increasing demand and complexity of these robots have challenged the design of robotic...
-
Chapter and Conference Paper
Architecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language
Architecture description languages (ADLs) should consider both structural and runtime perspectives of software architectures, an important requirement for current software systems. However, most existing ADLs ...
-
Article
Building European software architecture community: how far have we come?
-
Chapter and Conference Paper
SysADL: A SysML Profile for Software Architecture Description
In this paper we propose SysADL, a SysML profile for expressing architecture descriptions using the well-known and consolidated abstractions from the ADL community. We present the SysADL constructs for describ...
-
Chapter and Conference Paper
Composition-Centered Architectural Pattern Description Language
Architectural patterns are important artefacts containing specialized design knowledge to build good-quality systems. Complex systems often exhibit several architectural patterns in their design which leads to...
-
Chapter and Conference Paper
Representing Service-Oriented Architectural Models Using π-ADL
Despite the well-known advantages of applying the MDA proposal to SOA developments, there are still some gaps that need to be filled. At PIM-level, for example, there is no possibility of having an executable ...
-
Book and Conference Proceedings
-
Chapter and Conference Paper
An Active Architecture Approach to Dynamic Systems Co-evolution
The term co-evolution describes the symbiotic relationship between dynamically changing business environments and the software that supports them. Business changes create pressures on the software to evolve, a...
-
Chapter and Conference Paper
Version management in the PACT integrated software engineering environment
Version management is a key aspect for large-scale software development. Several tools have been developed to aid the software developer in this task. Most of these tools propose version models which are stron...
