334 search results - page 16 / 67 » Structured Formalization of Service-Oriented Specifications |
100
click to vote
COLING
1996
15 years 1 months ago
1996
Automatic compilation of the linking relation employed in certain parsing algorithms for context-free languages is examined. Special problems arise in the extension of these algor...
ENTCS
2000
14 years 11 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
103
click to vote
FM
2006
Springer
15 years 3 months ago
2006
Springer
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
122
click to vote
SEW
2005
IEEE
15 years 5 months ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
117
click to vote
GI
2009
Springer
14 years 9 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...