3799 search results - page 347 / 760 » An Engineering Approach to Formal Methods |
206
click to vote
SOCO
1998
Springer
15 years 6 months ago
1998
Springer
The development of formal models of spatial relations is a topic of great importance in spatial reasoning, geographic information systems (GIS) and computer vision, and has gained ...
183
Voted
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
220
click to vote
PADL
2005
Springer
16 years 8 days ago
2005
Springer
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
167
click to vote
FMSD
2006
15 years 6 months ago
2006
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...
175
click to vote
CSCWD
2005
Springer
15 years 8 months ago
2005
Springer
We propose an analytic method to evaluate groupware design. The method was inspired by GOMS, a well-known approach to analyze usability problems with single-user interfaces. GOMS h...