| Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement 2001 Edition Contributor(s): Broy, Manfred (Author), Stølen, Ketil (Author) |
|
 |
ISBN: 0387950737 ISBN-13: 9780387950730 Publisher: Springer OUR PRICE: $52.24 Product Type: Hardcover - Other Formats Published: April 2001 Annotation: Today's distributed systems are characterized by interactions-often complex-between many different hardware and software components cooperating and exchanging information. To simplify development of interactive systems and facilitate communication and documentation, experts of varying disciplines employ descriptions, or specifications, of a given system's behavior and/or structure. Specification and Development of Interactive Systems offers a unique approach to program and software development suitable for large distributed systems, with an emphasis on modular system development and systems engineering. The authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The method covers functional requirements, timing, structure, and implementation issues of systems. In addition, the book describes how to connect the models and techniques to tables and diagram-based methods popular in practical systems engineering. Topics and features: * Specification of interface behavior and modular top-down system development * Specification of time and the modeling of hardware/software systems * Interface refinement and the modeling of development steps leading from one level of abstraction to the next * State transition diagrams and tables and the usage of common description techniques, such as found in UML This book provides a mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. The reader gains a comprehensive understanding of all fundamental models, techniques, and methods forinteractive system design. The book is an essential resource for all researchers and professionals in computer science, software systems engineering and computer engineering. |
| Additional Information |
| BISAC Categories: - Computers | Software Development & Engineering - Systems Analysis & Design - Science | System Theory - Technology & Engineering | Engineering (general) |
| Dewey: 003 |
| LCCN: 00047090 |
| Series: Monographs in Computer Science |
| Physical Information: 0.89" H x 6.34" W x 9.46" (1.44 lbs) 348 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: This book presents a fundamental mathematical and logical approach to soft- ware and systems engineering. Considering the large number of books de- scribing mathematical approaches to program development, it is important to explain what we consider to be the specific contribution of our book, to identify our goals, and to characterize our intended target audience. Most books dealing with the mathematics and logics of programming and system development are mainly devoted to programming in the small. This is in contrast to our book where the emphasis is on modular system development with the help of component specifications with precisely identified interfaces and refinement concepts. Our book aims at systems development carried out in a systematic way, based on a clear mathematical theory. We do not claim that this book presents a full-blown engineering method. In fact, this is certainly not a book for the application-driven software engi- neer looking for a practical method for system development in an industrial context. It is much rather a book for the computer scientist and the scientifi- cally interested engineer who looks for basic principles of system development and, moreover, its mathematical foundations. It is also a book for method builders interested in a proper mathematical foundation on which they can build a practical development method and industrial-strength support tools. |