@book{d30194516329496ab18193e7eebd2cfb,
title = "Using the Tools in TRADE III: A controller for a Compact Dynamic Bus Station",
abstract = "TRADE is a set of Techniques for Requirements and Design Engineering of software systems. It was defined in the course of analyzing nineteen object-oriented and six structured software specification and design methods [5, 4]. The techniques in TRADE are applied here to the specification of a compact dynamic bus station, which is a bus station in which busses are dynamically allocated to platforms. Dynamic allocation can save space in comparison to static allocation, because in dynamic allocation, platform space need not be reserved for busses that are not present. The TRADE specification is based upon a prototype made by Klusener et al. [1]. This report is intended as an illustration of the ideas in TRADE. In two earlier case studies, a TRADE analysis was made of a decision support system for traffc maintenance [2] and of a meeting scheduler system [3].",
keywords = "IR-63139, SCS-Services, EWI-5963",
author = "Wieringa, \{Roelf J.\}",
note = "Imported from CTIT",
year = "1999",
month = sep,
language = "Undefined",
series = "CTIT technical report series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "TR-CTIT-99-15",
address = "Netherlands",
}