4340 search results - page 417 / 868 » Formal Methods and Cryptography |
194
click to vote
FM
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
170
click to vote
FMCO
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
181
click to vote
FMCO
2003
Springer
16 years 1 days ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
167
click to vote
FORMATS
2003
Springer
16 years 1 days ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
169
click to vote
ICFCA
2010
Springer
15 years 12 months ago
2010
Springer
This paper discusses results from an experimental study of concept neighbourhoods in WordNet and Roget’s Thesaurus. The general aim of this research is to determine ways in which...