Scilit logo
  • Rankings
  • Search Publications
    Cited-By Search
  • Sources
  • Publishers
  • Scholars
    Top Cited Scholars
  • Organizations
  • About
Register
  1. Home
  2. Publications
  3. Object Modeling with the OCL
  1. Home
  2. Publications
  3. Object Modeling with the OCL

Object Modeling with the OCL

Publisher Website
Google Scholar
  • 21 February 2002
    • book
    • Published by Springer Nature
    • https://doi.org/10.1007/3-540-45669-4
Abstract
No abstract available
Keywords
  • JAVA
  • OCL
  • UML
  • UNIFIED MODELING LANGUAGE (UML)
  • CORRECT SOFTWARE DESIGN
  • FORMAL METHODS
  • MODELING
  • OBJECT
  • OBJECT CONSTRAINT LANGUAGE
  • OBJECT-ORIENTED MODELING
  • SEMI-FORMAL METHODS
  • SOFTWARE ENGINEERING
  • SYSTEM MODELING
  • SYSTEM SPECIFICATION
  • VERIFICATION

This publication has 0 references indexed in Scilit:

Scilit logo

Have questions? Email us at support@scilit.com

© 2025 Scilit is subsidized by MDPI.

MDPI initiatives

  • MDPI Journals
  • MDPI Books
  • Sciforum
  • Proceedings Series
  • Preprints.org
  • SciProfiles
  • Encyclopedia
  • JAMS

Legal

  • Privacy
  • Terms
  • About
  • Contact
  • Disclaimer

Follow us

  • facebook icon
  • x icon
  • linkedin icon

Join us

  • Career

© 2025 Scilit is subsidized by MDPI.