Händelser: Data- och informationsteknikhttp://www.chalmers.se/sv/om-chalmers/kalendariumAktuella händelser på Chalmers tekniska högskolaFri, 14 Feb 2020 13:46:39 +0100http://www.chalmers.se/sv/om-chalmers/kalendariumhttps://www.chalmers.se/sv/institutioner/cse/kalendarium/Sidor/Thesis-Defence-Rodi-Jolak.aspxhttps://www.chalmers.se/sv/institutioner/cse/kalendarium/Sidor/Thesis-Defence-Rodi-Jolak.aspxRodi Jolak, Data- och informationsteknik.<p>Jupiter 243, lecture room, Hörselgången 5, Jupiter</p><p>​Understanding and Supporting Software Design in Model-Based Software Engineering</p><strong>Abstract </strong><br /> Model-Based Software Engineering (MBSE) is a software development approach in which models can serve a multitude of purposes. On the one hand, models can be used for ideation, to stimulate creative thinking, and facilitate communication. On the other hand, models can be used as guidelines for documentation, implementation, and code-generation. There is a discrepancy between empirical findings and developers' beliefs about MBSE. In this research, we address this discrepancy by contributing to the empirical understanding of software design. Moreover, we explore how to better support software design in MBSE. Our endeavor to understand design activities in MBSE resulted in the following: - Creating models while designing prompts significant thinking about the design. - Developers that work on different locations have fewer discussions about design decisions than co-located developers. - In MBSE projects, coordinating and knowledge sharing take more effort than technical engineering activities. - Graphical software design representations (GSD) promote more active discussion of design decisions between developers than textual software design representations (TSD). Also, developers have better recall of design details when using GSD than TSD. In our experience, usability and learning-effort of tools are the most encountered challenges in MBSE. Therefore, we research how to better support the design activities in MBSE by creating two software design environments: OctoUML and OctoBubbles. These tools implement new ways of transitioning from informal- to formal design representations, and novel ways to navigate between implementation-level and design-level in order to ease understanding of systems. Evaluations show enhanced efficiency of the design activities and positive perception of the usability of these environments. https://www.chalmers.se/sv/institutioner/cse/kalendarium/Sidor/Licentiate-Seminar-Claudio-Augustin-Mista.aspxhttps://www.chalmers.se/sv/institutioner/cse/kalendarium/Sidor/Licentiate-Seminar-Claudio-Augustin-Mista.aspxClaudio Augustín Mista, Data- och informationsteknik<p>EA, lecture hall, Hörsalsvägen 11, EDIT trappa C, D och H</p><p>​DRAGEN: Automated Derivation of Random Generators for Algebraic Data Types</p>