|
|
|
|
Modeling Reactive Systems With Statecharts : The Statemate ApproachThe 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... | | Logic Circuit Design: Selected Methods
In three main divisions the book covers combinational circuits, latches, and asynchronous sequential circuits. Combinational circuits have no memorising ability, while sequential circuits have such an ability to various degrees. Latches are the simplest sequential circuits, ones with the shortest memory. The... | | Requirements Engineering: Foundation for Software Quality: 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings (Lecture Notes in Computer Science (11412))
This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019.
The 13 full papers and 9 short papers in this volume were carefully reviewed and selected from 66 submissions. The papers... |
|
|
Program Construction: Calculating Implementations from SpecificationsProgramming is a highly skilled activity, and good programmers are few and far between. In few other professions is the 90-10 rule (90% of the effort goes into the last 10% of the work) so vitally important. Many programmers are able to write programs that 'work' in most circumstances; few programmers know the basic principles of program... | | The Design of Plastic Optical Systems (SPIE Tutorial Text Vol. TT80)
Many items we use in our daily lives-the traffic signals, motion sensors, fingerprint readers, cell phone cameras, bar code scanners, and DVD players-rely upon plastic optical systems to perform. Consequently, there is a growing need for individuals who are knowledgeable in the design, development, and production of such systems.
... | | SysML Distilled: A Brief Guide to the Systems Modeling Language
The Systems Modeling Language (SysML) extends UML with powerful systems engineering capabilities for modeling a wider spectrum of systems and capturing all aspects of a system’s design. SysML Distilled is the first clear, concise guide for everyone who wants to start creating effective SysML models.
... |
|
|
|
Result Page: 33 32 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 |