334 search results - page 9 / 67 » Structured Formalization of Service-Oriented Specifications |
82
Voted
NJC
2006
14 years 11 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
CONTEXT
1999
Springer
15 years 4 months ago
1999
Springer
This paper presents the outline of a formal ontology of contexts. More specifically, it deals with the ontology of ecological contexts (niches, habitats, environments, ambients) an...
111
Voted
ICTAC
2009
Springer
14 years 9 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
80
Voted
CSREAESA
2004
15 years 1 months ago
2004
In this paper we present an algorithm for automatic extraction of system behavior from a structural Verilog specification. The algorithm generates a series-parallel poset expressi...
72
Voted
CLIN
2004
15 years 1 months ago
2004
The Minimalist Program (Chomsky 1995