Refine
Year of publication
- 2004 (160) (remove)
Institute
- Fachbereich Wirtschaftswissenschaften (33)
- Fachbereich Maschinenbau und Mechatronik (19)
- Fachbereich Bauingenieurwesen (18)
- Fachbereich Elektrotechnik und Informationstechnik (16)
- Fachbereich Gestaltung (14)
- Fachbereich Energietechnik (10)
- Fachbereich Medizintechnik und Technomathematik (10)
- ZHQ - Bereich Hochschuldidaktik und Evaluation (10)
- Fachbereich Chemie und Biotechnologie (7)
- Fachbereich Luft- und Raumfahrttechnik (7)
Language
- German (160) (remove)
Document Type
- Article (83)
- Book (28)
- Conference Proceeding (15)
- Report (6)
- Lecture (5)
- Part of a Book (4)
- Doctoral Thesis (4)
- Patent (4)
- Study Thesis (4)
- Other (2)
Keywords
Mein Gott bist du gut
(2004)
-----
(2004)
Stahlbau
(2004)
Computerorientierte Lösung von Stabilitäts¬problemen im Bauwesen / Kindmann, R. ; Laumann, J.
(2004)
Applications of Graph Transformations with Industrial Relevance Lecture Notes in Computer Science, 2004, Volume 3062/2004, 90-105, DOI: 10.1007/978-3-540-25959-6_7 In this paper we discuss how tools for conceptual design in civil engineering can be developed using graph transformation specifications. These tools consist of three parts: (a) for elaborating specific conceptual knowledge (knowledge engineer), (b) for working out conceptual design results (architect), and (c) automatic consistency analyses which guarantee that design results are consistent with the underlying specific conceptual knowledge. For the realization of such tools we use a machinery based on graph transformations. In a traditional PROGRES tool specification the conceptual knowledge for a class of buildings is hard-wired within the specification. This is not appropriate for the experimentation platform approach we present in this paper, as objects and relations for conceptual knowledge are due to many changes, implied by evaluation of their use and corresponding improvements. Therefore, we introduce a parametric specification method with the following characteristics: (1) The underlying specific knowledge for a class of buildings is not fixed. Instead, it is built up as a data base by using the knowledge tools. (2) The specification for the architect tools also does not incorporate specific conceptual knowledge. (3) An incremental checker guarantees whether a design result is consistent with the current state of the underlying conceptual knowledge (data base).