Sciweavers

SPLST
2003
14 years 27 days ago
Opening Up The C/C++ Preprocessor Black Box
László Vidács, Árp&aac...
SPLST
2003
14 years 27 days ago
How to Draw a Sequence Diagram
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 ...
Timo Poranen, Erkki Mäkinen, Jyrki Nummenmaa
SPLST
2003
14 years 27 days ago
An architecture for building collaborative tools in Java
To date, there are surprisingly few collaborative applications that exploit the accessibility of the Internet. The main reason behind this is that it is rather difficult and time c...
Y. C. Nuckchady, Jyrki Nummenmaa
SPLST
2003
14 years 27 days ago
RITA Environment for Testing Framework-based Software Product Lines
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...
Raine Kauppinen, Juha Taina
SPLST
2003
14 years 27 days ago
Compacting XML Documents
Abstract. Nowadays one of the most common formats for storing information is XML. The size of XML documents can be rather large, and they may contain redundant attributes which can...
Miklós Kálmán, Ferenc Havasi,...
SPLST
2003
14 years 27 days ago
On Typechecking B
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...
Antti-Juhani Kaijanaho
SPLST
2003
14 years 27 days ago
Proving Invariants of Functional Programs
Zoltán Horváth, Tamás Kozsik,...
SPLST
2003
14 years 27 days ago
Systolic Routing in Sparse Optical Torus
Abstract. In this paper we present an all-optical network architecture and a systolic routing protocol for it. The sparse optical torus network consists of an n×n torus, where pro...
Risto Honkanen