Rodin - PDFSEARCH.IO - Document Search Engine

Rodin
Results: 380

#	Item
21	Academy of Natural Sciences of Drexel University ansp.org \| Enter a world of science where T. rex reigns, live butterflies perch on your shoulder and a new discovery waits at every turn. Discover what Add to Reading List Source URL: www.parkwaymuseumsdistrictphiladelphia.org Language: English - Date: 2016-06-03 14:43:30 Philadelphia Pennsylvania Logan Square Philadelphia Philadelphia Register of Historic Places Fairmount Philadelphia Education in Philadelphia Benjamin Franklin Parkway Center City Philadelphia Association for Public Art Jacques Grber Rodin Museum Iroquois
22	Towards a methodology for rigorous development of generic requirements patterns Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-02-03 05:56:31 Engineering Software engineering Technology Systems engineering Unified Modeling Language Software design Scientific modeling Software requirements Modeling language Object Process Methodology Specification Model-driven architecture
23	RODIN (Rigorous Open Development Environment for Complex Systems) Project Number: ISTJoey Coleman1 , Cliff Jones1 , Ian Oliver2 , Alexander Romanovsky1 , and Elena Troubitsyna3 1 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-06-09 09:16:29 Software Computing Formal methods Software engineering Dependability Quality Safety Safety engineering Systems engineering B-Method Project management Programming tool
24	VISITOR GUIDE (2).pdf Add to Reading List Source URL: www.maryhillmuseum.org Language: English - Date: 2016-08-07 12:05:36 Columbia River Gorge Maryhill Museum of Art National Register of Historic Places in Klickitat County Washington Auguste Rodin Stevenson Visual arts French people
25	PDF Document Add to Reading List Source URL: museum.stanford.edu Language: English - Date: 2016-06-28 18:07:13 California Iris & B. Gerald Cantor Center for Visual Arts Auguste Rodin Stanford University Museum Chaperone Docent Human behavior Education
26	Rigorous Development of Ambient Campus Applications that can Recover from Errors Budi Arief, Alexei Iliasov, and Alexander Romanovsky School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne NE Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-07-13 11:23:26 Computing Systems science Engineering Multi-agent systems Artificial intelligence Complex systems theory Simulation Ambient calculus Process calculi Agent-based model Ambient intelligence Software agent
27	Microsoft Word - rodinD17.doc Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-05-18 04:42:00 Character encoding Digital typography Unicode blocks Computing World glyph set Latin-1 Supplement
28	Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings Claus Schr¨oter1 and Victor Khomenko2 1 Institut f¨ Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2004-10-12 04:45:38 Models of computation Concurrency Diagrams Petri net Software engineering Symbol Model checking Theoretical computer science Metaphor
29	Automatic Refinement Checking for B? Michael Leuschel1,2 and Michael Butler1 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 10:57:32 Software engineering Computing Formal methods Refinement FDR Model checking Prolog Algorithm Predicate transformer semantics Type system Abstract machine XSB