Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Matheis, Hans"'
SPADES is a specification system consisting of a method, a language, and a set of tools. These components are based on a set of concepts, which forms its abstract kernel. SPADES supports the specification of software systems, in particular of real ti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::37c25dae89fedb3def486c5642564c90
Autor:
Matheis, Hans
Publikováno v:
ETH, Eidgenössische Technische Hochschule Zürich, Institut für Informatik, 71
ETH, Eidgenössische Technische Hochschule Zürich, Institut für Informatik, 71
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8235298f0da019b25cdb86af39f79e31
https://hdl.handle.net/20.500.11850/69822
https://hdl.handle.net/20.500.11850/69822
Die Arbeit beschreibt die Software-Entwicklung durch schrittweise Komplettierung. Darin sind die Prinzipien der traditionellen Programmentwicklung nach einem Phasenplan mit dem Prototyp-Ansatz verbunden. Auf diese Weise bleiben die Vorteile beider An
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::958755a65e7a824362a9681502b05a3d
http://elib.uni-stuttgart.de/handle/11682/8270
http://elib.uni-stuttgart.de/handle/11682/8270