585 search results - page 71 / 117 » Structured Formal Development in Isabelle |
111
click to vote
EACL
2003
ACL Anthology
15 years 2 months ago
2003
ACL Anthology
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...
118
click to vote
ASE
2006
15 years 1 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
107
click to vote
CJ
2006
15 years 1 months ago
2006
s the development of an abstract description of what there is in the world in an application-independent form. This paper argues that attempts to support information systems intero...
184
click to vote
Book
"The term “design patterns” sounds a bit formal to the uninitiated and
can be somewhat off-putting when you first encounter it. But, in fact, design
patterns are just co...
80
Voted
WWW
2008
ACM
16 years 2 months ago
2008
ACM
In this paper we examine 1) the scope of geo-ontologies used especially for the purposes of information retrieval on the Web, 2) the core geographical concepts and their mutual re...