Rodin - PDFSEARCH.IO - Document Search Engine

Rodin
Results: 380

#	Item
41	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D11 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-09-06 11:20:11 Software Computing Unified Modeling Language Profile Stereotype Eclipse Component Object Process Methodology Metamodeling Objecteering Modeling and Analysis of Real Time and Embedded systems
42	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
43	a rodin plug-in for constructing reusable schematic lemmas P. Stankaitis, A. Iliasov, D. Adjepon-Yamoah, A. Romanovsky May 23, 2016 Newcastle University Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-25 03:54:35 Software Frama-C Type theory
44	The engineering of generic requirements for failure management Colin Snook1, Michael Poppleton1, and Ian Johnson2 1 School of Electronics and Computer Science, Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-02-03 05:56:31 Software engineering Unified Modeling Language Technology Computing Diagram Object Process Methodology Modeling language Class diagram Abstract state machines Profile Domain analysis Specification
45	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D3 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-05-25 11:16:23 Auguste Rodin Rodin Independent Investigations Group Arts
46	The engineering of generic requirements for failure management Colin Snook1, Michael Poppleton1, and Ian Johnson2 1 School of Electronics and Computer Science, Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 10:53:25 Software engineering Unified Modeling Language Computing Modeling language Class diagram Object Process Methodology Abstract state machines Specification Profile Requirement Formal methods Executable UML
47	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
48	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
49	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
50	Using Rodin and BMotionStudio for Public Engagement Dana Dghaym, Asieh Salehi and Colin Snook University of Southampton, Southampton, United Kingdom As part of its public engagement activities the University of Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:49:48 Car Economic model