9267 search results - page 88 / 1854 » Expectation-Oriented Analysis and Design |
INFSOF
2007
13 years 8 months ago
2007
Retrofitting security implementations to a released software-intensive system or to a system under development may require significant architectural or coding changes. These late...
CSCW
2002
ACM
13 years 8 months ago
2002
ACM
This paper analyses the collaborative design of a high-technology product, a neuromagnetometer used in the analysis of the activity of the human cortex. The producer, Neuromag Com...
TELSYS
2002
13 years 8 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
SMI
2010
IEEE
13 years 6 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
ICHIT
2009
Springer
13 years 6 months ago
2009
Springer
As the popularity of the internet continues growing, not only change our life, but also change the way of crime. Number of crime by computer as tools, place or target, cases of su...