TY - BOOK ID - 219333 TI - Software-Intensive Systems and New Computing Paradigms : Challenges and Visions AU - Wirsing, Martin. AU - Banatre, Jean-Pierre. AU - Hölzl, Matthias. AU - Rauschmayer, Axel. PY - 2008 SN - 3540894373 3540894365 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Software engineering KW - Artificial intelligence KW - Information Technology KW - Software Engineering KW - Software engineering. KW - Computer science. KW - Logic design. KW - Computer Communication Networks. KW - Software Engineering/Programming and Operating Systems. KW - Software Engineering. KW - Programming Techniques. KW - Programming Languages, Compilers, Interpreters. KW - Logics and Meanings of Programs. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Informatics KW - Science KW - Computer software engineering KW - Engineering KW - Computer systems. KW - ADP systems (Computer systems) KW - Computing systems KW - Systems, Computer KW - Electronic systems KW - Cyberinfrastructure KW - Computer programming. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Computer communication systems. KW - Communication systems, Computer KW - Computer communication systems KW - Data networks, Computer KW - ECNs (Electronic communication networks) KW - Electronic communication networks KW - Networks, Computer KW - Teleprocessing networks KW - Data transmission systems KW - Digital communications KW - Information networks KW - Telecommunication KW - Electronic data processing KW - Network computers KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Languages, Artificial KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Distributed processing KW - Programming UR - https://www.unicat.be/uniCat?func=search&query=sysid:219333 AB - To identify the emergent trends in software-intensive and distributed and decentralized computer systems and their impact on the Information Society in the next 10--15 years, the European Commission has established two Coordinated Actions: Initially the project `Beyond the Horizon' and then, starting in 2006, the project `InterLink'. This state-of-the-art survey presents the results of three workshops of the InterLink working group on software-intensive systems and novel computing paradigms. The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges they present to computing, software engineering, cognition and intelligence. The volume starts with an overview of the current state of the art and the research missions in engineering software-intensive systems. The remainder of the book consists of 15 invited papers of the working group participants and is structured in three major parts: ensemble engineering, theory and formal methods, and novel computing paradigms. These papers cover a broad spectrum of relevant topics ranging from methods, languages and tools for ensemble engineering, socio-technical and cyber-physical systems, ensembles in urban environments, formal methods and mathematical foundations for ensembles, orchestration languages to disruptive paradigms such as molecular and chemical computing. ER -