scholarly journals WiSPY: A Tool for Visual Specification and Verification of Spatial Integrity Constraints

2015 ◽  
Author(s):  
Vincenzo Del Fatto ◽  
Vincenzo Deufemia ◽  
Luca Paolino ◽  
Sara Tumiati
Keyword(s):  
Integrity Constraints ◽  
Specification And Verification ◽  
Visual Specification

scholarly journals Specification and Verification of Agent Interaction using Social Integrity Constraints

2004 ◽  
Vol 85 (2) ◽  
pp. 94-116 ◽  
Author(s):  
Marco Alberti ◽  
Marco Gavanelli ◽  
Evelina Lamma ◽  
Paola Mello ◽  
Paolo Torroni
Keyword(s):  
Integrity Constraints ◽  
Agent Interaction ◽  
Specification And Verification

Modelling spatial integrity constraints with OCL

2011 ◽  
Vol 21 (SI) ◽  
pp. 95-123 ◽  
Author(s):  
François Pinet ◽  
Magali Duboisset ◽  
Michel Schneider
Keyword(s):  
Integrity Constraints
Sign in / Sign up

Export Citation Format

Share Document