You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the First International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2000, held in Burg, Germany, in February 2000. The 14 revised full papers and four short papers were carefully reviewed and selected from a total of 45 submissions. Among the topics addressed are logical foundations and semantics of datamodels, dependency theory, integrity and security, temporal aspects, foundations of information systems design including Web-based information services, and query languages and optimization.
The book provides a clear understanding of what software reuse is, where the problems are, what benefits to expect, the activities, and its different forms. The reader is also given an overview of what sofware components are, different kinds of components and compositions, a taxonomy thereof, and examples of successful component reuse. An introduction to software engineering and software process models is also provided.
LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science".
None
A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, 1 Corinthians 8:2) Calling this a ‘practical theory’ may require some explanation. Theory and practice are often thought of as two di?erent worlds, governed bydi?erentideals,principles, andlaws.DavidLorgeParnas, forinstance,who hascontributedmuchtoourtheoreticalunderstandingofsoftwareengineering and also to sound use of theory in the practice of it, likes to point out that ‘theoretically’ is synonymous to ‘not really’. In applied mathematics the goal is to discover useful connections between these two worlds. My thesis is that in software engineering this tw...
This book is compiled of selected proceedings from the "Landscapes" Conference held at Turku University, Finland, in July 2005. The themes chosen for the conference – philosophy, ethics and sociological aspects, culture and education; social aspects; politics and regulation; economics and work; technology and emerging technologies – represent many of the perspectives from which to view this landscape. The papers illustrate the diverse impacts of the information society and the changing paradigms within education, law, health care, the workplace and on future societal infrastructures through research initiatives and the development of new technologies. In this book, IFIP WG9.2 has attempted to capture the new ‘emerging landscape’ of the Information Society. A picture of profound technological and social change emerges from this holistic approach. It offers a key to understanding the ramifications of computer technologies within the information society, and of the social accountability of all those who work with and are affected by them.
Object orientation has become a ?must know? subject for managers, researchers, and software practitioners interested in the design, evolution, reuse and management of efficient software components.The book contains technical papers reflecting both theoretical and practical contributions from researchers in the field of object-oriented (OO) databases and software engineering systems. The book identifies actual and potential areas of integration of OO and database technologies, current and future research directions in software methodologies, and reflections about the OO paradigm.In providing current research and relevant information about this promising and rapidly growing field of object-oriented databases and software engineering systems, this book is invaluable to research scientists, practitioners, and graduate students working in the areas of databases and software engineering.
During the last three decades, breakthroughs in computer technology have made a tremendous impact on optimization. In particular, parallel computing has made it possible to solve larger and computationally more difficult prob lems. This volume contains mainly lecture notes from a Nordic Summer School held at the Linkoping Institute of Technology, Sweden in August 1995. In order to make the book more complete, a few authors were invited to contribute chapters that were not part of the course on this first occasion. The purpose of this Nordic course in advanced studies was three-fold. One goal was to introduce the students to the new achievements in a new and very active field, bring them clos...
The perspectives and techniques used in human-computer interaction design, practice and research are broadening. This book looks at emerging approaches which are likely to contribute to the discipline in near future. The emphasis is on the social, cognitive, emotional, creative and active dimensions of the human actor. The underlying idea is that human character rather than technology should determine the nature of interaction. The concept of "interaction design" covers this broader range of concerns relevant to enabling quality design. Each chapter emphasizes alternative perspectives on interaction and new concepts to help researchers and practitioners relate to alternative design approaches and opportunities. Many of these new elements can be found to be successful and established in other fields, such as information systems development and industrial design. This volume will be of considerable value to those seeking innovative and developing perspectives upon both designing and ensuring effective interaction between humans and technology.
Object-oriented programming (OOP) has been the leading paradigm for developing software applications for at least 20 years. Many different methodologies, approaches, and techniques have been created for OOP, such as UML, Unified Process, design patterns, and eXtreme Programming. Yet, the actual process of building good software, particularly large, interactive, and long-lived software, is still emerging. Software engineers familiar with the current crop of methodologies are left wondering, how does all of this fit together for designing and building software in real projects? This handbook from one of the world's leading software architects and his team of software engineers presents guideli...