(Note: the search results are based on claimed items)

Browse/Search Results:  1-1 of 1 Help

Selected(0)Clear Items/Page:    Sort:
Formal object-oriented analysis and design of an online ticketing system Conference paper
Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC, MACAO, PEOPLES R CHINA, DEC 04-07, 2001
Authors:  Li X.;  Liu Z.;  Guo Z.
Favorite  |  View/Download:3/0  |  Submit date:2019/02/14
E-commerce  Formal Techniques  Liveness  Object-orientation  Safety  Uml