Prakash Software Technology UNU/IIST Report No. 140 May 30, 1998 UNU/IIST and UNU/IIST...  Home/Search
Context
Related
| unu.edu/newrh/III/1/d...report140.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: unu.edu/newrh/III/1/page (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present the basic domain analysis for a Port Management system, concentrating on ship and container management. For ships we deal with anchorages, berths and channels between them. For containers we deal with various storage areas and the movement of containers between them. We also consider the creation and execution of tasks, like berthing a ship, involving the allocation of various resources, such as channels, tugs and pilots. The specification is presented using the RAISE Specification... (Update)
Similar documents (at the sentence level):
57.6%: Port Management : Domain Analysis - Nilagiri Sathya (Correct)
Active bibliography (related documents): More All
0.0: Towards the Mechanical Verification of Moving Block Signalling.. - Simpson (1999) (Correct)
0.0: Applying Formal Methods to Software Testing - Stocks (1993) (Correct)
0.0: Proving Properties of a Security Protocol Specified in RSL - Toshiyuki Tanaka And (Correct)
Similar documents based on text: More All
2.2: UNU/IIST Annual Report 1999 - Unu/iist (2000) (Correct)
2.1: UNU/IIST Annual Report 2000 - Unu/iist (2001) (Correct)
2.0: Automating Partner Selection for a Virtual Organisation - Huang Biqing Tomasz (1999) (Correct)
BibTeX entry: (Update)
@misc{ prakash-port,
author = "Prakash",
title = "Port Management: Domain Analysis",
url = "citeseer.ist.psu.edu/prakash98port.html" }
Citations (may not include all citations):274 Prentice Hall International (context) - Method, RAISE et al. - 1995
119 The RAISE Language Group. The RAISE Specification Language (context) - Language, RAISE et al. - 1992
2 Vessel Traffic Management System (context) - Khurana - 1996
Documents on the same site (http://www.iist.unu.edu/newrh/III/1/page.html): More
On Checking Parallel Real-Time Systems for Linear Duration.. - Jianhua, Van Hung (Correct)
Towards a Denotational Semantics of Timed RSL using Duration.. - Li, Jifeng (1999) (Correct)
Formally Describing Intelligent CAD - Bin, George (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC