Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
The Conceptual Basis for Mediation Services
IEEE Expert: Intelligent Systems and Their Applications
Correction to 'Protocol Conversion'
IEEE Transactions on Software Engineering
Preventing user errors by systematic analysis of deviations from the system task model
International Journal of Human-Computer Studies
Convertibility verification and converter synthesis: two faces of the same coin
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
A compositional formalization of connector wrappers
Proceedings of the 25th International Conference on Software Engineering
A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems
ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
Automated black-box testing of functional correctness using function approximation
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Generating Annotated Behavior Models from End-User Scenarios
IEEE Transactions on Software Engineering
An Architecture to Support Model Driven Software Visualization
ICPC '06 Proceedings of the 14th IEEE International Conference on Program Comprehension
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Requirements Engineering
A basic algebra of stateless connectors
Theoretical Computer Science - Algebra and coalgebra in computer science
Detecting object usage anomalies
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Graphical scenarios for specifying temporal properties: an automated approach
Automated Software Engineering
Decoupling web application concerns through weaving operations
Science of Computer Programming
A Pattern-Based Approach to Development of Service Mediators for Protocol Mediation
WICSA '08 Proceedings of the Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008)
Early prediction of software component reliability
Proceedings of the 30th international conference on Software engineering
Automatic generation of software behavioral models
Proceedings of the 30th international conference on Software engineering
Failure-free coordinators synthesis for component-based architectures
Science of Computer Programming
Rule-Based Automatic Generation of Mediator Patterns for Service Composition Mismatches
GPC-WORKSHOPS '08 Proceedings of the 2008 The 3rd International Conference on Grid and Pervasive Computing - Workshops
Model-Based Adaptation of Behavioral Mismatching Components
IEEE Transactions on Software Engineering
Journal of Systems and Software
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Exploratory Search
Software Architecture: Foundations, Theory, and Practice
Software Architecture: Foundations, Theory, and Practice
Synthesizing intensional behavior models by graph transformation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Synthesis of Partial Behavior Models from Properties and Scenarios
IEEE Transactions on Software Engineering
Automatic synthesis of behavior protocols for composable web-services
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
On the Synthesis of Finite-State Machines from Samples of Their Behavior
IEEE Transactions on Computers
LearnLib: a framework for extrapolating behavioral models
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on FMICS 05
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
IEEE Transactions on Software Engineering
An agent for asymmetric process mediation in open environments
SOCASE'08 Proceedings of the 2008 AAMAS international conference on Service-oriented computing: agents, semantics, and engineering
Regular inference for state machines using domains with equality tests
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Developing next generation ADLs through MDE techniques
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Towards the Future Internet
Software engineering in an uncertain world
Proceedings of the FSE/SDP workshop on Future of software engineering research
Search computing challenges and directions
ICOODB'10 Proceedings of the Third international conference on Objects and databases
JTL: a bidirectional and change propagating transformation language
SLE'10 Proceedings of the Third international conference on Software language engineering
Supporting software evolution in component-based FOSS systems
Science of Computer Programming
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Adapt or perish: algebra and visual notation for service interface adaptation
BPM'06 Proceedings of the 4th international conference on Business Process Management
Uncertainty Propagation through Software Dependability Models
ISSRE '11 Proceedings of the 2011 IEEE 22nd International Symposium on Software Reliability Engineering
Automatically Generating Test Cases for Specification Mining
IEEE Transactions on Software Engineering
IEEE Transactions on Information Theory
Formal methods for protocol conversion
IEEE Journal on Selected Areas in Communications
Learning extended FSA from software: An empirical assessment
Journal of Systems and Software
Increasing clone maintenance support by unifying clone detection and refactoring activities
Information and Software Technology
On the Composition and Reuse of Viewpoints across Architecture Frameworks
WICSA-ECSA '12 Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture
Coupled Evolution in Model-Driven Engineering
IEEE Software
Symbolic learning of component interfaces
SAS'12 Proceedings of the 19th international conference on Static Analysis
Integration architecture synthesis for taming uncertainty in the digital space
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Guest editorial to the special issue on model transformation
Software and Systems Modeling (SoSyM)
Managing the evolution of data-intensive Web applications by model-driven techniques
Software and Systems Modeling (SoSyM)
A model-based synthesis process for choreography realizability enforcement
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Automatic synthesis of modular connectors via composition of protocol mediation patterns
Proceedings of the 2013 International Conference on Software Engineering
Synthesizing self-adaptive connectors meeting functional and performance concerns
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Empirical Software Engineering
Hi-index | 0.00 |
Software is increasingly produced according to a certain goal and by integrating existing software produced by third-parties, typically black-box, and often provided without a machine readable documentation. This implies that development processes of the next future have to explicitly deal with an inherent incompleteness of information about existing software, notably on its behaviour. Therefore, on one side a software producer will less and less know the precise behaviour of a third party software service, on the other side she will need to use it to build her own application. In this paper we present an innovative development process to automatically produce dependable software systems by integrating existing services under uncertainty and according to the specied goal. Moreover, we (i) discuss important challenges that must be faced while producing the kind of systems we are targeting, (ii) give an overview of the state of art related to the identied challenges, and finally (iii) provide research directions to address these challenges.