Skip to main content
SpringerLink
Log in

Engineering of Software-Intensive Systems: State of the Art and Research Challenges

  • Chapter
Book cover Software-Intensive Systems and New Computing Paradigms

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5380))

Abstract

Software-intensive systems become more and more important in our everyday lives. But their increasing complexity makes it difficult to develop and maintain them. This chapter gives an overview of the state of the art of building software-intensive systems and outlines research challenges that have been identified by the InterLink working group “software-intensive systems and new computing paradigms”.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Dedrick, J., Gurbaxani, V., Kraemer, K.L.: Information technology and economic performance: A critical review of the empirical evidence. ACM Comput. Surv. 35(1), 1–28 (2003)

    Article  Google Scholar 

  2. Information Technology for European Advancement (ITEA) Office Association: ITEA technology roadmap for software-intensive systems, 2nd edn. (May 2004), http://www.itea-office.org

  3. Wirsing, M., Hölzl, M.: Software-intensive systems. Report of the Beyond-the-Horizon WG6 (2007)

    Google Scholar 

  4. Glass, R.L.: Guest editor’s introduction: The state of the practice of software engineering. IEEE Software 20(6), 20–21 (2003)

    Article  Google Scholar 

  5. Cusumano, M.A., MacCormack, A., Kemerer, C.F., Crandall, B.: Software development worldwide: The state of the practice. IEEE Software 20(6), 28–34 (2003)

    Article  Google Scholar 

  6. Lethbridge, T., Singer, J., Forward, A.: How software engineers use documentation: The state of the practice. IEEE Software 20(6), 35–39 (2003)

    Article  Google Scholar 

  7. Neill, C.J., Laplante, P.A.: Requirements engineering: The state of the practice. IEEE Software 20(6), 40–45 (2003)

    Article  Google Scholar 

  8. Ciolkowski, M., Laitenberger, O., Biffl, S.: Software reviews: The state of the practice. IEEE Software 20(6), 46–51 (2003)

    Article  Google Scholar 

  9. Birk, A., Heller, G., John, I., Schmid, K., von der Maßen, T., Müller, K.: Product line engineering: The state of the practice. IEEE Software 20(6), 52–60 (2003)

    Article  Google Scholar 

  10. Graaf, B., Lormans, M., Toetenel, H.: Embedded software engineering: The state of the practice. IEEE Software 20(6), 61–69 (2003)

    Article  Google Scholar 

  11. Baskerville, R., Ramesh, B., Levine, L., Pries-Heje, J., Slaughter, S.: Is internet-speed software development different? IEEE Software 20(6), 70–77 (2003)

    Article  Google Scholar 

  12. Reifer, D.J.: Is the software engineering state of the practice getting closer to the state of the art? IEEE Software 20(6), 78–83 (2003)

    Article  Google Scholar 

  13. Moore, G.E.: Cramming more components onto integrated circuits. Electronics 38(8), 114–117 (1965)

    Google Scholar 

  14. Kopp, C.: Moore’s Law and its Implications for Information Warfare. In: Sibilia, R. (ed.) Proceedings of the International AOC Electronic Warfare Conference, Alexandria, Virginia, USA, May 20-25, 2000, vol. 3, Association of Old Crows, AOC International AOC Electronic Warfare Conference (2000)

    Google Scholar 

  15. Coatta, T.: The (not so) hidden computer. Queue 4(3), 22–26 (2006)

    Article  Google Scholar 

  16. Benetti, S.: Intelligent co-operative systems in cars for road safety (July 2006)

    Google Scholar 

  17. Lee, E.A.: Cyber-physical systems—are computing foundations adequate? In: NSF Workshop on Cyber-Physical Systems (October 2006)

    Google Scholar 

  18. NSF Workshop on Cyber-Physical Systems: Web site of the nsf workshop on cyber-physical systems (October 2006) (last accessed 2008-01-20), http://varma.ece.cmu.edu/cps/

  19. Ungerer, T., Robič, B., Šilc, J.: A survey of processors with explicit multithreading. ACM Comput. Surv. 35(1), 29–63 (2003)

    Article  Google Scholar 

  20. Bjerregaard, T., Mahadevan, S.: A survey of research and practices of network-on-chip. ACM Comput. Surv. 38(1), 1 (2006)

    Article  Google Scholar 

  21. Lyshevski, S.E.: MEMS and NEMS: Systems, Devices and Structures. CRC Press, Boca Raton (2002)

    Google Scholar 

  22. Gad-El-Hak, M. (ed.): The MEMS Handbook. CRC Press, Boca Raton (2001)

    MATH  Google Scholar 

  23. Allen, J.J.: Micro Electro Mechanical System Design. CRC Press, Boca Raton (2005)

    Book  Google Scholar 

  24. Gad-El-Hak, M.: MEMS—Introduction and Fundamentals. CRC Press, Boca Raton (2006)

    Google Scholar 

  25. Memsnet: Web site of the memsnet.org project (2008) (last accessed 2008-01-10), http://www.memsnet.org/

  26. Venkatachalam, V., Franz, M.: Power reduction techniques for microprocessor systems. ACM Comput. Surv. 37(3), 195–237 (2005)

    Article  Google Scholar 

  27. Rad, R.M., Tehranipoor, M.: Evaluating area and performance of hybrid fpgas with nanoscale clusters and cmos routing. J. Emerg. Technol. Comput. Syst. 3(3), 15 (2007)

    Article  Google Scholar 

  28. Massoud, Y., Nieuwoudt, A.: Modeling and design challenges and solutions for carbon nanotube-based interconnect in future high performance integrated circuits. J. Emerg. Technol. Comput. Syst. 2(3), 155–196 (2006)

    Article  Google Scholar 

  29. Compton, K., Hauck, S.: Reconfigurable computing: a survey of systems and software. ACM Comput. Surv. 34(2), 171–210 (2002)

    Article  Google Scholar 

  30. Goldstein, S.C., Mowry, T.C.: Claytronics: A scalable basis for future robots. In: RoboSphere 2004, Moffett Field, CA (November 2004)

    Google Scholar 

  31. Kirby, B., Aksak, B., Goldstein, S.C., Hoburg, J.F., Mowry, T.C., Pillai, P.: A modular robotic system using magnetic force effectors. In: Proceedings of the IEEE International Conference on Intelligent Robots and Systems (IROS 2007) (October 2007)

    Google Scholar 

  32. Ravichandran, R., Gordon, G., Goldstein, S.C.: A scalable distributed algorithm for shape transformation in multi-robot systems. In: Proceedings of the IEEE International Conference on Intelligent Robots and Systems IROS 2007 (October 2007)

    Google Scholar 

  33. Tahoori, M.B.: Application-independent defect tolerance of reconfigurable nanoarchitectures. J. Emerg. Technol. Comput. Syst. 2(3), 197–218 (2006)

    Article  Google Scholar 

  34. Prodan, L., Udrescu, M., Boncalo, O., Vladutiu, M.: Design for dependability in emerging technologies. J. Emerg. Technol. Comput. Syst. 3(2), 6 (2007)

    Article  Google Scholar 

  35. Sekanina, L.: Evolutionary functional recovery in virtual reconfigurable circuits. J. Emerg. Technol. Comput. Syst. 3(2), 8 (2007)

    Article  Google Scholar 

  36. Tempesti, G., Mange, D., Mudry, P.A., Rossier, J., Stauffer, A.: Self-replicating hardware for reliability: The embryonics project. J. Emerg. Technol. Comput. Syst. 3(2), 9 (2007)

    Article  Google Scholar 

  37. Patwardhan, J., Dwyer, C., Lebeck, A.R.: A self-organizing defect tolerant simd architecture. J. Emerg. Technol. Comput. Syst. 3(2), 10 (2007)

    Article  Google Scholar 

  38. Milner, R., Stepney, S.: Nanotechnology: Computer science opportunities and challenges, Technical report, Submission by the UK Computing Research Committee to the Nanotechnology Working Group of the Royal Society and the Royal Academy of Engineering (August 2003)

    Google Scholar 

  39. Stepney, S., Braunstein, S.L., Clark, J.A., Tyrrell, A.M., Adamatzky, A., Smith, R.E., Addis, T.R., Johnson, C.G., Timmis, J., Welch, P.H., Milner, R., Partridge, D.: Journeys in non-classical computation II: initial journeys and waypoints. Parallel Algorithms Appl 21(2), 97–125 (2006)

    MathSciNet  MATH  Google Scholar 

  40. Feynman, R.P.: There’s plenty of room at the bottom—an invitation to enter a new field of physics. Engineering and Science (February 1960)

    Google Scholar 

  41. Drexler, K.E.: Molecular engineering: An approach to the development of general capabilities for molecular manipulation. Proc. Nat. Acad. Sci. USA 78(9), 5275–5278 (1981)

    Article  Google Scholar 

  42. Aaron, R., Herr, H., Ciombor, D., Hochberg, L., Donoghue, J., Briant, C., Morgan, J., Ehrlich, M.: Horizons in prosthesis development for the restoration of limb function. Journal of the American Academy of Orthopaedic Surgeons 14(10), 198–204 (2006)

    Article  Google Scholar 

  43. Su, F., Chakrabarty, K.: Yield enhancement of reconfigurable microfluidics-based biochips using interstitial redundancy. J. Emerg. Technol. Comput. Syst. 2(2), 104–128 (2006)

    Article  Google Scholar 

  44. Amos, M.: Theoretical and Experimental DNA Computation. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  45. Head, T.: Formal language theory and dna: an analysis of the generative capacity of specific recombinant behaviors. Bull. Math. Biology 49(6), 737–759 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  46. Adleman, L.: Molecular computation of solutions to combinatorial problems. Science 266(5187), 1021–1024 (1994)

    Article  Google Scholar 

  47. Hogg, T., Huberman, B.A.: Controlling smart matter. Smart Materials and Structures 7(R1) (1998)

    Google Scholar 

  48. Maclennan, B.J.: Replication, sharing, deletion, lists, and numerals: Progress on universally programmable intelligent matter (November 2002)

    Google Scholar 

  49. Rothemund, P.W.K., Papadakis, N., Winfree, E.: Algorithmic self-assembly of DNA Sierpinski triangles. In: Preliminary Proceedings of DNA Computing, 9th international Workshop on DNA-Based Computers, DNA 2003, 125 Madison, Wisconsin, USA, pp. 1–4 (June 2003)

    Google Scholar 

  50. Ben-Hur, A., Siegelmann, H.T.: Computation in gene networks. Chaos 14(1), 145–151 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  51. Kobayashi, H., Kaern, M., Araki, M., Chung, K., Gardner, T.S., Cantor, C.R., Collins, J.J.: Programmable cells: interfacing natural and engineered gene networks. Proc. Natl. Acad. Sci. U S A 101(22), 8414–8419 (2004)

    Article  Google Scholar 

  52. Seelig, G., Soloveichik, D., Zhang, D.Y., Winfree, E.: Enzyme-free nucleic acid logic circuits. Science 314(5805), 1585–1588 (2006)

    Article  Google Scholar 

  53. Yokobayashi, Y., Weiss, R., Arnold, F.H.: Directed evolution of a genetic circuit. Proc. Natl. Acad. Sci. U S A 99(26), 16587–16591 (2002)

    Article  Google Scholar 

  54. Franois, P., Hakim, V.: Design of genetic networks with specified functions by evolution in silicon. Proc. Natl. Acad. Sci. U S A 101(2), 580–585 (2004)

    Article  Google Scholar 

  55. Weiss, R., Knight, T.: Engineered communications for microbial robotics. In: DNA: International Workshop on DNA-Based Computers. LNCS. Springer, Heidelberg (2000)

    Google Scholar 

  56. Weiss, R., Basu, S., Hooshangi, S., Kalmbach, A., Karig, D., Mehreja, R., Netravali, I.: Genetic circuit building blocks for cellular computation, communications, and signal processing. Natural Computing 2(1), 43–84 (2003)

    Article  Google Scholar 

  57. Gibbs, W.W.: Synthetic life. Scientific American 290(5), 74–81 (2004)

    Google Scholar 

  58. Syntheticbiology.org: Syntheticbiology.org Web site (2007), http://syntheticbiology.org/

  59. GEM: Web site of the international Genetically Engineered Machine competition (2007), http://parts.mit.edu/wiki

  60. Carlson, R.: The pace and proliferation of biological technologies. Biosecur Bioterror 1(3), 203–214 (2003)

    Article  Google Scholar 

  61. Bruss, D., Erdélyi, G., Meyer, T., Riege, T., Rothe, J.: Quantum cryptography: A survey. ACM Comput. Surv. 39(2), 6 (2007)

    Article  Google Scholar 

  62. Van der Pyl, T., Karlson, A. (eds.): Quantum Information Processing & Communications in Europe. European Union, IST-FET (2005)

    Google Scholar 

  63. ERA-Pilot: Web site of the ERA-Pilot QIST Coordinated Action (2008) (last accessed 2008-01-07), http://www.qist-europe.net/

  64. Meter, R.V., Oskin, M.: Architectural implications of quantum computing technologies. J. Emerg. Technol. Comput. Syst. 2(1), 31–63 (2006)

    Article  Google Scholar 

  65. Naur, P.: Computing versus human thinking. Commun. ACM 50(1), 85–94 (2007)

    Article  Google Scholar 

  66. Yilmaz, A., Javed, O., Shah, M.: Object tracking: A survey. ACM Comput. Surv. 38(4), 13 (2006)

    Article  Google Scholar 

  67. Lobo, J., Dias, J.: Fusing of image and inertial sensing for camera calibration. In: Proceedings of the IEEE Conference on Multisensor Fusion and Integration for Intelligent Systems, MFI (2000)

    Google Scholar 

  68. Clouqueur, T., Phipatanasuphorn, V., Ramanathan, P., Saluja, K.: Sensor deployment strategy for target detection. In: The First ACM International Workshop on Wireless Sensor Networks and Applications (WSNA 2002) (September 2002)

    Google Scholar 

  69. Lyons, D.M., Hsu, D.F., Ma, Q., Wang, L.: Combinatorial fusion criteria for robot mapping. In: AINA, pp. 847–852. IEEE Computer Society, Los Alamitos (2007)

    Google Scholar 

  70. Gechter, F., Chevrier, V., Charpillet, F.: A reactive agent-based problem-solving model: Application to localization and tracking. ACM Trans. Auton. Adapt. Syst. 1(2), 189–222 (2006)

    Article  Google Scholar 

  71. Nakamura, E.F., Loureiro, A.A.F., Frery, A.C.: Information fusion for wireless sensor networks: Methods, models, and classifications. ACM Comput. Surv. 39(3), 9 (2007)

    Article  Google Scholar 

  72. Ramachandran, U., Kumar, R., Wolenetz, M., Cooper, B., Agarwalla, B., Shin, J., Hutto, P., Paul, A.: Dynamic data fusion for future sensor networks. ACM Trans. Sen. Netw. 2(3), 404–443 (2006)

    Article  Google Scholar 

  73. Ganesan, D., Cristescu, R., Beferull-Lozano, B.: Power-efficient sensor placement and transmission structure for data gathering under distortion constraints. ACM Trans. Sen. Netw. 2(2), 155–181 (2006)

    Article  Google Scholar 

  74. Zhou, G., He, T., Krishnamurthy, S., Stankovic, J.A.: Models and solutions for radio irregularity in wireless sensor networks. ACM Trans. Sen. Netw. 2(2), 221–262 (2006)

    Article  Google Scholar 

  75. Kansal, A., Hsu, J., Zahedi, S., Srivastava, M.B.: Power management in energy harvesting sensor networks. Trans. on Embedded Computing Sys. 6(4), 32 (2007)

    Article  Google Scholar 

  76. Chakrabarti, A., Sabharwal, A., Aazhang, B.: Communication power optimization in a sensor network with a path-constrained mobile observer. ACM Trans. Sen. Netw. 2(3), 297–324 (2006)

    Article  Google Scholar 

  77. Kansal, A., Kaiser, W., Pottie, G., Srivastava, M., Sukhatme, G.: Reconfiguration methods for mobile sensor networks. ACM Trans. Sen. Netw. 3(4), 22 (2007)

    Article  Google Scholar 

  78. Karnik, A., Kumar, A.: Distributed optimal self-organization in ad hoc wireless sensor networks. IEEE/ACM Trans. Netw. 15(5), 1035–1045 (2007)

    Article  Google Scholar 

  79. Huang, C.F., Tseng, Y.C., Wu, H.L.: Distributed protocols for ensuring both coverage and connectivity of a wireless sensor network. ACM Trans. Sen. Netw. 3(1), 5 (2007)

    Article  Google Scholar 

  80. Lazos, L., Poovendran, R.: Stochastic coverage in heterogeneous sensor networks. ACM Trans. Sen. Netw. 2(3), 325–358 (2006)

    Article  Google Scholar 

  81. Cărbunar, B., Grama, A., Vitek, J., Cărbunar, O.: Redundancy and coverage detection in sensor networks. ACM Trans. Sen. Netw. 2(1), 94–128 (2006)

    Article  Google Scholar 

  82. Yoon, S., Veerarittiphan, C., Sichitiu, M.L.: Tiny-sync: Tight time synchronization for wireless sensor networks. ACM Trans. Sen. Netw. 3(2), 8 (2007)

    Article  Google Scholar 

  83. Farrugia, E., Simon, R.: An efficient and secure protocol for sensor network time synchronization. Journal of Systems and Software 79(2), 147–162 (2006)

    Article  Google Scholar 

  84. Lanese, I.: Synchronization Strategies for Global Computing Models. PhD thesis, Ph.D. school in Computer Science, University of Pisa, Pisa, Italy (2006)

    Google Scholar 

  85. Jindal, A., Psounis, K.: Modeling spatially correlated data in sensor networks. ACM Trans. Sen. Netw. 2(4), 466–499 (2006)

    Article  Google Scholar 

  86. Herbert, D., Sundaram, V., Lu, Y.H., Bagchi, S., Li, Z.: Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking. ACM Trans. Auton. Adapt. Syst. 2(3), 8 (2007)

    Article  Google Scholar 

  87. Wang, D., Zhang, Q., Liu, J.: The self-protection problem in wireless sensor networks. ACM Trans. Sen. Netw. 3(4), 20 (2007)

    Article  Google Scholar 

  88. Salatian, A., Hunter, J.: Deriving trends in historical and real-time continuously sampled medical data. J. Intell. Inf. Syst. 13(1-2), 47–71 (1999)

    Article  Google Scholar 

  89. Combi, C., Chittaro, L.: Abstraction on clinical data sequences: an object-oriented data model and a query language based on the event calculus. Artificial Intelligence in Medicine 17(3), 271–301 (1999)

    Article  Google Scholar 

  90. Matuszek, C., Witbrock, M.J., Kahlert, R.C., Cabral, J., Schneider, D., Shah, P., Lenat, D.B.: Searching for common sense: Populating cyc from the web. In: Veloso, M.M., Kambhampati, S. (eds.) AAAI, pp. 1430–1435. AAAI Press / The MIT Press (2005)

    Google Scholar 

  91. Taylor, M.E., Matuszek, C., Klimt, B., Witbrock, M.J.: Autonomous classification of knowledge into an ontology. In: Wilson, D., Sutcliffe, G. (eds.) FLAIRS Conference, pp. 140–145. AAAI Press, Menlo Park (2007)

    Google Scholar 

  92. NASA: Intelligent data understanding subproject of the intelligent systems project (2008), http://ti.arc.nasa.gov/is/IDU/index.html

  93. Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E., Yergeau, F., Cowan, J.: Extensible markup language (xml) 1.1, 2nd edn. W3C Recommendation (August 2006), http://www.w3.org/TR/2006/REC-xml11-20060816/

  94. W3C Consortium: Extensible markup language (xml) web site (2008) (last accessed: 2008-01-19), http://www.w3.org/XML/

  95. Object Management Group: Meta Object Facility (MOF) Specification Version 1.4 (April 2002) OMG Document: formal/02-04-03, http://www.omg.org/docs/formal/02-04-03.pdf

  96. W3C Consortium: Resource description framework (rdf) web site (2008) (last accessed: 2008-01-19), http://www.w3.org/RDF/

  97. KIF: Knowledge interchange format—draft proposed american national standard (dpans) NCITS.T2/98-004 (1998), http://logic.stanford.edu/kif/dpans.html

  98. Lenat, D.B., Guha, R.V.: The evolution of cycl, the cyc representation language. SIGART Bull. 2(3), 84–87 (1991)

    Article  Google Scholar 

  99. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)

    MATH  Google Scholar 

  100. McGuinness, D.L., van Harmelen, F.: Owl web ontology language: Overview. W3C Recommendation, http://www.w3.org/TR/owl-features/

  101. Bechhofer, S., et al.: Owl web ontology language: Reference. W3C Recommendation, http://www.w3.org/TR/owl-ref/

  102. Berners-Lee, T., Connolly, D., Kagal, L., Scharf, Y., Hendler, J.: N3logic: A logical framework for the world wide web (2007), http://arxiv.org/abs/0711.1533

  103. Altheim, M., Anderson, B., Hayes, P., Menzel, C., Sowa, J.F., Tammet, T.: Scl: Simple common logic (2004), http://www.ihmc.us/users/phayes/CL/SCL2004.html

  104. Group, O.M.: Ontology definition metamodel (OMG adopted specification) OMG Document Number: ptc/2007-09-09 (2007), http://www.omg.org/cgi-bin/doc?ptc/07-09-09

  105. Copeland, J.B.: Cyc: A case study in ontological engineering. Electronic Journal of Analytic Philosophy 5 (1997)

    Google Scholar 

  106. Cyc: The Cyc foundation. http://www.cycfoundation.org/

  107. Fellbaum, C. (ed.): WordNet—An Electronic Lexical Database. MIT Press, Cambridge (1998)

    MATH  Google Scholar 

  108. Niles, I., Pease, A.: Towards a standard upper ontology. In: Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, FOIS 2001 (2001)

    Google Scholar 

  109. Formica, A., Missikoff, M.: Inheritance processing and conflicts in structural generalization hierarchies. ACM Comput. Surv. 36(3), 263–290 (2004)

    Article  Google Scholar 

  110. Katifori, A., Halatsis, C., Lepouras, G., Vassilakis, C., Giannopoulou, E.: Ontology visualization methods—a survey. ACM Comput. Surv. 39(4), 10 (2007)

    Article  Google Scholar 

  111. Motik, B., Stojanovic, N., Stojanovic, L., Maedche, A.: User-driven ontology evolution management. In: Gómez-Pérez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS (LNAI), vol. 2473. Springer, Heidelberg (2002)

    Google Scholar 

  112. Klein, M., Fensel, D.: Ontology versioning on the semantic web. In: Int. Semantic Web Working Symp. (SWWS) (2001)

    Google Scholar 

  113. Wikipedia: Rdfa, http://en.wikipedia.org/wiki/RDFa

  114. Bernstein, A., Kaufmann, E., Göhring, A., Kiefer, C.: Querying ontologies: A controlled english interface for end-users. In: 4th Int. Semantic Web Conf. (ISWC) (2005)

    Google Scholar 

  115. Kuhn, T.: AceWiki: Collaborative Ontology Management in Controlled Natural Language. In: Proc. 3rd Semantic Wiki Wsh. CEUR Workshop Proceedings (2008)

    Google Scholar 

  116. Benjamins, V.R., Davies, J., Baeza-Yates, R., Mika, P., Zaragoza, H., Greaves, M., Gmez-Prez, J.M., Contreras, J., Domingue, J., Fensel, D.: Near-term prospects for semantic technologies. IEEE Intelligent Systems 23(1), 76–88 (2008)

    Article  Google Scholar 

  117. Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.): PPSWR 2006. LNCS, vol. 4187. Springer, Heidelberg (2006)

    Google Scholar 

  118. Wyss, C.M., James, A., Hasselbring, W., Conrad, S., Höpfner, H.: Report on the engineering federated information systems 2003 workshop (efis 2003). SIGSOFT Softw. Eng. Notes 29(2), 1–3 (2004)

    Article  Google Scholar 

  119. Sohn, D.: Understanding drm. Queue 5(7), 32–39 (2007)

    Article  Google Scholar 

  120. Zheng, D., Liu, Y., Zhao, J., Saddik, A.E.: A survey of rst invariant image watermarking algorithms. ACM Comput. 39(2), 5 (2007)

    Article  Google Scholar 

  121. Garfinkel, S.: Database Nation: The Death of Privacy in the 21st Century. O’Reilly, Sebastopol (2000)

    Google Scholar 

  122. Turmo, J., Ageno, A., Català, N.: Adaptive information extraction. ACM Comput. Surv. 38(2), 4 (2006)

    Article  Google Scholar 

  123. Ceglar, A., Roddick, J.F.: Association mining. ACM Comput. Surv. 38(2), 5 (2006)

    Article  Google Scholar 

  124. Mena, E., Illarramendi, A., Royo, J.A., Gon, A.: A software retrieval service based on adaptive knowledge-driven agents for wireless environments. ACM Trans. Auton. Adapt. Syst. 1(1), 67–90 (2006)

    Article  Google Scholar 

  125. Zobel, J., Moffat, A.: Inverted files for text search engines. ACM Comput. Surv. 38(2), 6 (2006)

    Article  Google Scholar 

  126. Chakrabarti, D., Faloutsos, C.: Graph mining: Laws, generators, and algorithms. ACM Comput. Surv. 38(1), 2 (2006)

    Article  Google Scholar 

  127. Truran, M., Goulding, J., Ashman, H.: Autonomous authoring tools for hypertext. ACM Comput. Surv. 39(3), 8 (2007)

    Article  Google Scholar 

  128. Jensen, E.C., Beitzel, S.M., Chowdhury, A., Frieder, O.: Repeatable evaluation of search services in dynamic environments. ACM Trans. Inf. Syst. 26(1), 1 (2007)

    Article  Google Scholar 

  129. Geng, L., Hamilton, H.J.: Interestingness measures for data mining: A survey. ACM Comput. Surv. 38(3), 9 (2006)

    Article  Google Scholar 

  130. Zhao, H.: Semantic matching across heterogeneous data sources. Commun. ACM 50(1), 45–50 (2007)

    Article  Google Scholar 

  131. Carpenter, B.: Better, faster, more secure. Queue 4(10), 42–48 (2007)

    Article  Google Scholar 

  132. Biskupski, B., Dowling, J., Sacha, J.: Properties and mechanisms of self-organizing manet and p2p systems. ACM Trans. Auton. Adapt. Syst. 2(1), 1 (2007)

    Article  Google Scholar 

  133. Jelenković, P.R., Momčilović, P., Squillante, M.S.: Scalability of wireless networks. IEEE/ACM Trans. Netw. 15(2), 295–308 (2007)

    Article  Google Scholar 

  134. Qiao, D., Choi, S., Shin, K.G.: Interference analysis and transmit power control in ieee 802.11a/h wireless lans. IEEE/ACM Trans. Netw. 15(5), 1007–1020 (2007)

    Article  Google Scholar 

  135. Sharma, G., Mazumdar, R., Shroff, N.B.: Delay and capacity trade-offs in mobile ad hoc networks: a global perspective. IEEE/ACM Trans. Netw. 15(5), 981–992 (2007)

    Article  Google Scholar 

  136. Santi, P.: Topology control in wireless ad hoc and sensor networks. ACM Comput. Surv. 37(2), 164–194 (2005)

    Article  Google Scholar 

  137. Uludag, S., Lui, K.S., Nahrstedt, K., Brewster, G.: Analysis of topology aggregation techniques for qos routing. ACM Comput. Surv. 39(3), 7 (2007)

    Article  Google Scholar 

  138. Androutsellis-Theotokis, S., Spinellis, D.: A survey of peer-to-peer content distribution technologies. ACM Comput. Surv. 36(4), 335–371 (2004)

    Article  Google Scholar 

  139. Venugopal, S., Buyya, R., Ramamohanarao, K.: A taxonomy of data grids for distributed data sharing, management, and processing. ACM Comput. Surv. 38(1), 3 (2006)

    Article  Google Scholar 

  140. Watanabe, K., Nakajima, Y., Enokido, T., Takizawa, M.: Ranking factors in peer-to-peer overlay networks. ACM Trans. Auton. Adapt. Syst. 2(3), 11 (2007)

    Article  Google Scholar 

  141. Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., Guzar, A., Kartha, N., Liu, C.K., Khalaf, R., Knig, D., Marin, M., Mehta, V., Thatte, S., van der Rijn, D., Yendluri, P., Yiu, A.: Web Services Business Process Execution Language Version 2.0. Technical report, WS-BPEL TC OASIS (April 2007), http://www.oasis-open.org/

  142. Misra, J., Cook, W.R.: Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling (to appear, 2006)

    Google Scholar 

  143. Cook, W.R., Patwardhan, S., Misra, J.: Workflow patterns in orc. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 82–96. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  144. Sivasubramanian, S., Szymaniak, M., Pierre, G., van Steen, M.: Replication for web hosting systems. ACM Comput. Surv. 36(3), 291–334 (2004)

    Article  Google Scholar 

  145. Saito, Y., Shapiro, M.: Optimistic replication. ACM Comput. Surv. 37(1), 42–81 (2005)

    Article  MATH  Google Scholar 

  146. Elnozahy, E.N.M., Alvisi, L., Wang, Y.M., Johnson, D.B.: A survey of rollback-recovery protocols in message-passing systems. ACM Comput. Surv. 34(3), 375–408 (2002)

    Article  Google Scholar 

  147. Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: Proc. of POPL 2005, pp. 209–220. ACM Press, New York (2005)

    Google Scholar 

  148. Bruni, R., Melgratti, H., Montanari, U.: Composing transactional services (manuscript 2006)

    Google Scholar 

  149. Garcia-Molina, H., Salem, K.: Sagas. In: SIGMOD 1987: Proc. of ACM SIGMOD Int. Conf. on Management of Data, pp. 249–259. ACM Press, New York (1987)

    Chapter  Google Scholar 

  150. Pleisch, S., Schiper, A.: Approaches to fault-tolerant and transactional mobile agent execution—an algorithmic view. ACM Comput. Surv. 36(3), 219–262 (2004)

    Article  Google Scholar 

  151. Soundararajan, G., Amza, C.: Reactive provisioning of backend databases in shared dynamic content server clusters. ACM Trans. Auton. Adapt. Syst. 1(2), 151–188 (2006)

    Article  Google Scholar 

  152. Chang, F., Dean, J., Ghemawat, S., Hsieh, W.C., Wallach, D.A., Burrows, M., Chandra, T., Fikes, A., Gruber, R.E.: Bigtable: a distributed storage system for structured data. In: USENIX 2006: Proceedings of the 7th conference on USENIX Symposium on Operating Systems Design and Implementation, Berkeley, CA, USA, p. 15. USENIX Association (2006)

    Google Scholar 

  153. Dix, A., Finlay, J., Abowd, G., Beale, R.: Human Computer Interaction, 3rd edn. Prentice-Hall, Englewood Cliffs (2004)

    MATH  Google Scholar 

  154. Canny, J.: The future of human-computer interaction. Queue 4(6), 24–32 (2006)

    Article  Google Scholar 

  155. McTear, M.F.: Spoken dialogue technology: enabling the conversational user interface. ACM Comput. Surv. 34(1), 90–169 (2002)

    Article  Google Scholar 

  156. Oviatt, S., Seneff, S.: Introduction to mobile and adaptive conversational interfaces. ACM Trans. Comput.-Hum. Interact. 11(3), 237–240 (2004)

    Article  Google Scholar 

  157. Oviatt, S., Darves, C., Coulston, R.: Toward adaptive conversational interfaces: Modeling speech convergence with animated personas. ACM Trans. Comput.-Hum. Interact. 11(3), 300–328 (2004)

    Article  Google Scholar 

  158. Lemon, O., Gruenstein, A.: Multithreaded context for robust conversational interfaces: Context-sensitive speech recognition and interpretation of corrective fragments. ACM Trans. Comput.-Hum. Interact. 11(3), 241–267 (2004)

    Article  Google Scholar 

  159. Zhai, S., Bellotti, V.: Introduction to sensing-based interaction. ACM Trans. Comput.-Hum. Interact. 12(1), 1–2 (2005)

    Article  Google Scholar 

  160. Hinckley, K., Pierce, J., Horvitz, E., Sinclair, M.: Foreground and background interaction with sensor-enhanced mobile devices. ACM Trans. Comput.-Hum. Interact. 12(1), 31–52 (2005)

    Article  Google Scholar 

  161. Liao, C., Guimbretière, F., Hinckley, K., Hollan, J.: Papiercraft: A gesture-based command system for interactive paper. ACM Trans. Comput.-Hum. Interact. 14(4), 1–27 (2008)

    Article  Google Scholar 

  162. Second Life: Second life web site (last accessed: 2008-06-19), http://secondlife.com/

  163. Chan, H.C., Teo, H.H.: Evaluating the boundary conditions of the technology acceptance model: An exploratory investigation. ACM Trans. Comput.-Hum. Interact. 14(2), 9 (2007)

    Article  Google Scholar 

  164. Bickmore, T.W., Picard, R.W.: Establishing and maintaining long-term human-computer relationships. ACM Trans. Comput.-Hum. Interact. 12(2), 293–327 (2005)

    Article  Google Scholar 

  165. Crowley, J.L.: Social perception. Queue 4(6), 34–43 (2006)

    Article  Google Scholar 

  166. McGrenere, J., Baecker, R.M., Booth, K.S.: A field evaluation of an adaptable two-interface design for feature-rich software. ACM Trans. Comput.-Hum. Interact. 14(1), 3 (2007)

    Article  Google Scholar 

  167. Dey, A.K., Mankoff, J.: Designing mediation for context-aware applications. ACM Trans. Comput.-Hum. Interact. 12(1), 53–80 (2005)

    Article  Google Scholar 

  168. Edwards, W.K.: Putting computing in context: An infrastructure to support extensible context-enhanced collaborative applications. ACM Trans. Comput.-Hum. Interact. 12(4), 446–474 (2005)

    Article  Google Scholar 

  169. Sears, A., Hanson, V.L., Myers, B.: Introduction to special issue on computers and accessibility. ACM Trans. Comput.-Hum. Interact. 14(3), 11 (2007)

    Article  Google Scholar 

  170. Harper, S., Bechhofer, S.: Sadie: Structural semantics for accessibility and device independence. ACM Trans. Comput.-Hum. Interact. 14(2), 10 (2007)

    Article  Google Scholar 

  171. Jay, C., Glencross, M., Hubbold, R.: Modeling the effects of delayed haptic and visual feedback in a collaborative virtual environment. ACM Trans. Comput.-Hum. Interact. 14(2), 8 (2007)

    Article  Google Scholar 

  172. Berstel, J., Reghizzi, S.C., Roussel, G., Pietro, P.S.: A scalable formal method for design and automatic checking of user interfaces. ACM Trans. Softw. Eng. Methodol. 14(2), 124–167 (2005)

    Article  Google Scholar 

  173. Thimbleby, H.: User interface design with matrix algebra. ACM Trans. Comput.-Hum. Interact. 11(2), 181–236 (2004)

    Article  Google Scholar 

  174. Sommerville, I.: Software Engineering, 8th edn. Addison-Wesley, Reading (2007)

    MATH  Google Scholar 

  175. Stanford Encyclopedia of Philosophy: Emergent Properties (last accessed 2008-09-21), http://plato.stanford.edu/entries/properties-emergent/

  176. Holland, J.H.: Adaptation in Natural and Artificial Systems, 2nd edn. MIT Press, Cambridge (1992)

    Google Scholar 

  177. Bedau, M.A., Humphreys, P. (eds.): Emergence: Contemporary Readings in Philosophy and Science. MIT Press, Cambridge (2008)

    Google Scholar 

  178. Gros, C.: Complex and Adaptive Dynamical Systems: A Promer. Springer Complexity. Springer, Heidelberg (2008)

    Book  Google Scholar 

  179. Hirsch, M.W., Smale, S., Devaney, R.L.: Differential Equations, Dynamical Systems & an Introduction to Chaos. Pure and Applied Mathematics, vol. 60. Elsevier, Amsterdam (2004)

    MATH  Google Scholar 

  180. Nicolis, G., Nicolis, C.: Foundations of Complex Systems: Nonlinear Dynamics, Statistical Physics, Information and Prediction. World Scientific, Singapore (2007)

    Book  MATH  Google Scholar 

  181. Hirsch, D., Kramer, J., Magee, J., Uchitel, S.: Modes for software architectures. In: Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, vol. 4344. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  182. Laird, J.E.: Extending the Soar Cognitive Architecture. In: Wang, P., Goertzel, B., Franklin, S. (eds.) Proceedings of the First Artificial General Intelligence Conference. Frontiers in Artificial Intelligence and Applications, vol. 171 (February 2008)

    Google Scholar 

  183. Santa Fe Institute: Web Site (last accessed 2008-09-20), http://www.santafe.edu/

  184. Abowd, G.D., Dey, A.K., Brown, P.J., Davies, N., Smith, M., Steggles, P.: Towards a better understanding of context and context-awareness. In: Gellersen, H.-W. (ed.) HUC 1999. LNCS, vol. 1707, pp. 304–307. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  185. Staab, S., Studer, R. (eds.): Handbook on Ontologies. International Handbooks on Information Systems. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  186. Turner, R.M.: Adaptive Reasoning for Real-World Problems: A Schema-Based Approach. Lawrence Erlbaum Associates, Mahwah (1994)

    Google Scholar 

  187. Bishop, C.M.: Pattern Recognition and Machine Learning (Information Science and Statistics). Springer, Heidelberg (2006)

    MATH  Google Scholar 

  188. Weber, W.: Ambient intelligence: industrial research on a visionary concept. In: ISLPED 2003: Proceedings of the 2003 international symposium on Low power electronics and design, pp. 247–251. ACM, New York (2003)

    Google Scholar 

  189. Babaoglu, O., Jelasity, M., Montresor, A., Fetzer, C., Leonardi, S., van Moorsel, A., van Steen, M.: Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations. LNCS. Springer, Heidelberg (2005)

    Book  Google Scholar 

  190. Cantrill, B.: Hidden in plain sight. Queue 4(1), 26–36 (2006)

    Article  Google Scholar 

  191. Patil, S., de Veciana, G.: Managing resources and quality of service in heterogeneous wireless systems exploiting opportunism. IEEE/ACM Trans. Netw. 15(5), 1046–1058 (2007)

    Article  Google Scholar 

  192. Lorenz, D.H., Orda, A., Raz, D., Shavitt, Y.: Efficient qos partition and routing of unicast and multicast. IEEE/ACM Trans. Netw. 14(6), 1336–1347 (2006)

    Article  Google Scholar 

  193. Movsichoff, B.A., Lagoa, C.M., Che, H.: End-to-end optimal algorithms for integrated qos, traffic engineering, and failure recovery. IEEE/ACM Trans. Netw. 15(4), 813–823 (2007)

    Article  Google Scholar 

  194. Xue, G., Sen, A., Zhang, W., Tang, J., Thulasiraman, K.: Finding a path subject to many additive qos constraints. IEEE/ACM Trans. Netw. 15(1), 201–211 (2007)

    Article  Google Scholar 

  195. Hirsch, D., Tuosto, E.: Coordinating application level QoS with SHReQ. Journal of Software and Systems Modelling (to appear, 2006)

    Google Scholar 

  196. Hirsch, D., Tuosto, E.: SHReQ: A framework for coordinating application level QoS. In: Bernhard, K., Bernhard, B. (eds.) Proceedings of SEFM 2005, 3rd IEEE International Conference on Software Engineering and Formal Methods, pp. 425–434. IEEE, Los Alamitos (2005)

    Google Scholar 

  197. Allman, E.: Complying with compliance. Queue 4(7), 18–21 (2006)

    Article  Google Scholar 

  198. Cannon, J.C., Byers, M.: Compliance deconstructed. Queue 4(7), 30–37 (2006)

    Article  Google Scholar 

  199. Buscemi, M., Montanari, U.: Cc-pi: A constraint-based language for specifying service level agreements. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 18–32. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  200. Anderson, R.J.: Security Engineering: A Guide to Building Dependable Distributed Systems. Wiley, Chichester (2008)

    Google Scholar 

  201. Schneier, B.: Secrets and Lies—Digital Security in a Networked World. John Wiley & Sons, Inc., Chichester (2000)

    Google Scholar 

  202. Ferguson, N., Schneier, B.: Practical Cryptography. Wiley Publishing, Inc., Chichester (2003)

    MATH  Google Scholar 

  203. Cymru, T.: Cybercrime: an epidemic. Queue 4(9), 24–35 (2006)

    Article  Google Scholar 

  204. Geer, D.E.: Playing for keeps. Queue 4(9), 42–48 (2006)

    Article  Google Scholar 

  205. Kaufman, C., Perlman, R., Speciner, M.: Network security: private communication in a public world, 2nd edn. Prentice-Hall, Inc., Upper Saddle River (2002)

    Google Scholar 

  206. Neville-Neil, G.V.: Building secure web applications. Queue 5(5), 22–26 (2007)

    Article  Google Scholar 

  207. Peng, T., Leckie, C., Ramamohanarao, K.: Survey of network-based defense mechanisms countering the dos and ddos problems. ACM Comput. Surv. 39(1), 3 (2007)

    Article  Google Scholar 

  208. Kolan, P., Dantu, R.: Socio-technical defense against voice spamming. ACM Trans. Auton. Adapt. Syst. 2(1), 2 (2007)

    Article  Google Scholar 

  209. Shyu, M.L., Quirino, T., Xie, Z., Chen, S.C., Chang, L.: Network intrusion detection through adaptive sub-eigenspace modeling in multiagent systems. ACM Trans. Auton. Adapt. Syst. 2(3), 9 (2007)

    Article  Google Scholar 

  210. Merwe, J.V.D., Dawoud, D., McDonald, S.: A survey on peer-to-peer key management for mobile ad hoc networks. ACM Comput. Surv. 39(1), 1 (2007)

    Article  Google Scholar 

  211. Rafaeli, S., Hutchison, D.: A survey of key management for secure group communication. ACM Comput. Surv. 35(3), 309–329 (2003)

    Article  Google Scholar 

  212. Tolone, W., Ahn, G.J., Pai, T., Hong, S.P.: Access control in collaborative systems. ACM Comput. Surv. 37(1), 29–41 (2005)

    Article  Google Scholar 

  213. Zhang, G., Baumeister, H., Koch, N., Knapp, A.: Aspect-Oriented Modeling of Access Control in Web Applications. In: Proc. 6th Int. Wsh. Aspect Oriented Modeling (WAOM 2005), Chicago (2005)

    Google Scholar 

  214. Bhatti, R., Bertino, E., Ghafoor, A.: An integrated approach to federated identity and privilege management in open systems. Commun. ACM 50(2), 81–87 (2007)

    Article  Google Scholar 

  215. Geer, D.E.: The evolution of security. Queue 5(3), 30–35 (2007)

    Article  Google Scholar 

  216. Boyle, M., Greenberg, S.: The language of privacy: Learning from video media space analysis and design. ACM Trans. Comput.-Hum. Interact. 12(2), 328–370 (2005)

    Article  Google Scholar 

  217. Loscocco, P., Smalley, S.: Integrating flexible support for security policies into the linux operating system (February 2001) (last accessed 2008-01-19), http://www.nsa.gov/selinux/papers/slinux-abs.cfm

  218. Drepper, U.: Security enhancements in red hat enterprise linux (beside selinux) (December 2005) (last accessed 2008-01-19), http://people.redhat.com/drepper/nonselsec.pdf

  219. Ford, R.: Open vs. closed: which source is more secure? Queue 5(1), 32–38 (2007)

    Article  Google Scholar 

  220. Hoepman, J.H., Jacobs, B.: Increased security through open source. Commun. ACM 50(1), 79–83 (2007)

    Article  Google Scholar 

  221. Thayer, R.H.: Software system engineering: A tutorial. IEEE Computer 35(4), 68–73 (2002)

    Article  Google Scholar 

  222. White, S., Alford, M.W., Holtzman, J., Kuehl, C.S., McCay, B., Oliver, D., Owens, D., Tully, C., Willey, A.: Systems engineering of computer-based systems, state of practice working group. IEEE Computer 26(11), 54–65 (1993)

    Article  Google Scholar 

  223. IEEE: Std. 1220-1998. Standard for Application and Management of the System Engineering Process. IEEE Press, Piscataway, N.J (1998)

    Google Scholar 

  224. George, W., Beeler, J., Gardner, D.: A requirements primer. Queue 4(7), 22–26 (2006)

    Article  Google Scholar 

  225. Giorgini, P., Massacci, F., Zannone, N.: Security and Trust Requirements Engineering. In: Aldini, A., Gorrieri, R., Martinelli, F. (eds.) FOSAD 2005, vol. 3655, pp. 237–272. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  226. Donzelli, P., Basili, V.R.: A practical framework for eliciting and modeling system dependability requirements: Experience from the nasa high dependability computing project. Journal of Systems and Software 79(1), 107–119 (2006)

    Article  Google Scholar 

  227. Cantor, M., Roose, G.: Hardware/software codevelopment using a model-driven systems development (mdsd) approach. IBM developerWorks (December 2005) (last accessed 2008-01-20), http://www.ibm.com/developerworks/rational/library/dec05/cantor/

  228. Cantor, M., Roose, G.: Hardware/software codevelopment using a model-driven systems development (mdsd) approach—part ii: Illustrating the solution. IBM developerWorks (Febuary 2006) (last accessed 2008-01-20), http://www.ibm.com/developerworks/rational/library/feb06/cantor-roose/

  229. Unrau, R.C.: Development techniques for using simulation to remove risk in software/hardware integration (2008) (last accessed 2008-01-20), http://www.redhat.com/support/wpapers/cygnus/cygnus_risk/index.html#toc

  230. Robinson, W.N., Pawlowski, S.D., Volkov, V.: Requirements interaction management. ACM Comput. Surv. 35(2), 132–190 (2003)

    Article  Google Scholar 

  231. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide, 2nd edn. Addison-Wesley, Reading (2005)

    Google Scholar 

  232. Mellor, S.J., Kendall, S., Uhl, A., Weise, D.: MDA Distilled. Addison Wesley Longman Publishing Co., Inc., Redwood City (2004)

    Google Scholar 

  233. Object Management Group: Model Driven Architecture (OMG) (Last visited, June 2008), http://www.omg.org/mda/

  234. Paige, R.F., Brooke, P.J., Ostroff, J.S.: Metamodel-based model conformance and multiview consistency checking. ACM Trans. Softw. Eng. Methodol. 16(3), 11 (2007)

    Article  Google Scholar 

  235. Beck, K.: Extreme Programming Explained—Embracing Change. Addison-Wesley Professional, Reading (2003)

    Google Scholar 

  236. Cockburn, A.: Agile Software Development—The Cooperative Game, 2nd edn. Addison-Wesley, Reading (2006)

    Google Scholar 

  237. Highsmith, J.: Agile Software Development Ecosystems. Addison-Wesley, Reading (2003)

    Google Scholar 

  238. Nerur, S., Balijepally, V.: Theoretical reflections on agile development methodologies. Commun. ACM 50(3), 79–83 (2007)

    Article  Google Scholar 

  239. Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. The SEI Series in Software Engineering. Addison-Wesley Professional, Reading (2001)

    Google Scholar 

  240. Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools and Applications. Addison-Wesley Professional, Reading (2000)

    Google Scholar 

  241. Greenfield, J., Short, K.: Software Factories: Assembling Applications with Patterns, Frameworks, Models and Tools. Wiley, Chichester (2004)

    Google Scholar 

  242. Evans, E.: Domain-Driven Design: Tackling Complexity in the Heart of Software. Addison-Wesley Professional, Reading (2004)

    Google Scholar 

  243. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Longman, Amsterdam (1995)

    MATH  Google Scholar 

  244. Fowler, M.: Patterns of Enterprise Application Architecture. Addison-Wesley Longman, Amsterdam (2002)

    Google Scholar 

  245. Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture. A System of Patterns, vol. 1. John Wiley & Sons, Chichester (1996)

    MATH  Google Scholar 

  246. Schmidt, D., Stal, M., Rohnert, H., Buschmann, F.: Pattern-Oriented Software Architecture. Patterns for Concurrent and Networked Objects, vol. 2. John Wiley & Sons, Chichester (2000)

    MATH  Google Scholar 

  247. Kircher, M., Jain, P.: Pattern-Oriented Software Architecture. Patterns for Resource Management, vol. 3. Wiley, Chichester (2004)

    Google Scholar 

  248. Buschmann, F., Henney, K., Schmidt, D.C.: Pattern-Oriented Software Architecture. A Pattern Language for Distributed Computing, vol. 4. Wiley, Chichester (2007)

    Google Scholar 

  249. Buschmann, F., Henney, K., Schmidt, D.C.: Pattern Oriented Software Architecture. On Patterns and Pattern Languages, vol. 5. Wiley, Chichester (2007)

    Google Scholar 

  250. Gay, D., Levis, P., Culler, D.: Software design patterns for tinyos. Trans. on Embedded Computing Sys. 6(4), 22 (2007)

    Article  Google Scholar 

  251. Binder, R.: Testing Object-Oriented Systems: Models, Patterns and Tools. Addison-Wesley Professional, Reading (2000)

    Google Scholar 

  252. Rothermel, G., Elbaum, S., Malishevsky, A.G., Kallakuri, P., Qiu, X.: On test suite composition and cost-effective regression testing. ACM Trans. Softw. Eng. Methodol. 13(3), 277–331 (2004)

    Article  Google Scholar 

  253. Kaufmann, M., Manolis, P., Moore, J.S.: Computer-Aided Reasoning: An Approach. Kluwer Academic Publishers, Dordrecht (2000)

    Google Scholar 

  254. Owre, S., Rushby, J.M., Shankar, N.: PVS: A prototype verification system. In: Kapur, D. (ed.) CADE 1992. LNCS (LNAI), vol. 607, pp. 748–752. Springer, Heidelberg (1992)

    Google Scholar 

  255. McDonald, J., Anton, J.: Specware - producing software correct by construction (2001)

    Google Scholar 

  256. Bertot, Y., Castéran, P., Huet, G., Paulin-Mohring, C.: Interactive Theorem Proving and Program Development. Springer, Heidelberg (2004)

    Book  MATH  Google Scholar 

  257. Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle/HOL: A Proof Assistant for Higher-Order Logic. Springer, Heidelberg (2002)

    Book  MATH  Google Scholar 

  258. Russinoff, D., Kaufmann, M., Smith, E., Summers, R.: Formal verification of floating-point rtl at amd using the acl2 theorem prover. In: Simonov, N. (ed.) Proceedings of the 17th IMACS World Congress on Scientific Computing (July 2005)

    Google Scholar 

  259. Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Reading (2004)

    Google Scholar 

  260. Spin: Web site of the SPIN Model Checker (2008) (last visited: 2008-01-24), www.spinroot.com

  261. Edmund, M., Clarke, O.G., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)

    Google Scholar 

  262. Henzinger, T., Jhala, R., Majumdar, R., Sutre, G.: Software verification with blast. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003, vol. 2648, pp. 235–239. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  263. Fraser, G., Wotawa, F.: Improving model-checkers for software testing. qsic 0, 25–31 (2007)

    Google Scholar 

  264. Fraser, G., Wotawa, F.: Using ltl rewriting to improve the performance of model-checker based test-case generation. In: A-MOST, pp. 64–74. ACM, New York (2007)

    Chapter  Google Scholar 

  265. Fraser, G., Wotawa, F.: Redundancy based test-suite reduction. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 291–305. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  266. Ren, S., Yu, Y., Chen, N., Tsai, J.J.P., Kwiat, K.: The role of roles in supporting reconfigurability and fault localizations for open distributed and embedded systems. ACM Trans. Auton. Adapt. Syst. 2(3), 10 (2007)

    Article  Google Scholar 

  267. Papadopoulos, P., Bruno, G., Katz, M.: Beyond beowulf clusters. Queue 5(3), 36–43 (2007)

    Article  Google Scholar 

  268. Erl, T.: Service-Oriented Architecture—Concepts, Technology and Design. Prentice Hall Service-Oriented Computing Series. Prentice-Hall, Englewood Cliffs (2005)

    Google Scholar 

  269. Edwards, D., Simmons, S., Wilde, N.: An approach to feature location in distributed systems. Journal of Systems and Software 79(1), 57–68 (2006)

    Article  Google Scholar 

  270. Babaoglu, O., Canright, G., Deutsch, A., Caro, G.A.D., Ducatelle, F., Gambardella, L.M., Ganguly, N., Jelasity, M., Montemanni, R., Montresor, A., Urnes, T.: Design patterns from biology for distributed computing. ACM Trans. Auton. Adapt. Syst. 1(1), 26–66 (2006)

    Article  Google Scholar 

  271. Banâtre, J.P., Fradet, P., Radenac, Y.: A generalized higher-order chemical computation model. Electr. Notes Theor. Comput. Sci. 135(3), 3–13 (2006)

    Article  MATH  Google Scholar 

  272. Agha, G.: Computing in pervasive cyberspace. Commun. ACM 51(1), 68–70 (2008)

    Article  Google Scholar 

  273. Agha, G.: Actors: a model of concurrent computation in distributed systems. MIT Press, Cambridge (1986)

    Google Scholar 

  274. Agha, G.A., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. J. Funct. Program. 7(1), 1–72 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  275. Wooldridge, M.: An introduction to multi-agent systems. J. Artificial Societies and Social Simulation 7(3) (2004)

    Google Scholar 

  276. Durfee, E.H., Yokoo, M., Huhns, M.N., Shehory, O. (eds.): 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, IFAAMAS, May 14-18 (2007)

    Google Scholar 

  277. Talcott, C.L.: A formal framework for interactive agents. Electron. Notes Theor. Comput. Sci. 203(3), 95–106 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  278. Poslad, S.: Specifying protocols for multi-agent systems interaction. ACM Trans. Auton. Adapt. Syst. 2(4), 15 (2007)

    Article  Google Scholar 

  279. Penserini, L., Perini, A., Susi, A., Mylopoulos, J.: High variability design for software agents: Extending tropos. ACM Trans. Auton. Adapt. Syst. 2(4), 16 (2007)

    Article  Google Scholar 

  280. Giorgini, P., Mouratidis, H., Zannone, N.: Modelling Security and Trust with Secure Tropos. In: Mouratidis, H., Giorgini, P. (eds.) Integrating Security and Software Engineering: Advances and Future Vision. Idea Group (2007)

    Google Scholar 

  281. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architectures and Applications. Springer, Heidelberg (2004)

    Book  MATH  Google Scholar 

  282. Paurobally, S., Tamma, V., Wooldrdige, M.: A framework for web service negotiation. ACM Trans. Auton. Adapt. Syst. 2(4), 14 (2007)

    Article  Google Scholar 

  283. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and Orchestration: a synergic approach for system design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005, vol. 3826, pp. 228–240. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  284. Foster, H., Uchitel, S., Kramer, J., Magee, J.: Ws-engineer: A tool for model-based verification of web service compositions and choreography. In: IEEE International Conference on Software Engineering (ICSE 2006), Shanghai, China (May 2006)

    Google Scholar 

  285. van Breugel, F., Koshkina, M.: Models and verification of BPEL (2006), http://www.cse.yorku.ca/~franck/research/drafts/tutorial.pdf

  286. Project, N.: Web-site of the NESSI technology platform (2007), www.nessi-europe.com

  287. BIONETS project: Web site of the BIONETS project (last accessed: 2008-06-19), http://www.bionets.eu/

  288. CASCADAS project: Web site of the CASCADAS project (last accessed: 2008-06-19), http://www.cascadas-project.org/

  289. ONTOGRID project: Web site of the ONTOGRID project (last accessed: 2008-06-19), http://www.ontogrid.net/

  290. SIMS project: Web site of the SIMS project (last accessed: 2008-06-19), http://www.ist-sims.org/

  291. SODIUM project: Web site of the SODIUM project (last accessed: 2008-06-19), http://www.atc.gr/sodium/index.asp

  292. PLASTIC project: Web site of the PLASTIC project (last accessed: 2008-06-19), http://www.ist-plastic.org/

  293. SENSORIA: Software Engineering for Service-Oriented Overlay Computers, http://www.sensoria-ist.eu

  294. ONE project: Web site of the ONE project (last accessed: 2008-06-19), http://one-project.eu/site/modules/content/index.php?id=1

  295. ASTRO project: Web site of the ASTRO project (last accessed: 2008-06-19), http://www.astroproject.org/

  296. AOSD project: Web site of the AOSD project (last accessed: 2008-06-19), http://www.aosd-europe.net/

  297. MUSIC project: Web site of the MUSIC project (last accessed: 2008-06-19), http://www.ist-music.eu/

  298. WSDIAMOND project: Web site of the WS-DIAMOND project (last accessed: 2008-06-19), http://wsdiamond.di.unito.it/

  299. SECSE project: Web site of the SECSE project (last accessed: 2008-06-19), http://secse.eng.it/

  300. INFRAWEBS project: Web site of the INFRAWEBS project (last accessed: 2008-06-19), http://www.infrawebs.org/

  301. DIP project: Web site of the DIP project (last accessed: 2008-06-19), http://dip.semanticweb.org/

  302. AMIGO project: Web site of the AMIGO project (last accessed: 2008-06-19), http://www.hitech-projects.com/euprojects/amigo/

  303. WS2 project: Web site of the WS2 project (last accessed: 2008-06-19), http://www.w3.org/2004/WS2/

  304. ESFORS project: Web site of the ESFORS project (last accessed: 2008-06-19), http://www.esfors.org/

  305. S3MS project: Web site of the S3MS project (last accessed: 2008-06-19), http://www.s3ms.org/

  306. TRUSTCOM project: Web site of the TRUSTCOM project (last accessed: 2008-06-19), http://www.eu-trustcom.com/

  307. ATHENA project: Web site of the ATHENA project, http://www.athena-ip.org/

  308. DEDISYS project: Web site of the DEDISYS project (last accessed: 2008-06-19), http://www.dedisys.org/

  309. di Nitto, E., Traverso, P., Sassen, A.M., Zwegers, A. (eds.): At your service: An overview of results of projects in the field of service engineering of the IST programme. MIT Press, Cambridge (2008)

    Google Scholar 

  310. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  311. Elrad, T., Filman, R.E., Bader, A.: Aspect-oriented programming: Introduction. Commun. ACM 44(10), 29–32 (2001)

    Article  Google Scholar 

  312. Elrad, T., Aksit, M., Kiczales, G., Lieberherr, K., Ossher, H.: Discussing aspects of aop. Commun. ACM 44(10), 33–38 (2001)

    Article  Google Scholar 

  313. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001, vol. 2072, pp. 327–353. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  314. Lieberherr, K., Orleans, D., Ovlinger, J.: Aspect-oriented programming with adaptive methods. Commun. ACM 44(10), 39–41 (2001)

    Article  Google Scholar 

  315. Bergmans, L., Aksit, M.: Composing crosscutting concerns using composition filters. Commun. ACM 44(10), 51–57 (2001)

    Article  Google Scholar 

  316. Aksit, M., Bergmans, L., Vural, S.: An object-oriented language-database integration model: The composition-filters approach. In: Lehrmann Madsen, O. (ed.) ECOOP 1992, vol. 615, pp. 372–395. Springer, Heidelberg (1992)

    Chapter  Google Scholar 

  317. Ossher, H., Tarr, P.: Using multidimensional separation of concerns to (re)shape evolving software. Commun. ACM 44(10), 43–50 (2001)

    Article  Google Scholar 

  318. Tarr, P., Ossher, H., Harrison, W., Stanley, M., Sutton, J.: N degrees of separation: multi-dimensional separation of concerns. In: ICSE 1999: Proceedings of the 21st international conference on Software engineering, pp. 107–119. IEEE Computer Society Press, Los Alamitos (1999)

    Google Scholar 

  319. Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.): MODELS 2007. LNCS, vol. 4735. Springer, Heidelberg (2007)

    Google Scholar 

  320. Smith, B.C.: Reflection and semantics in lisp. In: POPL 1984: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp. 23–35. ACM, New York (1984)

    Google Scholar 

  321. Maes, P.: Concepts and experiments in computational reflection. SIGPLAN Not. 22(12), 147–155 (1987)

    Article  Google Scholar 

  322. Kiczales, G., des Rivières, J., Bobrow, D.G.: The Art of the Metaobject Protocol. MIT Press, Cambridge (1991)

    Google Scholar 

  323. Sullivan, G.T.: Aspect-oriented programming using reflection and metaobject protocols. Commun. ACM 44(10), 95–97 (2001)

    Article  Google Scholar 

  324. Sullivan, G.T.: Dynamic partial evaluation. In: Danvy, O., Filinski, A. (eds.) PADO 2001, vol. 2053, pp. 238–256. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  325. Costanza, P., Hirschfeld, R.: Reflective layer activation in contextl. In: SAC 2007, pp. 1280–1285. ACM, New York (2007)

    Chapter  Google Scholar 

  326. Costanza, P., Hirschfeld, R.: Language constructs for context-oriented programming: an overview of contextl. In: DLS 2005: Proceedings of the 2005 symposium on Dynamic languages, pp. 1–10. ACM, New York (2005)

    Google Scholar 

  327. Krishnamurthi, S., Fisler, K.: Foundations of incremental aspect model-checking. ACM Trans. Softw. Eng. Methodol. 16(2), 7 (2007)

    Article  Google Scholar 

  328. Misra, A., Karsai, G., Sztipanovits, J.: Model-integrated development of complex applications. In: SAST 1997: Proceedings of the 5th International Symposium on Assessment of Software Tools (SAST 1997), Washington, DC, USA, p. 14. IEEE Computer Society Press, Los Alamitos (1997)

    Google Scholar 

  329. Karsai, G., Ledeczi, A., Neema, S., Sztipanovits, J.: The model-integrated computing toolsuite: Metaprogrammable tools for embedded control system design. In: Proc. of the IEEE Joint Conference CCA, ISIC and CACSD, Munich, Germany, pp. 50–55 (October 2006)

    Google Scholar 

  330. Finkelstein, A., Kramer, J., Nuseibeh, B., Finkelstein, L., Goedicke, M.: Viewpoints: a framework for integrating multiple perspectives in system development. International Journal of Software Engineering and Knowledge Engineering 2(1), 31–57 (1992)

    Article  Google Scholar 

  331. Finkelstein, A.: Relating viewpoints. In: ACM SIGSOFT 1996 Workshop - Viewpoints 1996, p. 157. ACM Press, New York (1996)

    Google Scholar 

  332. Tekinerdogan, B., Hofmann, C., Aksit, M.: Modeling traceability of concerns in architectural views. In: AOM 2007: Proceedings of the 10th international workshop on Aspect-oriented modeling, pp. 49–56. ACM, New York (2007)

    Google Scholar 

  333. Odersky, M., Spoon, L., Venners, B.: Programming in Scala: A comprehensive step-by-step guide. PrePrint Edition Version 4. Artima Developer (August 2008), http://www.artima.com/shop/programming_in_scala

  334. Research, M.: F#: A succinct, type-inferred, expressive, efficient functional and object-oriented language for the .net platform (2008) (last accessed: 2008-09-22), http://research.microsoft.com/fsharp/

  335. Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Comput. Surv. 37(4), 316–344 (2005)

    Article  Google Scholar 

  336. Robillard, M.P., Murphy, G.C.: Representing concerns in source code. ACM Trans. Softw. Eng. Methodol. 16(1), 3 (2007)

    Article  Google Scholar 

  337. Bacon, D.F.: Realtime garbage collection. Queue 5(1), 40–49 (2007)

    Article  Google Scholar 

  338. Ashley-Rollman, M.P., De Rosa, M., Srinivasa, S.S., Pillai, P., Goldstein, S.C., Campbell, J.D.: Declarative programming for modular robots. In: Workshop on Self-Reconfigurable Robots/Systems and Applications at IROS 2007 (October 2007)

    Google Scholar 

  339. Ashley-Rollman, M.P., Goldstein, S.C., Lee, P., Mowry, T.C., Pillai, P.: Meld: A declarative approach to programming ensembles. In: Proceedings of the IEEE International Conference on Intelligent Robots and Systems IROS 2007 (October 2007)

    Google Scholar 

  340. Armstrong, J., Virding, R., Wikström, C., Williams, M.: Concurrent Programming in Erlang, 2nd edn. Prentice Hall, Englewood Cliffs (1996)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Ludwig-Maximilians-Universität München, Germany

    Matthias Hölzl, Axel Rauschmayer & Martin Wirsing

Authors
  1. Matthias Hölzl
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Axel Rauschmayer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Martin Wirsing
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Science, LMU Munich, Munich, Germany

    Martin Wirsing  & Axel Rauschmayer  & 

  2. Université de Rennes I and INRIA/IRISA, Campus de Beaulieu, 35042, Rennes Cedex, France

    Jean-Pierre Banâtre

  3. Ludwig-Maximilians-Universität München, Germany

    Matthias Hölzl

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Hölzl, M., Rauschmayer, A., Wirsing, M. (2008). Engineering of Software-Intensive Systems: State of the Art and Research Challenges. In: Wirsing, M., Banâtre, JP., Hölzl, M., Rauschmayer, A. (eds) Software-Intensive Systems and New Computing Paradigms. Lecture Notes in Computer Science, vol 5380. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89437-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89437-7_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-89436-0

  • Online ISBN: 978-3-540-89437-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation