Consistency checking in an infrastructure for large-scale generative programming

Download full text files

  • 44840.pdfeng
    (278KB)

    Postprint. © 2004 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:A. Rauschmayer, Alexander KnappORCiDGND, Martin Wirsing
URN:urn:nbn:de:bvb:384-opus4-448405
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/44840
ISBN:0769521312OPAC
Parent Title (English):Proceedings, 19th International Conference on Automated Software Engineering 2004, 24-24 September 2004, Linz, Austria
Publisher:IEEE
Place of publication:Los Alamitos, CA
Editor:Bob Werner
Type:Part of a Book
Language:English
Year of first Publication:2004
Publishing Institution:Universität Augsburg
Release Date:2018/12/14
First Page:238
Last Page:247
DOI:https://doi.org/10.1109/ase.2004.1342741
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Professur für die Grundlagen des Software & Systems Engineering
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):Deutsches Urheberrecht