Entity-relationship model - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2009-12-08 16:03:23 Rodin tool B-Method Rodin Entity-relationship model Jean-Raymond Abrial Michael Butler Model checking Scientific modelling BCS-FACS Formal methods Software development Theoretical computer science		Add to Reading List Source URL: deploy-eprints.ecs.soton.ac.uk Download Document from Source Website File Size: 338,10 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