1141 search results - page 18 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
155
click to vote
LISP
2002
15 years 5 months ago
2002
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
183
click to vote
ICFCA
2005
Springer
15 years 11 months ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
162
click to vote
IEEEARES
2007
IEEE
2007
IEEE
Using Privacy Process Patterns for Incorporating Privacy Requirements into the System Design Process
16 years 8 days ago
In the online world every person has to hold a number of different data sets so as to be able to have access to various e-services and take part in specific economical and social ...
143
click to vote
ER
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Requirements Engineering techniques, based on the fundamental notions of agency, i.e., Agent, Goal, and Intentional Dependency, have been recognized as having the potenti...
154
click to vote
EUROMICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...