Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.1

First Page		Document Content
Date: 2005-07-04 06:15:22 Software Simulation Database Systems engineering Scientific modelling Eclipse Business process modeling Conceptual model Rodin tool Model-driven architecture		Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.1 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Download Document from Source Website File Size: 317,06 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