Export Citations
1 Results for: Keyword: size abstraction
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,796,785 records)|Limit your search to The ACM Full-Text Collection (767,713 records)
- ArticleSeptember 2007
Automated size analysis for OCL
ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineeringPages 331–340https://doi.org/10.1145/1287624.1287671An essential tool in object oriented modeling is the specification of cardinalities of associations between classes. In Object Constraint Language (OCL) such constraints are expressed as conditions on the sizes of the collections that correspond to ...