The item you selected is unavailable, but we found something similar.

Picture 1 of 1

Stock photo

Formal Methods for Embedded Distributed Systems: How to master the complexity by - Picture 1 of 1

Formal Methods for Embedded Distributed Systems : How to Master the Complexity by Michel Lemoine (2010, Trade Paperback)

Be the first towrite a review.

grandeagleretail (918959)
98.2% positive feedback

Price:

$123.92

Free shipping

Estimated delivery Sat, May 25 - Thu, May 30

Returns:

30 days returns. Buyer pays for return shipping.

Condition:

Brand New

Different notations are mandatory because different aspects of the Software System have to be tackled. Edition 1st. Format Paperback.

About this product

Product Information

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is mandatory as well because without a strong organization we cannot warrantee the system will meet its requirements. Unfortunately, much more is needed! The different notations that can be used must all possess at least one property: formality. The development process must also have important properties: a exha- tive coverage of the development phases, and a set of well integrated support tools. In Computer Science it is now widely accepted that only formal notations can guarantee a perfect de'ned meaning. This becomes a more and more important issue since software systems tend to be distributed in large systems (for instance in safe public transportation systems), and in small ones (for instance numerous processors in luxury cars). Distribution increases the complexity of embedded software while safety criteria get harder to be met. On the other hand, during the past decade Software Engineering techniques have been improved a lot, and are now currently used to conduct systematic and rigorous development of large software systems. UML has become the de facto standard notation for documenting Software Engineering projects. UML is supported by many CASE tools that offer graphical means for the UML notation.

Product Identifiers

Publisher
Springer
ISBN-10
1441954597
ISBN-13
9781441954596
eBay Product ID (ePID)
109131089

Product Key Features

Author
Michel Lemoine
Publication Name
Formal Methods for Embedded Distributed Systems : How to Master the Complexity
Format
Trade Paperback
Language
English
Publication Year
2010
Type
Textbook
Number of Pages
Xx, 263 Pages

Dimensions

Item Length
9.3in
Item Width
6.1in
Item Weight
16.1 Oz

Additional Product Features

Number of Volumes
1 Vol.
Lc Classification Number
Qa75.5-76.95
Table of Content
The BART Case Study.- Formal Specifcation and Refinement of a Safe Train Control Function.- From UML to Z.- Environmental Modeling with UML.- Checking BART Test Scenarios with UML's Object Constraint Language.- Modeling and verifying behavioral aspects.- Mastering the Complexity of Reactive Systems - The AutoFocusApproach.- Conclusions.
Copyright Date
2004
Topic
Systems Architecture / Distributed Systems & Computing, Software Development & Engineering / General, Computer Science, Intelligence (Ai) & Semantics
Dewey Decimal
005.1
Intended Audience
Scholarly & Professional
Dewey Edition
22
Illustrated
Yes
Genre
Computers

Best Selling in Textbooks

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)
4.6 out of 5 stars based on 15 product ratings
$35.70 New
$34.00 Used
Leadership : Theory and Practice by Peter G. Northouse (2021, Trade Paperback, Revised edition)
5.0 out of 5 stars based on 1 product rating
$19.98 New
$10.00 Used
Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)
5.0 out of 5 stars based on 14 product ratings
$29.99 New
---- Used
Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)
4.2 out of 5 stars based on 5 product ratings
$20.98 New
$18.00 Used
Cognitive Behavior Therapy : Basics and Beyond by Judith S. Beck (2020, Hardcover)
5.0 out of 5 stars based on 4 product ratings
$18.95 New
$17.66 Used
Diagnostic and Statistical Manual of Mental Disorders : DSM-5-TR by American Psychiatric Association (2022, Hardcover)
4.9 out of 5 stars based on 7 product ratings
$41.45 New
$38.99 Used
Encyclopedia of Counseling : Master Review and Tutorial for the National Counselor Examination, State Counseling Exams, and the Counselor Preparation Comprehensive Examination by Howard Rosenthal (2017, Trade Paperback, Revised edition,New Edition)
4.9 out of 5 stars based on 17 product ratings
$23.29 New
$17.99 Used

Save on Textbooks

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR Brand new
$32.00
Trending at $42.75
Spiral: Desk Reference to the Diagnostic Criteria from DSM-5-TR
$9.99
Trending at $12.35
IBC 2021 International Building Code, Paperback - Brand New
$59.95
Trending at $63.99
National Electrical Code (NEC) NFPA 70 2020 Edition Spiral USA STOCK
$33.90
Trending at $36.40
International Residential Code for One and Two-Family Dwellings 2021 free ship
$58.00
Trending at $68.00
Publication Manual of the American Psychological Association: 7th Edition, 2020
$14.45
Trending at $15.97

Shop by category

Picture 1 of 1

Formal Methods for Embedded Distributed Systems : How to Master the Complexity by Michel Lemoine (2010, Trade Paperback)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)

Leadership : Theory and Practice by Peter G. Northouse (2021, Trade Paperback, Revised edition)

Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)

Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)

Cognitive Behavior Therapy : Basics and Beyond by Judith S. Beck (2020, Hardcover)

Diagnostic and Statistical Manual of Mental Disorders : DSM-5-TR by American Psychiatric Association (2022, Hardcover)

Encyclopedia of Counseling : Master Review and Tutorial for the National Counselor Examination, State Counseling Exams, and the Counselor Preparation Comprehensive Examination by Howard Rosenthal (2017, Trade Paperback, Revised edition,New Edition)

Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR Brand new

Spiral: Desk Reference to the Diagnostic Criteria from DSM-5-TR

IBC 2021 International Building Code, Paperback - Brand New

National Electrical Code (NEC) NFPA 70 2020 Edition Spiral USA STOCK

International Residential Code for One and Two-Family Dwellings 2021 free ship

Publication Manual of the American Psychological Association: 7th Edition, 2020

You may also like

Nonfiction Methodism Paperbacks Books

James Howe Fiction Paperbacks Books

Trade Paperbacks

Trade Paperbacks Books

2010-Now Publication Year Trade Paperbacks Books

Trade Paperbacks Books in English