21 search results - page 1 / 5 » amast 2008 |
AMAST
2008
Springer
13 years 10 months ago
2008
Springer
AMAST
2008
Springer
13 years 10 months ago
2008
Springer
AMAST
2008
Springer
13 years 10 months ago
2008
Springer
The algebraic specification of information systems (including
AMAST
2008
Springer
13 years 10 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
AMAST
2008
Springer
13 years 10 months ago
2008
Springer
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...