ProB Java API Developer Manual: Difference between revisions

No edit summary
No edit summary
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
[[Category:ProB Java API]]
[[Category:ProB Java API]]


*[[ProB 2.0 Development]]
For developers who want to build specialized tools on top of ProB, we have prepared comprehensive documentation of the ProB Java API together with a template that enables a quick start. The documentation is available from [https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#prob2.0 https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#prob2.0] the template is located at https://github.com/bendisposto/prob2_tooling_template.
*[[Programmatic_Abstractions_in_the_ProB_2.0_API]]
*[http://nightly.cobra.cs.uni-duesseldorf.de/prob2/javadoc/ ProB 2.0 Core Javadoc]
*[https://docs.google.com/document/pub?id=109z3qG6_KBUqm0NC9FaEF1C6_NYCJl453wcXzbovj2Q ProB 2.0 Requirements Document] <br/>(if you want to comment on the Document, please use goo.gl/KS2bh)
*[[ProB 2.0 Tutorial]]
 
*[[Media:Extending prob.pdf|Rodin User and Developer Workshop 2012 - Tutorial Presentation]]
 
*[[Tutorial13|Rodin User and Developer Workshop 2013 - Tutorial]]
 
*[[ProB 2.0 within Rodin and a HTML Visualization Example]]

Latest revision as of 17:02, 27 January 2021


For developers who want to build specialized tools on top of ProB, we have prepared comprehensive documentation of the ProB Java API together with a template that enables a quick start. The documentation is available from https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#prob2.0 the template is located at https://github.com/bendisposto/prob2_tooling_template.