MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Vienna Development Method." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

145 documents found, showing 1 through 10. Next 10 →

ATOM

Formal Specification and Analysis of Requirements in Software Development
by Georg Droschl, Doktor Der Technischen Wissenschaften, Technischen Universitat Graz, Andreas Kerschbaumer, Rudi Schlatte, Mention Andrew Butter Eld, John Fitzgerald, Ralf Huuck, Christian Luidolt, Walther Neuper — 2000
… case study. A well-established approach is contrasted with the light-weight Vienna Development Method…
Add To MetaCart

Scientific decisions which characterize VDM
by Cliff B Jones — 1999 — In FM’99 – Formal Methods
… personal view of some of the key technical decisions which characterize the Vienna Development Method. VDM…
Cited by 8 (2 self) – Add To MetaCart

Validating Voice Communication Requirements Using Lightweight Formal Methods
by Johann Hörl, Bernhard K. Aichernig, Voest-alpine Industrieanlagenbau Gmbh — 2000
…++, an object-oriented extension of the Vienna Development Method, in a lightweight manner. This project, a…
Cited by 9 (1 self) – Add To MetaCart

An Overview of VDM-SL
by Derek J. Andrews — 1999
… This report gives an overview of VDM-SL | the Vienna Development Method Specication Language. It introduces…
Add To MetaCart

The Formal Semantics of ISO VDM-SL
by Peter Gorm Larsen, Wieslaw Pawlowski — 1995
… used in the formal method known as the Vienna Development Method (or simply VDM). In this paper we…
Add To MetaCart

The transition from VDL to VDM
by C. B. Jones — JUCS
… NE1 7RU UK Abstract This paper describes (one person’s view of) how the Vienna Development Method…
Cited by 3 (3 self) – Add To MetaCart

Towards an integrated combination of SA and VDM
by Peter Gorm Larsen, Nico Plat, Kees Pronk, Hans Toetenel — 1991 — In Proc. Methods Integration Workshop
…) and the Vienna Development Method (VDM). Using this method, the designer is able to move back and forth between…
Cited by 4 (1 self) – Add To MetaCart

Validation of Distributed Real-Time and Embedded System Composition in UniFrame
by Shih-hsi Liu, Faculty Advisor, Barrett R. Bryant — 2004 — In ACM-SE 42: Proceedings of the 42nd annual Southeast regional conference
… components. Leveraging the Two-Level Grammar (TLG) specification language and the Vienna Development Method…
Cited by 1 (0 self) – Add To MetaCart

Automated black-box testing with abstract VDM oracles
by Bernhard K. Aichernig — 1999 — Computer Safety, Reliability and Security: proceedings of the 18th International Conference, SAFECOMP'99
… method VDM (Vienna Development Method) serves to demonstrate that abstract requirement models can be used…
Cited by 8 (5 self) – Add To MetaCart

Metatheory of Verification Calculi in LEGO To What Extent Does Syntax Matter?
by Thomas Kleymann
… of the Vienna Development Method with respect to operational semantics. We deal with parameterless recursive…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB