Designing Complex Organizations
Designing Complex Organizations
Software Risk Management: Principles and Practices
IEEE Software
Symbolic Controller Synthesis for Discrete and Timed Systems
Hybrid Systems II
Convertibility verification and converter synthesis: two faces of the same coin
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Computer-assisted assume/guarantee reasoning with VeriSoft
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
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
Component Verification with Automatically Generated Assumptions
Automated Software Engineering
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
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
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
A Development Process for Self-adapting Service Oriented Applications
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
The PLASTIC Framework and Tools for Testing Service-Oriented Applications
Software Engineering
Exploratory Search
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
Computer
Learning assumptions for compositional verification
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Software of the future is the future of software?
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
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
Composing Software Components: A Software-testing Perspective
Composing Software Components: A Software-testing Perspective
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
Supporting software evolution in component-based FOSS systems
Science of Computer Programming
Synchronizing behavioural mismatch in software composition
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
IEEE Transactions on Information Theory
Sensitivity analysis in model-driven engineering
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
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
Model-based performance analysis of software architectures under uncertainty
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Producing software by integration: challenges and research directions (keynote)
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Simulating upgrades of complex systems: The case of Free and Open Source Software
Information and Software Technology
Hi-index | 0.00 |
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 the way software will be produced and used. Users will be keen on producing their own piece of software, by also reusing existing software, to better satisfy their needs, therefore with a goal oriented, opportunistic use in mind. The produced software will need to be able to evolve, react and adapt to a continuously changing environment, while guaranteeing dependability. The strongest adversary to this view is the lack of knowledge on the software's structure, behavior, and execution context. Despite the possibility to extract observational models from existing software, a producer will always operate with software artifacts that exhibit a degree of uncertainty in terms of their functional and non functional characteristics. We believe that uncertainty can only be controlled by making it explicit and by using it to drive the production process itself. In this paper, we introduce a novel paradigm of software production process that explores available software and assesses its degree of uncertainty in relation to the opportunistic goal G, assists the producer in creating the appropriate integration means towards G, and validates the quality of the integrated system with respect to G and the current context.