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

Publication series

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

Fingerprint

Specifications
Space platforms
Decision support systems

Keywords

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

Cite this

Wieringa, R. J. (1999). Using the Tools in TRADE III: A controller for a Compact Dynamic Bus Station. (CTIT technical report series; No. TR-CTIT-99-15). Enschede: Centre for Telematics and Information Technology (CTIT).

Wieringa, Roelf J. / Using the Tools in TRADE III: A controller for a Compact Dynamic Bus Station.

Enschede : Centre for Telematics and Information Technology (CTIT), 1999. (CTIT technical report series; No. TR-CTIT-99-15).

Research output: Other research outputReport

@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 = "9",
series = "CTIT technical report series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "TR-CTIT-99-15",
address = "Netherlands",

}

Wieringa, RJ 1999, Using the Tools in TRADE III: A controller for a Compact Dynamic Bus Station. CTIT technical report series, no. TR-CTIT-99-15, Centre for Telematics and Information Technology (CTIT), Enschede.

Using the Tools in TRADE III: A controller for a Compact Dynamic Bus Station. / Wieringa, Roelf J.

Enschede : Centre for Telematics and Information Technology (CTIT), 1999. (CTIT technical report series; No. TR-CTIT-99-15).

Research output: Other research outputReport

TY - BOOK

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

AU - Wieringa,Roelf J.

N1 - Imported from CTIT

PY - 1999/9

Y1 - 1999/9

N2 - 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].

AB - 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].

KW - IR-63139

KW - SCS-Services

KW - EWI-5963

M3 - Report

T3 - CTIT technical report series

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

PB - Centre for Telematics and Information Technology (CTIT)

ER -

Wieringa RJ. Using the Tools in TRADE III: A controller for a Compact Dynamic Bus Station. Enschede: Centre for Telematics and Information Technology (CTIT), 1999. (CTIT technical report series; TR-CTIT-99-15).