40 search results - page 6 / 8 » Defining an Enhanced RTL Semantics |
ECAI
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
ACISICIS
2007
IEEE
14 years 4 months ago
2007
IEEE
ORN Additive is a prototype tool that was developed to show how the gap between database modeling and implementation can be reduced—more specifically, to show how associations d...
ESWS
2008
Springer
13 years 11 months ago
2008
Springer
A lot of work has been done in the area of data stream processing. Most of the previous approaches regard only relational or XML based streams but do not cover semantically richer ...
ENTCS
2006
13 years 9 months ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
SEMCO
2009
IEEE
14 years 4 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...