Refine
Year of publication
- 2005 (303) (remove)
Document Type
- Article (188)
- Conference Proceeding (37)
- Book (30)
- Lecture (18)
- Part of a Book (12)
- Patent (6)
- Other (3)
- Part of Periodical (3)
- Doctoral Thesis (2)
- Diploma Thesis (1)
- Report (1)
- Study Thesis (1)
- Working Paper (1)
Language
- German (170)
- English (130)
- Portuguese (2)
- Spanish (1)
Keywords
- Rapid Prototyping (6)
- Übungsklausur (5)
- Aachen University of Applied Sciences (3)
- Bauingenieurwesen (3)
- CAD (3)
- Fachhochschule Aachen (3)
- Fertigungsverfahren (3)
- Regelungstechnik (3)
- civil engineering (3)
- Karosseriebau (2)
- Kraftfahrzeugbau (2)
- Lasermesstechnik (2)
- Lasertechnologie (2)
- Rapid prototyping (2)
- Sportwagen (2)
- Studentenprojekt (2)
- Virtuelle Fahrzeugentwicklung (2)
- Werkstoffkunde (2)
- car body construction (2)
- 3D-Printing (1)
Institute
- Fachbereich Medizintechnik und Technomathematik (48)
- Fachbereich Maschinenbau und Mechatronik (43)
- Fachbereich Luft- und Raumfahrttechnik (41)
- Fachbereich Energietechnik (39)
- Fachbereich Wirtschaftswissenschaften (29)
- Fachbereich Elektrotechnik und Informationstechnik (25)
- IfB - Institut für Bioengineering (24)
- Fachbereich Chemie und Biotechnologie (20)
- Fachbereich Bauingenieurwesen (18)
- INB - Institut für Nano- und Biotechnologien (17)
- Fachbereich Architektur (11)
- Solar-Institut Jülich (11)
- Fachbereich Gestaltung (7)
- Nowum-Energy (6)
- Freshman Institute (4)
- ZHQ - Bereich Hochschuldidaktik und Evaluation (4)
- FH Aachen (3)
- Datenverarbeitungszentrale (1)
In: Forum Bauinformatik 2005 : junge Wissenschaftler forschen / [Lehrstuhl Bauinformatik, Brandenburgische Technische Universität Cottbus. Frank Schley ... (Hrsg.)]. - Cottbus : Techn. Universität 2005. S. 1-10 ISBN 3-934934-11-0
Mittels eines operationalen Ansatzes zur Semantikdefinition wird am Bei-spiel des konzeptuellen Gebäudeentwurfs ein Regelsystem formalisiert. Dazu werdenzwei Teile, zum einen das Regelwissen, zum anderen ein konzeptueller Entwurfsplan zunächst informell eingeführt und dann formal beschrieben. Darauf aufbauend wird die Grundlage für eine Konsistenzprüfung des konzeptuellen Entwurfs gegen das Regel-wissen formal angeben