Adaptation of service protocols using process algebra and on-the-fly reduction techniques
Reuse and composition are increasingly advocated and put into practice in modern software
engineering. However, the software entities that are to be reused to build an application, eg …
engineering. However, the software entities that are to be reused to build an application, eg …
Charmy: A framework for designing and verifying architectural specifications
P Pelliccione, P Inverardi… - IEEE Transactions on …, 2008 - ieeexplore.ieee.org
Introduced in the early stages of software development, the Charmy framework assists the
software architect in making and evaluating architectural choices. Rarely, the software …
software architect in making and evaluating architectural choices. Rarely, the software …
[图书][B] A process algebraic approach to software architecture design
Inthe? eldofformalmethodsincomputerscience, concurrencytheoryisreceivinga
constantlyincreasinginterest. Thisisespeciallytrueforprocessalgebra. Althoughit had been …
constantlyincreasinginterest. Thisisespeciallytrueforprocessalgebra. Althoughit had been …
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world
Citizens of the digital world are threatened. The digital systems that surround them are
increasingly able to make autonomous decisions over and above them and on their behalf …
increasingly able to make autonomous decisions over and above them and on their behalf …
On software component co-installability
J Vouillon, RD Cosmo - ACM Transactions on Software Engineering and …, 2013 - dl.acm.org
Modern software systems are built by composing components drawn from large repositories,
whose size and complexity is increasing at a very fast pace. A fundamental challenge for the …
whose size and complexity is increasing at a very fast pace. A fundamental challenge for the …
[HTML][HTML] Automated synthesis of application-layer connectors from automata-based specifications
Abstract Ubiquitous and Pervasive Computing, and the Internet of Things, promote dynamic
interaction among heterogeneous systems. To achieve this vision, interoperability among …
interaction among heterogeneous systems. To achieve this vision, interoperability among …
The future of software: Adaptation and dependability
P Inverardi, M Tivoli - International Summer School on Software …, 2006 - Springer
Software in the near ubiquitous future (Softure) will need to cope with variability, as software
systems get deployed on an increasingly large diversity of computing platforms and …
systems get deployed on an increasingly large diversity of computing platforms and …
Broken sets in software repository evolution
J Vouillon, R Di Cosmo - 2013 35th international conference on …, 2013 - ieeexplore.ieee.org
Modern software systems are built by composing components drawn from large repositories,
whose size and complexity increase at a fast pace. Software systems built with components …
whose size and complexity increase at a fast pace. Software systems built with components …
[PDF][PDF] An integrated development and runtime environment for the future internet
A Ben Hamida, F Kon, G Ansaldi Oliva… - The Future Internet …, 2012 - library.oapen.org
The Future Internet environments raise challenging issues for the Service-Oriented
Architectures. Due to the scalability and heterogeneity issues new approaches are thought …
Architectures. Due to the scalability and heterogeneity issues new approaches are thought …
Eagle: Engineering software in the ubiquitous globe by leveraging uncertainty
In the next future we will be surrounded by a virtually infinite number of software applications
that provide computational software resources in the open Globe. This will radically change …
that provide computational software resources in the open Globe. This will radically change …