Sciweavers

192 search results - page 5 / 39
» Towards a Precise Semantics for Object-Oriented Modeling Tec...
Sort
View
JUCS
2002
146views more  JUCS 2002»
13 years 6 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
ADBIS
2000
Springer
119views Database» more  ADBIS 2000»
13 years 11 months ago
A Benchmarking Technique for DBMS's with Advanced Data Models
The majority of database benchmarks currently in use in the industry were designed for relational databases. A different class of benchmarks became required for object oriented dat...
Naphtali Rishe, Alexander Vaschillo, Dmitry Vasile...
UML
1999
Springer
13 years 11 months ago
Core Meta-Modelling Semantics of UML: The pUML Approach
Abstract. The current UML semantics documentation has made a signi cant step towards providing a precise description of the UML. However, at present the semantic model it proposes ...
Andy Evans, Stuart Kent
FCS
2006
13 years 8 months ago
Formal Representation and Transformation of DTDs to Sem-ODM Semantic Schemas
Abstract. Many projects have investigated the issue of storing XML in traditional database systems and exporting data in traditional databases as XML documents. However, they paid ...
Li Yang, Naphtali Rishe
CSREAEEE
2006
82views Business» more  CSREAEEE 2006»
13 years 8 months ago
User-Website Interactive Communication Analysis in Web-Based Information System Development
- Web-based information systems (WBIS) include the website part and the system part, and easy-to-use website is particular critical to the success of WBIS. This paper argues that t...
Ying Liang