1141 search results - page 19 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
163
click to vote
ICECCS
2007
IEEE
15 years 9 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
149
click to vote
FORTE
1996
15 years 7 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
178
click to vote
ER
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...
178
click to vote
DAWAK
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Data warehouses (DW) main objective is to facilitating decisionmaking. Thus their development has to take into account DW project actor requirements. While much recent re...
160
click to vote
COMPSAC
2007
IEEE
16 years 8 days ago
2007
IEEE
Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, ...