Automatic Level Crossings: From Informal Functional Requirements' Specifications to the Control Model Design.

Mohamed Ghazel El-Miloudi El-Koursi

Published in: SoSE (2007)

Keyphrases

functional requirements
high level
control structure
databases
cooperative
mathematical model
database
case study
mobile robot
dynamic environments
software architecture
conceptual model
software design
goal oriented