Sciweavers

495 search results - page 16 / 99
» Translating the Object Constraint Language into the Java Mod...
Sort
View
DLOG
2007
13 years 11 months ago
Prospects for and Issues with Mapping the Object-Role Modeling language into DLRifd
Object-Role modellers miss the advantages of automated reasoning over their ORM conceptual models, which could be addressed by DL reasoners. DLs are not considered user-friendly an...
C. Maria Keet
SIGMOD
1989
ACM
103views Database» more  SIGMOD 1989»
14 years 24 days ago
ODE (Object Database and Environment): The Language and the Data Model
ODE is a database system and environment based on the object paradigm. It offers one integrated data model for both database and general purpose manipulation. The database is defi...
Rakesh Agrawal, Narain H. Gehani
ICSE
2007
IEEE-ACM
14 years 2 months ago
Languages for Safety-Critical Software: Issues and Assessment
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
Benjamin M. Brosgol
ECOOP
2010
Springer
14 years 1 months ago
Recency Types for Analyzing Scripting Languages
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
Phillip Heidegger, Peter Thiemann
OOPSLA
2007
Springer
14 years 2 months ago
Lost in translation: formalizing proposed extensions to c#
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
Gavin M. Bierman, Erik Meijer, Mads Torgersen