Sciweavers

3 search results - page 1 / 1
» Verification Algorithm of Evidence Life Cycles in Extended U...
Sort
View
ICSEA
2007
IEEE
13 years 11 months ago
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noria...
ECMDAFA
2005
Springer
130views Hardware» more  ECMDAFA 2005»
13 years 10 months ago
Control Flow Analysis of UML 2.0 Sequence Diagrams
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
Vahid Garousi, Lionel C. Briand, Yvan Labiche
RE
2010
Springer
12 years 11 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis