2409 search results - page 78 / 482 » Logical systems for structured specifications |
158
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
We present SHIRI-Annot an automatic ontology-driven and unsupervised approach for the semantic annotation of documents which contain well structured parts and not well structured o...
155
click to vote
JURIX
2007
15 years 6 months ago
2007
Today’s argumentation software mostly emphasizes the logical structure of reasoning, and especially the structure as it can be represented in boxes-andarrows style diagrams. In t...
165
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
147
click to vote
DAGSTUHL
2001
15 years 6 months ago
2001
Software visualization has been almost exclusively tackled from the visual point of view; this means visualization occurs exclusively through the visual channel. This approach has ...
147
click to vote
JUCS
2006
15 years 5 months ago
2006
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...