Sciweavers

884 search results - page 148 / 177
» A semantics of sequence diagrams
Sort
View
DBKDA
2010
IEEE
219views Database» more  DBKDA 2010»
14 years 10 months ago
GN-DTD: Graphical Notations for Describing XML Documents
— This paper presents a graphical approach to model XML documents based on a Data Type Documentation called Graphical Notations-Data Type Documentation (GN-DTD). GN-DTD allows us...
Zurinahni Zainol, Bing Wang
CORR
2010
Springer
66views Education» more  CORR 2010»
14 years 9 months ago
Query strategy for sequential ontology debugging
Abstract. Debugging is an important prerequisite for the wide-spread application of ontologies, especially in areas that rely upon everyday users to create and maintain knowledge b...
Kostyantyn M. Shchekotykhin, Gerhard Friedrich
CORR
2010
Springer
126views Education» more  CORR 2010»
14 years 9 months ago
Well-definedness of Streams by Transformation and Termination
Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. We propose a transformation from such a stream spec...
Hans Zantema
CN
1999
115views more  CN 1999»
14 years 9 months ago
XML-GL: A Graphical Language for Querying and Restructuring XML Documents
The growing acceptance of XML as a standard for semi-structured documents on the Web opens up challenging opportunities for Web query languages. In this paper we introduce XML-GL,...
Stefano Ceri, Sara Comai, Ernesto Damiani, Piero F...
ISSE
2010
14 years 8 months ago
An integrated multi-view model evolution framework
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...
Volker Stolz