Sciweavers

859 search results - page 21 / 172
» Explaining Synthesized Software
Sort
View
TASE
2007
IEEE
14 years 2 months ago
Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems
Fault diagnosis consists in synthesizing a diagnoser that observes a given plant through a set of observable events, and identifies faults which are not observable as soon as pos...
Franck Cassez, Stavros Tripakis, Karine Altisen
KBSE
1998
IEEE
14 years 26 days ago
Developing the Designer's Toolkit with Software Comprehension Models
Cognitive models of software comprehension are potential sources of theoretical knowledge for tool designers. Although their use in analysis of existing tools is fairly wellestabl...
Andrew Walenstein
SPLC
2008
13 years 10 months ago
Valuing Flexibility in Software Product Line Architectures
We highlight some of the challenges in valuing flexibility and investment decisions in Software Product Line Architectures (SPLA). We explain the limitations of traditional approa...
Rami Bahsoon, Wolfgang Emmerich
DATE
2009
IEEE
249views Hardware» more  DATE 2009»
14 years 3 months ago
White box performance analysis considering static non-preemptive software scheduling
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
Alexander Viehl, Michael Pressler, Oliver Bringman...
WICSA
2008
13 years 10 months ago
Evaluating the Software Architecture Competence of Organizations
An organization is architecturally competent if it has the ability to acquire, use and sustain the skills and knowledge necessary to carry out architecture-related practices that ...
Len Bass, Paul C. Clements, Rick Kazman, Mark Klei...