5252 search results - page 381 / 1051 » Requirements engineering: a roadmap |
197
click to vote
VMCAI
2004
Springer
16 years 28 days ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
183
click to vote
APSEC
2003
IEEE
16 years 26 days ago
2003
IEEE
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
182
click to vote
COMPSAC
2003
IEEE
16 years 26 days ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
194
click to vote
COMPSAC
2003
IEEE
16 years 26 days ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
210
Voted
EDOC
2003
IEEE
16 years 26 days ago
2003
IEEE
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...