1304 search results - page 32 / 261 » Model-Driven Engineering for Requirements Analysis |
ICSEA
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents an aspect-oriented approach to integrated elicitation of functional and security requirements based on use case-driven development. We identify security threat...
100
click to vote
ASWEC
2009
IEEE
14 years 7 months ago
2009
IEEE
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
SAFECOMP
2009
Springer
15 years 2 months ago
2009
Springer
We present patterns for expressing dependability requirements, such as confidentiality, integrity, availability, and reliability. The paper considers random faults as well as cert...
SCAM
2008
IEEE
15 years 4 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...