Elaborating Security Requirements by Construction of Intentional Anti-Models
van Lamsweerde, Axel
International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004, 2004, p.148-157Washington, DC, USA: IEEE Computer Society
Texto completo disponível