21 search results - page 1 / 5 » amast 2008 |
AMAST
2008
Springer
15 years 28 days ago
2008
Springer
AMAST
2008
Springer
15 years 28 days ago
2008
Springer
AMAST
2008
Springer
15 years 28 days ago
2008
Springer
The algebraic specification of information systems (including
AMAST
2008
Springer
15 years 28 days 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 ...
86
Voted
AMAST
2008
Springer
15 years 28 days 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...