008 |
|
090417s2003 xxu e eng d |
020 |
|
|a0612894991
|
035 |
|
|a(UnM)AAIMQ89499
|
035 |
|
|aAAIMQ89499
|
040 |
|
|aTMUE|beng|cTMUE|dTMUE
|
066 |
|
|c$1
|
100 |
1
|
|aHeJune
|
245 |
10
|
|aA formal specification and design of an online Bazaar System|h[[electronic resource]]
|
260 |
|
|aAnn Arbor, Mich : |bUMI, |c2003
|
300 |
|
|a136 p
|
500 |
|
|aSource: Masters Abstracts International, Volume: 42-05, page: 1427
|
500 |
|
|aAdviser: Sylvanus A. Ehikioya
|
500 |
|
|aSchool code: 0303
|
502 |
|
|aThesis (M.Sc.)--University of Manitoba (Canada), 2003
|
520 |
|
|aThe Bazaar System is an online application system which also provides a framework for a virtual marketplace. Different users can carry out deferent kinds of business activities through the system automatically. The design of a good model for the Bazaar System involves an integrated solution to the issues of distribution, integration, replication and security. Because of the complexity of the system, formal methods are used to specify and design the system's properties
|
520 |
|
|aObject-Z, a formal specification language, is used to specify the Bazaar System's functionality. By using a formal method in the design of the system, we avoid or eliminate any ambiguities, incompleteness, inconsistency, and keeps cost down. In particular, the thesis focuses on the feasibility of applying formal techniques to the design of a Bazaar System. The resulting Bazaar System is applicable as a powerful B2B, B2C and C2C multifunction system
|
650 |
0
|
|aInformation Science
|
650 |
0
|
|aComputer Science
|
710 |
2
|
|aUniversity of Manitoba (Canada)
|
856 |
7
|
|uhttp://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=MQ89499|z連接論文全文
|