Microsoft Word - D20-1.0.c.doc - Entity-relationship model - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2006-11-21 08:16:27 Formal methods Rodin tool Theoretical computer science Software engineering Rodin Michael Butler B-Method Independent Investigations Group		Microsoft Word - D20-1.0.c.doc Add to Reading List Source URL: rodin.cs.ncl.ac.uk Download Document from Source Website File Size: 454,01 KB Share Document on Facebook

	RODIN (Rigorous Open Development Environment for Complex Systems) Project Number: ISTJoey Coleman1 , Cliff Jones1 , Ian Oliver2 , Alexander Romanovsky1 , and Elena Troubitsyna3 1 DocID: 1rqGZ - View Document
	Microsoft Word - 60_6_d22_assessment_report_.doc DocID: 1r1Tv - View Document
	Microsoft Word - D20-1.0.c.doc DocID: 1qSHr - View Document
	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D27 DocID: 1qLb7 - View Document
	Building Event-B Interlocking Theories: Lessons Learned using the Theory Plug-in Yoann Guyot, Renaud De Landtsheer, Christophe Ponsard CETIC Research Center, Charleroi, Belgium {yoann.guyot, renaud.delandtsheer, christop DocID: 1qITq - View Document