Verification of Architectural Refactorings: Rule Extraction and Tool Support
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Electronic Communications of the EASST- ECEASST ; 16/01
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Technische Universität Berlin
- (wann)
-
2011
- Urheber
-
Bisztray, Dénes
Heckel, Reiko
Ehrig, Hartmut
- URN
-
urn:nbn:de:kobv:83-opus-31274
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:54 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.
Beteiligte
- Bisztray, Dénes
- Heckel, Reiko
- Ehrig, Hartmut
- Technische Universität Berlin
Entstanden
- 2011
Ähnliche Objekte (12)
Rule extraction from support vector machines : with 51 tables
Towards rule interchange and rule verification
Verification of business rules programs
Learning : rule extraction and representation
Semantic extraction for the automatic verification of VHDL descriptions
Architectural support for scientific applications on multicomputers
Rule-based model extraction from source code
Complement extraction lexical rules and argument attraction
Extraction, fixed costs and the hotelling rule
Extraction, fixed costs and the hotelling rule
Conjoining Gestalt rules for abstraction of architectural drawings
Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
Rule extraction from support vector machines : with 51 tables
Towards rule interchange and rule verification
Verification of business rules programs
Learning : rule extraction and representation
Semantic extraction for the automatic verification of VHDL descriptions
Architectural support for scientific applications on multicomputers
Rule-based model extraction from source code
Complement extraction lexical rules and argument attraction
Extraction, fixed costs and the hotelling rule
Extraction, fixed costs and the hotelling rule
Conjoining Gestalt rules for abstraction of architectural drawings
Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
Rule extraction from support vector machines : with 51 tables
Towards rule interchange and rule verification
Verification of business rules programs
Learning : rule extraction and representation
Semantic extraction for the automatic verification of VHDL descriptions
Architectural support for scientific applications on multicomputers
Rule-based model extraction from source code
Complement extraction lexical rules and argument attraction
Extraction, fixed costs and the hotelling rule
Extraction, fixed costs and the hotelling rule
Conjoining Gestalt rules for abstraction of architectural drawings