Search
Now showing items 41-50 of 2316
Choquet-Monge-Ampère classes
(Springer Nature, 2017)
We introduce and study Choquet-Monge-Ampère classes on compact Kähler manifolds. They consist of quasi-plurisubharmonic functions whose sublevel sets have small enough asymptotic Monge-Ampère capacity. We compare them with ...
MOO: An architectural framework for runtime optimization of multiple system objectives in embedded control software
(Elsevier, 2013-10)
Today's complex embedded systems function in varying operational conditions. The control software adapts several control variables to keep the operational state optimal with respect to multiple objectives. There exist ...
Automated refinement of models for model-based testing using exploratory testing
(Springer International Publishing, 2017-09)
Model-based testing relies on models of the system under test to automatically generate test cases. Consequently, the effectiveness of the generated test cases depends on models. In general, these models are created manually, ...
Optimizing decomposition of software architecture for local recovery
(Springer Science+Business Media, 2013-06)
The increasing size and complexity of software systems has led to an amplified number of potential failures and as such makes it harder to ensure software reliability. Since it is usually hard to prevent all the failures, ...
Availability analysis of software architecture decomposition alternatives for local recovery
(2017)
We present an efficient and easy-to-use methodology to predict—at design time—the availability of systems that support local recovery. Our analysis techniques work at the architectural level, where the software designer ...
Feature-based rationale management system for supporting software architecture adaptation
(World Scientific Publishing Co., 2012-11)
Each software architecture design is the result of a broad set of design decisions and their justifications, that is, the design rationale. Capturing the design rationale is important for a variety of reasons such as ...
Reproducing failures based on semiformal failure scenario descriptions
(Springer International Publishing, 2017)
Due to the increasing size and complexity of software systems, it becomes hard to test these systems exhaustively. As a result, some faults can be left undetected. Undetected faults can lead to failures in deployed systems. ...
Identifying critical architectural components with spectral analysis of fault trees
(Elsevier, 2016-12)
We increasingly rely on software-intensive embedded systems. Increasing size and complexity of these hardware/software systems makes it necessary to evaluate reliability at the system architecture level. One aspect of this ...
Model-based testing of digital TVs: an industry-as-laboratory approach
(Springer Science+Business Media, 2017-12)
Model-based testing is a promising approach for increasing the efficiency of the testing process and for improving software quality. It has been employed in the industry for more than a decade. Nevertheless, there are still ...
Integrated static code analysis and runtime verification
(Wiley, 2015-10)
Static code analysis tools automatically generate alerts for potential software faults that can lead to failures. However, these tools usually generate a very large number of alerts, some of which are subject to false ...
Share this page
