Annual Report 2001

References

 [1]

Zhiming Liu, Jifeng He, and Xiaoshan Li. Formalizing the use of UML in requirement analysis. Research Report 228, UNU/IIST, P.O. Box 3058, Macau, March 2001. Presented at and published in the proceedings of the 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), Las Vegas, USA, (2001).

 [2]

Zhiming Liu. Object-Oriented Software Development Using UML. Research Report 229, UNU/IIST, P.O. Box 3058, Macau, March 2001.

 [3]

Xiaoshan Li, Zhiming Liu, and Jifeng He. Formal and use-case driven requirement analysis in UML. Research Report 230, UNU/IIST, P.O. Box 3058, Macau, March 2001. Presented at and published in the proceedings of COMPSAC'2001, Chicago, USA, IEEE Computer Society Press, 2001, pp. 215-224.

 [4]

He Jifeng, Liu Zhiming, and Li Xiaoshan. A Relational Model for Object-Oriented Programming. Research Report 231, UNU/IIST, P.O. Box 3058, Macau, May 2001.

 [5]

Xiaoshan Li, Zhiming Liu, and Zhengshen Guo. A Formal Design of Online Ticketing System in UML. Research Report 235, UNU/IIST, P.O. Box 3058, Macau, July 2001.

 [6]

Dimitar P. Guelev and Dang Van Hung. Prefix and Projection onto State in Duration Calculus. Technical Report 236, UNU/IIST, P.O.Box 3058, Macau, July 2001. To be presented at Workshop on Theory and Practice of Timed Systems, April 6-7, 2002, Grenoble, France and published in the Electronic Notes in Theoretical Computer Science.

 [7]

Juliano Iyoda and He Jifeng. A Prolog Prototype for the Synthesis of Verilog. Technical Report 237, UNU/IIST, P.O.Box 3058, Macau, July 2001.

 [8]

Lutbat Yadamsuren and Zhiming Liu. A DC-Based Approach to Refinement of Real-time Systems. Technical Report 239, UNU/IIST, P.O.Box 3058, Macau, August 2001.

 [9]

Siba K. Udgata and Dang Van Hung. A Formal Model for Channel Allocation in Distributed Mobile Computing Systems. Technical Report 241, UNU/IIST, P.O. Box 3058, Macau, October 2001. Based on the report, a paper entitled Dynamic Channel Assignment in Mobile Cellular Network as a Special Mutual Exclusion Concept is presented at and published in the proceedings of the 4th International Conference on Information Technology (CIT'01), Gopalpur-on-sea, Orissa, India, December 20-22, 2001, Tata-McGraw Hill Publications.

 [10]

Kim Yong Chun and Dang Van Hung. Specification and Verification of Spatial Data Types with B-Toolkit. Technical Report 242, UNU/IIST, P.O. Box 3058, Macau, October 2001.

 [11]

Xu Qiwen and Zhan Naijun. Formalising Scheduling Theories in Duration Calculus. Technical Report 243, UNU/IIST, P.O. Box 3058, Macau, October 2001.

 [12]

Chen Chang and He Jifeng. Hardware/Software Interface Design. Technical Report 244, UNU/IIST, P.O. Box 3058, Macau, October 2001.

 [13]

Kim Pyong Sam and He Jifeng. Towards a Dynamic Semantics of an Assembly Language. Technical Report 245, UNU/IIST, P.O. Box 3058, Macau, October 2001.

 [14]

Li Yong and Dang Van Hung. Checking Temporal Duration Properties of Timed Automata. Technical Report 247, UNU/IIST, P.O. Box 3058, Macau, November 2001. Accepted to be published by Journal of Computer Science and Technology.

 [15]

Raoudha Beltaifa and Richard Moore. A Software Reuse Infrastructure for an Efficient Reuse Practice. Research Report 233, UNU/IIST, P.O. Box 3058, Macau, May 2001.

 [16]

Wang Yanjie, Wang Zhuo, and Chris George. Supporting Collaborative Design. Research Report 232, UNU/IIST, P.O. Box 3058, Macau, May 2001. Accepted for presentation at and publication in the proceedings of the Fifth International Conference Formal Methods for Open Object-Based Distributed Systems (FMOODS), March 2002, University of Twente, the Netherlands.

 [17]

Adegboyega Ojo and Tomasz Janowski. Formalising Distributed Business Processes. Technical Report 240, UNU/IIST, P.O. Box 3058, Macau, August 2001. Presented at and published in the proceedings of the 2nd International Workshop on Conceptual Modeling Approaches for e-Business (ECOMO2001), Yokohama, Japan, November 2001, Springer Verlag.

 [18]

Wang Jinsong, Wang Zheming, and Chris George. A Formal Specification of a Sharable Distance Education Course System. Technical Report 238, UNU/IIST, P.O.Box 3058, Macau, August 2001.

 [19]

Irshad Kamal Khan. Computer Science Curriculum for Bangladesh. Technical Report 234, UNU/IIST, P.O. Box 3058, Macau, July 2001.

 [20]

Juliano Iyoda and He Jifeng. Towards an Algebraic Synthesis of Verilog. Technical Report 218, UNU/IIST, P.O. Box 3058, Macau, April 2001. Presented at and published in the proceedings of the 2001 International Conference on Engineering of Reconfigurable systems and algorithms (ERSA'2001), Las Vegas, USA, (2001).

 [21]

Chris George. RAISE Tools User Guide. Technical Report 227, UNU/IIST, P.O. Box 3058, Macau, February 2001.

 [22]

He Jifeng and Xu Qiwen. Advanced Features of DC and Their Applications. Research Report 171, UNU/IIST, P.O.Box 3058, Macau, August 1999. Presented at and published in the proceedings of the Symposium in Celebration of the Work of C.A.R. Hoare, Oxford, 13-15 September, 1999.

 [23]

Li Yongjian and He Jifeng. Towards Unifying Theories of Verilog - Operational Semantics, Bisimulation and Observation Equivalence. Technical Report 217, UNU/IIST, P.O. Box 3058, Macau, November 2000. Presented at and published in the proceedings of the International Conference on Applied Informatics (AI 2001), Innsbruck, Austria, 2001.

 [24]

Tran Van Dung and He Jifeng. A Theory of Combinational programs. Technical Report 162, UNU/IIST, P.O.Box 3058, Macau, April 1999. To be presented at and published in the proceedings of the Asian Pacific Software Engineering Conference, APSEC 2001.

 [25]

François Siewe and Dang Van Hung. Deriving Real-Time Programs from Duration Calculus Specifications. Technical Report 222, UNU/IIST, P.O. Box 3058, Macau, December 2000. Published in the proceedings of the 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME 2001), Livingston-Edinburgh, Scotland, 4-7 September 2001, LNSC 2144, Springer-Verlag, 2001, pp. 92-97.

 [26]

Hong Ki Thae and Dang Van Hung. Formal Design of Hybrid Control Systems: Duration Calculus Approach. Technical Report 221, UNU/IIST, P.O. Box 3058, Macau, November 2000. Presented at and published in the proceedings of The Twenty-Fiftth Annual International Computer Software and Applications Conference (COMPSAC 2001), October 8-12, 2001, Chicago, USA, IEEE Computer Society Press, 2001, pp. 423-428.

 [27]

Do Van Nhon and Dang Van Hung. A Systematic Design of Real-time Systems Using Duration Calculus. Technical Report 197, UNU/IIST, P.O.Box 3058, Macau, May 2000. Presented at and published in the proceedings of the 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2001), Orlando, USA, July 22-25, 2001, IEEE Computer Society Press, pp. 241-246.

 [28]

Maria Virginia Mauco and Chris George. Using Requirements Engineering to Derive a Formal Specification. Technical Report 223, UNU/IIST, P.O. Box 3058, Macau, December 2000. Based on the report, three conference papers authored by Virginia Mauco, Chris George, and Daniel Riesco have been accepted for presentation: (1) `Deriving the Types of a Formal Specification from a Client-Oriented Technique', 2nd International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, Japan, July 2001, (2) `Heuristics to Structure a Formal Specification in RSL from a Client-Oriented Technique', 1st Annual International Conference on Computer and Information Science (ICIS ´01), Orlando, Florida, U.S.A., October 2001, (3) `Using a Scenario Model to Derive the Functions of a Formal Specification', APSEC'2001, Macau, December 2001.

 [29]

Andres Flores, Luis Reynoso, and Richard Moore. A Formal Model of Object-Oriented Design and GoF Design Patterns. Technical Report 200, UNU/IIST, P.O. Box 3058, Macau, July 2000. Presented at and published in the proceedings of FME 2001, Berlin, Germany, 12-16 March 2001, LNCS 2021, Springer Verlag 2001, pp. 223-241.

 [30]

Andres Flores and Richard Moore. GoF Structural Patterns: A Formal Specification. Technical Report 207, UNU/IIST, P.O. Box 3058, Macau, August 2000. Presented at and published in the proceedings of the IASTED International Conference on Applied Informatics (AI 2001), Innsbruck, Austria, 19-22 February 2001, pp. 625-630.

 [31]

Luis Reynoso and Richard Moore. GoF Behavioural Patterns: A Formal Specification. Technical Report 201, UNU/IIST, P.O. Box 3058, Macau, May 2000. Presented at and published in the proceedings of the ACIS 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD'01), Nagoya, Japan, August 2001, pp. 262-270.

Annual Report 2001