الصفحة 4
الصفحة 4
Managed Software Evolution
This book presents the outcomes of the “Design for Future – Managed Software Evolution” .The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process. Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage.
Logic, language, information and computation ; 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.
Logic and Theory of Algorithms ; 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings
Constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, held in Athens, Greece, in June 2008.The 36 revised full papers presented together with 25 invited tutorials and lectures were carefully reviewed and selected from 108 submissions. Among them are papers of 6 special sessions entitled algorithms in the history of mathematics, formalising mathematics and extracting algorithms from proofs, higher-type recursion and applications, algorithmic game theory, quantum algorithms and complexity, and biology and computation.
Learning to Live in the Knowledge Society ; IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7–10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
LATIN 2008 : Theoretical Informatics ; 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings
The Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the Theory of Computing. Previous conferences havebeen organized twiceinBrazil: SaoPaulo (1992) and Campinas (1998); twice in Chile: Valpara so (1995) and Valdivia (2006); once in Uruguay: Punta del Este (2000); once in Mexico: Cancun (2002); and once in Argentina: Buenos Aires (2004). This volume contains the proceedings of the 8th Latin American Theore- cal INformatics Symposium (LATIN 2008), which was held in Buzio s, Rio de Janeiro, Brazil, April 7 11, 2008.
Language and Automata Theory and Applications ; 2nd International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and Applications, LATA 2008, held in Tarragona, Spain, in March 2008.The 40 revised full papers presented were carefully reviewed and selected from 134 submissions. The papers deal with the various issues related to automata theory and formal languages
Component-based software engineering ; 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2008, held in Karlsruhe, Germany in October 2008.
Comparative genomics ; International Workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th RECOMB Comparative Genomics Satellite Workshop, RECOMB-CG 2008, held in Paris, France, in October 2008.
Central European Functional Programming School : 2nd Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
This volume presents texts from selected lectures given by leading researchers at the Second Central European Functional Programming School, CEFP 2007, held in Cluj-Napoca, Romania, in June 2007.
Biologically-Inspired Collaborative Computing ; IFIP 20th World Computer Congress, 2nd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8–9, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Bioinformatics research and applications : 4th International Symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008. Proceedings
This book constitutes the refereed proceedings of the Fourth International Symposium on Bioinformatics Research and Applications, ISBRA 2008, held in Atlanta, GA, USA in May 2008.
Balancing Agility and Formalism in Software Engineering ; 2nd IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference on Software Engineering Techniques, CEE-SET 2007, held in Poznan, Poland, in October 2007.
Autonomous Systems - Self-Organization, Management, and Contro ; Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008
The International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universitat Berlin. The goal of these workshops is to bring together researchers from both universities in order to present research results to an international community.
Automata, languages and programming ; Vol. 3580 ; 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
This book constitutes the refereed proceedings of 32nd International Colloquium on Automata, Languages and Programming ICALP 2005, Lisbon, Portugal, July 11-15, 2005. including Topics Computer Science, general Mathematical Logic and Foundations Theory of Computation Software Engineering/Programming and Operating Systems Data Structures and Information Theory Data Structures
Automata, languages and programming ; 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008.
Automata, Languages and Programming ; 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008.
Artificial intelligence in theory and practice II : IFIP 20th World Computer Congress, TC 12 : IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Architecture of computing systems - ARCS 2008 ; 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings
This book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ARCS 2008, held in Dresden, Germany, in February 2008.
Approximation, randomization and combinatorial optimization. algorithms and techniques ; 11th International Workshop, APPROX 2008, and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 2008. Proceedings
This book constitutes the joint refereed proceedings of the 11th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2008.
Applications and Theory of Petri Nets ; 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008.
