Hochschulschrift
Formal Specification and Rule-Based Refinement of Software Components
- Weitere Titel
-
Formale Spezifikation und regelbasierte Verfeinerung von Software-Komponenten
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Technische Universität Berlin, Habil.-Schr., 2006
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Technische Universität Berlin
- (wann)
-
2006
- Urheber
-
Padberg, Julia
- Beteiligte Personen und Organisationen
-
Ehrig, Hartmut
- URN
-
urn:nbn:de:kobv:83-opus-12658
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
2025-08-15T07:37:29+0200
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
- Padberg, Julia
- Ehrig, Hartmut
- Technische Universität Berlin
Entstanden
- 2006
Ähnliche Objekte (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 systems for leadership style selection
Rule-based systems: a granular computing perspective
ALC: automated reduction of rule-based models
Adapting Stochastic Output for Rule-Based Semantics
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 systems for leadership style selection
Rule-based systems: a granular computing perspective
ALC: automated reduction of rule-based models
Adapting Stochastic Output for Rule-Based Semantics
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 systems for leadership style selection
Rule-based systems: a granular computing perspective
ALC: automated reduction of rule-based models