Software Risk Management: Principles and Practices
IEEE Software
Value-based software engineering: reinventing
ACM SIGSOFT Software Engineering Notes
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
Component Verification with Automatically Generated Assumptions
Automated Software Engineering
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
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
Context-Aware Adaptive Services: The PLASTIC Approach
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
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
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
A theory of mediators for eternal connectors
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Using observation ageing to improve markovian model learning in QoS engineering
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Supporting software evolution in component-based FOSS systems
Science of Computer Programming
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
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
Uncertainty Propagation through Software Dependability Models
ISSRE '11 Proceedings of the 2011 IEEE 22nd International Symposium on Software Reliability Engineering
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
Partial models: towards modeling and reasoning with uncertainty
Proceedings of the 34th International Conference on Software Engineering
Producing software by integration: challenges and research directions (keynote)
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Hi-index | 0.00 |
The abundance of software that will be more and more available will promote the production of appropriate integration means (architectures, connectors, integration patterns). The produced software will need to be able to evolve, react and adapt quickly to a continuously changing environment, while guaranteeing dependability through (on-the-fly) validation. The strongest adversary to this view is the lack of information about the software, notably about its 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. Uncertainty can only be controlled by making it explicit and by using it to drive the production process itself. This calls for a 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 the goal G and the current context. In this paper we discuss how goal-oriented software systems can be opportunistically created by integrating under uncertainty existing pieces of software.