1141 search results - page 20 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
182
click to vote
ICONS
2009
IEEE
16 years 18 days ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
131
click to vote
AOSD
2004
ACM
15 years 11 months ago
2004
ACM
It is generally accepted that early determination of the stakeholder requirements assists in the development of systems that better meet the needs of those stakeholders. General s...
173
click to vote
ECMDAFA
2007
Springer
16 years 3 days ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
143
click to vote
HICSS
2007
IEEE
16 years 8 days ago
2007
IEEE
We propose a framework for constructing secure systems at the architectural level. This framework is composed of an implementation-oriented formalization of a system’s architect...
185
Voted
JUCS
2000
15 years 5 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...