NCL Eclipse - PDFSEARCH.IO - Document Search Engine

NCL Eclipse
Results: 8

#	Item
1	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D11 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-09-06 11:20:11 Software Computing Unified Modeling Language Profile Stereotype Eclipse Component Object Process Methodology Metamodeling Objecteering Modeling and Analysis of Real Time and Embedded systems
2	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.3 (D10) Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-08-31 15:06:00 Software Java platform Proof assistants Debuggers Eclipse IBM software KeY Wolfram Mathematica Rodin tool
3	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.1 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-07-04 06:15:22 Software Simulation Database Systems engineering Scientific modelling Eclipse Business process modeling Conceptual model Rodin tool Model-driven architecture
4	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
5	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
6	04. Stephenson and Fatoohi, Solar Eclipse _72-82_ Add to Reading List Source URL: research.ncl.ac.uk Language: English - Date: 2011-07-01 09:54:15 Eclipses Solar eclipse
7	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
8	INTERNATIONAL TELECOMMUNICATION UNION STUDY GROUP 16 Add to Reading List Source URL: profesores.elo.utfsm.cl Language: English - Date: 2013-11-15 15:58:44 Technical communication HTML Nested Context Language Digital television Lua Ginga HTML element ABNT NBR 15606 NCL Eclipse Computing Software Markup languages

UPDATE