12 search results - page 2 / 3 » splst 2003 |
SPLST
2003
13 years 5 months ago
2003
A software product line can be used to implement a software product family that is a set of software products sharing common features. A natural implementation strategy for a softw...
SPLST
2003
13 years 5 months ago
2003
SMS (Short Message Service) is a widely used service for brief communication. Occasionally the data sent using SMS services is confidential in nature and is desired not to be disc...
SPLST
2003
13 years 5 months ago
2003
Abstract. The typechecking system of the formal method B is discussed. An inconsistency in the public definition of the B method, attributable to a flaw in the typechecking syste...
SPLST
2003
13 years 5 months ago
2003
Abstract. In this paper, we consider the aesthetic criteria and constraints related to the layouts of UML sequence diagrams. We consider the applicability of the traditional graph ...
SPLST
2003
13 years 5 months ago
2003
We integrate user-defined functions with semantic equations into standard Prolog. In order to interface them with Prolog, we introduce a single operator. If a predicate invocation...