↓ Skip to main content
Altmetric
What is this page?
Embed badge
Share
Share on Twitter
Share on Facebook
Share by email
Validated Designs for Object-oriented Systems
Overview of attention for book
Table of Contents
Altmetric Badge
Book Overview
Altmetric Badge
Chapter 1
Introduction
Altmetric Badge
Chapter 2
Building a Model in VDM++: An Overview
Altmetric Badge
Chapter 3
VDM++ Tool Support
Altmetric Badge
Chapter 4
Defining Data
Altmetric Badge
Chapter 5
Defining Functionality
Altmetric Badge
Chapter 6
Modelling Unordered Collections
Altmetric Badge
Chapter 7
Modelling Ordered Collections
Altmetric Badge
Chapter 8
Modelling Relationships
Altmetric Badge
Chapter 9
Model Structuring: The Enigma Cipher
Altmetric Badge
Chapter 10
Combining Views: The CSLaM System
Altmetric Badge
Chapter 11
TradeOne: From Enterprise Architecture to Business Application
Altmetric Badge
Chapter 12
Concurrency in VDM++
Altmetric Badge
Chapter 13
Model Quality
Altmetric Badge
Chapter 14
Implementing in Java
Overall attention for this book and its chapters
Altmetric Badge
Mentioned by
syllabi
1
institution with syllabi
wikipedia
1
Wikipedia page
Readers on
mendeley
37
Mendeley
Book overview
1. Introduction
2. Building a Model in VDM++: An Overview
3. VDM++ Tool Support
4. Defining Data
5. Defining Functionality
6. Modelling Unordered Collections
7. Modelling Ordered Collections
8. Modelling Relationships
9. Model Structuring: The Enigma Cipher
10. Combining Views: The CSLaM System
11. TradeOne: From Enterprise Architecture to Business Application
12. Concurrency in VDM++
13. Model Quality
14. Implementing in Java
Summary
Syllabi
Wikipedia
This data is correct as of December 2015 - for more up to date information, please visit
https://opensyllabus.org/
So far, Altmetric has seen this research output assigned in
3
syllabi from
1
institutions on Open Syllabus Project.
Institution
Syllabi count
Course subject areas covered
University of Portsmouth
3
Unknown