1251 search results - page 151 / 251 » A Method for Component-Based Software and System Development |
143
Voted
AIME
2007
Springer
15 years 9 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
119
click to vote
FASE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
156
click to vote
KBSE
2000
IEEE
15 years 7 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
157
Voted
CCE
2006
15 years 3 months ago
2006
Sensitivity analysis generates essential information for model development, design optimization, parameter estimation, optimal control, model reduction and experimental design. In...
133
Voted
INFFUS
2002
15 years 3 months ago
2002
The security of computer networks plays a strategic role in modern computer systems. In order to enforce high protection levels against threats, a number of software tools have be...