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...
Snyman's Criminal Law
Paperback R1,385 R1,065 Discovery Miles 10 650
Efekto 77300-G Nitrile Gloves (M)(Green)
R63 Discovery Miles 630
Sony PlayStation Portal Remote Player…
R5,299 Discovery Miles 52 990
Casio LW-200-7AV Watch with 10-Year…
R999 R884 Discovery Miles 8 840
Catan
 (16)
R1,150 R889 Discovery Miles 8 890
Complete Clumping Cat Litter (5kg)
R77 Discovery Miles 770
Alcolin Super Glue 3 X 3G
R64 Discovery Miles 640
Shield Fresh 24 Gel Air Freshener…
R31 Discovery Miles 310
Bostik Glu Dots - Extra Strength (64…
R55 Discovery Miles 550
Mellerware Plastic Oscilating Floor Fan…
 (2)
R549 R439 Discovery Miles 4 390

 

Partners