Hochschulschrift
Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
IV, 175 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
München, Techn. Univ., Diss., 1998
- Schlagwort
-
SDL
Formale Semantik
Softwarespezifikation
SDL
Verifikation
- Urheber
-
Hinkel, Ursula
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:42 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Hinkel, Ursula
Ähnliche Objekte (12)
Zur pragmatischen Fundierung semantischer Strukturen am Beispiel der Dialoglogik
Semantische Fundierung der asynchron prozeduralen Sprache DONUTS im AEM
Zur pragmatischen Fundierung semantischer Strukturen am Beispiel der Dialoglogik
SDL Profiles - Definition and Formal Extraction
Semantische Integration durch Reinterpretation : ein formales Modell
Formal semantics for SDL : definition and implementation
Formale Semantik des Datentypmodells von SDL-2000
Formal semantics for SDL : definition and implementation
Formale Semantik des Datentypmodells von SDL-2000
Prozesse sprachlicher Verstärkung : Typen formaler Resegmentierung und semantischer Remotivierung
Semantisch-syntaktische Untersuchungen russischer Verben der Fortbewegung : e. Beitrag zur linguistischen Fundierung des Fremdsprachenunterrichts
Textbasierte Stand-der-Technik-Analyse zur Sicherung eigener Patentqualität : theoretische Fundierung, semantische Ähnlichkeitsmessung, zweckmäßige Gestaltungshinweise
Zur pragmatischen Fundierung semantischer Strukturen am Beispiel der Dialoglogik
Semantische Fundierung der asynchron prozeduralen Sprache DONUTS im AEM
Zur pragmatischen Fundierung semantischer Strukturen am Beispiel der Dialoglogik
SDL Profiles - Definition and Formal Extraction
Semantische Integration durch Reinterpretation : ein formales Modell
Formal semantics for SDL : definition and implementation
Formale Semantik des Datentypmodells von SDL-2000
Formal semantics for SDL : definition and implementation
Formale Semantik des Datentypmodells von SDL-2000
Prozesse sprachlicher Verstärkung : Typen formaler Resegmentierung und semantischer Remotivierung
Semantisch-syntaktische Untersuchungen russischer Verben der Fortbewegung : e. Beitrag zur linguistischen Fundierung des Fremdsprachenunterrichts
Textbasierte Stand-der-Technik-Analyse zur Sicherung eigener Patentqualität : theoretische Fundierung, semantische Ähnlichkeitsmessung, zweckmäßige Gestaltungshinweise
Zur pragmatischen Fundierung semantischer Strukturen am Beispiel der Dialoglogik
Semantische Fundierung der asynchron prozeduralen Sprache DONUTS im AEM
Zur pragmatischen Fundierung semantischer Strukturen am Beispiel der Dialoglogik
SDL Profiles - Definition and Formal Extraction
Semantische Integration durch Reinterpretation : ein formales Modell
Formal semantics for SDL : definition and implementation
Formale Semantik des Datentypmodells von SDL-2000
Formal semantics for SDL : definition and implementation
Formale Semantik des Datentypmodells von SDL-2000
Prozesse sprachlicher Verstärkung : Typen formaler Resegmentierung und semantischer Remotivierung
Semantisch-syntaktische Untersuchungen russischer Verben der Fortbewegung : e. Beitrag zur linguistischen Fundierung des Fremdsprachenunterrichts