<--- Back to Details
First PageDocument Content
Business ethics / Serv / Science / Knowledge / Vienna Development Method / Ethology / Formal methods / VDM Publishing / Software development process
Date: 2012-11-13 16:17:00
Business ethics
Serv
Science
Knowledge
Vienna Development Method
Ethology
Formal methods
VDM Publishing
Software development process

Code of Conduct 1. Purpose 1.1

Add to Reading List

Source URL: www.vdmgroup.com.au

Download Document from Source Website

File Size: 51,47 KB

Share Document on Facebook

Similar Documents

Formal methods / Vienna Development Method / Rodin tool / Formal specification / Software development process / B-Method / Specification / Abstraction / Object Process Methodology / SIGNAL / ShlaerMellor method / Systems engineering

Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D9

DocID: 1pBgh - View Document

Formal methods / Binary operations / Operator theory / D-module / Sheaf theory / Exponentiation / TLA+ / Operator / Differential operator / Vienna Development Method

Summary of TLA+ Module-Level Constructs The Constant Operators Miscellaneous Constructs Action Operators 

DocID: 1ozvv - View Document

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

CTP-based programming languages ? Considerations about an experimental design Florian Haftmann Cezary Kaliszyk

DocID: 1mkKx - View Document

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

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

DocID: 1m4O9 - View Document

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

PDF Document

DocID: 1iWGX - View Document