Hochschulschrift
Characterization and comparison of formal refinement and development relations for software modeling techniques
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Berlin, Techn. Univ., Diss., 2004
- Classification
-
Informatik
- Keyword
-
Softwareentwicklung
Softwarespezifikation
Formale Semantik
Verfeinerung
Relation
Formale Methode
- Creator
- URN
-
urn:nbn:de:kobv:83-opus-7354
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:47 PM CET
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
Other Objects (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