As part of the UML standard OCL has been adopted by both professionals in industry and by academic researchers and is one of the most widely used languages for expressing object-oriented system properties. This book contains key contributions to the development of OCL. Most papers are developments of work reported at different conferences and workshops. This unique compilation addresses many important issues faced by advanced professionals and researchers in object modeling like e.g. real-time constraints, type checking, and constraint modeling.
Object Modeling with the OCL
and over one million other books are available for Amazon Kindle.
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)
new type checking rules, partial exception correctness, type checking approach, language element patterns, abstract syntax concepts, minimal set principle, forbidding sharing, iterate expression, postcondition descriptions, type checking problems, organizing constraints, ocl expressions, cardinality specification, pending reservations, constraint diagrams, incremental descriptions, constraint trees, undefined undefined undefined, elevator control system, existential dependency, example class diagram, instance reflexivity, object constraint language, implies operator, ternary association Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, Software Engineering, Advancing the Standard, Springer Verlag, Fort Collins, Prentice Hall, Second International Conference, Lecture Notes, Springer-Verlag Berlin Heidelberg, Klasse Objecten, Precise Modeling, Third International Conference, Addison Wesley, Analysis Class Model, Cambridge University Press, Steve Cook, System Interface Protocol, Conceptual Modeling, Example Usage, Action Semantics, Brain Example, Money Market, Mong Li Lee, Object Management Group, Swiss Federal Institute of Technology New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
new type checking rules, partial exception correctness, type checking approach, language element patterns, abstract syntax concepts, minimal set principle, forbidding sharing, iterate expression, postcondition descriptions, type checking problems, organizing constraints, ocl expressions, cardinality specification, pending reservations, constraint diagrams, incremental descriptions, constraint trees, undefined undefined undefined, elevator control system, existential dependency, example class diagram, instance reflexivity, object constraint language, implies operator, ternary association Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, Software Engineering, Advancing the Standard, Springer Verlag, Fort Collins, Prentice Hall, Second International Conference, Lecture Notes, Springer-Verlag Berlin Heidelberg, Klasse Objecten, Precise Modeling, Third International Conference, Addison Wesley, Analysis Class Model, Cambridge University Press, Steve Cook, System Interface Protocol, Conceptual Modeling, Example Usage, Action Semantics, Brain Example, Money Market, Mong Li Lee, Object Management Group, Swiss Federal Institute of Technology New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Books on Related Topics
(learn more)
|
What Other Items Do Customers Buy After Viewing This Item?
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 > Business & Investing > Industries & Professions > MIS
- Books > Computers & Technology > Computer Science > Software Engineering > Methodology
- Books > Computers & Technology > Hardware > Design & Architecture
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Object-Oriented Design
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > UML
- Books > Computers & Technology > Software
- Books > Medical Books
