@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{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{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} } @inproceedings{KraftNagl2003, author = {Kraft, Bodo and Nagl, Manfred}, title = {Semantic tool support for conceptual design}, year = {2003}, abstract = {ITCE-2003 - 4th Joint Symposium on Information Technology in Civil Engineering ed Flood, I., Seite 1-12, ASCE (CD-ROM), Nashville, USA In this paper we discussed graph based tools to support architects during the conceptual design phase. Conceptual Design is defined before constructive design; the used concepts are more abstract. We develop two graph based approaches, a topdown using the graph rewriting system PROGRES and a more industrially oriented approach, where we extend the CAD system ArchiCAD. In both approaches, knowledge can be defined by a knowledge engineer, in the top-down approach in the domain model graph, in the bottom-up approach in the in an XML file. The defined knowledge is used to incrementally check the sketch and to inform the architect about violations of the defined knowledge. Our goal is to discover design error as soon as possible and to support the architect to design buildings with consideration of conceptual knowledge.}, subject = {CAD}, language = {en} } @inproceedings{KraftWilhelms2004, author = {Kraft, Bodo and Wilhelms, N.}, title = {Interactive distributed knowledge support for conceptual building design}, isbn = {3-86068-213-X}, year = {2004}, abstract = {In: Net-distributed Co-operation : Xth International Conference on Computing in Civil and Building Engineering, Weimar, June 02 - 04, 2004 ; proceedings / [ed. by Karl Beuke ...] . - Weimar: Bauhaus-Univ. Weimar 2004. - 1. Aufl. . Seite 1-14 ISBN 3-86068-213-X International Conference on Computing in Civil and Building Engineering <10, 2004, Weimar> Summary In our project, we develop new tools for the conceptual design phase. During conceptual design, the coarse functionality and organization of a building is more important than a detailed worked out construction. We identify two roles, first the knowledge engineer who is responsible for knowledge definition and maintenance; second the architect who elaborates the conceptual de-sign. The tool for the knowledge engineer is based on graph technology, it is specified using PROGRES and the UPGRADE framework. The tools for the architect are integrated to the in-dustrial CAD tool ArchiCAD. Consistency between knowledge and conceptual design is en-sured by the constraint checker, another extension to ArchiCAD.}, subject = {CAD}, language = {en} } @inproceedings{KirchhofKraft2004, author = {Kirchhof, M. and Kraft, Bodo}, title = {UML-based modeling of architectural knowledge and design}, year = {2004}, abstract = {IASSE-2004 - 13th International Conference on Intelligent and Adaptive Systems and Software Engineering eds. W. Dosch, N. Debnath, pp. 245-250, ISCA, Cary, NC, 1-3 July 2004, Nice, France We introduce a UML-based model for conceptual design support in civil engineering. Therefore, we identify required extensions to standard UML. Class diagrams are used for elaborating building typespecific knowledge: Object diagrams, implicitly contained in the architect's sketch, are validated against the defined knowledge. To enable the use of industrial, domain-specific tools, we provide an integrated conceptual design extension. The developed tool support is based on graph rewriting. With our approach architects are enabled to deal with semantic objects during early design phase, assisted by incremental consistency checks.}, subject = {UML}, language = {en} } @inproceedings{KraftSchneider2005, author = {Kraft, Bodo and Schneider, Gerd}, title = {Semantic Roomobjects for Conceptual Design Support : A Knowledge-based Approach}, isbn = {978-1-4020-3460-2}, year = {2005}, abstract = {In: Computer Aided Architectural Design Futures 2005 2005, Part 4, 207-216, DOI: http://dx.doi.org/10.1007/1-4020-3698-1_19 The conceptual design at the beginning of the building construction process is essential for the success of a building project. Even if some CAD tools allow elaborating conceptual sketches, they rather focus on the shape of the building elements and not on their functionality. We introduce semantic roomobjects and roomlinks, by way of example to the CAD tool ArchiCAD. These extensions provide a basis for specifying the organisation and functionality of a building and free architects being forced to directly produce detailed constructive sketches. Furthermore, we introduce consistency analyses of the conceptual sketch, based on an ontology containing conceptual relevant knowledge, specific to one class of buildings.}, subject = {CAD}, language = {en} } @inproceedings{KraftWilhelms2005, author = {Kraft, Bodo and Wilhelms, Nils}, title = {Visual Knowledge Specification for Conceptual Design}, year = {2005}, abstract = {Proc. of the 2005 ASCE Intl. Conf. on Computing in Civil Engineering (ICCC 2005) eds. L. Soibelman und F. Pena-Mora, Seite 1-14, ASCE (CD-ROM), Cancun, Mexico, 2005 Current CAD tools are not able to support the fundamental conceptual design phase, and none of them provides consistency analyses of sketches produced by architects. To give architects a greater support at the conceptual design phase, we develop a CAD tool for conceptual design and a knowledge specification tool allowing the definition of conceptually relevant knowledge. The knowledge is specific to one class of buildings and can be reused. Based on a dynamic knowledge model, different types of design rules formalize the knowledge in a graph-based realization. An expressive visual language provides a user-friendly, human readable representation. Finally, consistency analyses enable conceptual designs to be checked against this defined knowledge. In this paper we concentrate on the knowledge specification part of our project.}, subject = {CAD}, language = {en} } @inproceedings{KraftRetkowitz2006, author = {Kraft, Bodo and Retkowitz, Daniel}, title = {Rule-Dependencies for Visual Knowledge Specification in Conceptual Design}, year = {2006}, abstract = {In: Proc. of the 11th Intl. Conf. on Computing in Civil and Building Engineering (ICCCBE-XI) ed. Hugues Rivard, Montreal, Canada, Seite 1-12, ACSE (CD-ROM), 2006 Currently, the conceptual design phase is not adequately supported by any CAD tool. Neither the support while elaborating conceptual sketches, nor the automatic proof of correctness with respect to effective restrictions is currently provided by any commercial tool. To enable domain experts to store the common as well as their personal domain knowledge, we develop a visual language for knowledge formalization. In this paper, a major extension to the already existing concepts is introduced. The possibility to define rule dependencies extends the expressiveness of the knowledge definition language and contributes to the usability of our approach.}, subject = {CAD}, language = {en} } @article{KraftNobisrathSalumaaetal.2004, author = {Kraft, Bodo and Nobisrath, Ulrich and Salumaa, Priit and Schultchen, Erhard}, title = {Fujaba based Tool Development for eHome Systems / Nobisrath, Ulrich ; Salumaa, Priit ; Schultchen, Erhard ; Kraft, Bodo}, series = {Electronic Notes in Theoretical Computer Science. 127 (2004), H. 1}, journal = {Electronic Notes in Theoretical Computer Science. 127 (2004), H. 1}, isbn = {1571-0661}, pages = {89 -- 99}, year = {2004}, language = {en} } @article{KraftHeerRetkowitz2008, author = {Kraft, Bodo and Heer, Thomas and Retkowitz, Daniel}, title = {Algorithm and Tool for Ontology Integration Based on Graph Rewriting / Heer, Thomas ; Retkowitz, Daniel ; Kraft, Bodo}, series = {Applications of Graph Transformations with Industrial Relevance / Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers}, journal = {Applications of Graph Transformations with Industrial Relevance / Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers}, isbn = {978-3-540-89019-5}, pages = {577 -- 582}, year = {2008}, language = {en} } @article{KraftHeerRetkowitz2008, author = {Kraft, Bodo and Heer, Thomas and Retkowitz, Daniel}, title = {Incremental Ontology Integration / Heer, Thomas ; Retkowitz, Daniel ; Kraft, Bodo}, series = {Proceedings of the 10th International Conference on Enterprise Information Systems : Barcelona, Spain, June 12 - 16, 2008 / organized by INSTICC, Institute for Systems and Technologies of Information, Control and Communication ... [Ed. by Jos{\´e} Cordeiro ...]}, journal = {Proceedings of the 10th International Conference on Enterprise Information Systems : Barcelona, Spain, June 12 - 16, 2008 / organized by INSTICC, Institute for Systems and Technologies of Information, Control and Communication ... [Ed. by Jos{\´e} Cordeiro ...]}, publisher = {INSTICC}, address = {Setubal}, pages = {13 -- 28}, year = {2008}, language = {en} } @inproceedings{SchreiberHirtbachKraftetal.2013, author = {Schreiber, Marc and Hirtbach, Stefan and Kraft, Bodo and Steinmetzler, Andreas}, title = {Software in the city: visual guidance through large scale software projects}, series = {Software Engineering 2013 : Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar-1. M{\"a}rz 2013 in Aachen. (GI-Edition ; 213)}, booktitle = {Software Engineering 2013 : Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar-1. M{\"a}rz 2013 in Aachen. (GI-Edition ; 213)}, editor = {Kowalewski, Stefan}, publisher = {Ges. f{\"u}r Informatik}, address = {Bonn}, isbn = {978-3-88579-607-7 ; 978-3-88579-609-1}, pages = {213 -- 224}, year = {2013}, language = {en} } @inproceedings{SchreiberBarkschatKraft2014, author = {Schreiber, Marc and Barkschat, Kai and Kraft, Bodo}, title = {Using Continuous Integration to organize and monitor the annotation process of domain specific corpora}, series = {5th International Conference on Information and Communication Systems (ICICS) : 1-3 April 2014, Irbid, Jordanien}, booktitle = {5th International Conference on Information and Communication Systems (ICICS) : 1-3 April 2014, Irbid, Jordanien}, organization = {International Conference on Information and Communication Systems <5, 2014, Irbid, Jordanien>}, isbn = {978-1-4799-3022-7}, doi = {10.1109/IACS.2014.6841958}, pages = {1 -- 6}, year = {2014}, language = {en} } @article{SchreiberBarkschatKraftetal.2015, author = {Schreiber, Marc and Barkschat, Kai and Kraft, Bodo and Z{\"u}ndorf, Albert}, title = {Quick Pad Tagger : An Efficient Graphical User Interface for Building Annotated Corpora with Multiple Annotation Layers}, series = {Computer Science \& Information Technology (CS \& IT)}, volume = {5}, journal = {Computer Science \& Information Technology (CS \& IT)}, number = {4}, publisher = {Academy \& Industry Research Collaboration Center (AIRCC)}, isbn = {978-1-921987-32-8}, issn = {2231 - 5403}, doi = {10.5121/csit.2015.50413}, pages = {131 -- 143}, year = {2015}, language = {en} } @inproceedings{SchreiberKraftZuendorf2016, author = {Schreiber, Marc and Kraft, Bodo and Z{\"u}ndorf, Albert}, title = {Cost-efficient quality assurance of natural language processing tools through continuous monitoring with continuous integration}, series = {3rd International Workshop on Software Engineering Research and Industrial Practice}, booktitle = {3rd International Workshop on Software Engineering Research and Industrial Practice}, doi = {10.1145/2897022.2897029}, pages = {46 -- 52}, year = {2016}, language = {en} } @inproceedings{SchreiberKraftZuendorf2017, author = {Schreiber, Marc and Kraft, Bodo and Z{\"u}ndorf, Albert}, title = {Metrics Driven Research Collaboration: Focusing on Common Project Goals Continuously}, series = {39th International Conference on Software Engineering, May 20-28, 2017 - Buenos Aires, Argentina}, booktitle = {39th International Conference on Software Engineering, May 20-28, 2017 - Buenos Aires, Argentina}, pages = {8 Seiten}, year = {2017}, abstract = {Research collaborations provide opportunities for both practitioners and researchers: practitioners need solutions for difficult business challenges and researchers are looking for hard problems to solve and publish. Nevertheless, research collaborations carry the risk that practitioners focus on quick solutions too much and that researchers tackle theoretical problems, resulting in products which do not fulfill the project requirements. In this paper we introduce an approach extending the ideas of agile and lean software development. It helps practitioners and researchers keep track of their common research collaboration goal: a scientifically enriched software product which fulfills the needs of the practitioner's business model. This approach gives first-class status to application-oriented metrics that measure progress and success of a research collaboration continuously. Those metrics are derived from the collaboration requirements and help to focus on a commonly defined goal. An appropriate tool set evaluates and visualizes those metrics with minimal effort, and all participants will be pushed to focus on their tasks with appropriate effort. Thus project status, challenges and progress are transparent to all research collaboration members at any time.}, language = {en} } @inproceedings{SchreiberKraftZuendorf2017, author = {Schreiber, Marc and Kraft, Bodo and Z{\"u}ndorf, Albert}, title = {Metrics driven research collaboration: focusing on common project goals continuously}, series = {Proceedings : 2017 IEEE/ACM 4th International Workshop on Software Engineering Research and Industrial Practice : SER\&IP 2017 : 21 May 2017 Buenos Aires, Argentina}, booktitle = {Proceedings : 2017 IEEE/ACM 4th International Workshop on Software Engineering Research and Industrial Practice : SER\&IP 2017 : 21 May 2017 Buenos Aires, Argentina}, editor = {Bilof, Randall}, publisher = {IEEE Press}, address = {Piscataway, NJ}, isbn = {978-1-5386-2797-6}, doi = {10.1109/SER-IP.2017..6}, pages = {41 -- 47}, year = {2017}, language = {en} } @misc{NobisrathZuendorfGeorgeetal.2017, author = {Nobisrath, Ulrich and Z{\"u}ndorf, Albert and George, Tobias and Ruben, Jubeh and Kraft, Bodo}, title = {Software Stories Guide}, pages = {21}, year = {2017}, abstract = {Software Stories are a simple graphical notation for requirements analysis and design in agile software projects. Software Stories are based on example scenarios. Example scenarios facilitate the communication between lay people or domain experts and software experts.}, language = {en} } @inproceedings{SchmidtsBoltesKraftetal.2017, author = {Schmidts, Oliver and Boltes, Maik and Kraft, Bodo and Schreiber, Marc}, title = {Multi-pedestrian tracking by moving Bluetooth-LE beacons and stationary receivers}, series = {2017 International Conference on Indoor Positioning and Indoor Navigation (IPIN), 18-21 September 2017, Sapporo, Japan}, booktitle = {2017 International Conference on Indoor Positioning and Indoor Navigation (IPIN), 18-21 September 2017, Sapporo, Japan}, pages = {1 -- 4}, year = {2017}, language = {en} }