137
click to vote
FMCO
15 years 6 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...
139
click to vote
FM
15 years 6 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 ...
143
click to vote
IWFM
15 years 2 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...
110
click to vote
FM
15 years 6 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...
133
click to vote
FMOODS
15 years 2 months ago
2003 
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...
|
Formal Methods