Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation, generation of test patterns, and experiences from case studies with SystemC. Analog and Mixed-Signal Systems covers rules for solving general modeling problems in VHDL-AMS, modeling of multi-nature systems, synthesis, and modeling of Mixed-Signal Systems with SystemC. Languages for formal methods are addressed by contributions on formal specification and refinement of hybrid, embedded and real-time stems. Together with articles on new languages such as SystemVerilog and Software Engineering in Automotive Systems the contributions selected for this book embrace all aspects of languages and models for specification, design, modeling and verification of systems. Therefore, the book gives an excellent overview of the actual state-of-the-art and the latest research results.
Languages for System Specification
and over one million other books are available for Amazon Kindle.
Learn more
FREE Two-Day Shipping for students on millions of items. Learn more |
| ||||||||||||||||||||
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
The explosion of computational highly demanding applications drives the development of more powerful microprocessor architectures. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
degradable model, safety relevant systems, automotive software engineering, languages for system specification, echo cancellation unit, infotainment applications, ageing simulation, exposure control unit, augmentation set, platform mapping, based cost structure, storage button, digital image sensor, chassis level, ageing model, par statement, automotive domain, delta cycle, model compiler, behavioral diagrams, dynamic checking, candidate mappings, reliability simulation, analog modules, simulation kernel Key Phrases - Capitalized Phrases (CAPs): (learn more)
Kluwer Academic Publishers, Computer Science, Abstract State Machines, Petri Net, Computer Society Press, Data Collector, Unified Modelling Language, Dag Björklund, International Conference, Lecture Notes, Object Oriented High-level, Test of Computers, Cambridge University Press, Eindhoven University of Technology, Language Reference Manual, Springer Verlag, The Unified Modeling Language, University of Tubingen, Elsevier Science, Lightwave Technol, Los Alamitos, Prentice Hall, Science of Computer Programming New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
The explosion of computational highly demanding applications drives the development of more powerful microprocessor architectures. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
degradable model, safety relevant systems, automotive software engineering, languages for system specification, echo cancellation unit, infotainment applications, ageing simulation, exposure control unit, augmentation set, platform mapping, based cost structure, storage button, digital image sensor, chassis level, ageing model, par statement, automotive domain, delta cycle, model compiler, behavioral diagrams, dynamic checking, candidate mappings, reliability simulation, analog modules, simulation kernel Key Phrases - Capitalized Phrases (CAPs): (learn more)
Kluwer Academic Publishers, Computer Science, Abstract State Machines, Petri Net, Computer Society Press, Data Collector, Unified Modelling Language, Dag Björklund, International Conference, Lecture Notes, Object Oriented High-level, Test of Computers, Cambridge University Press, Eindhoven University of Technology, Language Reference Manual, Springer Verlag, The Unified Modeling Language, University of Tubingen, Elsevier Science, Lightwave Technol, Los Alamitos, Prentice Hall, Science of Computer Programming New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
Citations (learn more)
This book cites 23
books:
See all 23 books this book cites
- Model Checking by Edmund M. Clarke Jr. on 4 pages
- System Design with SystemC by Thorsten Grötker on 4 pages
- Communicating Sequential Processes (Prentice Hall International Series in Computing Science) by C.A.R. Hoare on page 147, and page 282
- Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications (Real-Time Systems Series) by Giorgio C. Buttazzo on page 49
- Ambient Intelligence by Werner Weber on page 147
See all 23 books this book cites
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science
- Books > Computers & Technology > Graphic Design > CAD
- Books > Computers & Technology > Hardware
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > UML
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > Professional & Technical > Engineering
