69 search results - page 8 / 14 » Heterogeneous Notations for Pure Formal Method Integration |
KR
2010
Springer
13 years 9 months ago
2010
Springer
Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and ge...
ER
2003
Springer
14 years 17 days ago
2003
Springer
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
DAGSTUHL
2007
13 years 8 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Middleware is a software layer that stands between the networked operating system and the application and provides well known reusable solutions to frequently encountered problems...
VDB
2000
13 years 8 months ago
2000
In this paper we propose a visual interface for the specification of predicates to be used in queries on spatio-temporal databases. The approach is based on a visual specification ...