4919 search results - page 646 / 984 » A Process-Ontological Model for Software Engineering |
144
Voted
FASE
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
186
Voted
FASE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...
189
click to vote
SCAM
2002
IEEE
15 years 9 months ago
2002
IEEE
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...
122
click to vote
ADAEUROPE
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Ada 95 has been the first standardized language to include distribution in the core language itself. However, the set of features required by the Distributed Systems Ann...
154
Voted
EMSOFT
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...