4340 search results - page 128 / 868 » Formal Methods and Cryptography |
126
click to vote
IEE
2008
15 years 4 months ago
2008
: Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as pa...
111
click to vote
ZUM
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
134
Voted
ADAEUROPE
2001
Springer
15 years 8 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
128
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
152
click to vote
ECOOPW
1998
Springer
15 years 7 months ago
1998
Springer
In method-based software development, software engineers create artifacts based on the heuristic rules of the adopted method. Most CASE tools, however, do not actively assist soft...