UNU/IIST Technical Notes

III/2 UNU/IIST Technical Notes

 [59]

Wang Hanpin and Xu Qiwen. A Complete Logic Over Infinite Intervals. Technical Note DeTfoRS 18, UNU/IIST, P.O.Box 3058, Macau, October 1998. To be published as UNU/IIST report.

 [58]

Hu Chengjun. DC/P User's Guide. Technical Note DeTfoRS 17, UNU/IIST, P.O.Box 3058, Macau, October 1998. To be published as UNU/IIST report.

 [57]

Hu Chengjun. DC/P: A Proof Assistant for Interval Logics. Technical Note DeTfoRS 16, UNU/IIST, P.O.Box 3058, Macau, October 1998. To be published as UNU/IIST report.

 [56]

Catalin Dima. Timed Regular Expressions, Real-time Automata and Simple Duration Calculus. Technical Note DeTfoRS 15, UNU/IIST, P.O.Box 3058, Macau, October 1998. To be published as UNU/IIST report.

 [55]

Pablo Giambiagi and Gerardo Schneider. Modelling and simulation the STARI circuit in Verilog. Technical Note DeTfoRS 14, UNU/IIST, P.O.Box 3058, Macau, March 1998. To be published as UNU/IIST report.

 [54]

Pablo Giambiagi. Verification of the STARI Circuit in Duration Calculus. Technical Note DeTfoRS 13, UNU/IIST, P.O.Box 3058, Macau, March 1998. To be published as UNU/IIST report.

 [53]

Sheila A. Karipel and Dang Van Hung. A Case Study in Duration Calculus. Technical Note DeTfoRS 12, UNU/IIST, P.O.Box 3058, Macau, August 1998. Replaced by UNU/IIST report 148.

 [52]

Dimitar P Guelev. Quantification over State in Duration Calculus is Essentially First Order. Technical Note DeTfoRS 11, UNU/IIST, P.O.Box 3058, Macau, July 1998. To be published as UNU/IIST report.

 [51]

Catalin Dima. A decidable fragment of DC*. Technical Note DeTfoRS 10, UNU/IIST, P.O.Box 3058, Macau, June 1998. To be published as UNU/IIST report.

 [50]

Dimitar Guelev. An Undecidable Fragment of Propositional Interval Logic. Technical Note DeTfoRS 9, UNU/IIST, P.O.Box 3058, Macau, June 1998. To be published as UNU/IIST report.

 [49]

Dang Van Hung et al. Weakly Monotonic Time Duration Calculus with Next Operator. Technical Note DeTfoRS 8, UNU/IIST, P.O.Box 3058, Macau, September 1997. To be published as UNU/IIST report.

 [48]

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. To be published as UNU/IIST report.

 [47]

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

 [46]

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

 [45]

Paritosh K Pandya and Dang Van Hung. Duration Calculus with Weakly Monotonic Time. Technical Note DeTfoRS 6, UNU/IIST, P.O. Box 3058 Macau, December 1996. Replaced by UNU/IIST Technical Report No. 122

 [44]

Pham Hong Thai and Dang Van Hung. Checking a Class of DC Models for Linear Duration Invariants. Technical Note DeTfoRS 5, UNU/IIST, P.O. Box 3058 Macau, April 1997. Replaced by UNU/IIST Technical Report No. 118

 [43]

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

 [42]

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

 [41]

Li Yangmin, Xu Qiwen, and Gao Jianping. Formal Design and Verification of a Robot Trajectory Tracking Algorithm. Technical Note DeTfoRS 2, UNU/IIST, P.O. Box 3058 Macau, November 1996

 [40]

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

 [39]

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

 [38]

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

 [37]

Do Tien Dung. Budget System. Technical Note MoFIT/7, UNU/IIST, P.O. Box 3058 Macau, March 1997

 [36]

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

 [35]

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

 [34]

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

 [33]

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

 [32]

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

 [31]

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

 [30]

Dines Bjørner, Chris George, and Tomasz Janowski. A Bouquet of InfoDev Project Proposals. Administrative Document Collection, UNU/IIST, P.O.Box 3058, 29 September 1995. RH II.11.4

 [29]

He Weidong. Optimal Control in Controllable Phase Transition Hybrid Control Systems. Research note, UNU/IIST, P.O.Box 3058, 1995. To be published as UNU/IIST report.

 [28]

He Weidong and Xu Qiwen. Hierarchical decision Maker in Hybrid Control Systems. Research note, UNU/IIST, P.O.Box 3058, 1995. To be published as UNU/IIST report.

 [27]

He Weidong. Design of Stability in Hybrid Control Systems. Research note, UNU/IIST, P.O.Box 3058, 1995. To be published as UNU/IIST report.

 [26]

He Weidong and Zhang Minglian. Qualitative Simulation by Reasoning. Research note, UNU/IIST, P.O.Box 3058, 1995. To be published as UNU/IIST report.

 [25]

He Weidong. Optimization in Hybrid Control Systems. Research note, UNU/IIST, P.O.Box 3058, 1995. To be published as UNU/IIST report.

 [24]

Yang Zhen Yu. Hierarchical Control of an Industrial Process -- A Case Study of Hybrid Control Systems. Research note, UNU/IIST, P.O.Box 3058, 1995. To be published as UNU/IIST report.

 [23]

Yang Zhen Yu. Application of Stochastic Differential Models and Optimization in Analysis of Stock Investments. Research note (extended abstract), UNU/IIST, P.O.Box 3058, 1995. To be published as UNU/IIST report.

 [22]

Yang Zhen Yu, Lu Jian, and Chen ZongJi. A State-Space-based Approach to Acquisition of I/O-Automata -- A Case Study for the Design of Hybrid Control Systems. Research note, UNU/IIST, P.O.Box 3058, 1995. To be published as UNU/IIST report.

 [21]

Achim Schneider, Alex Lai Iat Long, and Dines Bjørner. MaGICS: A Macau General Information and Command System. Technical Note, UNU/IIST, P.O.Box 3058, 10 January 1995. To be published as UNU/IIST report.

 [20]

Chris W. George, Tomasz Janowski, and Richard Moore. Domain Analysis for a Budgetary System. Technical Note, UNU/IIST, P.O.Box 3058, Macau, October 1995

 [19]

Tomasz Janowski and Dines Bjørner. Virtual Library - On Refinement Towards an ODP Architecture. Research note, UNU/IIST, P.O.Box 3058, Macau, December 1995

 [18]

Dong Yu Lin. The Formal Development of a Railway Station Route Management System. M.sc. thesis, University of Macau, Taipa. Macau, May 1995. Available from UNU/IIST

 [17]

Lu Jian. A Duration Calculus Proof Assistant for PVS. Research note, UNU/IIST, P.O.Box 3058, 1995. To be published as UNU/IIST report.

 [16]

Roderick Durmiendo. Formal Development of a Digital Multiplexed Radio-Telephone System. Technical Note, UNU/IIST, P.O.Box 3058, Macau, December 1995

 [15]

Liu Lian Suo. PRaCoSy: Data Structures for Phase II. Technical Note, UNU/IIST, P.O.Box 3058, Macau, December 1995

 [14]

Yang Dong. Basic Specification of PRaCoSy. Technical Note, UNU/IIST, P.O.Box 3058, Macau, December 1995

 [13]

Liu Lian Suo and Yang Dong. Train Rescheduling Rules. Technical Note, UNU/IIST, P.O.Box 3058, Macau, December 1995

 [12]

Hong Mei. A Generic Concurrent Distributed Architecture. Technical Note, UNU/IIST, P.O.Box 3058, Macau, June 1995

 [11]

Md Rais, Dines Bjørner, and Ngo Quoc Tao. Decision Support Systems for Sustainable Development: Numerous documents. Technical & Administrative Notes RH XIV, UNU/IIST, P.O. Box 3058, Macau, 1995. To be published as UNU/IIST report.

 [10]

Ngo Quoc Tao. Map Generalization. Technical Note RH XIV.13, UNU/IIST, P.O. Box 3058, Macau, 1995. To be published as UNU/IIST report.

 [9]

Cleta Milagros Acebedo, Erwin Paguio, and Tomasz Janowski. MI²CI: Software Architecture. Technical Note RH X, UNU/IIST, P.O. Box 3058, Macau, 23 November 1995. To be published as UNU/IIST report.

 [8]

Tomasz Janowski. MI²CI: Requirements Capture. Technical Note RH X, UNU/IIST, P.O. Box 3058, Macau, 24 November 1995. To be published as UNU/IIST report.

 [7]

Cleta Milagros Acebedo and Erwin Paguio. MI²CI: Informal Domain Analysis. Technical Note RH X, UNU/IIST, P.O. Box 3058, Macau, 23 November 1995. To be published as UNU/IIST report.

 [6]

Dao Nam Anh. Airline Business Computing '2000: Requirements Capture. Technical Note, UNU/IIST, P.O. Box 3058, Macau, 27 November 1995. To be published as UNU/IIST report.

 [5]

Dao Nam Anh. Airline Business Computing '2000: Formal Domain Analysis. Technical Note, UNU/IIST, P.O. Box 3058, Macau, 27 November 1995. To be published as UNU/IIST report.

 [4]

Dao Nam Anh. Airline Business Computing '2000: Informal Domain Analysis. Technical Note, UNU/IIST, P.O. Box 3058, Macau, 27 November 1995. To be published as UNU/IIST report.

 [3]

Myatav Erdenechimeg and Richard Moore. Multi-Script: Domain Analysis and Requirements Capture. Technical Note, UNU/IIST, P.O. Box 3058, Macau, December 1995. To be published as UNU/IIST report.

 [2]

Dang Van Hung and Wang Ji. From Duration Calculus to Automata Models of Hybrid Systems. Research Notes, UNU/IIST, P.O.Box 3058, Macau, August 1994

 [1]

Dines Bjørner and Karl P.H.Leung. Semantics of Systems -- From Application Domain Analysis to Requirements Capture with some Notes on Software Architecture -- a Methodology Study. Technical note, UNU/IST, P.O.Box 3058, Macau, November 1995

UNU/IIST Technical Notes