@article{KraftNagl2007,
  author    = {Kraft, Bodo and Nagl, Manfred},
  title     = {Visual Knowledge Specification for Conceptual Design: Definition and Tool Support},
  year      = {2007},
  abstract  = {In: Advanced Engineering Informatics. Vol 21, Issue 1, 2007, Pages 67-83 http://dx.doi.org/10.1016/j.aei.2006.10.001 eds. J.C. Kunz, I.F.C. Smith and T. Tomiyama, Elsevier, Seite 1-22 Current CAD tools are not able to support the conceptual design phase, and none of them provides a consistency analysis for sketches produced by architects. This phase is fundamental and crucial for the whole design and construction process of a building. To give architects a better support, we developed a CAD tool for conceptual design and a knowledge specification tool. The knowledge is specific to one class of buildings and it can be reused. Based on a dynamic and domain-specific knowledge ontology, different types of design rules formalize this knowledge in a graph-based form. An expressive visual language provides a user-friendly, human readable representation. Finally, a consistency analysis tool enables conceptual designs to be checked against this formal conceptual knowledge. In this article, we concentrate on the knowledge specification part. For that, we introduce the concepts and usage of a novel visual language and describe its semantics. To demonstrate the usability of our approach, two graph-based visual tools for knowledge specification and conceptual design are explained.},
  subject      = {CAD},
  language  = {en}
}
@inproceedings{HeerRedkowitzKraft2008,
  author    = {Heer, Thomas and Redkowitz, Daniel and Kraft, Bodo},
  title     = {Tool Support for the Integration of Light-Weight Ontologies},
  isbn      = {978-3-642-00670-8},
  year      = {2008},
  abstract  = {Abstract of the authors: In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task of merging several ontologies, covering specific subdomains, into one united ontology has to be solved. Many approaches for ontology integration aim at automating the process of ontology alignment. However, a complete automation is not feasible, and user interaction is always required. Nevertheless, most ontology integration tools offer only very limited support for the interactive part of the integration process. In this paper, we present a novel approach for the interactive integration of ontologies. The result of the ontology integration is incrementally updated after each definition of a correspondence between ontology elements. The user is guided through the ontologies to be integrated. By restricting the possible user actions, the integrity of all defined correspondences is ensured by the tool we developed. We evaluated our tool by integrating different regulations concerning building design.},
  subject      = {Ontologie <Wissensverarbeitung>},
  language  = {de}
}
@article{StaatBallmann1988,
  author    = {Staat, Manfred and Ballmann, J.},
  title     = {Computation of impacts on elastic solids by methods of bicharacteristics},
  series = {Computational Mechanics '88 : theory and applications ; proceedings of the International Conference on Computational Engineering Science April 10-14, 1988, Atlanta, GA, USA ; vol. 2},
  journal   = {Computational Mechanics '88 : theory and applications ; proceedings of the International Conference on Computational Engineering Science April 10-14, 1988, Atlanta, GA, USA ; vol. 2},
  pages     = {1719 -- 1722},
  year      = {1988},
  abstract  = {Shock waves, explosions, impacts or cavitation bubble collapses may generate stress waves in solids causing cracks or unexpected dammage due to focussing, physical nonlinearity or interaction with existing cracks. There is a growing interest in wave propagation, which poses many novel problems to experimentalists and theorists.},
  subject      = {Bicharakteristikenverfahren},
  language  = {en}
}
@inproceedings{StaatSzelinskiHeitzer2001,
  author    = {Staat, Manfred and Szelinski, E. and Heitzer, Michael},
  title     = {Kollapsanalyse von l{\"a}ngsfehlerbehafteten Rohren und Beh{\"a}ltern},
  year      = {2001},
  abstract  = {Es werden verbesserte Kollapsanalysen von dickwandigen, mit axialen Oberfl{\"a}chenfehlern behafteten Rohren und Beh{\"a}ltern vorgeschlagen.},
  subject      = {Druckbeh{\"a}lter},
  language  = {de}
}
@inproceedings{StaatTranPham2008,
  author    = {Staat, Manfred and Tran, Thanh Ngoc and Pham, Phu Tinh},
  title     = {Limit and shakedown reliability analysis by nonlinear programming},
  year      = {2008},
  abstract  = {7th International Conference on Reliability of Materials and Structures (RELMAS 2008). June 17 - 20, 2008 ; Saint Petersburg, Russia. pp 354-358. Reprint with corrections in red Introduction Analysis of advanced structures working under extreme heavy loading such as nuclear power plants and piping system should take into account the randomness of loading, geometrical and material parameters. The existing reliability are restricted mostly to the elastic working regime, e.g. allowable local stresses. Development of the limit and shakedown reliability-based analysis and design methods, exploiting potential of the shakedown working regime, is highly needed. In this paper the application of a new algorithm of probabilistic limit and shakedown analysis for shell structures is presented, in which the loading and strength of the material as well as the thickness of the shell are considered as random variables. The reliability analysis problems may be efficiently solved by using a system combining the available FE codes, a deterministic limit and shakedown analysis, and the First and Second Order Reliability Methods (FORM/SORM). Non-linear sensitivity analyses are obtained directly from the solution of the deterministic problem without extra computational costs.},
  subject      = {Finite-Elemente-Methode},
  language  = {en}
}
@inproceedings{TranPhamStaat2008,
  author    = {Tran, Thanh Ngoc and Pham, Phu Tinh and Staat, Manfred},
  title     = {Reliability analysis of shells based on direct plasticity methods},
  year      = {2008},
  abstract  = {Abstracts der CD-Rom Proceedings of the 8th World Congress on Computational Mechanics (WCCM8) and 5th Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2008) 30.06. - 04.07.2008 Venedig, Italien. 2 Seiten Zusammenfassung der Autoren mit graph. Darst. und Literaturverzeichnis},
  subject      = {Finite-Elemente-Methode},
  language  = {en}
}
@inproceedings{HeitzerStaat2000,
  author    = {Heitzer, M. and Staat, Manfred},
  title     = {Direct FEM approach to design-by-analysis of pressurized components},
  year      = {2000},
  abstract  = {Abstracts of the ACHEMA 2000 - International Meeting on Chemical Engineering, Environmental Protection and Biotechnology, May 22 - 27, 2000. Frankfurt am Main. Achema 2000 : special edition / Linde. [Ed.: Linde AG. Red.: Volker R. Leski]. - Wiesbaden : Linde AG, 2000. - 56 p. : Ill., . - pp: 79 - 81},
  subject      = {Finite-Elemente-Methode},
  language  = {en}
}
@inproceedings{StaatHeitzerHicken1998,
  author    = {Staat, Manfred and Heitzer, M. and Hicken, E. F.},
  title     = {LISA, ein europ{\"a}isches Projekt zur direkten Berechnung der Tragf{\"a}higkeit duktiler Strukturen},
  year      = {1998},
  abstract  = {Traglast- und Einspielanalysen sind vereinfachte doch exakte Verfahren der Plastizit{\"a}t, die neben ausreichender Verformbarkeit keine einschr{\"a}nkenden Voraussetzungen beinhalten. Die Vereinfachungen betreffen die Beschaffung der Daten und Modelle f{\"u}r Details der Lastgeschichte und des Stoffverhaltens. Anders als die klassische Behandlung nichtlinearer Probleme der Strukturmechanik f{\"u}hrt die Methode auf Optimierungsprobleme. Diese sind bei realistischen FEM-Modellen sehr groß. Das hat die industrielle Anwendung der Traglast- und Einspielanalysen stark verz{\"o}gert. Diese Situation wird durch das Brite-EuRam Projekt LISA grundlegend ge{\"a}ndert. Die Autoren m{\"o}chten der Europ{\"a}ischen Kommission an dieser Stelle f{\"u}r die F{\"o}rderung ausdr{\"u}cklich danken. In LISA entsteht auf der Basis des industriellen FEM-Programms PERMAS ein Verfahren zur direkten Berechnung der Tragf{\"a}higkeit duktiler Strukturen. Damit kann der Betriebsbereich von Komponenten und Bauwerken auf den plastischen Bereich erweitert werden, ohne den Aufwand gegen{\"u}ber elastischen Analysen wesentlich zu erh{\"o}hen. Die beachtlichen Rechenzeitgewinne erlauben Parameterstudien und die Berechnung von Interaktionsdiagrammen, die einen schnellen {\"U}berblick {\"u}ber m{\"o}gliche Betriebsbereiche vermitteln. Es zeigt sich, daß abh{\"a}ngig von der Komponente und ihren Belastungen teilweise entscheidende Sicherheitsgewinne zur Erweiterung der Betriebsbereiche erzielt werden k{\"o}nnen. Das Vorgehen erfordert vom Anwender oft ein gewisses Umdenken. Es werden keine Spannungen berechnet, um damit Sicherheit und Lebensdauer zu interpretieren. Statt dessen berechnet man direkt die gesuchte Sicherheit. Der Post-Prozessor wird nur noch zur Modell- und Rechenkontrolle ben{\"o}tigt. Das Vorgehen ist {\"a}nhlich der Stabilit{\"a}tsanalyse (Knicken, Beulen). Durch namhafte industrielle Projektpartner werden Validierung und die Anwendbarkeit auf eine breite Palette technischer Probleme garantiert. Die ebenfalls in LISA geplante Zuverl{\"a}ssigkeitsanalyse ist erst auf der Basis direkter Verfahren effektiv m{\"o}glich. Ohne Traglast- und Einspielanalyse ist plastische Strukturoptimierung auch heute kaum durchf{\"u}hrbar.},
  subject      = {Finite-Elemente-Methode},
  language  = {de}
}
@inproceedings{StaatHeitzer1997,
  author    = {Staat, Manfred and Heitzer, Michael},
  title     = {Direkte FEM-Berechnung der Tragf{\"a}higkeit hochbeanspruchter passiver Komponenten},
  year      = {1997},
  abstract  = {Genaue Kenntnis der Spannungen und Verformungen in passiven Komponenten gewinnt man mit detailierten inelastischen FEM Analysen. Die lokale Beanspruchung l{\"a}ßt sich aber nicht direkt mit einer Beanspruchbarkeit im strukturmechanischen Sinne vergleichen. Konzentriert man sich auf die Frage nach der Tragf{\"a}higkeit, dann vereinfacht sich die Analyse. Im Rahmen der Plastizit{\"a}tstheorie berechnen Traglast- und Einspielanalyse die tragbaren Lasten direkt und exakt. In diesem Beitrag wird eine Implementierung der Traglast- und Einspiels{\"a}tze in ein allgemeines FEM Programm vorgestellt, mit der die Tragf{\"a}higkeit passiver Komponenten direkt berechnet wird. Die benutzten Konzepte werden in Bezug auf die {\"u}bliche Strukturanalyse erl{\"a}utert. Beispiele mit lokal hoher Beanspruchung verdeutlichen die Anwendung der FEM basierten Traglast- und Einspielanalysen. Die berechneten Interaktionsdiagramme geben einen guten {\"U}berblick {\"u}ber die m{\"o}glichen Betriebsbereiche passiver Komponenten. Die Traglastanalyse bietet auch einen strukturmechanischen Zugang zur Kollapslast rißbehafteter Komponenten aus hochz{\"a}hem Material.},
  subject      = {Finite-Elemente-Methode},
  language  = {de}
}
@inproceedings{StaatHeitzer1997,
  author    = {Staat, Manfred and Heitzer, Michael},
  title     = {Limit and shakedown analysis for plastic design},
  year      = {1997},
  abstract  = {Limit and shakedown theorems are exact theories of classical plasticity for the direct computation of safety factors or of the load carrying capacity under constant and varying loads. Simple versions of limit and shakedown analysis are the basis of all design codes for pressure vessels and pipings. Using Finite Element Methods more realistic modeling can be used for a more rational design. The methods can be extended to yield optimum plastic design. In this paper we present a first implementation in FE of limit and shakedown analyses for perfectly plastic material. Limit and shakedown analyses are done of a pipe-junction and a interaction diagram is calculated. The results are in good correspondence with the analytic solution we give in the appendix.},
  subject      = {Einspielen <Werkstoff>},
  language  = {en}
}
@inproceedings{LangWirtzHeitzeretal.1999,
  author    = {Lang, H. and Wirtz, K. and Heitzer, Michael and Staat, Manfred and Oettel, R.},
  title     = {Zyklische Einspielversuche zur Verifikation von Shakedown-Analysen mittels FEM},
  year      = {1999},
  abstract  = {Im Rahmen von Erm{\"u}dungsanalysen ist nachzuweisen, daß die thermisch bedingten fortschreitenden Deformationen begrenzt bleiben. Hierzu ist die Abgrenzung des Shakedown-Bereiches (Einspielen) vom Ratchetting-Bereich (fortschreitende Deformation) von Interesse. Im Rahmen eines EU-gef{\"o}rderten Forschungsvorhabens wurden Experimente mit einem 4-Stab-Modell durchgef{\"u}hrt. Das Experiment bestand aus einem wassergek{\"u}hlten inneren Rohr und drei isolierten und beheizbaren {\"a}ußeren Probest{\"a}ben. Das System wurde durch alternierende Axialkr{\"a}fte, denen alternierende Temperaturen an den {\"a}ußeren St{\"a}ben {\"u}berlagert wurden, belastet. Die Versuchsparameter wurden teilweise nach vorausgegangenen Einspielanalysen gew{\"a}hlt. W{\"a}hrend der Versuchsdurchf{\"u}hrung wurden Temperaturen und Dehnungen zeitabh{\"a}ngig gemessen. Begleitend und nachfolgend zur Versuchsdurchf{\"u}hrung wurden die Belastungen und die daraus resultierenden Beanspruchungen nachvollzogen. Bei dieser inkrementellen elasto-plastischen Analyse mit dem Programm ANSYS wurden unterschiedliche Werkstoffmodelle angesetzt. Die Ergebnisse dieser Simulationsberechnung dienen dazu, die Shakedown-Analysen mittels FE-Methode zu verifizieren.},
  subject      = {Einspielen <Werkstoff>},
  language  = {de}
}
@inproceedings{StaatHeitzerHicken1999,
  author    = {Staat, Manfred and Heitzer, Michael and Hicken, E. F.},
  title     = {LISA - ein europ{\"a}isches Projekt zur FEM-basierten Traglast- und Einspielanalyse},
  year      = {1999},
  abstract  = {Traglast- und Einspielanalysen sind vereinfachte doch exakte Verfahren der Plastizit{\"a}t, die neben ausreichender Verformbarkeit keine einschr{\"a}nkenden Voraussetzungen beinhalten. Die Vereinfachungen betreffen die Beschaffung der Daten und Modelle f{\"u}r Details der Lastgeschichte und des Stoffverhaltens. Anders als die klassische Behandlung nichtlinearer Probleme der Strukturmechanik f{\"u}hrt die Methode auf Optimierungsprobleme. Diese sind bei realistischen FEM-Modellen sehr groß. Das hat die industrielle Anwendung der Traglast- und Einspielanalysen stark verz{\"o}gert. Diese Situation wird durch das Brite-EuRam Projekt LISA grundlegend ge{\"a}ndert. In LISA entsteht auf der Basis des industriellen FEM-Programms PERMAS ein Verfahren zur direkten Berechnung der Tragf{\"a}higkeit duktiler Strukturen. Damit kann der Betriebsbereich von Komponenten und Bauwerken auf den plastischen Bereich erweitert werden, ohne den Aufwand gegen{\"u}ber elastischen Analysen wesentlich zu erh{\"o}hen. Die beachtlichen Rechenzeitgewinne erlauben Parameterstudien und die Berechnung von Interaktionsdiagrammen, die einen schnellen {\"U}berblick {\"u}ber m{\"o}gliche Betriebsbereiche vermitteln. Es zeigt sich, daß abh{\"a}ngig von der Komponente und ihren Belastungen teilweise entscheidende Sicherheitsgewinne zur Erweiterung der Betriebsbereiche erzielt werden k{\"o}nnen. Das Vorgehen erfordert vom Anwender oft ein gewisses Umdenken. Es werden keine Spannungen berechnet, um damit Sicherheit und Lebensdauer zu interpretieren. Statt dessen berechnet man direkt die gesuchte Sicherheit. Der Post-Prozessor wird nur noch zur Modell- und Rechenkontrolle ben{\"o}tigt. Das Vorgehen ist {\"a}hnlich der Stabilit{\"a}tsanalyse (Knicken, Beulen). Durch namhafte industrielle Projektpartner werden Validierung und die Anwendbarkeit auf eine breite Palette technischer Probleme garantiert. Die ebenfalls in LISA entwickelten Zuverl{\"a}ssigkeitsanalysen sind nichlinear erst auf der Basis direkter Verfahren effektiv m{\"o}glich. Ohne Traglast- und Einspielanalyse ist plastische Strukturoptimierung auch heute kaum durchf{\"u}hrbar. Auf die vorgesehenen Erweiterungen der Werkstoffmodellierung f{\"u}r nichtlineare Verfestigung und f{\"u}r Sch{\"a}digung konnte hier nicht eingegangen werden. Es herrscht ein deutlicher Mangel an Experimenten zum Nachweis der Grenzen zwischen elastischem Einspielen und dem Versagen durch LCF oder durch Ratchetting.},
  subject      = {Einspielen <Werkstoff>},
  language  = {de}
}
@inproceedings{StaatHeitzerReindersetal.2001,
  author    = {Staat, Manfred and Heitzer, Michael and Reinders, H. and Schubert, F.},
  title     = {Einspielen und Ratchetting bei Zug- und Torsionsbelastung: Analyse und Experimente},
  year      = {2001},
  abstract  = {Traglast- und Einspielanalysen sind vereinfachte doch exakte Verfahren der klassischen Plastizit{\"a}tstheorie, die neben ausreichender Verformbarkeit keine einschr{\"a}nkenden Voraussetzungen beinhalten. Die Vereinfachungen betreffen die Beschaffung der Daten und Modelle f{\"u}r Details der Lastgeschichte und des Stoffverhaltens. Eine FEM-basierte Traglast- und Einspielanalyse f{\"u}r ideal plastisches Material wurde auf ein kinematisch verfestigendes Materialgesetz erweitert und in das Finite Element Programm PERMAS implementiert. In einem einfachen Zug-Torsionsexperiment wurde eine Hohlprobe mit konstanter Torsion und zyklischer Zugbelastung beansprucht, um die neue Implementierung zu verifizieren. Es konnte gezeigt werden, dass die Einspielanalyse gut mit den experimentellen Ergebnissen {\"u}bereinstimmt. Bei Verfestigung lassen sich wesentlich gr{\"o}ßere Sicherheiten nachweisen. Dieses Potential bedarf weiterer experimenteller Absicherung. Parallel dazu ist die Eisnpieltheorie auf fortschrittliche Verfestigungsans{\"a}tze zu erweitern.},
  subject      = {Zug-Druck-Beanspruchung},
  language  = {de}
}
@inproceedings{KernDikta2009,
  author    = {Kern, Alexander and Dikta, Gerhard},
  title     = {Probability of damage of electrical and electronic systems due to indirect lightning flashes - investigation of data from German insurance companies},
  year      = {2009},
  abstract  = {In the presented paper data collected from the field related to damage statistics of electrical and electronic apparatus in household are reported and investigated. These damages (total number approx. 74000 cases), registered by five German insurance companies in 2005 and 2006, were adviced by customers as caused by lightning overvoltages. With the use of stochastical methods it is possible, to reasses the collected data and to distinguish between cases, which are with high probability caused by lightning overvoltages, and those, which are not. If there was an indication for a direct strike, this case was excluded, so the focus was only on indirect lightning flashes, i.e. only flashes to ground near the structure and flashes to or nearby an incoming service line were investigated. The data from the field contain the location of damaged apparatus (residence of the policy holder) and the distances of the nearest cloud-to-ground stroke to the location of the damage registered by the German lightning location network BLIDS at the date of damage. The statistical data along with some complementary numerical simulations allow to verify the correspondence of the Standards rules used for IEC 62305-2 with the field data and to define some correction needs. The results could lead to a better understanding whether a damage reported to an insurance company is really caused by indirect lightning, or not.},
  subject      = {Blitzschutz},
  language  = {en}
}
@inproceedings{BallmannRaatschenStaat1985,
  author    = {Ballmann, J. and Raatschen, Hans-J{\"u}rgen and Staat, Manfred},
  title     = {High stress intensities in focussing zones of waves},
  doi       = {10.1016/B978-0-444-42520-1.50015-3},
  year      = {1985},
  abstract  = {The propagation of mechanical waves in plates of isotropic elastic material is investigated. After a short introduction to the understanding of focussing of stress waves in a plate with a curved boundary the method of characteristics is applied to a plate of hyperelastic material. Using this method the propagation of acceleration waves is discussed. Based on this a numerical difference scheme is developed for solving initial-boundary-value problems and applied to two examples: propagation of a point disturbance in a homogeneously finitely strained non-linear elastic plate and geometrical focussing in al linear elastic plate.},
  subject      = {Technische Mechanik},
  language  = {en}
}
@inproceedings{SchoeningAbdelghani2009,
  author    = {Sch{\"o}ning, Michael Josef and Abdelghani, Adnane},
  title     = {Advancements in Nanotechnology and Microelectronics (ANM '09) <2009, Tunisia>: Proceedings book ; Tunisia, November, 13 \& 14, 2009 / Humboldt Kolleg. Ed. by Michael J. Sch{\"o}ning ; Adnane Abdelghani},
  organization    = {Humboldt-Kolleg Advancements in Nanotechnology and Microelectronics (ANM '09) <2009, Tunisia>},
  url       = {http://nbn-resolving.de/urn:nbn:de:hbz:a96-opus-3113},
  year      = {2009},
  abstract  = {The ANM'09 multi-disciplinary scientific program includes topics in the fields of "Nanotechnology and Microelectronics" ranging from "Bio/Micro/Nano Materials and Interfacing" aspects, "Chemical and Bio-Sensors", "Magnetic and Superconducting Devices", "MEMS and Microfluidics" over "Theoretical Aspects, Methods and Modelling" up to the important bridging "Academics meet Industry".},
  subject      = {Nanopartikel},
  language  = {en}
}
@inproceedings{KraftMeyerNagl2002,
  author    = {Kraft, Bodo and Meyer, Oliver and Nagl, Manfred},
  title     = {Graph technology support for conceptual design in civil engineering},
  isbn      = {3-18-318004-9},
  year      = {2002},
  abstract  = {In: Advances in intelligent computing in engineering : proceedings of the 9.International EG-ICE Workshop ; Darmstadt, (01 - 03 August) 2002 / Martina Schnellenbach-Held ... (eds.) . - D{\"u}sseldorf: VDI-Verl., 2002 .- Fortschritt-Berichte VDI, Reihe 4, Bauingenieurwesen ; 180 ; S. 1-35 The paper describes a novel way to support conceptual design in civil engineering. The designer uses semantical tools guaranteeing certain internal structures of the design result but also the fulfillment of various constraints. Two different approaches and corresponding tools are discussed: (a) Visually specified tools with automatic code generation to determine a design structure as well as fixing various constraints a design has to obey. These tools are also valuable for design knowledge specialist. (b) Extensions of existing CAD tools to provide semantical knowledge to be used by an architect. It is sketched how these different tools can be combined in the future. The main part of the paper discusses the concepts and realization of two prototypes following the two above approaches. The paper especially discusses that specific graphs and the specification of their structure are useful for both tool realization projects.},
  subject      = {CAD},
  language  = {en}
}
@inproceedings{KraftNagl2003,
  author    = {Kraft, Bodo and Nagl, Manfred},
  title     = {Support of Conceptual Design in Civil Engineering by Graph-based Tools},
  year      = {2003},
  abstract  = {WS GTaD-2003 - The 1st Workshop on Graph Transformations and Design ed Grabska, E., Seite 6-7, Jagiellonian University Krakow. 2 pages},
  subject      = {CAD},
  language  = {de}
}
@inproceedings{KraftNagl2004,
  author    = {Kraft, Bodo and Nagl, Manfred},
  title     = {Parameterized specification of conceptual design tools in civil engineering},
  year      = {2004},
  abstract  = {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).},
  subject      = {CAD},
  language  = {de}
}
@inproceedings{Kraft2004,
  author    = {Kraft, Bodo},
  title     = {Conceptual design tools for civil engineering},
  year      = {2004},
  abstract  = {Applications of Graph Transformations with Industrial Relevance Lecture Notes in Computer Science, 2004, Volume 3062/2004, 434-439, DOI: http://dx.doi.org/10.1007/978-3-540-25959-6_33 This paper gives a brief overview of the tools we have developed to support conceptual design in civil engineering. Based on the UPGRADE framework, two applications, one for the knowledge engineer and another for architects allow to store domain specific knowledge and to use this knowledge during conceptual design. Consistency analyses check the design against the defined knowledge and inform the architect if rules are violated.},
  subject      = {CAD},
  language  = {en}
}