Vienna Development Method - PDFSEARCH.IO - Document Search Engine

Vienna Development Method
Results: 24

#	Item
1	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
2	Summary of TLA+ Module-Level Constructs The Constant Operators Miscellaneous Constructs Action Operators Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2016-07-03 10:25:40 Formal methods Binary operations Operator theory D-module Sheaf theory Exponentiation TLA+ Operator Differential operator Vienna Development Method
3	CTP-based programming languages ? Considerations about an experimental design Florian Haftmann Cezary Kaliszyk Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-03 11:12:42 Theoretical computer science Automated theorem proving Logic in computer science Proof assistants Formal methods Isabelle Type theory HOL Automated reasoning Computer algebra system Vienna Development Method Software development
4	Intuition before Formalism References June 23, 2015 Relational post conditions: [Flo67, dBS69, Hoa69, Jon73, Jon80, Acz82, Jon86] Data abstraction/reification: [Luc68, Jon70, Jon80, Jon86, Mar86, Nip86, Jon07] Tool suppo Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-06-23 01:22:59 Software engineering Computer science Theoretical computer science Formal methods Fellows of the British Computer Society Logic in computer science Cliff Jones Dines Bjrner Models of computation Vienna Development Method David Gries Formal Aspects of Computing
5	PDF Document Add to Reading List Source URL: www.kroening.com Language: English - Date: 2015-02-13 06:17:10 Formal methods Logic in computer science Vienna Development Method Functional analysis General topology Wellfoundedness Satisfiability modulo theories First-order logic Constructible universe F-algebra Ordinal number Sequence
6	Case Studies in Systematic Software Development Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-01-08 04:19:12 Vienna Development Method Dines Bjørner Cliff Jones Formal specification Software development process Reification Abstraction Meta-IV Formal methods Software development Computing
7	SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM SECOND EDITION SYSTEMATIC SOFTWARE Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-01-08 04:19:12 Technology Formal specification Specification language Specification Functional specification Software development process Reification Abstraction Vienna Development Method Formal methods Software development Science
8	SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM Second Edition Teaching Notes CLIFF B JONES Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-01-08 04:19:13 Vienna Development Method Meta-IV E1 Everything2 Applied mathematics Theoretical computer science Logic in computer science Denotational semantics
9	A Survey of Industrial Applications of Formal Methods Professor Peter Gorm Larsen Engineering College of Aarhus () Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-10 09:34:32 Theoretical computer science Vienna Development Method Formal specification John Fitzgerald Life-critical system Software development process SIGNAL Analysis Formal methods Software development Science
10	Application of a Formal Specification Language in the Development of the “Mobile FeliCa” IC Chip Firmware for Embedding in Mobile Phone Yasumasa.Nakatsugawa Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:53:57 Specification language Functional specification Formal language Mathematics Applied mathematics Vienna Development Method Software development FeliCa