• search hit 19 of 25
Back to Result List

Specifying component invariants with OCL

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Rolf Hennicker, Hubert Baumeister, Alexander KnappORCiDGND, Martin Wirsing
URN:urn:nbn:de:bvb:384-opus4-452762
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/45276
Parent Title (German):Informatik 2001: Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit, Tagungsband der GI/OCG-Jahrestagung, Vienna, Austria, September 25-28, 2001
Publisher:UVK-Verlagsgesellschaft
Place of publication:Konstanz
Editor:Kurt Bauknecht, Wilfried Brauer, Thomas Mück
Type:Part of a Book
Language:English
Date of Publication (online):2018/12/14
Year of first Publication:2001
Publishing Institution:Universität Augsburg
Release Date:2019/03/20
Issue:Band 1
First Page:600
Last Page:607
Series:Schriftenreihe der Österreichischen Computer-Gesellschaft ; 157
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