Sciweavers

890 search results - page 128 / 178
» software 1998
Sort
View
ICFEM
1998
Springer
14 years 1 months ago
Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
Manfred Broy, Ingolf Krüger
SIGPLAN
1998
13 years 8 months ago
Unloading Java Classes That Contain Static Fields
In Java the de nition of a \program" is a bit fuzzy. A Java applet is essentially a Java application (i.e. program) that can be executed by a Java enabled Web browser (i.e. a...
Charles E. McDowell, Elizabeth A. Baldwin
COMPSAC
1998
IEEE
14 years 1 months ago
The Essence of the Visitor Pattern
Abstract. For object-oriented programming, the Visitor pattern enables the definition of a new operation on an object structure without changing the classes of the objects. The pri...
Jens Palsberg, C. Barry Jay
B
1998
Springer
14 years 1 months ago
Introducing Dynamic Constraints in B
In B, the expression of dynamic constraints is notoriously missing. In this paper, we make various proposals for introducing them. They all express, in di erent complementary ways,...
Jean-Raymond Abrial, Louis Mussat
IUI
1998
ACM
14 years 1 months ago
Deja Vu: A Knowledge-rich Interface for Retrieval in Digital Libraries
Providing access to digital libraries will require interfaces that effectively mediate between the retrieval needs of library users and the materials that the library has to offer...
Andrew S. Gordon, Eric A. Domeshek