4 papers:
DATE-2002-Jong #design #embedded #realtime #uml- A UML-Based Design Methodology for Real-Time and Embedded Sytems (GGdJ), pp. 776–779.
SEKE-2002-SciascioDMP #automation #named #verification #web- AnWeb: a sytem for automatic support to web application verification (EDS, FMD, MM, GP), pp. 609–616.
VLDB-1996-CochranePM #constraints #database #declarative #sql- Integrating Triggers and Declarative Constraints in SQL Database Sytems (RC, HP, NMM), pp. 567–578.
CAV-1996-ClarkeBLXS #analysis #bound #named #realtime #specification #tool support #visual notation- XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Sytems (DC, HBA, IL, HlX, OS), pp. 402–405.