1376 search results - page 51 / 276 » Model-Driven Software Verification |
125
Voted
BELL
2000
15 years 2 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
124
Voted
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
86
Voted
FASE
2001
Springer
15 years 7 months ago
2001
Springer
105
Voted
ICST
2010
IEEE
15 years 17 days ago
2010
IEEE
121
Voted
EWSA
2004
Springer
15 years 8 months ago
2004
Springer
This paper proposes a development methodology for distributed applications based on the principles and concepts of the Model-Driven Architecture (MDA). The paper identifies phases ...