21 search results - page 1 / 5 » amast 2008 |
AMAST
2008
Springer
13 years 6 months ago
2008
Springer
AMAST
2008
Springer
13 years 6 months ago
2008
Springer
AMAST
2008
Springer
13 years 6 months ago
2008
Springer
The algebraic specification of information systems (including
AMAST
2008
Springer
13 years 6 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 6 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...