• English
    • svenska
  • English 
    • English
    • svenska
  • Login
Search 
  •   Home
  • IT Faculty / IT-fakulteten
  • Search
  •   Home
  • IT Faculty / IT-fakulteten
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-10 of 64

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Model-Based Engineering for Embedded Systems in Practice 

Marko, Nadja; Liebel, Grischa; Sauter, Daniel; Lodwich, Aleksander; Tichy, Matthias; Leitner, Andrea; Hansson, Jörgen (2014-11-18)
Model-Based Engineering (MBE) aims at increasing the e↵ectiveness of engineering by using models as key artifacts in the development process. While empirical studies on the use and the e↵ects of MBE in industry generally ...
Thumbnail

Understanding Software Design for Creating Better Design Environments 

Jolak, Rodi (Chalmers University of Technology and Göteborg University, 2017)
Context: Software design is considered an essential activity to analyze software requirements in order to produce a description of the software's internal structure that will serve as the basis for its construction. Models ...
Thumbnail

Literacypraktiker i det digitaliserade klassrummet 

Molin, Lisa (2016)
Thumbnail

Results from Two Controlled Experiments on the Effect of Using Requirement Diagrams on the Requirements Comprehension 

Scanniello, Giuseppe; Staron, Miroslaw; Burden, Håkan; Heldal, Rogardt (University of Gothenburg, 2013-04-02)
We carried out a controlled experiment and an external replication to investigate whether the use of requirement diagrams of the SysML (System Modeling Language) helps in the comprehensibility of requirements. The ...
Thumbnail

Qualitative and Quantitative Assessment of Integration Testing for Model-Based Software in the Automotive Industry 

Schröder, Jan (2016)
Background: Integration testing of vehicle software in the automotive industry relies heavily on simulation models. As they replicate actual vehicle functions in the testing process, they increase in size and amount of ...
Thumbnail

Empowering Empirical Research in Software Design: Construction and Studies on a Large-Scale Corpus of UML Models 

Truong, Ho-Quang (2019-09-18)
Context: In modern software development, software modeling is considered to be an essential part of the software architecture and design activities. The Unified Modeling Language (UML) has become the de facto standard for ...
Thumbnail

Proactive Software Complexity Assessment 

Antinyan, Vard (2017-10-16)
Large software development companies primarily deliver value to their customers by continuously enhancing the functionality of their products. Continuously developing software for customers insures the enduring success of ...
Thumbnail

The Value of Social Media: What Social Networking Sites Afford Organizations 

Zaffar, Fahd Omair (2018-05-21)
Social media are a phenomenon that has quickly become deeply rooted in the mechanics of our everyday lives, dramatically changing how we interact and collaborate with family, peers, and society. Meanwhile, organizations ...
Thumbnail

Playing for Togetherness - Designing for Interaction Rituals through Gaming 

Bergström, Karl (2012-04-11)
can design facilitate togetherness through games? Seeing the outcomes of a successful interaction ritual – positive emotional energy and a sense of group solidarity – as the main components of the togetherness of games, ...
Thumbnail

Sheaf Semantics in Constructive Algebra and Type Theory 

Mannaa, Bassel (2016-10-06)
In this thesis we present two applications of sheaf semantics. The first is to give constructive proof of Newton-Puiseux theorem. The second is to show the independence of Markov's principle from type theory. In the ...
  • 1
  • 2
  • 3
  • 4
  • . . .
  • 7

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CommunityBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Discover

AuthorStaron, Miroslaw (3)Tichy, Matthias (3)Burden, Håkan (2)Camilleri, John J. (2)Hansson, Jörgen (2)Heldal, Rogardt (2)Karlsson, Göran (2)Liebel, Grischa (2)Ponti, Marisa (2)Akram, Asif (1)... View MoreSubjectSoftware Engineering (5)Software Modeling (3)UML (3)contract analysis (2)controlled natural language (2)design (2)Digital Innovation (2)digital service innovation (2)Empirical Research (2)model checking (2)... View MoreDate Issued2015 (11)2017 (10)2012 (7)2014 (7)2016 (6)2019 (6)2010 (5)2011 (5)2018 (4)2013 (3)Has File(s)Yes (64)

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV