2403 search results - page 392 / 481 » Using the WinWin Spiral Model: A Case Study |
CRITIS
2007
15 years 1 months ago
2007
Much of the world's critical infrastructure is at risk from attack through electronic networks connected to control systems. Security metrics are important because they provid...
DAGSTUHL
2003
15 years 28 days ago
2003
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...
ECMDAFA
2010
Springer
14 years 11 months ago
2010
Springer
Reuse is an important means of reducing costs and effort during the development of complex software systems. A major challenge is to find suitable components in a large library wit...
ESE
2006
14 years 11 months ago
2006
UML and UML-based development methods have become de facto standards in industry, and there are many claims for the positive effects of modelling object-oriented systems using meth...
100
click to vote
JALC
2006
14 years 11 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...