Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 383 for “"Software Systems"”.
-
Emergent software systems
Contemporary software systems often have millions of lines of code that interact over complex infrastructures. The development of such systems is very challenging due to the increasing complexity of services and the high level of dynamism of current operating environments. In order to support the …
-
Reengineering real-time software systems
… real- time applications implemented without software engineering (SE) attributes; with poor modularity and robustness, and that are difficult to read and maintain. The real-time system chosen for this study was the Model-based Mobile robot Language (MML) used on the Yamabico- 11 mobile robot, …
-
Power laws in software systems
… of my PhD has been the study of power laws in software systems within the perspective of describing software quality. My PhD research contributes to a recent stream of studies in software engineering, where the investigation of power laws in software systems has become widely popular in recent …
-
Efficiently bootstrapping extreme scale software systems
… can be executed in parallel, on large computer systems. In pursuit of solving ever larger problems in a more timely manner, the number of nodes in these large computer systems have grown to extremely large scales. All of the extreme-scale-software systems that run on these …
-
Feature Interactions in Configurable Software Systems
Software has become an important part of our life. Therefore, the number of different applications scenarios and user requirements of software systems grows rapidly. To satisfy these requirements, software vendors build configurable software systems that can be tailored to diverse needs without …
-
Software systems for a DNA sequencer
… and implementation of two of the machine's software components. The first is a prototype application for the control of a robot used to automate sample loading. The second is a software filter that allows us to generate quality scores from data processed by Trout using Phred. I present the …
-
Software systems for power and energy conservation
… conservation has happened at the hardware level. Software needs to be equally responsible for power conservation. For instance, mobile cloud computing is used to offload compute intensive tasks that affect a mobile device's battery. Mobile ad-hoc computing can be used as an alternative to mobile …
-
Evolutionary environmental modelling in self-managing software systems
… increasing richness and sophistication of modem software systems has challenged conventional design-time software modelling analysis and has led to a number of studies exploring non-conventional approaches particularly those inspired by nature. The natural world routinely produces organisms that …
-
Software Systems for Automated Manufacturing of Engineered Organisms
… organisms at very large scales. Automation systems are often employed at these large scales to manage and execute laboratory operations. A current challenge in the field is how to automate organism engineering during the discovery phase of research when experimental failure rates are high …
-
Testing advanced transactions in service-based software systems
… is to detect possible faults or failures in software systems that rely on WS transactions. To that purpose, we present the Framework for Testing Transactions (F2T) which has been designed and developed for testing WS transactions. F2T has been devised to organize all the concepts involving in …
-
Modular Verification of Hierarchical Component-Based Software Systems
Using Component-based Software Engineering approaches with Formal Methods has seen an influx of interest in the recent decades. The joining of these two disciplines have been stifled though due to unclear component specifications and expensive formal verification techniques, which hurt the …
-
Secure virtual architecture: security for commodity software systems
Commodity operating systems are entrusted with providing security to the applications we use everyday, and yet they suffer from the same security vulnerabilities as user-space applications: they are susceptible to memory safety attacks such as buffer overflows, and they can be tricked into …
-
Modeling and engineering software systems using Petri networks
A model of software applications for business process management based on colored Petri Networks is proposed and the corresponding application development process is exposed. A language is proposed to specify the enabling rules of the transitions. An algorithm to solve the binding problem is …
-
Analysis and Enforcement of Properties in Software Systems
… approaches to ensure the safety and security of software systems are often labor intensive and error prone. Furthermore, they focus primarily on functional correctness of the software code while ignoring micro-architectural details of the underlying processor, such as cache and speculative …
-
Dependency Detection and Migration in Software Systems and Libraries
Software systems must change over time or risk becoming obsolete, but direct changes can impact dependent functionality. Software developers perform change impact analysis and redress using automated tools to identify dependency relationships affected by change, and to recommend adaptations. …
-
Study of scrum framework usage in non-software systems
The Agile Software development methodologies have changed the way software products and services are delivered in a continuous manner. Some of these Agile Software Development methodologies have been very successful in increasing the pace of innovation and raising the productivity at workplace. But …
Page 1 of 20