Hochschulschrift
Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
IV, 175 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
München, Techn. Univ., Diss., 1998
- Keyword
-
SDL
Formale Semantik
Softwarespezifikation
SDL
Verifikation
- Creator
-
Hinkel, Ursula
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:42 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Hinkel, Ursula
Other Objects (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