Search for dissertations about: "automating"

Showing result 21 - 25 of 94 swedish dissertations containing the word automating.

  2. 21. Machine Learning-Based Bug Handling in Large-Scale Software Development

    Author : Leif Jonsson; Kristian Sandahl; David Broman; Martin Shepperd; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; machine learning; bug reports; large scale software development;

    Abstract : This thesis investigates the possibilities of automating parts of the bug handling process in large-scale software development organizations. The bug handling process is a large part of the mostly manual, and very costly, maintenance of software systems. READ MORE

  4. 22. Structures for supporting BIM-based automation in the design process

    Author : Jani Mukkavaara; Thomas Olofsson; Gustav Jansson; Marcus Sandberg; Fredrik Elgh; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; BIM; Automation; Distributed System; Information; Structures; Byggproduktion och teknik; Construction Management and Building Technology;

    Abstract : During recent decades the advent of IT in the construction industry has prompted a gradual shift from manual paper-based processes to computer-aided design and production. In this shift there has been an increasing interest in the application of building information modelling (BIM) for the overall management of information throughout the lifecycle of a building. READ MORE

  5. 23. Theory Exploration and Inductive Theorem Proving

    Author : Dan Rosén; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : We have built two state-of-the-art inductive theorem provers named HipSpec and Hipster. The main issue when automating proofs by induction is to discover essential helper lemmas. Our theorem provers use the technique theory exploration, which is a method to systematically discover interesting conclusions about a mathematical theory. READ MORE

  6. 24. XML-based frameworks for Internet commerce and an implementation of B2B e-procurement

    Author : Yuxiao Zhao; Kristian Sandahl; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; E-commerce; XML; ebXML; eCo Framework; UDDI; SOAP; BizTalk; cXML; ICE; Open Applications Group; RosettaNet; Wf-XML; OFX; VoiceXML; RDF; WSDL and xCBL; B2B e-procurement system; Computer science; Datavetenskap;

    Abstract : It is not easy to apply XML in e-commerce development for achieving interoperability in heterogeneous environments. One of the reasons is a multitude of XML-based Frameworks for Internet Commerce (XFIC), or industrial standards. This thesis surveys 15 frameworks, i.e. READ MORE

  7. 25. A Mutation-based Framework for Automated Testing of Timeliness

    Author : Robert Nilsson; Sten F. Andler; Michael G. Hinchey; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Automated Testing; Timeliness; Real-time systems; Time constraints; Model-based; Mutation testing; Computer science; Datalogi;

    Abstract : A problem when testing timeliness of event-triggered real-time systems is that response times depend on the execution order of concurrent tasks. Conventional testing methods ignore task interleaving and timing and thus do not help determine which execution orders need to be exercised to gain confidence in temporal correctness. READ MORE