This project offers a collection of resources that can be used to document object models in the Z language. This mainly consists in prelude files for z type checking and latex demo files that use it.
Release Date:
2009-02-02
Topic:
License:
Intended Audience:
Registered:
2008-11-25
Ratings and Reviews
Be the first to post a text review of Object Models in Z. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
Rate and Review
Be the first person to add a text review.
Related Projects
-
Ontology Design Patterns
Ontology Design Patterns (ODPs) are well known and efficient modeling solutions for ontologies. This public catalog offers a collection of well documented and tested ODPs, including examples from the biological knowledge domain, implemented in OWL.
-
-
Object Models in Z Actions
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
