|
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design
|
Buy Now
Formal Methods for Embedded Distributed Systems - How to master the complexity (Paperback, Softcover reprint of hardcover 1st ed. 2004)
Loot Price: R2,874
Discovery Miles 28 740
|
|
|
Formal Methods for Embedded Distributed Systems - How to master the complexity (Paperback, Softcover reprint of hardcover 1st ed. 2004)
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
