Rodin tool - PDFSEARCH.IO - Document Search Engine

Rodin tool
Results: 32

#	Item
1	RODIN (Rigorous Open Development Environment for Complex Systems) Project Number: ISTJoey Coleman1 , Cliff Jones1 , Ian Oliver2 , Alexander Romanovsky1 , and Elena Troubitsyna3 1 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-06-09 09:16:29 Software Computing Formal methods Software engineering Dependability Quality Safety Safety engineering Systems engineering B-Method Project management Programming tool
2	Microsoft Word - 60_6_d22_assessment_report_.doc Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-07 10:29:29 Education Academia Academic transfer Educational assessment Educational psychology Standards-based education Thought Auguste Rodin Rodin Rodin tool
3	Microsoft Word - D20-1.0.c.doc Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-11-21 08:16:27 Formal methods Rodin tool Theoretical computer science Software engineering Rodin Michael Butler B-Method Independent Investigations Group
4	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D27 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-12-18 04:24:30 Software engineering Unified Modeling Language Computing Engineering Rodin tool Object Process Methodology Metamodeling UML tool Model-based testing Cretan lyra Diagram Profile
5	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 Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:41:20 Logic Abstraction Philosophy Metalogic Mathematical proofs Interlocking Theorem Theory Railway signalling Model theory Domain-specific language Rodin tool
6	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.3 (D10) Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-08-31 15:06:00 Software Java platform Proof assistants Debuggers Eclipse IBM software KeY Wolfram Mathematica Rodin tool
7	SIXTH FRAMEWORK PROGRAMME PRIORITY [#] [Information Societies Technology] Contract for: Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2004-11-01 05:48:34 Formal methods Computing Software engineering Engineering System of systems Dependability Systems engineering Programming tool Software development process Project management B-Method Software development
8	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.1 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - 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
9	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D28 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-12-18 04:24:40 Software Computing Rodin tool Michael Butler Rodin Object Process Methodology Eclipse Systems engineering B-Method Formal methods Programming tool
10	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D15 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-05-18 04:39:28 Software Automated theorem proving Formal methods Rodin Eclipse Nullsoft Scriptable Install System Rodin tool