×

Found 3 Documents (Results 1–3)

Model-based security engineering: managed co-evolution of security knowledge and software models. (English) Zbl 1448.68187

Aldini, Alessandro (ed.) et al., Foundations of security analysis and design VII. FOSAD 2012/2013 tutorial lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8604, 34-53 (2014).
MSC:  68M25 68N99
PDFBibTeX XMLCite
Full Text: DOI

Refactoring object-oriented specifications with data and processes. (English) Zbl 1202.68102

Bonsangue, Marcello M. (ed.) et al., Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6–8, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72919-8/pbk). Lecture Notes in Computer Science 4468, 236-251 (2007).
MSC:  68N19 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

Software