803 search results - page 41 / 161 » Building Formal Models for Software Requirements |
119
Voted
JUCS
2008
15 years 1 months ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
132
click to vote
ENTCS
2006
15 years 1 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
115
Voted
ENTCS
2007
15 years 1 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
140
Voted
QOSA
2007
Springer
15 years 8 months ago
2007
Springer
: Modern society relies heavily on complex software systems for everyday activities. Dependability of these systems thus has become a critical feature that determines which product...
125
click to vote
IJCAI
2007
15 years 3 months ago
2007
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...