All public logs

Combined display of all available logs of Simple Sci Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 15:02, 24 December 2023 SatoshiNakamoto talk contribs created page Modeling Object-Oriented Constraint Programs in Z (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...")