
	Where results make sense

Topic: Vienna Development Method

Related Topics

VDM specification language

B specification language

Program specification

Z specification language

Design by contract

Formal verification

	VDM - Vienna Development Method
		VDM is their modern descendent, now used well beyond the bounds of language semantics in industrial systems development as well as academic research.
		VDM courses are available from Adelard: length of training courses vary from a one day overview, though an intensive 5 days, and as long as 2 to 3 weeks when clients want a significant case study of their choosing to be undertaken.
		VDM++ is supported by a toolset with a graphical user interface (VDM++ checkers, a code generator, facilities for pretty-printing), linked to a tool from which it is possible to (partially) generate a VDM++ specification from a graphical OMT model.
	www.vienna.cc /evdm.htm (3468 words)

	Vienna Development Method - Wikipedia, the free encyclopedia
		Vienna Development Method (VDM) is a program development method based on formal specification using the VDM specification language (VDM-SL), with tool support.
		Use of VDM starts with a very abstract specification and, develops this into an implementation.
		Data reification develops the abstract data types into more concrete data structures, while operation decomposition develops the (abstract) implicit specifications of operations and functions into algorithms that can be directly implemented in a computer language of choice.
	en.wikipedia.org /wiki/Vienna_Development_Method (478 words)

	Model-drevet udvikling med VDM++ og UML 1 (TIVDM1) - Forår 2006
		These pages contain information on the course "Model driven development using VDM++ and UML 1" (with the acronym TIVDM1) that will be held in the forth quarter Spring 2006 at the Engineering College of Aarhus in collaboration with the Department of Computer Science at Aarhus University.
		VDM is an acronym for the Vienna Development Method which is a method used to describe precisely what the functionality shall be like before it is considered how is shall be implemented.
		VDM++ is an object-oriented modeling language that is used to make precise models that can be validated for their correctness.
	kurser.iha.dk /eit/tivdm1 (190 words)

	VDM specification language - Wikipedia, the free encyclopedia (Site not responding. Last check: )
		VDM Specification Language (VDM-SL) is a model-oriented specification language, upon which the Vienna Development Method for computer software is based.
		The "English School" derived from work by Cliff Jones on the aspects of VDM not specifically related to language definition and compiler design (Jones 1980, 1990).
		The whole point of VDM is to prove that functions are correct; this is called a proof obligation.
	en.wikipedia.org /wiki/VDM_specification_language (1071 words)

	FreeTechBooks.com - Case Studies in Systematic Software Development
		Formal methods is a term which is used to cover both the use of mathematical notation in the functional specifications of systems and the use of justifications which relate designs to their specifications.
		VDM was developed in an industrial environment but has also evoked considerable academic research.
		VDM does not, however, claim to be a normative method in the sense that it results in the choice of a standard or best design: the designer provides the insight.
	www.freetechbooks.com /post-288.html (548 words)

	Israel M. Kirzner (NYU)
		The institutional prerequisites for economic development: An important implication of Kirzner's work on entrepreneurship is his specification of the institutional prerequisites for unleashing the entrepreneurial spirit and generating a prosperous economic system.
		The specification of the institutional environment in which enterpreneurship can be encouraged is elucidated in Kirzner's work on development economics, and (via the method of contrasts) in his examination of bureaucracy and regulation.
		Moreover, the collapse of communist regimes in East and Central Europe, and the difficulties associated with transition and development policy, reveal that neoclassical economic theory is ill equiped to provide an understanding of both dynamic processes and the institutional infrastructure reuqired to unleash the entrepreneurial spirit.
	www.econ.nyu.edu /user/kirzner (3198 words)

	Parkersburg West Virginia custom ecommerce web site design development search engine placement services
		Our custom web site design and development services provide everything needed to establish and maintain a successful online presence for ecommerce, organizations, individuals, and more.
		We consult with you to determine the service or services which will be the most effective method to accomplish your goals or task.
		Online and offline payment processing methods are available.
	www.absolutewv.com (270 words)

	VASP Group, Theoretical Physics Department, Vienna
		The approach implemented in VAMP/VASP is based on a finite-temperature local-density approximation (with the free energy as variational quantity) and an exact evaluation of the instantaneous electronic ground state at each MD-step using efficient matrix diagonalization schemes and an efficient Pulay mixing.
		These techniques avoid all problems occurring in the original Car-Parrinello method which is based on the simultaneous integration of electronic and ionic equations of motion.
		Schrödinger II, the central PC cluster of the University Vienna.
	cms.mpi.univie.ac.at /vasp (367 words)

	Vienna Development Method
		VDM is a generic term indicating different dialects and methodologies originated in the work of HeinzZemanek?
		A VDM specification is built upon two models.
		The representational abstraction, equivalent to a data model, and the operational abstraction, equivalent to a program, that can be done in a declarative of in a imperative way.
	c2.com /cgi/wiki?ViennaDevelopmentMethod (118 words)

	DACS - Data & Analysis Center for Software - DACS - Software (Site not responding. Last check: )
		An Analysis of two Formal Methods: VDM and Z - This paper compares and contrasts the strengths and weaknesses of the Vienna Development Method (VDM) and Z in the software design life cycle phase, and compares and contrasts VDM and Z to other formal models.
		Formal Methods Europe FAQ: Formal Methods - FME is a European organization, supported by the Commission of the European Union, with the mission of promoting and supporting the industrial use of formal methods for computer systems development.
		Using the Vienna Development Method (VDM) to Formalize a Communication Protocol; An SEI Technical Report - This paper provides an example of how the Vienna Development Method (VDM) might be used in the area of communications.
	www.dacs.dtic.mil /databases/url/key.php?keycode=53:55 (1378 words)

	WWW Virtual Library: Formal Methods - The B-Method
		B is a formal method for the development of program code from a specification in the Abstract Machine Notation.
		Atelier B assists developers in the formalization of their aplications, performing automatically on specifications and their refinements, syntax analysis, type checking, generation and demonstration of proof obligations.
		VDM (Vienna Development Method) for formal specification and development.
	archive.museophile.sbu.ac.uk /formal-methods/b.html (728 words)

	VDM Information (Site not responding. Last check: )
		VDM (The Vienna Development Method) is a set of techniques for modelling computing systems analysing those models and progressing to detailed design and coding.
		The Second VDM Workshop was held on Saturday 2nd September 2000 as part of the ZB 2000 meeting at the University of York, UK.
		The VDM Workshop at FM'99 was held on 21-22 Sept.
	www.csr.ncl.ac.uk /vdm (784 words)

	CS424/824 - Software Specification and Development Subject Profile
		The aim of this subject is to develop an ability to formally specify and refine a system towards implementation, and to use the formal specification as the basis for testing the implementation.
		The development of an executable program begins with a single specification command, and step-by-step refines, via intermediate programs that are combinations of specification commands and executable code, to a final program that is code.
		A more recent development is the B method [9], due to Jean-Raymond Abrial, who was also primarily responsible for Z. B is a close relative of the refinement calculus.
	www-groups.dcs.st-and.ac.uk /~havas/csx24.html (1758 words)

	STSC CrossTalk - Application of Lightweight Formal Methods in Requirement Engineering1 - Jan 2003 (Site not responding. Last check: )
		Success with this phase of the development life cycle is considered crucial in that the remainder of life-cycle activities is highly dependent on this early foundation (in terms of schedule, cost, and user acceptance).
		All formal methods we are aware of used in practice require a natural language explanation of each formal representation as an effort to overcome the communication problem between the customer and the developer.
		If formal methods are used in specifying requirements, there is a high probability of detecting errors by formal verification and validation activities due to the precision of requirement structure and of verification and validation activities.
	www.stsc.hill.af.mil /crossTalk/2003/01/george.html (4114 words)

	The Encyclopedia of Computer Languages (Site not responding. Last check: )
		A number of formal description methods exist for representing the syntax of programming languages,andquot;*2andquot;6 but natural language (such as English) is still generally used to specify their semantics.
		The principal features of this definitional method were developed for the formal description of The publications of J. McCarthy, P. Landin, and C. Elgot strongly influenced the early work leading to development of this method.
		Her account of the contributions of IBM to the development of programming languages is itself a contribution to the subject.
	hopl.murdoch.edu.au /showlanguage.prx?exp=598 (3268 words)

	[No title]
		VDM was developed over a fifteen year period at IBM's research laboratories in Vienna.
		Software development in Z has much in common with "Cleanroom" development, in that errors seldom occur, are easier to locate, and are located by inspection rather than by testing.
		Researchers from Burroughs Corp. and UCLA have developed an approach known as the Formal Development Method or FDM which is again a method of combining design and specification in a sequence of refinements beginning with an informal natural language specification and leading to a formal specification and design.
	www.cs.usu.edu /~jones/SPECWhit.htm (7656 words)

	FLoC '02 - VDM
		VDM, the Vienna Development Method, is one of the most mature and widely applied model-oriented formal methods and has many features in common with Z and B. Its specification language has been standardised by ISO and enjoys industrial-strength tool support.
		Alongside extensive industrial application, VDM is exploited in research on modelling, proof, and refinement.
		The VDM workshops provide a forum for exchange of information on the development of VDM, VDM++, tools and applications in all areas.
	floc02.diku.dk /VDM (224 words)

	Using the Vienna Development Method (VDM) to Formalize a Communication Protocol
		Pedersen, J. Klein, M. The Vienna Development Method (VDM is based upon iterative refinement of formal specifications written in the model-oriented specification language, Meta-IV.
		VDM is also an informal collection of experiences in formal specification within several application domains.
		This paper provides an example of how VDM might be used in the area of communications, a new domain for VDM.
	www.sei.cmu.edu /publications/documents/88.reports/88.tr.026.html (130 words)

	Task Analysis: The Missing Link (Site not responding. Last check: )
		Problem-oriented methods, he maintains, concentrate on producing a better understanding of the problem; whereas product-oriented methods focus on the correct transformation from a formal specification to a maintainable implementation.
		Some TA methods are suitable for application early in the system development life cycle, while others are best regarded as tools for 'late evaluation'.
		Walsh concedes that the method is still in the process of development and that treatment of the different parts of the method may not have been equal in detail.
	www.cs.upe.ac.za /staffHomePages/csajlw/Publications/PAPER95.html (4713 words)

	Formal Specification Languages
		Probably the most widely known model oriented specification languages are VDM-SL, the specification language associated with VDM, the Vienna Development Method, and the Z specification language.
		Algebraic methods are beneficial in permitting key features of information systems to be described without prejudicing questions which are intended to be settled later in the development process (implementation detail).
		Two examples of such hybrid notations are RSL the specification language associated with the RAISE development methods, and LOTOS, a specification notation intended originally for the specification of communication protocols.
	www.rbjones.com /rbjpub/cs/csfm02.htm (998 words)

	Know it all Inc. (V) (Site not responding. Last check: )
		Though this method is poor for detecting omissions in the "rear" file, it can also be used with printouts of graphics, a claim few if any diff programs can make.
		Vienna Fortran A {data-parallel} extension of {Fortran 77} for distributed memory multiprocessors by Hans Zima , Vienna University.
		The process models use pattern matching on local development histories to determine the particular state of the development process, and employ rules to trigger situation-dependent assistance to the user.
	artikbre.synchro.net /docs/V.html (9195 words)

	Amazon.com: Vdm 91: Formal Software Development Methods : Proceedings (Lecture Notes in Computer Science): Books: S. ... (Site not responding. Last check: )
		The VDM symposia have been organized by VDM Europe, formed in 1985 as an advisory board sponsored by the Commission of the European Communities.
		The VDM Europe working group consisted of researchers, software engineers, and programmers, all interested in promoting the industrial usage of formal methods for software development.
		The emphasis is on methods and calculi for development, verification and verification tools support, experiences from doing developments, and the associated theoretical problems.
	www.amazon.com /exec/obidos/tg/detail/-/0387548343?v=glance (534 words)

	Sample: A Glossary of Software Development methods processes and techniques (Site not responding. Last check: )
		Modular programming is a class of informal methods rigidly applied in the late 60's having been developed in the early 60's to correct the problems with complex unmaintainable programs of the 50's.
		OOP is a weak informal method that uses modules that are orthogonal to SP.
		VDM::=Vienna Development Method is based on a mathematical language (VDL) developed in the 1960's for defining the semantics of languages in terms of trees.
	www.csci.csusb.edu /dick/samples/methods.html (4865 words)

	Development - software related online book store (Site not responding. Last check: )
		The present volume is the third in a series of VDM Symposia Proceedings.
		VDM, the Vienna Development Method, is a formal method for software engineering, Z...
		Free/Open Source Software Development gives an overview of the current research streams in the field of free and open source software development.
	books.softpicks.net /category/1_page42.htm (207 words)

	New Classical Logical Systems (Site not responding. Last check: )
		The work described here was begun at a time when I was a member of a committee attempting to standardise a formal specification language (VDM-SL) for the "formal method" VDM (Vienna Development Method).
		A presentation on the work was given in a evening session on the VDM standardisation process at the VDM-88 conference in Dublin in September 1988.
		The methods to be adopted are semantically based and are also based on the use of mechanical proof support.
	www.rbjones.com /rbjpub/logic/inter003.htm (537 words)

	GameDev.net -- Software Engineering
		Describes a method allowing you to modify the private interface of your class while avoiding recompilation of code using the public interface.
		This paper compares and contrasts the strengths and weaknesses of the Vienna Development Method (VDM) and Z in the software design life cycle phase, and compares and contrasts VDM and Z to other formal models.
		This article will introduce you to a method of development that will supplement skill, knowledge, dedication, and goals in order to enable you to achieve your goals.
	www.gamedev.net /reference/list.asp?categoryid=66 (841 words)

	WG 19 Home Page
		WG 19 is responsible for international standards activity on formal methods, formal specification languages, and syntactic metalanguages.
		The Vienna Development Method originated in work done in IBM's laboratory in Vienna in the 1970s.
		Z was used in the 1980s in a number of industrial projects to assist developers of hardware and software systems.
	anubis.dkuug.dk /JTC1/SC22/WG19 (571 words)

	UK Security Citations Bibliography
		Using these classes we develop a collection of general system components that are specializations of one of these classes and show that the specializations also satisfy the security property.
		This paper develops a general mathematical framework in which to study the different flavours of dataflow and considers the operational implications of the different flavors.
		A constructive theoretical method of switching between isomorphic representations is presented in an annex.
	chacs.nrl.navy.mil /stp11/uksecbib.html (16975 words)

Try your search on: Qwika (all wikis)