3425 search results - page 291 / 685 » A Model Driven Approach for Software Systems Reliability |
125
click to vote
CAISE
1997
Springer
15 years 8 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
120
click to vote
VAMOS
2010
Springer
15 years 6 months ago
2010
Springer
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...
126
click to vote
SOCO
2008
Springer
15 years 4 months ago
2008
Springer
Delivering software systems that fulfill all requirements of the stakeholders is very difficult, if not at all impossible. We consider the problem of coping with imperfect informat...
129
click to vote
AUTOMATICA
2005
15 years 4 months ago
2005
This paper examines the problem of estimating linear time-invariant state-space system models. In particular it addresses the parametrization and numerical robustness concerns tha...
SOFSEM
2004
Springer
15 years 10 months ago
2004
Springer
Multiagent software systems are known to exhibit a system-level behavior that rarely can be predicted from the description of individual agents but must be observed in simulation o...