Software of the future is the future of software?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4661 LNCS, Issue , 2007, Pages 69-85

  Inverardi, Paola ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

MOBILE COMPUTING; SOFTWARE DESIGN; SOFTWARE RELIABILITY; SUPERVISORY AND EXECUTIVE PROGRAMS;

COMPUTING PLATFORMS; SOFTWARE SYSTEMS;

UBIQUITOUS COMPUTING;

EID: 38149073966     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75336-0_5     Document Type: Conference Paper

References (35)

1. PLASTIC IST STREP Project: Home page on line at: http://www-c.inria.fr: 9098/plastic
2. Schilit, B., Adams, N., Want, R.: Context-aware computing applications. In: IEEE Workshop on Mobile Computing Systems and Applications, Santa Cruz, CA, US (1994)
3. IFIP WG 10.4 on Dependable Computing And Fault Tolerancs http://www.dependability.org/wg10.4/
4. Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology 6(3), 213-249 (1997)
5. Magee, J., Kramer, J.: Concurrency: State models & java programs. Wiley publisher, Chichester (1999)
6. Caporuscio, M., Carzaniga, A., Wolf, A.L.: Design and evaluation of a support service for mobile, wireless publish/subscribe applications. IEEE Transactions on Software Engineering (December 2003)
7. Carzaniga, A., Rosenblum, D.S., Wolf, A.L.: Design and Evaluation of a WideArea Event Notification Service. ACM Transactions on Computer Systems 19(3), 332-383 (2001)
8. Inverardi, P., Mancinelli, F., Nesi, M.: A Declarative Framework for adaptable applications in heterogeneous environments. In: Proceedings of the 19th ACM Symposium on Applied Computing (2004)
9. Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-based Performance Prediction in Software Development: A Survey IEEE Transaction on Software Engineering (May 2004)
10. Inverardi, P., Mancinelli, F., Marinelli, G.: Correct Deployment and Adaptation of Software Applications on Heterogenous (Mobile) Devices. In: ACM Proceedings Workshop on Self-Healing Software (2002)
11. Mancinelli, F., Inverardi, P.: Quantitative resource-oriented analysis of Java (adaptable) application. In: ACM Proceedings Workshop on Software Performance (2007)
12. Necula, G.C.: Proof-Carrying Code. In: Jones, N.D. (ed.) Proceedings of the Symposium on Principles of Programming Languages, pp. 106-119. ACM Press, Paris, France (1997)
13. Necula, G.C., Lee, P.: Proof-Carrying Code. Technical Report CMU-CS-96-165, School of Computer Science, Carnegie Mellon University (September 1996)
14. Necula, G.C., Lee, P.: Safe kernel extensions without run-time checking. In: Proceedings of the Symposium on Operating System Design and Implementation, Seattle, Washington, pp. 229-243 (October 1996)
15. Necula, G.C., Lee, P.: Efficient Representation and Validation of Logical Proofs. In: Pratt, V. (ed.) Proceedings of the Symposium on Logic in Computer Science, pp. 93-104. IEEE Computer Society Press, Indianapolis, Indiana (1998)
16. Necula, G.C., Lee, P.: Safe, untrusted agents using proof-carrying code. In: Vigna, G. (ed.) Mobile Agents and Security. LNCS, vol. 1419, pp. 61-91. Springer, Heidelberg (1998)
17. Caporuscio, M., Di Marco, A., Inverardi, P.: Model-based system reconfiguration for dynamic performance management. Journal of Systems and Software (to appear, 2006)
18. Itu telecommunication standardisation sector, itu-t reccomendation z.120. Message Sequence Charts (msc'96), Geneva
19. Uchitel, S., Kramer, J., Magee, J.: Detecting implied scenarios in message sequence chart specifications. In: ACM Proceedings of the joint 8th ESEC and 9th FSE, ACM Press, Vienna (2001)
20. Uchitel, S., Kramer, J.: A workbench for synthesising behaviour models from scenarios. In: proceeding of the 23rd IEEE International Conference on Software Engineering (ICSE'01), Toronto, Canada (May 2001)
21. Inverardi, P., Tivoli, M.: A compositional synthesis of failure-free connectors for correct components assembly. In: proceedings of the 6th ICSE Workshop on Component-Based Software Engineering (CBSE6): Automated Reasoning and Prediction at 25th ICSE 2003, Portland, Oregon, USA (May 3-10, 2003)
22. Georgiadis, I., Magee, J., Kramer, J.: Self-organising software architectures for distributed systems. In: Proc. of the 1st Work, on Self-Healing Systems (WOSS02), pp. 33-38. ACM Press, New York (2002)
23. Hirsch, D., Inverardi, P., Montanari, U.: Graph grammars and constraint solving for software architecture styles. In: Proc. of the 3rd Int. Software Architecture Workshop (ISAW-3), pp. 69-72. ACM Press, New York (1998)
24. Magee, J., Kramer, J.: Dynamic structure in software architectures. In: Proc. of the 4th ACM SIGSOFT Symp. On Foundations of Software Engineering (FSE-4), pp. 3-14. ACM Press, New York (1996)
25. Metayer, D.L.: Describing software architecture styles using graph grammars. IEEE Trans. Software Engineering 24(7), 521-533 (1998)
26. Taentzer, G., Goedicke, M., Meyer, T.: Dynamic change management by distributed graph transformation: Towards onfigurable distributed systems. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol. 1764, Springer, Heidelberg (2000)
27. Baresi, L., Heckel, R., Thne, S., Varr, D.: Style-Based Refinement of Dynamic Software Architectures. WICSA, 155-166 (2004)
28. Aldrich, J., Chambers, C., Notkin, D.: ArchJava: Connecting Software Architecture to Implementation. In: proceedings of ICSE 2002 (May 2002)
29. Aldrich, J.: Using Types to Enforce Architectural Structure. University of Washington Ph.D. Dissertation (August 2003)
30. Barthe, G.: Mobius, securing the next generation of java-based global computers. ERCIM News (2005)
31. SeCSE Project, http://secse.eng.it
32. Colombo, M., Di Nitto, E., Di Penta, M., Distante, D., Zuccalá, M.: Speaking a Common Language: A Conceptual Model for Describing Service-Oriented Systems. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, Springer, Heidelberg (2005)
33. Autili, M., Cortellessa, V., Marco, A.D., Inverardi, P.: A conceptual model for adaptable context-aware services. In: Proc. of International Workshop on Web Services Modeling and Testing (WS-MaTe2006) (2006)
34. Autili, M., Inverardi, P., Navarra, A., Tivoli, M.: SYNTHESIS: a tool for automatically assembling correct and distributed component-based systems Proc. of International Conference on Software Engineering (ICSE 2007) - Tool Demos Session (to appear)
35. Inverardi, P., Tivoli, M.: Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, Springer, Heidelberg (2003)