714 search results - page 64 / 143 » The Formal Specification Language mCRL2 |
108
click to vote
JAR
2008
15 years 3 months ago
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
115
Voted
OTM
2007
Springer
15 years 9 months ago
2007
Springer
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...
209
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization XML Schema. A formal semantic...
144
Voted
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
143
Voted
ER
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents the Kuaba Ontology, a knowledge representation model for Design Rationale described in an ontology definition language. The representation of this model in a sp...