Rodin - PDFSEARCH.IO - Document Search Engine

Rodin
Results: 380

#	Item
31	Meta-Predicates for Rodin Sebastian Krings Institut fur ¨ Informatik ¨ Dusseldorf Heinrich-Heine-Universitat Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-23 10:13:36 Computational group theory Donald Knuth KnuthBendix completion algorithm Flow chart language
32	Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 11:00:56 Software engineering Theoretical computer science Computing Concurrent computing Constraint programming Models of computation Model checkers Process calculus Michael Butler Model checking FDR Denotational semantics
33	A Rodin plug-in for constructing reusable schematic lemmas Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander Romanovsky Newcastle University, UK Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:29:27 Mathematics Lemmas Mathematical proof
34	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
35	Translating SCXML Statecharts to iUML-B State-machines Karla Morris : Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-30 13:57:46 Computing SCXML Models of computation Call Control eXtensible Markup Language State diagram Formal methods Auguste Rodin B-Method Finite-state machine Rodin Linz
36	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.6 (D30) Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-13 07:23:59 Logic Philosophy Academia Auguste Rodin Rodin Axiom Theorem ETH Zurich Mathematical proof Mathematics
37	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
38	School of Computing Science, University of Newcastle upon Tyne Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005) Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-07-08 09:19:49 Character encoding Digital typography Unicode blocks Computing World glyph set Latin-1 Supplement
39	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