, , , e.a.

Software-Intensive Systems and New Computing Paradigms

Challenges and Visions

Specificaties
Paperback, 267 blz. | Engels
Springer Berlin Heidelberg | 2008e druk, 2008
ISBN13: 9783540894360
Rubricering
Springer Berlin Heidelberg 2008e druk, 2008 9783540894360
Onderdeel van serie Lecture Notes in Computer Science
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

Software-intensive systems have become increasingly important for a multitude of products and services from all sectors of the economy, our national and - ternational infrastructure, and our daily lives. The ongoing decrease in size and cost of microprocessorsandstoragedevicesis leading to the development of ever more distributed and decentralized systems. Systems are assembled as dynamic federationsofautonomousandevolvingcomponents insteadof monolithicapp- cations, they perform tasks of staggering complexity with continuously cha- ing requirements and in a permanently evolving environment. In the near - ture novel technologies will allow the construction of systems with millions of nodes,and systems will be likely to containsubsystems basedonnew computing paradigms such as molecular computing. To identify these emergent trends, their impact on the information society in the next 10–15 years, and the challenges they present to computing, software engineering, cognition and intelligence, the European Commission has estab- 1 lished two Coordinated Actions: initially the project “Beyond the Horizon” 2 and then, starting in 2006, the project “InterLink” . Both projects are coor- nated by the European Research Consortium for Informatics and Mathematics (ERCIM EEIG) and funded by the Future and Emerging Technologies (FET) Unit of the European Commission. The ongoing project InterLink is composed of three thematic working groups: software-intensive systems and new comp- ingparadigms;ambientcomputingandcommunicationenvironments;intelligent and cognitive systems. This volume presents the results of the working group on software-intensive systemsandnovelcomputing paradigms.Theobjectivewasto imaginethela- scape in which the next generations of software-intensive systems will operate.

Specificaties

ISBN13:9783540894360
Taal:Engels
Bindwijze:paperback
Aantal pagina's:267
Uitgever:Springer Berlin Heidelberg
Druk:2008

Inhoudsopgave

Engineering of Software-Intensive Systems: State of the Art and Research Challenges.- Engineering of Software-Intensive Systems: State of the Art and Research Challenges.- I Ensemble Engineering.- Software Engineering for Ensembles.- Change-Enabled Software Systems.- On the Challenge of Engineering Socio-technical Systems.- Design of Complex Cyber Physical Systems with Formalized Architectural Patterns.- Cyber-Physical Systems and Events.- Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts.- II Theory and Formal Methods.- Formal Ensemble Engineering.- Structured Interacting Computations.- Extending Formal Methods for Software-Intensive Systems.- Ensemble Engineering and Emergence.- Mathematical Support for Ensemble Engineering.- Behaviour Equivalences in Timed Distributed ?-Calculus.- III Novel Computing Paradigms.- The Chemical Reaction Model Recent Developments and Prospects.- Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems.- Emerging Models of Computation: Directions in Molecular Computing.

Rubrieken

Populaire producten

    Personen

      Trefwoorden

        Software-Intensive Systems and New Computing Paradigms