809 search results - page 123 / 162 » Formal Semantics for the Java Modeling Language |
120
click to vote
FOIKS
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...
141
Voted
DOCENG
2003
ACM
15 years 7 months ago
2003
ACM
We present an approach on how to investigate what kind of semantic information is regularly associated with the structural markup of scientific articles. This approach addresses ...
128
click to vote
ESEC
1997
Springer
15 years 6 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
120
Voted
REX
1993
15 years 6 months ago
1993
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
154
Voted
IWFM
2003
15 years 3 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...