8828 search results - page 1350 / 1766 » Formal methods in practice |
175
click to vote
IFL
2007
Springer
16 years 1 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
185
click to vote
IFL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Parser combinators, often monadic, are a venerable and widelyused solution to read data from some external format. However, the capability to return a partial parse has, ...
208
click to vote
MIDDLEWARE
2007
Springer
16 years 1 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
170
click to vote
VAMOS
2007
Springer
16 years 1 months ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...
197
click to vote
WER
2007
Springer
16 years 1 months ago
2007
Springer
Since 1996, the core Use Case Map (UCM) notation has remained remarkably stable. As the structure and intent of workflow and scenario languages are very similar, UCMs have been ap...