Software Engineering

Provides an innovative hands-on introduction to techniques for specifying the behaviour of software components. It is primarily intended for use as a text book for a course in the 2nd or 3rd year of Computer Science and Computer Engineering programs, but it is also suitable for self-study. Using this book will help the reader improve programming skills and gain a sound foundation and motivation for subsequent courses in advanced algorithms and data structures, software design, formal methods, compilers, programming languages, and theory. The presentation is based on numerous examples and case studies appropriate to the level of programming expertise of the intended readership. The main topics covered are techniques for using programmer-friendly assertional notations to specify, develop, and verify small but non-trivial algorithms and data representations, and the use of state diagrams, grammars, and regular expressions to specify and develop recognizers for formal languages.

Provides an innovative hands-on introduction to techniques for specifying the behaviour of software components. It is primarily intended for use as a text book for a course in the 2nd or 3rd year of Computer Science and Computer Engineering programs, but it is also suitable for self-study. Using this book will help the reader improve programming skills and gain a sound foundation and motivation for subsequent courses in advanced algorithms and data structures, software design, formal methods, compilers, programming languages, and theory. The presentation is based on numerous examples and case studies appropriate to the level of programming expertise of the intended readership. The main topics covered are techniques for using programmer-friendly assertional notations to specify, develop, and verify small but non-trivial algorithms and data representations, and the use of state diagrams, grammars, and regular expressions to specify and develop recognizers for formal languages.

The Physics of Information Technology explores the familiar devices that we use to collect, transform, transmit, and interact with electronic information. Many such devices operate surprisingly close to very many fundamental physical limits. Understanding how such devices work, and how they can (and cannot) be improved, requires deep insight into the character of physical law as well as engineering practice. The book starts with an introduction to units, forces, and the probabilistic foundations of noise and signalling, then progresses through the electromagnetics of wired and wireless communications, and the quantum mechanics of electronic, optical, and magnetic materials, to discussions of mechanisms for computation, storage, sensing, and display. This self-contained volume will help both physical scientists and computer scientists see beyond the conventional division between hardware and software to understand the implications of physical theory for information manipulation.

A textbook for graduate and senior undergraduates who have a basic knowledge of relational databases and software engineering, and preferably some knowledge of object-oriented technology and networks.

Intended for software developers, this book presents methods for improving the performance and scalability of applications. The authors, a Java engineer and engineering manager, clarify common mistake

Synthesizing his years of management experience in systems and software engineering companies with others' observations about change, Eisner (engineering management and systems engineering, George Was

This volume provides a concise, historical review of the methods of structural analysis and design - from Galileo in the seventeenth century, to the present day. Through it, students in structural engineering and professional engineers will gain a deeper understanding of the theory behind the modern software packages they use daily in structural design. This book also offers the reader a lucid examination of the process of structural analysis and how it relates to modern design. The first three chapters cover questions about the strength of materials, and how to calculate local effects. An account is then given of the development of the equations of elastic flexure and buckling, followed by a separate chapter on masonry arches. Three chapters on the overall behaviour of elastic structures lead to a discussion of plastic behaviour, and a final chapter indicates that there are still problems needing solution.

The theory of Gröbner bases, invented by Bruno Buchberger, is a general method by which many fundamental problems in various branches of mathematics and engineering can be solved by structurally simple algorithms. The method is now available in all major mathematical software systems. This book provides a short and easy-to-read account of the theory of Gröbner bases and its applications. It is in two parts, the first consisting of tutorial lectures, beginning with a general introduction. The subject is then developed in a further twelve tutorials, written by leading experts, on the application of Gröbner bases in various fields of mathematics. In the second part are seventeen original research papers on Gröbner bases. An appendix contains the English translations of the original German papers of Bruno Buchberger in which Gröbner bases were introduced.

The Art and Science of Optical Design is a comprehensive introduction to lens design, covering the fundamental physical principles and key engineering issues. Several practical examples of modern computer-aided lens design are worked out in detail from start to finish. The basic theory and results of optics are presented early on in the book, along with a discussion of optical materials. Aberrations, and their correction, and image analysis are then covered in great detail. Subsequent chapters deal with design optimisation and tolerance analysis. Several design examples are then given, beginning with basic lens design forms, and progressing to advanced systems, such as gradient index and diffractive optical components. In covering all aspects of optical design, including the use of modern lens design software, this book will be invaluable to students of optical engineering as well as to anyone engaged in optical design at any stage.

The Art and Science of Optical Design is a comprehensive introduction to lens design, covering the fundamental physical principles and key engineering issues. Several practical examples of modern computer-aided lens design are worked out in detail from start to finish. The basic theory and results of optics are presented early on in the book, along with a discussion of optical materials. Aberrations, and their correction, and image analysis are then covered in great detail. Subsequent chapters deal with design optimisation and tolerance analysis. Several design examples are then given, beginning with basic lens design forms, and progressing to advanced systems, such as gradient index and diffractive optical components. In covering all aspects of optical design, including the use of modern lens design software, this book will be invaluable to students of optical engineering as well as to anyone engaged in optical design at any stage.

This 1997 book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. It presents realistic case studies emphasising safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.

The new edition of this successful and established textbook retains its two original intentions of explaining how to program in the ML language, and teaching the fundamentals of functional programming. The major change is the early and prominent coverage of modules, which are extensively used throughout. In addition, the first chapter has been totally rewritten to make the book more accessible to those without experience of programming languages. The main features of new Standard Library for the revised version of ML are described and many new examples are given, while references have also been updated. Dr Paulson has extensive practical experience of ML and has stressed its use as a tool for software engineering; the book contains many useful pieces of code, which are freely available (via the Internet) from the author. He shows how to use lists, trees, higher-order functions and infinite data structures. Many illustrative and practical examples are included.. Efficient functional imp

Assesses the benefits of reverse engineering as a workable strategy for software maintenance. Describes and analyzes the methodological issues and tools which support reverse engineering, explaining h

This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.

This book presents the proceedings of the Ada-Europe International Conference held in Dublin, June 1990. These meetings constitute the most significant events in this field within Europe, and attract delegates from around the world. This year's conference takes as its theme the impact of technical and management issues in the software engineering economics of Ada, as well as technology transfer and training. With the start of a new decade in which Ada comes of age both in terms of use and acceptability, papers also assess the impact of Ada through descriptions of projects in which Ada has been used throughout their life cycle. Discussion of topical issues affecting the development of Ada-9X is also presented.

This outstanding collection is designed to address the fundamental issues and principles underlying the task of Artificial Intelligence. The editors have selected not only papers now recognized as classics but also many specially commissioned papers which examine the methodological and theoretical foundations of the discipline from a wide variety of perspectives: computer science and software engineering, cognitive psychology, philosophy, formal logic and linguistics. Carefully planned and structured, the volume tackles many of the contentious questions of immediate concern to AI researchers and interested observers. Is Artificial Intelligence in fact a discipline, or is it simply part of computer science? What is the role of programs in AI and how do they relate to theories? What is the nature of representation and implementation, and how should the challenge of connectionism be viewed? Can AI be characterized as an empirical science? The comprehensiveness of this collection is furthe

Suitable for a one-semester course in engineering or computer science programs, this text has hardware and software-oriented topics. It uses examples drawn from commercially available computers. The m

The book places software engineering in a general design perspective, relating the activity of designing software to the activities involved in designing other "things" in other disciplines. Central t

This book discusses challenges and solutions for the required information processing and management within the context of multi-disciplinary engineering of production systems. The authors consider met

"This book explores security in software architecture and design. It examines software security from a software engineering perspective and addresses technical, as well as managerial aspects of secure

Designing reliable, complex and dependable software systems is a continuous challenge to the software engineering community. The contribution of this book is two fold: bring to light a large body of k

This text is a guide to the foundations of method engineering, a developing field concerned with the definition of techniques for designing software systems. The approach is based on metamodeling, th

This new edition includes new chapters on geology; architectural aspects; systems, network, and software applications, economic aspects and financing earthquake risk. Earthquakes are nearly unique amo

"This book presents some new ideas about estimation and evaluation of the quality of software and using a standard conversion method so that lines of code from any language may be compared and be used