Rodin - PDFSEARCH.IO - Document Search Engine

Rodin
Results: 380

#	Item
51	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
52	Meta-Predicates for Rodin Sebastian Krings Institut f¨ ur Informatik, Universit¨ at D¨ usseldorf Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:24:18 Formal methods Theoretical computer science FO Finite model theory Model checking Linguistics B-Method Rodin Control Predicate Cognitive science
53	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
54	Dependable Composite Web Services with Components Upgraded Online Anatoliy Gorbenko1, Vyacheslav Kharchenko1, Peter Popov2, Alexander Romanovsky3 1 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-07-08 09:20:51 Web services Computing Dependability Apache Axis2 WS-ReliableMessaging
55	Comprehensibility of UML-B: A series of controlled experiments Rozilawati Razali, Colin F. Snook, Michael R. Poppleton, Paul W. Garratt Dependable Systems and Software Engineering, School of Electronics and Computer Scie Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-09-18 09:10:42 Software engineering Unified Modeling Language Computing Data modeling ISO standards Object Process Methodology Process management Project management Diagram Class diagram Modeling language Working memory
56	A Rodin Plugin for the Tinker Tool By Yibo Liang Ver. 01 Table of Content Add to Reading List Source URL: ggrov.github.io Language: English - Date: 2016-07-27 05:15:16 Software Network socket Eclipse
57	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D29 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-07 10:26:15 Software engineering Computing Engineering Formal methods Safety Software quality Control engineering Fault tolerance Rodin tool Life-critical system Dependability Control theory
58	Crossed-Project Reference for Managing Model Variations Hironobu Kuruma1 1 Thai Son Hoang2 Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-23 10:07:06 Common Language Infrastructure Manifest Rodin
59	Towards Feature-Oriented Specification and Development with Event-B Michael R. Poppleton School of Electronics and Computer Science University of Southampton Southampton, SO17 1BJ, UK Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-12-11 09:56:52 Formal methods Theoretical computer science Project management Computer programming Refinement B-Method Feature model Model checking Object Process Methodology Software development process Algorithm Economic model