TAPSOFT '95: Theory and Practice of Software Development


Book Description

This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development. The volume contains seven invited papers, among them one by Vaugham Pratt on the recently revealed bug in the Pentium chip, and 44 revised full papers selected from a total of 147 submissions. In addition the TAPSOFT '95 proceedings contains 10 tool descriptions.




TAPSOFT'97: Theory and Practice of Software Development


Book Description

This book constitutes the refereed proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), held in Lille, France, in April 1997. The volume is organized in three parts: The first presents invited contributions, the second is devoted to trees in algebra in programming (CAAP) and the third to formal approaches in software engineering (FASE). The 30 revised full papers presented in the CAAP section were selected from 77 submissions; the 23 revised full papers presented in the FASE section were selected from 79 submissions.




Theory and Practice in Distributed Systems


Book Description

This book summarizes the current knowledge on a cascade of gene regulation levels which operate in the cytoplasm of eukaryotic cells and which has until recently been poorly understood. While transcriptional control of eukaryotic genes has been extensively researched and the understanding of this process has reached very sophisticated levels, post- transcriptional control has received much less attention. As the contributions in this book demonstrate, not only is post-transcriptional control in eukaryotes better understood, it is now thought to be a major player in gene expression control in a number of key processes, i.e. control of cell proliferation, gametogenesis and early development or cellular homeostasis.




Software Engineering - ESEC '95


Book Description

This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995. The ESEC conferences are the premier European platform for the discussion of academic research and industrial use of software engineering technology. The 29 revised full papers were carefully selected from more than 150 submissions and address all current aspects of relevance. Among the topics covered are business process (re-)engineering, real-time, software metrics, concurrency, version and configuration management, formal methods, design process, program analysis, software quality, and object-oriented software development.




Proof, Language, and Interaction


Book Description

This collection of essays reflects the breadth of research in computer science. Following a biography of Robin Milner it contains sections on semantic foundations; programming logic; programming languages; concurrency; and mobility.




Fundamental Approaches to Software Engineering


Book Description

This book constitutes the refereed proceedings of the 9th International Conference on Fundamental Approaches to Software Engineering, FASE 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 27 revised full papers, two tool papers presented together with two invited papers were carefully reviewed and selected from 166 submissions. The papers are organized in topical sections.




Software Composition


Book Description

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Software Composition, SC 2006, a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2006. The book presents 21 revised full papers reflecting current research in software composition to foster development of composition models and techniques by using aspect-oriented programming, specification of component contracts and protocols, and methods of correct components composition.




Artificial Intelligence Methods For Software Engineering


Book Description

Software is an integral part of our lives today. Modern software systems are highly complex and often pose new challenges in different aspects of Software Engineering (SE).Artificial Intelligence (AI) is a growing field in computer science that has been proven effective in applying and developing AI techniques to address various SE challenges.This unique compendium covers applications of state-of-the-art AI techniques to the key areas of SE (design, development, debugging, testing, etc).All the materials presented are up-to-date. This reference text will benefit researchers, academics, professionals, and postgraduate students in AI, machine learning and software engineering.Related Link(s)




Theoretical Aspects of Computer Software


Book Description

Content Description #Includes bibliographical references and index.




Object Orientation with Parallelism and Persistence


Book Description

Both object orientation and parallelism are modern programming paradigms which have gained much popularity in the last 10-15 years. Object orientation raises hopes for increased productivity of software generation and maintenance methods. Parallelism can serve to structure a problem but also promises faster program execution. The two areas of computing science in which these paradigms play the most prominent role are programming languages and databases. In programming languages, one can take an academic approach with a primary focus on the generality of the semantics of the language constructs which support the respective paradigm. In databases, one is willing to restrict the power of the constructs in the interest of increased efficiency. Inter- and intra-object parallelism have received an increasing amount of attention in the last few years by researchers in the area of object- oriented programming. At first glance, an object is very similar to a process which offers services to other processes and demands services from them. It has, however, transpired that object-oriented concepts cause problems when combined with parallelism. In programming languages, the introduction of parallelism and the synchronization constraints it brings with it can get in the way of code reusability. In databases, the combination of object orientation and parallelism requires, for example, a generalization of the transaction model, new approaches to the specification of information systems, an implementation model of object communication, and the design of an overall system architecture. There has been insufficient communication between researchers in programming languages and in databases on these issues. Object Orientation with Parallelism and Persistence grew out of a Dagstuhl Seminar of the same title in April 1995 whose goal it was to put the new research area `object orientation with parallelism' on an interdisciplinary basis. Object Orientation with Parallelism and Persistence will be of interest to researchers and professionals working in software engineering, programming languages, and database systems.