Sciweavers

10912 search results - page 112 / 2183
» Object-Oriented Programming Languages
Sort
View
91
Voted
INFSOF
2002
72views more  INFSOF 2002»
15 years 2 months ago
Translating object-oriented database transactions into relational transactions
In this paper, we present methods of translating transactions from object-oriented database(OODB) to relational database(RDB). The process involves schema mapping in data definiti...
Joseph Fong
142
Voted
JUCS
2002
146views more  JUCS 2002»
15 years 2 months ago
A Framework for Semantics of UML Sequence Diagrams in PVS
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
Demissie B. Aredo
120
Voted
ISOLA
2010
Springer
15 years 1 months ago
Worst-Case Analysis of Heap Allocations
In object oriented languages, dynamic memory allocation is a fundamental concept. When using such a language in hard real-time systems, it becomes important to bound both the worst...
Wolfgang Puffitsch, Benedikt Huber, Martin Schoebe...
106
Voted
ISSE
2010
15 years 1 months ago
An approach to applying SOFL for agile process and its application in developing a test support tool
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
Shaoying Liu
PEPM
2007
ACM
15 years 8 months ago
Style normalization for canonical X-to-O mappings
An X-to-O mapping takes an XML schema as input and returns an object model as output; this object model is meant for programmatic, schema-aware access to XML data. The provision o...
Ralf Lämmel