Hochschulschrift
Characterization and comparison of formal refinement and development relations for software modeling techniques
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Techn. Univ., Diss., 2004
- Klassifikation
-
Informatik
- Schlagwort
-
Softwareentwicklung
Softwarespezifikation
Formale Semantik
Verfeinerung
Relation
Formale Methode
- Urheber
- URN
-
urn:nbn:de:kobv:83-opus-7354
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 MEZ
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
Ähnliche Objekte (12)
Refinement and implementation techniques for Abstract State Machines
Refinement and implementation techniques for abstract state machines
New techniques for abstraction refinement
Formal Specification and Rule-Based Refinement of Software Components
Formal specification : techniques and applications
Realization and comparison of various mesh refinement strategies near edges
Formal specification and verification : structures and techniques
DFT-Filterbanks with Spectral Refinement and its Comparison with Polyphase Filterbanks
Abstraction refinement techniques for software model checking
Refinement techniques in software engineering : revised lectures
Formal model refinement : from specification to implementation
A review of a posteriori error estimation and adaptive mesh refinement techniques
Refinement and implementation techniques for Abstract State Machines
Refinement and implementation techniques for abstract state machines
New techniques for abstraction refinement
Formal Specification and Rule-Based Refinement of Software Components
Formal specification : techniques and applications
Realization and comparison of various mesh refinement strategies near edges
Formal specification and verification : structures and techniques
DFT-Filterbanks with Spectral Refinement and its Comparison with Polyphase Filterbanks
Abstraction refinement techniques for software model checking
Refinement techniques in software engineering : revised lectures
Formal model refinement : from specification to implementation
A review of a posteriori error estimation and adaptive mesh refinement techniques
Refinement and implementation techniques for Abstract State Machines
Refinement and implementation techniques for abstract state machines
New techniques for abstraction refinement
Formal Specification and Rule-Based Refinement of Software Components
Formal specification : techniques and applications
Realization and comparison of various mesh refinement strategies near edges
Formal specification and verification : structures and techniques
DFT-Filterbanks with Spectral Refinement and its Comparison with Polyphase Filterbanks
Abstraction refinement techniques for software model checking
Refinement techniques in software engineering : revised lectures
Formal model refinement : from specification to implementation