Hochschulschrift
Formal Specification and Rule-Based Refinement of Software Components
- Alternative title
-
Formale Spezifikation und regelbasierte Verfeinerung von Software-Komponenten
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Berlin, Technische Universität Berlin, Habil.-Schr., 2006
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Technische Universität Berlin
- (when)
-
2006
- Creator
-
Padberg, Julia
- Contributor
-
Ehrig, Hartmut
- URN
-
urn:nbn:de:kobv:83-opus-12658
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:37 AM 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
- Padberg, Julia
- Ehrig, Hartmut
- Technische Universität Berlin
Time of origin
- 2006
Other Objects (12)
Rule-based geometric modelling
Rule-based transformation of cell complexes
Lumpability abstractions of rule-based systems
Logics for rule-based configuration systems
Specification, annotation, visualization and simulation of a large rule-based model for ERBB receptor signaling
Why rule-based monitoring is (still) great
Bootstrapping polarity classifiers with rule-based classification
Rule-based maintenance of post-requirements traceability
Rule-based model extraction from source code
Rule-based systems for leadership style selection
Rule-based systems: a granular computing perspective
ALC: automated reduction of rule-based models
Rule-based geometric modelling
Rule-based transformation of cell complexes
Lumpability abstractions of rule-based systems
Logics for rule-based configuration systems
Specification, annotation, visualization and simulation of a large rule-based model for ERBB receptor signaling
Why rule-based monitoring is (still) great
Bootstrapping polarity classifiers with rule-based classification
Rule-based maintenance of post-requirements traceability
Rule-based model extraction from source code
Rule-based systems for leadership style selection
Rule-based systems: a granular computing perspective
ALC: automated reduction of rule-based models
Rule-based geometric modelling
Rule-based transformation of cell complexes
Lumpability abstractions of rule-based systems
Logics for rule-based configuration systems
Specification, annotation, visualization and simulation of a large rule-based model for ERBB receptor signaling
Why rule-based monitoring is (still) great
Bootstrapping polarity classifiers with rule-based classification
Rule-based maintenance of post-requirements traceability
Rule-based model extraction from source code
Rule-based systems for leadership style selection
Rule-based systems: a granular computing perspective