Modeling Reactive Systems With Statecharts: The Statemate Approach (David Harel, et al)

 
0.0 (0)
Modeling Reactive Systems With Statecharts: The Statemate Approach (David Harel, et al)

The STATEMATE toolset's foundational languages for modeling reactive systems are thoroughly described in the book.

The language of Statecharts, which is used to describe behavior, combined with Activity-charts, which are used to describe activities (i.e., the functional components, such as capabilities or objects), and the data that flows between them, dominate the approach.

The system's conceptual model is created using these two languages, and it can be integrated with the physical or structural model of the system, which is expressed in a third language called Module-charts. The three languages have a strong diagrammatic bent and are comprehensive visual formalisms with strict semantics. They come with a Data Dictionary that may be used to declare any extra text-based model components.

Ebook Details

About the Authors
Statecharts were created by author David Harel, and the other two languages in the collection were created in collaboration with collaborator Michal Politi. Additionally, Ms. Politi oversaw the development of Statemate for more than ten years. They received the Most Influential Paper Award from the International Conference on Software Engineering for their work, and Harel received the first Israel Prime Minister's Prize for Software in 1997 and the Stevens Award in Software Development Methods in 1996 for his work on the Statecharts language.
Published
Published Date / Year
(October 8, 1998)
Hardcover
258 pages
eBook Format
HTML and PDF
ISBN-10
0070262055
ISBN-13
978-0070262058

Similar Programming & Computer Books

Designing Computers and Digital Systems using pdp 16 Register Transfer Modules (C. Gordon Bell, et al)
This is a classic free programming book from the era when pdp 16 registers were used in the design of computers. It was written by Gordon Bell, John Grason,...
A History of the Personal Computer: the People and the Technology (Roy A. Allan)
The history of the personal computer revolution in this free programming book is fascinating. We go into detail on early personal computing, the "first" personal computer, Intel's invention of...
A Technical History of Apple's Operating Systems (Amit Singh)
These documents cover a variety of operating systems that Apple has attempted to create as well as those that it has previously developed.
Retrograde - The Ultimate Guide to Pre-millennial PC Hardware (Ben Hardwidge)
With our free guide to retro PC hardware, you can go back in time to the Neolithic era of the 286, CGA graphics, and the earliest sound cards. ...
Computer Arithmetic of Geometrical Figures: Algorithms and Hardware Design (S. I. Khmelnik)
This free programming book describes many iterations of processors made for affine transformations of planar and spatial many-dimensional figures. This processor is designed to perform affine transformations on geometrical...
Operational Amplifiers and Linear Integrated Circuits: Theory and Application (James M. Fiore)
This free programming book provides a thorough and in-depth analysis of the contemporary op amp and related specialized linear integrated circuits. The differential amplifier serves as the foundational building...
PIC Microcontrollers (Milan Verle)
It's time to educate yourself on microcontrollers and how they work if you haven't before. You will love working with PIC microcontrollers because of the many pictures and real-world...
Programming dsPIC (Digital Signal Controllers) Microcontroller in PASCAL (Zoran Milivojevic, et al)
Learn how to create your own programs, how to debug them, and how to launch a microcontroller using them.
Digital System Design - Use of Microcontroller (Dawoud Shenouda Dawoud, et al)
The widespread use of embedded systems in modern technology, from toasters to spacecraft, presents various difficulties for embedded system designers.
Circuit Design: Anticipate, Analyze, Exploit Variations (Stephan Weber, et al)
Circuit design combines science and art. To address every issue and follow both written and unwritten criteria, designers need a strong "gut sense" for circuits, relevant analytical methods, and...

Others Programming Books by Mcgraw-Hill (Tx)

Power Programming with Mathematica (David B. Wagner)
Engineers have traditionally utilized the feature-rich, high-level programming language Mathematica®. This book breaks down Mathematica for programmers, gaining insights into programming style through examples from real-world contexts, real-world syntax,...
Java Structures: Data Structures in Java for the Principled Programmer (Duane A. Bailey)
A new, condensed introduction to the creation of conventional data structures in Java is provided in Duane Bailey's "Java Structures," 7th edition.
Handbook of Software Reliability Engineering (Michael R. Lyu)
The top reliability specialists in the world have contributed to this book, which serves as the ultimate reference for the most popular software reliability techniques and solutions utilized today....

User reviews

There are no user reviews for this listing.
Ratings
Rate this Book
Comments