145
click to vote
FMCO
15 years 7 months ago
2003 Springer 
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
149
click to vote
FM
15 years 7 months ago
2003 Springer 
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
153
click to vote
IWFM
15 years 3 months ago
2003 
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
121
click to vote
FM
15 years 7 months ago
2003 Springer 
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
151
click to vote
MEMOCODE
15 years 7 months ago
2003 IEEE 
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
|
Formal Methods