Annual Report 1997

References

 [1]

Manoranjan Satpathy, Dang Van Hung, and Paritosh K. Pandya. Some Results on The Decidability of Duration Calculus under Synchronous Interpretation. Research Report 86, UNU/IIST, P.O.Box 3058, Macau, December 1996. Presented at the 5th Vietnamese Conference of Mathematics, Hanoi, 17-20 Sep, 1997.

 [2]

Suman Roy and Zhou Chaochen. Notes on Neighborhood Logic. Research Report 97, UNU/IIST, P.O.Box 3058, Macau, February 1997.

 [3]

Fu Hongguang, Yang Lu, and Zhou Chaochen. A Computer-Aided Geoemtric Approach to Inverse Kinematics. Research Report 101, UNU/IIST, P.O.Box 3058, Macau, April 1997. Published in Journal of Robotic Systems, Vol.15, No.3, pp.131-143, March 1998.

 [4]

Dang Van Hung. Modelling and Verificaton of Biphase Mark Protocols in Duration Calculus Using PVS/DC^-. Research Report 103, UNU/IIST, P.O.Box 3058, Macau, April 1997. To be presented at and published in the Proceedings of CSD'98, March 1998 Fukushima, Japan.

 [5]

Li Xuan Dong, Dang Van Hung, and Zheng Tao. Checking Hybrid Automata for Linear Duration Invariants. Research Report 109, UNU/IIST, P.O.Box 3058, Macau, June 1997. Published in R.K.Shamasundar, K.Ueda (Eds.), Advances in Computing Science, Lecture Notes in Computer Science 1345, Springer-Verlag, pp.166-180.

 [6]

Arun K Pujari. Neighbourhood Logic & Interval Algebra. Technical Report 116, UNU/IIST, P.O.Box 3058, Macau, July 1997.

 [7]

Pham Hong Thai and Dang Van Hung. Checking a regular class of Duration Calculus Models for Linear Duration Invariants. Technical Report 118, UNU/IIST, P.O.Box 3058, Macau, July 1997. Presented at the 5th Vietnamese Conference of Mathematics, Hanoi, 17-20 Sep, 1997. To be presented at and published in the Proceedings of PDSE'98, April 1998 Kyoto, Japan.

 [8]

Rana Barua and Zhou Chaochen. Neighbourhood Logics : NL and NL². Research Report 120, UNU/IIST, P.O.Box 3058, Macau, August 1997. Presented at ComBaS Group, Technical University of Denmark, Copenhagen, Denmark, 4-7 September, 1997.

 [9]

Paritosh K. Pandya and Dang Van Hung. Duration Calculus with Weakly Monotonic Time. Technical Report 122, UNU/IIST, P.O.Box 3058, Macau, September 1997. Submitted to FTRTFT98.

 [10]

Xu Qiwen and Swarup K. Mohalik. Compositional Reasoning of Concurrency Using Assumption-Commitment Paradigm. Technical Note DeTfoRS 3, UNU/IIST, P.O. Box 3058 Macau, December 1997. Presented at the International Symposium on Compositionality - The Significant Difference, Malente, Germany, 7-12 September, 1997. Replaced by UNU/IIST Technical Report No. 136.

 [11]

P.K. Pandya, Wang Hanpin, and Xu Qiwen. Towards a Theory of Sequential Hybrid Programs. Technical Report 125, UNU/IIST, P.O.Box 3058, Macau, October 1997. To be presented at and published in the proceedings of PROCOMET in Long Island, U.S.A., Jun 1998.

 [12]

Wang Hanpin, Xu Qiwen, and Paritosh K Pandya. Infinite Duration Calculus with Fixed-Point Operators. Technical Note DeTfoRS 7, UNU/IIST, P.O.Box 3058, Macau, September 1997.

 [13]

Qiu Zongyan and Zhou Chaochen. A Combination of Interval Logic and Linear Temporal Logic. Technical Report 123, UNU/IIST, P.O.Box 3058, Macau, September 1997. Presented at ComBaS Group, Technical University of Denmark, Copenhagen, Denmark, 4-7 September, 1997. To be presented at and published in the proceedings of PROCOMET in Long Island, U.S.A., Jun 1998.

 [14]

Gao Jianping and Xu Qiwen. Formal Design and Verification of Algorithms in Fault Tolerant Flight Control. Technical Note DeTfoRS 4, UNU/IIST, P.O. Box 3058 Macau, March 1997. Presented at the Fifth International Workshop on Hybrid Systems, Indiana, USA, 11-13 September, 1997.

 [15]

J.A. Bergstra, C.A. Middelburg, and Y.S. Ussenko. Discrete-time Process Algebra and the Semantics of SDL. Research Report 99, UNU/IIST, P.O.Box 3058, Macau, October 1997.

 [16]

J.A. Bergstra, C.A. Middelburg, and B. Warinschi. Timed Frame Model for Discrete Time Process Algebra. Research Report 100, UNU/IIST, P.O.Box 3058, Macau, October 1997.

 [17]

C.A. Middelburg. Truth of duration calculus formulae in timed frames. Research Report 82, United Nations University, International Institute for Software Technology, September 1996.

 [18]

J.A. Bergstra, C.A. Middelburg, and R. Soricut. Discrete Time Network Algebra for a Semantic Foundation of SDL. Research Report 98, UNU/IIST, P.O.Box 3058, Macau, October 1997.

 [19]

Do Tien Dung, Le Linh Chi, Nguyen Le Thu, Phung Phuong Nam, and Tran Mai Lien. Taxation System: Narrative and Specification. Technical Note MoFIT/2, UNU/IIST, P.O. Box 3058 Macau, August 1996.

 [20]

Le Linh Chi and Nguyen Le Thu. Tax System Security. Technical Note MoFIT/4, UNU/IIST, P.O. Box 3058 Macau, August 1996.

 [21]

Tran Mai Lien. Tax Policy. Technical Note MoFIT/5, UNU/IIST, P.O. Box 3058 Macau, August 1996.

 [22]

Le Linh Chi, Nguyen Le Thu, Phung Phuong Nam, and Tran Mai Lien. Testing the Taxpayer Specification. Technical Note MoFIT/3, UNU/IIST, P.O. Box 3058 Macau, July 1996.

 [23]

Phung Phuong Nam. Optimising the Tax System Prototype. Technical Note MoFIT/6, UNU/IIST, P.O. Box 3058 Macau, September 1996.

 [24]

Do Tien Dung, Le Linh Chi, Nguyen Le Thu, Phung Phuong Nam, Tran Mai Lien, and Chris George. Developing a Financial Information System. Technical Report 81, UNU/IIST, P.O.Box 3058, Macau, September 1996.

 [25]

Phung Phuong Nam and Chris George. Treasury System. Technical Note MoFIT/8, UNU/IIST, P.O. Box 3058 Macau, March 1997.

 [26]

Hoang Xuan Huan. External Financial Information System. Technical Note MoFIT/9, UNU/IIST, P.O. Box 3058 Macau, June 1997.

 [27]

Chris George. External Debt Management. Technical Note MoFIT/1, UNU/IIST, P.O. Box 3058 Macau, March 1996.

 [28]

Do Tien Dung and Chris George. Combining and Distributing the FIS. Technical Note MoFIT/10, UNU/IIST, P.O. Box 3058 Macau, June 1997. Presented at Requirements Targeting Systems and Software Engineering Workshop, Bernried, Gemany, 12-14 October, 1997, to appear in the Workshop Proceedings.

 [29]

Do Tien Dung, Chris George, Hoang Xuan Huan, and Phung Phuong Nam. A Financial Information System. Technical Report 115, UNU/IIST, P.O.Box 3058, Macau, July 1997.

 [30]

Cleta Milagros Acebedo. An Informal Domain Analysis for Manufacturing Enterprises. Research Report 62, UNU/IIST, P.O.Box 3058, Macau, March 1996.

 [31]

Tomasz Janowski and Rumel V. Atienza. A Formal Model For Competing Enterprises, Applied to Marketing Decision-Making. Research Report 92, UNU/IIST, P.O.Box 3058, Macau, January 1997.

 [32]

T. Janowski and C.M. Acebedo. Virtual Enterprise: On Refinement Towards an ODP Architecture. Research Report 69, UNU/IIST, P.O.Box 3058, Macau, May 1996. Presented at the Workshop on Theoretical Problems in Manufacturing Systems Design and Control, Lisbon, 1996.

 [33]

Myatav Erdenechimeg and Richard Moore. Multi-directional Multi-lingual Script Processing. Technical Report 75, UNU/IIST, P.O.Box 3058, Macau, June 1996. Published in Proceedings of the Seventeenth International Conference on the Computer Processing of Oriental Languages, Hong Kong, April 2 - 4, 1997, under the title Multi-directional Multi-lingual Script Processing.

 [34]

Myatav Erdenechimeg and Richard Moore. Multi-directional Multi-lingual Script Processing. In Proceedings of the Seventeenth International Conference on the Computer Processing of Oriental Languages, Vol. 1, Hong Kong, April 2 - 4, 1997, Oriental Languages Computer Society, Inc, pages 29 - 34, 1997.

 [35]

Myatav Erdenechimeg, Richard Moore, and Yumbayar Namsrai. MultiScript I: The Basic Model of Multi-lingual Documents. Technical Report 105, UNU/IIST, P.O.Box 3058, Macau, June 1997.

 [36]

Yumbayar Namsrai and Richard Moore. MultiScript II: Displaying and Printing Multi-lingual Documents. Technical Report 112, UNU/IIST, P.O.Box 3058, Macau, June 1997.

 [37]

Myatav Erdenechimeg and Richard Moore. MultiScript III: Creating and Editing Multi-lingual Documents. Technical Report 113, UNU/IIST, P.O.Box 3058, Macau, September 1997. To be presented at the Workshop on the Principles of Digital Document Processing and the 1998 Conference on Electronic Publishing, St. Malo, France.

 [38]

Yumbayar Namsrai, Richard Moore, and Myatav Erdenechimeg. On the Use of Control Symbols in the Mongolian Script Encoding. Technical Note, UNU/IIST, January 1997. Presented at Meeting No. 32 of ISO/IEC JTC1 SC2 WG2 (Universal Multiple-Octet Coded Character Set), Singapore, 20-24 January, 1997.

 [39]

Hoang Thi Tung Lam and Richard Moore. Specification of a Switching Communications System. Technical Report 106, UNU/IIST, P.O.Box 3058, Macau, May 1997.

 [40]

Gueorgui Satchok. Metropolitan In-street On-route Passenger Transport: Monitoring and Control. Technical Report 110, UNU/IIST, P.O.Box 3058, Macau, June 1997.

 [41]

Vladimir Zadorozhny. Orthogonal Formalisation of CORBA. Technical Report 121, UNU/IIST, P.O.Box 3058, Macau, August 1997.

 [42]

Vladimir Zadorozhny. Towards an integrated CORBA/RAISE Semantic Interoperable Environment. Technical Report 117, UNU/IIST, P.O.Box 3058, Macau, July 1997.

 [43]

Venkat P Reddy. A First Course in Software Engineering. Technical Report 78, UNU/IIST, P.O.Box 3058, Macau, July 1996.

 [44]

Yu Huiqun. A Course of Formal Methods in Software Development. Technical Report 79, UNU/IIST, P.O.Box 3058, Macau, August 1996.

 [45]

Tan Xinming. Enquiring about Bus Transport-Formal Development using RAISE. Technical Report 83, UNU/IIST, P.O.Box 3058, Macau, September 1996.

 [46]

Nguyen Quoc Toan. An Example for the RAISE Development method: University School Administration. Technical Report 84, UNU/IIST, P.O.Box 3058, Macau, September 1996.

 [47]

Roger Noussi. An Efficient Construction of a Domain Theory for Resources Management: A Case Study. Research Report 107, UNU/IIST, P.O.Box 3058, Macau, May 1997.

 [48]

Souleymane Koussoubé. Knowledge-Based Systems: Formalisation and Applications to Insurance. Research Report 108, UNU/IIST, P.O.Box 3058, Macau, May 1997.

 [49]

Aristides Dasso. A Course on Formal Methods Using RAISE. Technical Report 114, UNU/IIST, P.O.Box 3058, Macau, June 1997.

 [50]

Dao Nam Anh and Richard Moore. Formal Modelling of Large Domains. Technical Report 74, UNU/IIST, P.O.Box 3058, Macau, June 1996. Revised: September 1996. Published in the proceedings of Asia-Pacific Software Engineering Conference 1996 (APSEC'96), IEEE Computer Society Press, 1996, pp. 248-255.

 [51]

The RAISE Method Group. The RAISE Development Method. BCS Practitioner Series. Prentice Hall, 1995.

 [52]

Xu Qiwen. Semantics and Verification of the Extended Phase Transition Systems in the Duration Calculus. Research Report 72, UNU/IIST, P.O.Box 3058, Macau, June 1996. Published in International Workshop on Hybrid and Real-Time Systems 1997, LNCS 1201, pp 301-315.

 [53]

Zhou Chaochen and Michael R. Hansen. Lecture Notes on Logical Foundations for the Duration Calculus. Lecture Notes, 13, UNU/IIST, P.O.Box 3058, Macau, August 1993. The final version of the report with the title Duration Calculus: Logical Foundations will appear in Formal Aspects of Computing, Presented at EU KIT Summer School on Formal Methods and Their Applications, Institute of Software, Chinese Academy of Sciences, Beijing, China, 17-20 September, 1997.

 [54]

Tomasz Janowski. Semantics and Logic for Provable Fault-Tolerance, A Tutorial. Research Report 119, UNU/IIST, P.O.Box 3058, Macau, August 1997. A tutorial presented at the 4th International Symposium Formal Methods Europe, 1997, Graz, and the European Joint Conference on Theory and Practice of Software, Lisbon, 29 March 1998, LNCS 1313.

 [55]

Zhou Chaochen and Michael R. Hansen. An Adequate First Interval Order Logic. Research Report 91, UNU/IIST, P.O.Box 3058, Macau, December 1996. Presented at International Symposium on Compositionality, Malente, Germany, 7-12 September, 1997, to appear in the Symposium Proceedings.

 [56]

Zhou Chaochen. Duration Calculi: An Overview. Research Report 10, UNU/IIST, P.O.Box 3058, Macau, June 1993. Published in: Formal Methods in Programming and Their Applications, Conference Proceedings, June 28 - July 2, 1993, Novosibirsk, Russia; (Eds.: D. Bjørner, M. Broy and I. Pottosin) LNCS 736, Springer-Verlag, 1993, pp 36-59.

 [57]

Tomasz Janowski. On Bisimulation, Fault-Monotonicity and Provable Fault-Tolerance. Research Report 55, UNU/IIST, P.O.Box 3058, Macau, Dec 1995. Published in the Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology, Sydney, 1997, LNCS.

Annual Report 1997