Using the Tools in TRADE III: A controller for a Compact Dynamic Bus Station

Roelf J. Wieringa

    Research output: Book/ReportReportOther research output

    15 Downloads (Pure)


    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].
    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Publication statusPublished - Sep 1999

    Publication series

    NameCTIT technical report series
    PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
    ISSN (Print)1381-3625


    • IR-63139
    • SCS-Services
    • EWI-5963

    Cite this