326 search results - page 37 / 66 » Logical Engineering with Instance-Based Methods |
104
Voted
KBSE
2005
IEEE
15 years 6 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...
107
click to vote
SEFM
2003
IEEE
15 years 5 months ago
2003
IEEE
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
150
click to vote
FATES
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
95
Voted
APSEC
2006
IEEE
15 years 6 months ago
2006
IEEE
Testing for time-related behaviors of PLC software is important and should be performed carefully. We propose a structural testing technique on Function Block Diagram(FBD) network...
81
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...