The book provides a detailed description of a set of languages for modeling reactive systems, which underlies the STATEMATE toolset. The approach is dominated by the language of Statecharts, used to describe behavior, combined Activity-charts for describing activities (i.e., the functional building blocks--capabilities or objects) and the data that flows between them. These two languages are used to develop a conceptual model of the system, which can be combined with the system's physical, or structural model, described in a third language--Module-charts. The three languages are highly diagrammatic in nature, constituting full-fledged visual formalisms, complete with rigorous semantics. They are accompanied by a Data Dictionary for specifying additional parts of the model that are textual in nature.

Modeling Reactive Systems With Statecharts : The Statemate Approach

Computers & Technology

Harel, David

Politi, Michal

Computer Science

McGraw=Hill

The computer has been hailed as the greatest innovation of the 20th century, and there is no denying that these technological marvels have dramatically changed our everyday lives. They can fly airplanes and spaceships, route millions of phone calls simultaneously, and play chess with the world's greatest players. But how limitless is the future for the computer? Will computers one day be truly intelligent, make medical diagnoses, run companies, compose music, and fall in love? In Computers Ltd., David Harel, the best-selling author of Algorithmics, illuminates one of the most fundamental yet under-reported facets of computers--their inherent limitations. Looking only at the bad news that is proven, discussing limitations that no amounts of hardware, software, talent, or resources can overcome, the book presents a disturbing and provocative view of computing at the start of the 21st century. Harel takes us on a fascinating tour that touches on everything from tiling problems and monkey puzzles to Monte Carlo algorithms and quantum computing, showing just how far from perfect computers are, while shattering some of the many claims made for these machines. He concludes that though we may strive for bigger and better things in computing, we need to be realistic: computers are not omnipotent--far from it. Their limits are real and here to stay. Based on hard facts, mathematically proven and indisputable, Computers Ltd. offers a vividly written and often amusing look at the shape of the future.

Computers Ltd: What They Really Can't Do

Science & Math

Oxford University Press

The computer has been hailed as the greatest innovation of the 20th century, and there is no denying that these technological marvels have dramatically changed our everyday lives. They can fly airplanes and spaceships, route millions of phone calls simultaneously, and play chess with the world's greatest players. But how limitless is the future for the computer? Will computers one day be truly intelligent, make medical diagnoses, run companies, compose music, and fall in love? In Computers Ltd., David Harel, the best-selling author of Algorithmics, illuminates one of the most fundamental yet under-reported facets of computers--their inherent limitations. Looking only at the bad news that is proven, discussing limitations that no amounts of hardware, software, talent, or resources can overcome, the book presents a disturbing and provocative view of computing at the start of the 21st century. Harel takes us on a fascinating tour that touches on everything from tiling problems and monkey puzzles to Monte Carlo algorithms and quantum computing, showing just how far from perfect computers are, while shattering some of the many claims made for these machines. He concludes that though we may strive for bigger and better things in computing, we need to be realistic: computers are not omnipotent--far from it. Their limits are real and here to stay. Based on hard facts, mathematically proven and indisputable, Computers Ltd. offers a vividly written and often amusing look at the shape of the future.

Computers Ltd.: What They Really Can't Do (Popular Science)

This book presents a very readable account of important concepts, methods and results fundamental to the science of computing. Quote: "A wonderful introduction to algorithms and complexity theory"

Algorithmics: The Spirit of Computing

Mathematics

Addison-Wesley Publishing Company

Real-time systems programmers face unique challenges. Qualities such as execution speed and memory size are paramount in the development of real-time systems, and performance is a fundamental aspect of correctness in this domain. Given these constraints and requirements, it is fair to say that the development of real-time systems is more challenging than that of most software systems. Yet the lack of a standard notation and design process has discouraged embedded systems developers from adopting a revolutionary new approach to software design--object technology--that has produced clearly identifiable benefits in less specialized software applications. 
With the development and wide adoption of a standard notation, the Unified Modified Language (UML), real-time systems developers can now avail themselves of the benefits and advantages of object technology. UML is a 3rd generation modeling language which rigorously defines the semantics of the object metamodel and provides a notation for capturing and communicating object structure and behavior. It is particularly well-suited to modeling real-time and embedded systems. Real-Time UML is the introduction that developers of real-time systems need to make the transition to object-oriented analysis and design and modeling with UML. It covers the important features of the UML and shows how to effectively use the UML to model real-time systems. The book includes special in-depth discussions of finite state machines, object identification strategies, and real-time design patterns to help beginning and experienced developers alike.

Real-Time UML: Developing Efficient Objects for Embedded Systems

Douglass, Bruce Powel

Programming

Addison-Wesley

Providing a thorough, well-written and thoughtful study of the fundamental theoretical ideas of computing and examining how to design accurate and efficient algorithms, this book is ideal for an introductory course emphasizing theory rather than programming

Algorithmics: The Spirit of Computing (2nd Edition)

Pearson/Education

A readable explanation of computing fundamentals creating an account of algorithmic analysis accessible to laymen. Annotation copyright Book News, Inc. Portland, Or.

The Science of Computing: Exploring the Nature and Power of Algorithms

Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical first-order predicate calculus. Dynamic Logic is a system of remarkable unity that is theoretically rich as well as of practical value. It can be used for formalizing correctness specifications and proving rigorously that those specifications are met by a particular program. Other uses include determining the equivalence of programs, comparing the expressive power of various programming constructs, and synthesizing programs from specifications.
This book provides the first comprehensive introduction to Dynamic Logic. It is divided into three parts. The first part reviews the appropriate fundamental concepts of logic and computability theory and can stand alone as an introduction to these topics. The second part discusses PDL and its variants, and the third part discusses DL and its variants. Examples are provided throughout, and exercises and a short historical section are included at the end of each chapter.

Dynamic Logic (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)

Kozen, Dexter

Tiuryn, Jerzy

Mit Pr

Dynamic Logic (Foundations of Computing)

Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical first-order predicate calculus. Dynamic Logic is a system of remarkable unity that is theoretically rich as well as of practical value. It can be used for formalizing correctness specifications and proving rigorously that those specifications are met by a particular program. Other uses include determining the equivalence of programs, comparing the expressive power of various programming constructs, and synthesizing programs from specifications.This book provides the first comprehensive introduction to Dynamic Logic. It is divided into three parts. The first part reviews the appropriate fundamental concepts of logic and computability theory and can stand alone as an introduction to these topics. The second part discusses PDL and its variants, and the third part discusses DL and its variants. Examples are provided throughout, and exercises and a short historical section are included at the end of each chapter.

The MIT Press

This book provides the first comprehensive introduction to Dynamic Logic.

MIT Press]

See the best price to sell, buy, or rent books by Harel, David. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Harel, David

See the best price to sell, buy, or rent books by Harel, David. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Modeling Reactive Systems With Statecharts : The Statemate Approach

Computers Ltd: What They Really Can't Do

Computers Ltd.: What They Really Can't Do (Popular Science)

Algorithmics: The Spirit of Computing

Real-Time UML: Developing Efficient Objects for Embedded Systems

Algorithmics: The Spirit of Computing (2nd Edition)

The Science of Computing: Exploring the Nature and Power of Algorithms

Dynamic Logic (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)

Dynamic Logic (Foundations of Computing)

Dynamic Logic (Foundations of Computing)