This book presents thoroughly revised tutorial papers based on lectures given by leading researchers at the International Training School on Domain Modeling and the Duration Calculus, held in Shanghai, China, as an associated event of ICTAC 2007. Topics addressed in detail are: development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach.
Domain Modeling and the Duration Calculus
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
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)
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
context conditions, scalar value, domain modeling, precedence relations, code subcell, temporal propositional letters, semantic transition relation, duration calculus, linear duration invariants, inds args, release jitter, aperiodic processes, dom funs, dom vars, ceiling protocols, response time analysis, confidence conditions, sporadic process, producer task, fixed priority scheduling, timed automata, priority inheritance Key Phrases - Capitalized Phrases (CAPs): (learn more)
Applicative Modelling, Theory of Duration Calculus, Delivering Real-Time Behaviour, Van Hung, Technical Report, Computer Society Press, Los Alamitos, Real-Time Systems, Process Period, Englewood Cliffs, New York, Formal Techniques, Department of Computer Science, Wellings Table, Specification Language, Technical University of Denmark, Springer-Verlag Berlin Heidelberg, Class Types, Cambridge University Press, Prentice Hall, Wellings Process, Formal Aspects of Computing, Programming Language Concepts Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!
context conditions, scalar value, domain modeling, precedence relations, code subcell, temporal propositional letters, semantic transition relation, duration calculus, linear duration invariants, inds args, release jitter, aperiodic processes, dom funs, dom vars, ceiling protocols, response time analysis, confidence conditions, sporadic process, producer task, fixed priority scheduling, timed automata, priority inheritance Key Phrases - Capitalized Phrases (CAPs): (learn more)
Applicative Modelling, Theory of Duration Calculus, Delivering Real-Time Behaviour, Van Hung, Technical Report, Computer Society Press, Los Alamitos, Real-Time Systems, Process Period, Englewood Cliffs, New York, Formal Techniques, Department of Computer Science, Wellings Table, Specification Language, Technical University of Denmark, Springer-Verlag Berlin Heidelberg, Class Types, Cambridge University Press, Prentice Hall, Wellings Process, Formal Aspects of Computing, Programming Language Concepts Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!
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 > Software Engineering > Methodology
- Books > Computers & Technology > Hardware > Internet & Networking
- Books > Computers & Technology > Networking > Networks, Protocols & APIs
- Books > Computers & Technology > Operating Systems
- Books > Computers & Technology > Programming > Algorithms
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > Computers & Technology > Software
- Books > New & Used Textbooks > Computer Science > Algorithms
- Books > New & Used Textbooks > Computer Science > Networking
- Books > New & Used Textbooks > Computer Science > Operating Systems
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > New & Used Textbooks > Computer Science > Software Design & Engineering
