Sökning: "Automatic Software Engineering"

Visar resultat 6 - 10 av 111 avhandlingar innehållade orden Automatic Software Engineering.

1. 6. Efficient Automatic Change Detection in Software Maintenance and Evolutionary Processes

   Författare :Sebastian Hönel; Morgan Ericsson; Welf Löwe; Anna Wingkvist; Přemek Brada; Linnéuniversitetet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Software Maintenance; Software Evolution; Effort Estimation; Commit Classification; Computer Science; Datavetenskap; Software Technology; Programvaruteknik;

   Sammanfattning : Software maintenance is such an integral part of its evolutionary process that it consumes much of the total resources available. Some estimate the costs of maintenance to be up to 100 times the amount of developing a software. LÄS MER

3. 7. Cyber-Physical Engineering of Distributed Automation Systems in Energy Domain

   Författare :Chen-Wei Yang; Valeriy Vyatkin; Evgeny Osipov; Nirmal Nair; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

   Sammanfattning : The main focus of this thesis is in the domain of Energy Systems, specifically in the engi-neering of modern Smart Grid (SG) automation systems. The SG has been categorizedas a Cyber-Physical System (CPS), a complex system which exhibits tight integration between the cyber and the physical processes and their interactions in a networked envi-ronment. LÄS MER

4. 8. On Formal Methods for Large-Scale Product Configuration

   Författare :Alexey Voronov; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; constraint satisfaction; knowledge compilation; Boolean satisfiability; supervisory control theory; product configuration;

   Sammanfattning : In product development companies mass customization is widely used to achieve better customer satisfaction while keeping costs down. To efficiently implement mass customization, product platforms are often used. A product platform allows building a wide range of products from a set of predefined components. LÄS MER

5. 9. A Model-driven Development Approach with Temporal Awareness for Vehicular Embedded Systems

   Författare :Alessio Bucaioni; Mikael Sjödin; Matthias Tichy; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

   Sammanfattning : Considering the ubiquitousness of software in modern vehicles, its increased value and development cost, an efficient software development became of paramount importance for the vehicular domain. It has been identified that early verification of non functional properties of  vehicular embedded software such as, timing, reliability and safety, is crucial to efficiency. LÄS MER

7. 10. Towards Automated Support for the Co-Evolution of Meta-Models and Grammars

   Författare :Weixing Zhang; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Blended Modeling; Co-Evolution; Systematic Literature Review; Grammar Optimization; Xtext; Blended Modeling; Systematic Literature Review; Xtext; Grammar Optimization; Co-Evolution;

   Sammanfattning : Blended modeling is an emerging paradigm involving seamless interaction between multiple notations for the same underlying modeling language. We focus on a model-driven engineering (MDE) approach based on meta-models to develop textual languages to improve the blended modeling capabilities of modeling tools. LÄS MER