0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R250 - R500 (1)
  • R500 - R1,000 (2)
  • -
Status
Brand

Showing 1 - 3 of 3 matches in All Departments

ReqIF Studio - Requirements Engineering Platform based on Eclipse (Paperback): Michael Jastram ReqIF Studio - Requirements Engineering Platform based on Eclipse (Paperback)
Michael Jastram
R724 Discovery Miles 7 240 Ships in 10 - 15 working days
Rodin User's Handbook - Covers Rodin v.2.8 (Paperback): Michael Butler, Michael Jastram Rodin User's Handbook - Covers Rodin v.2.8 (Paperback)
Michael Butler, Michael Jastram
R635 Discovery Miles 6 350 Ships in 10 - 15 working days

Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modeling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels. The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extendible with plugins. This book provides a tutorial for new users and a reference about the Rodin platform, the Event-B modeling notation and its mathematical toolkit. The handbook is licensed as Creative Commons CC-SA. This printed version has been produced at the request of many users by Formal Mind.

The ProR Approach - Traceability of Requirements and System Descriptions: Theory and practice on using and extending the... The ProR Approach - Traceability of Requirements and System Descriptions: Theory and practice on using and extending the Eclipse Requirements Modeling Framework and its requirements tool, ProR (Paperback)
Michael Jastram
R416 Discovery Miles 4 160 Ships in 10 - 15 working days
Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Better Choices - Ensuring South Africa's…
Greg Mills, Mcebisi Jonas, … Paperback R350 R301 Discovery Miles 3 010
Bestway Solar Float Lamp
R270 R249 Discovery Miles 2 490
Sony PlayStation 5 DualSense Wireless…
R1,599 R1,479 Discovery Miles 14 790
Casio LW-200-7AV Watch with 10-Year…
R999 R884 Discovery Miles 8 840
Catan
 (16)
R1,150 R889 Discovery Miles 8 890
Pamper Fine Cuts in Jelly - Gourmet Meat…
R12 R11 Discovery Miles 110
Shield Anti Freeze/Summer Cooolant 96…
R86 Discovery Miles 860
Bostik Clear on Blister Card (25ml)
R38 Discovery Miles 380
Bostik Easy Tear Tape (12mm x 33m)
R32 Discovery Miles 320
Mellerware Non-Stick Vapour ll Steam…
R348 Discovery Miles 3 480

 

Partners