Software Design Methods for Concurrent and Real-time Systems

Download or Read eBook Software Design Methods for Concurrent and Real-time Systems PDF written by Hassan Gomaa and published by Addison-Wesley Professional. This book was released on 1993 with total page 472 pages. Available in PDF, EPUB and Kindle.
Software Design Methods for Concurrent and Real-time Systems
Author :
Publisher : Addison-Wesley Professional
Total Pages : 472
Release :
ISBN-10 : UOM:39015028865239
ISBN-13 :
Rating : 4/5 (39 Downloads)

Book Synopsis Software Design Methods for Concurrent and Real-time Systems by : Hassan Gomaa

Book excerpt: This book describes the concepts and methods used in the software design of real-time systems. The author outlines the characteristics of real-time systems, describes the role of software design in real-time system development, surveys and compares some software design methods for real-time systems, and outlines techniques for the verification and validation of real-time system designs.


Software Design Methods for Concurrent and Real-time Systems Related Books

Software Design Methods for Concurrent and Real-time Systems
Language: en
Pages: 472
Authors: Hassan Gomaa
Categories: Computers
Type: BOOK - Published: 1993 - Publisher: Addison-Wesley Professional

DOWNLOAD EBOOK

This book describes the concepts and methods used in the software design of real-time systems. The author outlines the characteristics of real-time systems, des
Concurrent and Real-Time Programming in Java
Language: en
Pages: 0
Authors: Andrew Wellings
Categories: Computers
Type: BOOK - Published: 2004-11-22 - Publisher: Wiley

DOWNLOAD EBOOK

Real-time functionality is essential for developing many consumer, industrial, and systems devices. While the C/C++ programming language is most often used in t
Software Modeling and Design
Language: en
Pages: 577
Authors: Hassan Gomaa
Categories: Computers
Type: BOOK - Published: 2011-02-21 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This book covers all you need to know to model and design software applications from use cases to software architectures in UML and shows how to apply the COMET
Concurrent and Real-time Systems
Language: en
Pages: 530
Authors: Steve Schneider
Categories: Computers
Type: BOOK - Published: 1999-11-15 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

The CSP approach has been widely used in the specification, analysis and verification of concurrent and real-time systems, and for understanding the particular
Concurrency in Ada
Language: en
Pages: 414
Authors: Alan Burns
Categories: Computers
Type: BOOK - Published: 1998-02-19 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

A major feature of the Ada programming language is the facilities it provides for concurrent programming. Alan Burns and Andy Wellings provide here a thorough a