Rodin - PDFSEARCH.IO - Document Search Engine

Rodin
Results: 380

#	Item
61	experienced in the software domain. For example, the notion of a variable in software often becomes a wire in hardware with very different semantics. Hardware, at least synchronous anyway, has the notion of a clock and o Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-08-22 04:59:46 Technical communication Hardware description languages Functional languages Atom Real-time computing Bluespec Formal methods SystemVerilog Type system Verilog Interface Refinement
62	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D9 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-09-06 11:20:39 Formal methods Vienna Development Method Rodin tool Formal specification Software development process B-Method Specification Abstraction Object Process Methodology SIGNAL ShlaerMellor method Systems engineering
63	ART AND CERAMICS FROM RODIN TO SCHÜTTE SÈVRES – CITÉ DE LA CÉRAMIQUE Add to Reading List Source URL: lamaisonrouge.org Language: English - Date: 2016-03-09 09:09:37 Johan Creten Svres Maison Rouge SAS Svres Cit de la cramique Manufacture nationale de Svres
64	Formal Methods in Safety-Critical Railway Systems Thierry Lecomte 1, Thierry Servat 1, Guilhem Pouzancre 1 1 ClearSy, Aix en Provence, France. Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-08-14 07:19:44 Systems engineering Formal methods Product development Software design Software quality Software development process B-Method Safety life cycle Specification Reliability engineering Functional specification Paris Mtro Line 14
65	Exception Handling in Coordination-based Mobile Environments Alexei Iliasov University of Newcastle upon Tyne Newcastle upon Tyne, UK Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-07-08 09:15:01 Parallel computing Concurrent programming languages Control flow Exception handling Tuple space Tuple Linda Multi-agent system
66	On UML’s Composite Structure Diagram Ian Oliver, Vesa Luukkala Nokia Research Center Helsinki, Finland {ian.oliver,vesa.luukkala}@nokia.com Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-08-22 05:01:00 Diagrams Infographics Unified Modeling Language Models of computation Composite structure diagram Object-oriented programming Class diagram Object Process Methodology State diagram Object diagram Systems Modeling Language Class
67	SliceAndMerge: A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines Tsutomu Kobayashi (University of Tokyo), Aivar Kripsaar (RWTH Aachen University), Fuyuki Ishikawa (NII, Japan), and Shinichi Honiden Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-25 03:56:50 Formal methods B-Method Auguste Rodin Rodin Tsutomu Decomposition Refinement
68	Examples of how to Determine the Specifications of Control Systems Joey W Coleman and Cliff B Jones School of Computing Science University of Newcastle upon Tyne NE1 7RU, UK Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-07-08 09:24:24 Combustion Problem frames approach Software development Flame
69	Demonstration of the Rodin Platform Prototype Laurent Voisin, Stefan Hallerstede, Farhad Mehta, Thai Son Hoang, Francois Terrier, Add to Reading List Source URL: www.clearsy.com Language: English - Date: 2011-05-26 12:36:35 Java platform Debuggers Eclipse IBM software Database Scientific modelling Demo Rodin tool
70	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D26 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-12-18 04:24:18 Byzantine music Cretan lyra Cretan music Object Process Methodology Rodin B-Method Michael Butler Metaclass Formal methods Rodin tool

UPDATE