Sciweavers

3 search results - page 1 / 1
» Verification Algorithm of Evidence Life Cycles in Extended U...
Sort
View
ICSEA
2007
IEEE
16 years 4 days 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»
15 years 11 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
15 years 17 days 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