EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty

SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering

Volumn , Issue , 2011, Pages 488-491

  Autili, Marco ^a   Cortellessa, Vittorio ^a   Di Ruscio, Davide ^a   Inverardi, Paola ^a   Pelliccione, Patrizio ^a   Tivoli, Massimo ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Ubiquitous computing; Uncertainty

Indexed keywords

CHANGING ENVIRONMENT; COMPUTATIONAL SOFTWARE; DEGREE OF UNCERTAINTY; ENGINEERING SOFTWARE; EXECUTION CONTEXT; GOAL-ORIENTED; INFINITE NUMBERS; INTEGRATED SYSTEMS; NON-FUNCTIONAL; OBSERVATIONAL MODELS; PRODUCTION PROCESS; SOFTWARE APPLICATIONS; SOFTWARE ARTIFACTS; SOFTWARE PRODUCTION; UNCERTAINTY;

PRODUCTION ENGINEERING; SOFTWARE ENGINEERING;

UBIQUITOUS COMPUTING;

EID: 80053182003     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2025113.2025199     Document Type: Conference Paper

References (36)

1. E. Asarin, O. Maler, and A. Pnueli. Symbolic controller synthesis for discrete and timed systems. In Hybrid Systems II, 1995.
2. M. Autili, L. Berardinelli, V. Cortellessa, A. Marco, D. Ruscio, P. Inverardi, and M. Tivoli. A development process for self-adapting service oriented applications. In Proc. of ICSOC'07, pages 442-448, 2007.
3. C. Baier, M. Größer, M. Leucker, B. Bollig, and F. Ciesinski. Controller synthesis for probabilistic systems (extended abstract). In IFIP TCS 2004, volume 155. 2004.
4. T. Berg, B. Jonsson, and H. Raffelt. Regular inference for state machines using domains with equality tests. In Proc. of FASE'08/ETAPS'08, pages 317-331, 2008.
5. A. Bertolino, G. Angelis, L. Frantzen, and A. Polini. Software engineering. chapter The PLASTIC Framework and Tools for Testing Service-Oriented Applications, pages 106-139. Springer-Verlag, Berlin, Heidelberg, 2009.
6. A. Bertolino, G. De Angelis, and A. Polini. (role)CAST : A Framework for On-line Service Testing. In Proc. of WEBIST'11, 2011.
7. A. Bertolino, P. Inverardi, P. Pelliccione, and M. Tivoli. Automatic synthesis of behavior protocols for composable web-services. In Proc of ESEC/FSE'09, 2009.
8. G. Blair, N. Bencomo, and R. B. France. Models@run.time. Computer, 42:22-27, 2009.
9. C. Blundell, D. Giannakopoulou, and C. S. Pǎsǎreanu. Assume-guarantee testing. Softw. Eng. Notes, 31, 2005.
10. B. W. Boehm. Software risk management: Principles and practices. IEEE Softw., 8:32-41, January 1991.
11. C. Canal, P. Poizat, and G. Salaün. Synchronizing behavioural mismatch in software composition. In FMOODS, pages 63-77, 2006. (Pubitemid 44090556)
12. S. Ceri, D. Braga, F. Corcoglioniti, M. Grossniklaus, and S. Vadacca. Search computing challenges and directions. In Proc of ICOODB'10, pages 1-5, 2010.
13. J. M. Cobleigh, D. Giannakopoulou, and C. Pasareanu. Learning Assumptions for Compositional Verification. In Proc. of TACAS 2003, number 2619 in LNCS, 2003.
14. R. Di Cosmo, D. Di Ruscio, P. Pelliccione, A. Pierantonio, and S. Zacchiroli. Supporting Software Evolution in Component-Based FOSS Systems. Science of Computer Programming, 76(12), 2011.
15. J. Dingel. Computer-Assisted Assume/Guarantee Reasoning with VeriSoft. In Proc. of ICSE2003.
16. Y. Ephraim and N. Merhav. Hidden markov processes. IEEE Transactions on Information Theory, 48:1518-1569.
17. M. D. Ernst and J. H. Perkins. Learning from executions: Dynamic analysis for software engineering and program understanding, Tutorial at ASE 2005.
18. J. R. Galbraith. Designing Complex Organizations. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1st edition, 1973.
19. D. Garlan. Software engineering in an uncertain world. In Proc. of FSE/SDP'10, pages 125-128, 2010.
20. C. Ghezzi. ERC Advanced Investigator Grant N. 227977[2008-2013].
21. C. Ghezzi, A. Mocci, and M. Monga. Synthesizing intensional behavior models by graph transformation. In Proc. of ICSE'09, pages 430-440, 2009.
22. D. Giannakopoulou, C. S. Pasareanu, and H. Barringer. Component verification with automatically generated assumptions. In ASE journal, 12(3): 297-320, 2005. (Pubitemid 40997571)
23. H. J. Goldsby and B. H. Cheng. Automatically generating behavioral models of adaptive systems to address uncertainty. In Proc. of MoDELS'08, pages 568-583, 2008.
24. D. Hamlet. Composing Software Components: A Software-testing Perspective. Springer Publishing Company, Incorporated, 1st edition, 2010.
25. P. Inverardi. Software of the future is the future of software? In Proc. of TGC'06, pages 69-85, 2006.
26. D. Lorenzoli, L. Mariani, and M. Pezzè. Automatic generation of software behavioral models. In Proc. of ICSE'08, pages 501-510, 2008.
27. K. Meinke. Automated black-box testing of functional correctness using function approximation. In Proc. of ISSTA'04, pages 143-153, 2004. (Pubitemid 41121386)
28. J. Mula, R. Poler, J. Garcia-Sabater, and F. Lario. Models for production planning under uncertainty: A review. IJPE, 103(1):271-285, 2006. (Pubitemid 43866480)
29. M. Neil, N. Fenton, and M. Tailor. Using bayesian networks to model expected and unexpected operational losses. Risk Analysis, 25(4):963-972, 2005. (Pubitemid 41565826)
30. R. Passerone, L. de Alfaro, T. A. Henzinger, and A. L. Sangiovanni-Vincentelli. Convertibility verification and converter synthesis: two faces of the same coin. In Proc. of ICCAD'02, pages 132-139, 2002.
31. P. Ramadge and W. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77(1):81 -98, jan 1989.
32. H. Singh, V. Cortellessa, B. Cukic, E. Gunel, and V. Bharadwaj. A bayesian approach to reliability prediction and assessment of component based systems. In Proc. of ISSRE'01, 2001.
33. M. Tivoli and P. Inverardi. Failure-free coordinators synthesis for component-based architectures. Sci. Comput. Program., 71(3):181-212, May 2008.
34. S. Uchitel, G. Brunet, and M. Chechik. Synthesis of partial behavior models from properties and scenarios. IEEE Trans. Softw. Eng., 35:384-406, May 2009.
35. A. Wasylkowski, A. Zeller, and C. Lindig. Detecting object usage anomalies. In Proc. of ESEC-FSE'07, 2007.
36. R. W. White and R. A. Roth. Exploratory Search: Beyond the Query-Response Paradigm. Synthesis Lect. on ICRS. Morgan & Claypool Publishers, 2009.