16 search results - page 2 / 4 » Providing Highly Automated and Generic Means for Software De... |
ISICT
2003
13 years 7 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
EUROMICRO
2009
IEEE
13 years 10 months ago
2009
IEEE
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
IWSSD
1993
IEEE
13 years 10 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
CIA
2007
Springer
14 years 16 days ago
2007
Springer
Abstract. This paper presents a design of high-performance agentbased intrusion detection system designed for deployment on high-speed network links. To match the speed requirement...
IFIP
1989
Springer
13 years 10 months ago
1989
Springer
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...