2496 search results - page 446 / 500 » Error-detecting properties of languages |
102
click to vote
ER
2010
Springer
14 years 10 months ago
2010
Springer
UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expr...
170
click to vote
ICOODB
2010
14 years 9 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
105
click to vote
LICS
2010
IEEE
14 years 9 months ago
2010
IEEE
Let R be a class of generators of node-labelled infinite trees, and L be a logical language for describing correctness properties of these trees. Given R R and L, we say that R ...
146
click to vote
WISE
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Regarding web searches, users have become used to keywordbased search interfaces due to their ease of use. However, this implies a semantic gap between the user's in...
117
click to vote
ERSHOV
2009
Springer
14 years 9 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...