User Tools

Site Tools

Site » Documentation » Formalisation 


About the XBUP project * [[this>?about|Introduction to the project]] * [[en:about:goals|Project goals]] * [[en:about:architecture|Architecture and principles]] * [[this>?about/videos|Video presentations]] Download * [[this>?download|Current release]] * [[this>?download/screenshots|Screenshots]] Documentation * [[en:doc|Project's documentation]] * [[en:doc:protocol:overview|Protocol's specification]] * [[en:doc:impl:java|Implementation in Java]] Get involved * [[en:devel|How to join]] * [[en:devel:status|Status of the development]] * [[en:devel:related_projects|Related projects]] Services * [[|Catalog of types]] * [[|Catalog of types (PHP)]] Tools * [[|Cont. Integration (Jenkins)]] * [[|Issue Tracking (BugGenie)]] Follow us on * [[|XBUP on GitHub]] * [[|XBUP on Twitter]] * [[|XBUP on OpenHUB]] * [[|XBUP on SourceForge]]


====== Formalization ====== Main goal here is to formalize particular aspects of the protocol as precise as possible. Current overview of the [[en:doc:devel:formal:index|formalization process]] is available as the part of the documentation. Also take a look on [[en:doc:devel:questions|related questions]], which will be targeted for formalization in the future.

en/doc/formal.txt · Last modified: 2010/05/02 15:50 by hajdam