3514 search results - page 454 / 703 » Evolving Specification Engineering |
178
click to vote
KBSE
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
183
click to vote
WOSP
2005
ACM
16 years 5 days ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
132
click to vote
CAISE
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we are trying to clarify, with the aid of some semiotic notions, the confusions that lie around the widely used terms “analysis model” and “design model” in s...
180
click to vote
ICSE
2005
IEEE-ACM
16 years 3 days ago
2005
IEEE-ACM
This report addresses some of our observations made in a dozen of projects in the area of software testing, and more specifically, in automated testing. It documents, analyzes and...
172
click to vote
IUI
2003
ACM
15 years 12 months ago
2003
ACM
Embodied agents present ongoing challenging agenda for research in multi-modal user interfaces and humancomputer-interaction. Such agent metaphors will only be widely applicable t...