Zobrazeno 1 - 10
of 1 284
pro vyhledávání: '"Vienna Development Method"'
Autor:
Butterfield, Andrew, Ngondi, Gerard Ekembe, Kerr, Anne
Publikováno v:
A Dictionary of Computer Science, 7 ed., 2016.
Autor:
Gerard O’Regan
Publikováno v:
Undergraduate Topics in Computer Science ISBN: 9783319640204
This chapter presents the Vienna Development Method, which is one of the older formal specification languages. It was developed at the IBM laboratory in Vienna as a method to specify the semantics of the PL/1 programming language, and it evolved into
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::569f865bb7646a4c053d71f0e35e3511
https://doi.org/10.1007/978-3-319-64021-1_9
https://doi.org/10.1007/978-3-319-64021-1_9
Autor:
Daintith, John, Wright, Edmund
Publikováno v:
A Dictionary of Computing, 6 ed., 2008.
Publikováno v:
2015 National Software Engineering Conference (NSEC).
The Field of Formal Methods (FM) is a growing field that uses mathematical notations for making accurate and unambiguous specifications, so that in the early phases of software development discrepancies and errors are identified. By using the popular
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Graeme Parkin
Publikováno v:
Computer Standards & Interfaces. 16:527-530
This paper, one of a simultaneously published set, describes the establishment in 1987 of the ISO standards project for the Vienna Development Method Specification Language (VDM-SL), and the progress of the project to the end of 1993.
Autor:
V. S. Alagar, K. Periyasamy
Publikováno v:
Texts in Computer Science ISBN: 9780857292766
Specification of Software Systems ISBN: 9781475729221
Specification of Software Systems ISBN: 9781475729221
The Vienna Development Method (VDM) is an environment for the modeling and development of sequential software systems. The specification language of VDM has evolved from Meta-IV, the language used at IBM’s Vienna development laboratory for specifyi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::02b980f3fbdc9d2a7b2ba9e7bebe8aa2
https://doi.org/10.1007/978-0-85729-277-3_16
https://doi.org/10.1007/978-0-85729-277-3_16
Publikováno v:
Wiley Encyclopedia of Computer Science and Engineering
Aarhus University
Aarhus University
The Vienna Development Method (VDM) is one of the longest established model-oriented formal methods for the development of computer-based systems and software. It consists of a group of mathematically well-founded languages and tools for expressing a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e66eaf6c3e5d49737c357764e29f9eac
https://doi.org/10.1002/9780470050118.ecse447
https://doi.org/10.1002/9780470050118.ecse447
Autor:
John Fitzgerald
Publikováno v:
Logics of Specification Languages ISBN: 9783540741060
Decisions about the logic underpinning a formal specification language have important consequences for the utility of the formalism. This chapter describes the major features of the typed Logic of Partial Functions (LPF) as it has been implemented in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c4754b61bc3a5f2670e2fbb789641d15
https://doi.org/10.1007/978-3-540-74107-7_9
https://doi.org/10.1007/978-3-540-74107-7_9
Autor:
Robert B. Terwilliger
Publikováno v:
[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track.
ENCOMPASS is an environment that addresses the software quality problem using a combination of executable specifications, peer review, testing, and formal techniques similar to the Vienna Development Method. One of the most important tools in ENCOMPA