Modeling Object-Oriented Constraint Programs in Z: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

24 December 2023

  • curprev 15:0215:02, 24 December 2023‎ SatoshiNakamoto talk contribs‎ 2,280 bytes +2,280‎ Created page with "Title: Modeling Object-Oriented Constraint Programs in Z Abstract: This research aims to develop a formal specification for object-oriented constraint programs (OOCPs) using Z, a formal notation for describing systems. The goal is to create a universal model that captures the intricacies of OOCPs, including object relationships and constraints. This specification will be applicable to a wide range of industrial applications, such as configuration problems, and will supp..."
Retrieved from "https://simplesci.org/wiki/Modeling_Object-Oriented_Constraint_Programs_in_Z"