Detail page

Knowledge Web

Allgemeinbegriff

Semantikerhaltende Transformation

Modelltransformation

Subject heading	Semantikerhaltende Transformation
Definition	Mit dieser Methode wird die Ausgangsspezifikation eines Systems in eine verfeinerte Spezifikation transformiert, die nach wie vor funktional korrekt ist (Do, Huu Trung).
Synonym	Correctness preserving transformation Softwarespezifikation / Transformation / Korrektheit Softwarespezifikation / Verfeinerung / Korrektheit
Broader term	Modelltransformation
Topic	Informatik, Datenverarbeitung
Source	Vorlage
Record type	Allgemeinbegriff
GND-Identifier	4615977-0
Record ID	960297197
Topic of show all Full semantics preservation in model transformation Timing model derivation : pipeline analyzer generation from hardware description languages Timing model derivation : pipeline analyzer generation from hardware description languages Full semantics preservation in model transformation Transformations of specifications and proofs to support an evolutionary formal software development Transformations of specifications and proofs to support an evolutionary formal software development Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development Semantic integration of heterogeneous software specifications Semantic Integration of Heterogeneous Software Specifications Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen Formal synthesis and verification of hierarchical recursive circuits based on an algebraic calculus of nets Maximale Zerlegung von Prozessen

Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

Katalog der Deutschen Nationalbibliothek

Semantikerhaltende Transformation

Full semantics preservation in model transformation

Timing model derivation : pipeline analyzer generation from hardware description languages

Timing model derivation : pipeline analyzer generation from hardware description languages

Full semantics preservation in model transformation

Transformations of specifications and proofs to support an evolutionary formal software development

Transformations of specifications and proofs to support an evolutionary formal software development

Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development

Semantic integration of heterogeneous software specifications

Semantic Integration of Heterogeneous Software Specifications

Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen

Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen

Formal synthesis and verification of hierarchical recursive circuits based on an algebraic calculus of nets

Maximale Zerlegung von Prozessen