714 search results - page 2 / 143 » The Formal Specification Language mCRL2 |
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
13 years 5 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
ENTCS
2008
13 years 5 months ago
2008
The paper presents ConSpec, an automata based policy specification language. The language trades off clean semantics to language expressiveness; a formal semantics for the languag...
IJCSA
2008
13 years 5 months ago
2008
The Graphical Object Query Language (GOQL) is a graphical query language that complies with the ODMG standard and runs on top of the o2 DBMS. The language provides users with the ...
CADE
2004
Springer
14 years 5 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
IFM
2005
Springer
13 years 11 months ago
2005
Springer