Sciweavers

15155 search results - page 205 / 3031
» System Software
Sort
View
KBSE
2008
IEEE
16 years 24 days ago
Automated Mapping from Goal Models to Self-Adaptive Systems
Self-adaptive systems should autonomously adapt at run time to changes in their operational environment, guided by the goals assigned by their stakeholders. We present a tool that...
Mirko Morandini, Loris Penserini, Anna Perini
185
Voted
SIGSOFT
2010
ACM
15 years 4 months ago
From requirements to partial behavior models: an iterative approach to incremental specification refinement
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
Ivo Krka
SIGSOFT
2004
ACM
16 years 7 months ago
Making embedded software reuse practical and safe
Reuse of application software has been limited and sometimes has led to accidents. This paper suggests some requirements for successful and safe application software reuse and dem...
Nancy G. Leveson, Kathryn Anne Weiss
HASE
1998
IEEE
15 years 10 months ago
Software Component Independence
Independence is a fundamental requirement for calculating system reliability from component reliabilities, whether in hardware or software systems. Markov analysis is often used i...
Denise M. Woit, David V. Mason
ISSRE
2005
IEEE
15 years 12 months ago
A Novel Method for Early Software Quality Prediction Based on Support Vector Machine
The software development process imposes major impacts on the quality of software at every development stage; therefore, a common goal of each software development phase concerns ...
Fei Xing, Ping Guo, Michael R. Lyu