Zobrazeno 1 - 10
of 983
pro vyhledávání: '"Formale Semantik"'
Autor:
Horst Lohnstein
Die menschliche Sprachfähigkeit wird in der modernen Linguistik zunehmend durch abstrakte Theorien beschrieben. Das Studienbuch bietet eine übersichtliche Darstellung der gängigen theoretischen Konzepte und Analyseverfahren, zusätzlich vermittelt
Autor:
Hrachovec, Herbert
Publikováno v:
Zeitschrift für philosophische Forschung, 1993 Apr 01. 47(2), 165-183.
Externí odkaz:
https://www.jstor.org/stable/20483525
Autor:
Ulrich Reimer
Das Buch stellt FRM vor, ein Frame-basiertes Modell zur Repräsentation von Wissen. Der Schwerpunkt liegt dabei auf der Ausarbeitung der Semantik seiner Repräsentationskonstrukte. Zur formalen Spezifikation dieser Semantik werden Integritätsbedingu
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:
Kohlmeyer, Jens
Software development should proceed continuously from requirements through specification to implementation, using an integrated formalism, method and tool set. A state-of-the-art proposal aiming at such an integrated approach is to use Model Driven S
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b0cacb8d6fc1399d9b2d73dee1f2b026
Autor:
Menar, Martin von Löwis of
Mit der aktuellen Überarbeitung der Sprache SDL (Specification and Description Language) der ITU-T wurde die semantische Fundierung der formalen Definition dieser Sprache vollständig überarbeitet; die formale Definition basiert nun auf dem Kalkül
Externí odkaz:
http://edoc.hu-berlin.de/18452/15657
Autor:
Daniel Bruns
Publikováno v:
Informatik-Spektrum. 35:45-49
Die Java Modeling Language (JML) wurde als Ansatz konzipiert, um das Spezifizieren von Software-Produkten einer breiteren Masse zuganglich zu machen. Die Sprache baut auf Java auf und wird in einer Vielzahl von Verifikationswerkzeugen eingesetzt. Im
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c63426040aa3fb6eaee452d6c18ae0b5
https://doi.org/10.1007/s00287-011-0532-0
https://doi.org/10.1007/s00287-011-0532-0
Autor:
Sebastian Löbner
Publikováno v:
Semantik: Eine Einführung
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4065b546b85152f163ee7d6a0f213119
https://doi.org/10.1515/9783110350906-014
https://doi.org/10.1515/9783110350906-014
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.