Rodin - PDFSEARCH.IO - Document Search Engine

Rodin
Results: 380

#	Item
71	NEW VOICES IN CLASSICAL RECEPTION STUDIES IssueTHE OVIDIAN METAMORPHOSES OF CAMILLE CLAUDEL © Kathleen Hamel ABSTRACT Add to Reading List Source URL: www2.open.ac.uk Language: English - Date: 2014-04-17 04:38:13 Roman mythology Camille Claudel Narrative poems Greek mythology Ovid Metamorphoses Auguste Rodin Pygmalion
72	Rigorous development of reusable, domain-specific components, for complex applications* I. Johnson1, C. Snook2, A Edmunds2 & M. Butler2 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2004-10-08 12:29:31 Unified Modeling Language Infographics Diagrams Models of computation Formal methods State diagram Object Process Methodology Stereotype Class diagram Refinement Object-oriented design Action
73	Rodin in the field of railway system engineering Tomas Fischer Thales Austria GmbH, Handelskai 92, 1200 Vienna, Austria, Abstract. Railway signaling systems are required to provide the high Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:40:08 Formal methods Standards Systems engineering Software quality European Committee for Electrotechnical Standardization Specification Verification Standardization Reliability engineering SIGNAL Formal specification Rodin tool
74	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D2 Definitions of Case Studies and Evaluation Criteria for Case Studies Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-05-25 11:16:22 Mobile telecommunications LTE Mobile technology Telecommunications Formal methods Rodin tool 3GPP Systems engineering UMTS Formal specification
75	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D31 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-07 10:27:40 Unified Modeling Language UML tool Class diagram Eclipse Diagram Package diagram Element Profile Object Process Methodology Rodin tool Executable UML
76	Visualising Larger State Spaces in ProB Michael Leuschel1,2 and Edd Turner1 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 10:54:43
77	Rodin in the field of railway system engineering Tomas Fischer, Thales Austria GmbH www.thalesgroup.com Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-25 03:59:22 Formal methods Process management Project management Systems engineering Rodin tool Domain-driven design SIGNAL Capella Business process Rodin B-Method Feature-driven development
78	Tools for system validation with B abstract machines⋆ Michael Butler1 and Michael Leuschel1,2 and Colin Snook1 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-06-09 09:07:09 Unified Modeling Language Infographics Systems Modeling Language Diagrams Models of computation Class diagram Michael Butler Model checking Object Process Methodology State diagram Activity Stereotype
79	Error Recovery for a Boiler System with OTS PID Controller Tom Anderson, Mei Feng, Steve Riddle, Alexander Romanovsky School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK {tom. Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-07-08 09:09:59 Control theory Control engineering Automation Cybernetics Cross-platform software PID controller Control system Boiler Controller Wrapper Simulink MATLAB
80	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D4 Traceable Requirements Document for Case Studies Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-07-04 06:06:20 Software requirements Systems engineering Specification Requirement Rodin tool 3GPP UMTS Formal methods System requirements

UPDATE