"Structuring and Design of Reactive Systems Using RSDS and B"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Design Methods for Reactive Systems	R.J. Wieringa	2003	Morgan Kaufmann
Structuring expert systems: domain, design, and development	Jay Liebowitz	1989	Yourdon Press
Stochastic Reactive Distributed Robotic Systems: Design, Modeling and Optimization	Gregory Mermoud	2014	Springer International Publishing
Design methods for reactive systems: Yourdon, Statemate, and the UML /	Wieringa, Roel.	2003.	Morgan Kaufmann Publishers,
Reactive Extrusion Systems	Leon P.B.M. Janssen	2004	Routledge
Dynamics and Modelling of Reactive Systems	Warren E. Stewart; W. Harmon Ray and Charles C. Conley	1980	Academic Press
Gasdynamics of Explosions and Reactive Systems	A. K. Oppenheim	1980	Pergamon
Digital systems design using VHDL /	Roth, Charles H.; John, Lizy Kurian.	c2008.	Thomson,
Digital systems design using VHDL	Charles H. Roth	1998	PWS Pub. Co.
Reactive Distillation Design and Control	William L. Luyben	2008	John Wiley & Sons
Analysis and Design of Control Systems Using Matlab	Rao V. Dukkipati	2006	New Age International (P) Ltd.
Analysis and Design of Control Systems Using MATLAB	Dukkipati, Rao V	2009	New Academic Science
Dataflow and Reactive Programming Systems	Matt Carkci
Synchronous Programming of Reactive Systems	Nicolas Halbwachs	1993	Springer US
Radar Systems Analysis and Design Using MATLAB	Bassem R. Mahafza	2013	Routledge
Radar systems analysis and design using MATLAB	Mahafza, Bassem R	2005	Chapman & Hall/CRC
Reactive Power Support Using Photovoltaic Systems: Techno-Economic Analysis and Implementation Algorithms	Oktoviano Gandhi	1st ed. 2021	Springer International Publishing
Reactive Systems: Modelling, Specification and Verification	Luca Aceto; Anna Ingólfsdóttir; Kim Guldstrand Larsen; Jiri Srba	2007-08	Cambridge University Press
Temporal Verification of Reactive Systems: Safety	Zohar Manna; Amir Pnueli	1995	Springer New York
Computer-Aided Modeling of Reactive Systems	Warren E. Stewart	2008	John Wiley & Sons
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Structuring and Design of Reactive Systems Using RSDS and B	K. Lano; K. Androutsopoulos; D. Clark	Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings	Tom Maibaum	2000	Springer Berlin Heidelberg
Reactive System Development with UML-RSDS	Kevin Lano	Agile Model-Based Development Using UML-RSDS	Kevin Lano	2016	Routledge
Graphical design of reactive systems	Emil Sekerinski	B' 98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings	Didier Bert	1998	Springer Berlin Heidelberg
Overview of Development Using UML-RSDS	Kevin Lano	Agile Model-Based Development Using UML-RSDS	Kevin Lano	2016	Routledge
4 Design Principles of Reactive Systems		Reactive Systems in Java: Resilient, Event-Driven Architecture with Quarkus	Clement Escoffier, Ken Finnigan	2021	O'Reilly Media
Design of Tame Reactive Distillation Systems		Reactive Distillation Design and Control	William L. Luyben	2008	John Wiley & Sons
B Design and Systems		Benchmarks for Science Literacy	American Association for the Advancement of Science	1993	Oxford University Press
B. UML-RSDS tool architecture and components	Kevin Lano	Agile Model-Based Development Using UML-RSDS	Kevin Lano	2016	Routledge
B Structuring		Transnational Criminal Organizations, Cybercrime, and Money Laundering: A Handbook for Law Enforcement Officers, Auditors, and Financial Investigators	James R. Richards	1998	CRC Press
Model-Based Design and Verification of Reactive Systems	Jiří Hýsek; Milan Češka; Vladimír Janoušek	Computer Aided Systems Theory - EUROCAST 2009: 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers	Roberto Moreno-Díaz; Franz Pichler; Alexis Quesada-Arencibia	2009	Springer Berlin Heidelberg
Reactive systems and reactive programming		Hands-On Cloud-Native Microservices with Jakarta EE - Build scalable and reactive microservices with Docker, Kubernetes, and OpenShift.	Luigi Fugaro, Mauro Vocale	2020	Packt
Structuring systems		Hands-On Domain-Driven Design with. NET Core: Tackling complexity in the heart of software by putting DDD principles into practice	Alexey Zimarev	2019	Packt Publishing Ltd
IDRIS: Interactive design of reactive information systems	Peter Osmon; Philip Sleat	Advanced Information Systems Engineering: 4th International Conference CAiSE ' 92, Manchester, UK, May 12-15, 1992. Proceedings	Pericles Loucopoulos	1992	Springer Berlin Heidelberg
Enterprise Systems Development with UML-RSDS	Kevin Lano	Agile Model-Based Development Using UML-RSDS	Kevin Lano	2016	Routledge
Verification of reactive systems using DisCo and PVS	Pertti Kellomäki	FME ' 97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings	John Fitzgerald; Cliff B. Jones; Peter Lucas	1997	Springer Berlin Heidelberg
Reactive Systems	Tânia Tomé; Mário J. de Oliveira	Stochastic Dynamics and Irreversibility	Tânia Tomé; Mário J. de Oliveira	2015	Springer International Publishing
Reactive Systems	Sandip Ray	Scalable Techniques for Formal Verification	Sandip Ray	2010	Springer US
Reactive Systems	R.J. Wieringa	Design Methods for Reactive Systems	R.J. Wieringa	2003	Morgan Kaufmann
Reactive Systems	Roman F. Nalewajski	Information Theory of Molecular Systems	Roman F. Nalewajski	2006	Elsevier Science
Reactive Systems		Introduction to Logic Programming	Michael Genesereth, Vinay K Chaudhri	2020	Morgan & Claypool
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Structuring and Design of Reactive Systems Using RSDS and B" - similar Books and Chapters