4335 search results - page 635 / 867 » Ontology Engineering Relationally |
137
click to vote
AADEBUG
1997
Springer
15 years 5 months ago
1997
Springer
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of the original program with respect to a variable(s) o...
107
click to vote
ADAEUROPE
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. This paper describes the development of two kinds of atomic action schemes for Ada 95. We start by discussing the basic features required of an atomic action scheme and w...
112
Voted
ESEC
1997
Springer
15 years 5 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...
102
Voted
TAPSOFT
1997
Springer
15 years 5 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
104
click to vote
WADT
1997
Springer
15 years 5 months ago
1997
Springer
The dynamic behavior of rule-based systems (like term rewriting systems 24], process algebras 27], and so on) can be traditionally determined in two orthogonal ways. Either operati...