Chapter 5. A mathematical semantics for architectural connectors

JL Fiadeiro, A Lopes, M Wermelinger - Generic Programming: Advanced …, 2003 - Springer
A mathematical semantics is proposed for the notion of architectural connector, in the style
defined by Allen and Garlan, that builds on Goguen's categorical approach to General …

Systemic classification of concern-based design methods in the context of enterprise architecture

P Balabko, A Wegmann - Information Systems Frontiers, 2006 - Springer
Enterprise Architecture (EA) is a relatively new domain that is rapidly developing.“The
primary reason for developing EA is to support business by providing the fundamental …

Separating computation, coordination and configuration

L Andrade, JL Fiadeiro, J Gouveia… - Journal of software …, 2002 - Wiley Online Library
We present methodological and technological solutions for evolving large‐scale software
systems. These solutions are based on many years of research and experience in …

Coordination middleware for XML-centric applications

P Ciancarini, R Tolksdorf, F Zambonelli - Proceedings of the 2002 ACM …, 2002 - dl.acm.org
This paper focuses on coordination middleware for distributed applications based on active
documents and XML technologies. It introduces the main concepts underlying active …

Architecture based evolution of software systems

LF Andrade, JL Fiadeiro - International School on Formal Methods for the …, 2003 - Springer
Although architectural concepts and techniques have been considered mainly as a means
of controlling the complexity of developing software, we argue, and demonstrate, that they …

Optimal superluminal systems

B Macke, B Ségard, F Wielonsky - … Review E—Statistical, Nonlinear, and Soft …, 2005 - APS
We demonstrate that significant effects in the “superluminal propagation” of light pulses
cannot be observed without involving systems whose gain explodes outside the pulse …

Contract oriented development of component software

Z Liu, H Jifeng, X Li - Exploring New Frontiers of Theoretical Informatics …, 2004 - Springer
We present a model for component software. We describe how components are specified at
the interface level, design level and how they are composed. From its external view, a …

A group based approach for coordinating active objects

JC Cruz, S Ducasse - International Conference on Coordination …, 1999 - Springer
Although coordination of concurrent objects is a fundamental aspect of object-oriented
concurrent programming, there is only little support for its specification and abstraction at the …

Tool support for coordination-based software evolution

J Gouveia, G Koutsoukos, L Andrade… - … Technology of Object …, 2001 - ieeexplore.ieee.org
In today's global and highly competitive business environments, organisations are replying
to the question of whether technology is forming business or vice versa by integrating their …

Impact of process control on UBM/RDL contact resistance for next-generation fan-out devices

P Carazzetti, F Balon, M Hoffmann… - 2017 IEEE 67th …, 2017 - ieeexplore.ieee.org
The design flexibility of FOWLP plays a crucial role in meeting the rising demand for higher
performance advanced semiconductor packages at lower cost. From a manufacturing …