Annual Report 1996

References

 [1]

Zhou Chaochen and M. R. Hansen. An adequate first order interval logic. Technical report, UNU/IIST Report No. 91, UNU/IIST, International Institute for Software Technology, P.O. Box 3058, Macau, Dec 1996.

 [2]

Xu Qiwen. Semantics and verification of extended phase transition systems in duration calculus. Technical report, 1997.

 [3]

Dang Van Hung and Phan Hong Giang. A sampling semantics of duration calculus. In Bengt Jonsson and Joachim Parrow, editors, Formal Techniques for Real-Time and Fault Tolerant Systems (FTRTFT'96), pages 188-207, Uppsala, Sweden, September 1996. LNCS 1135, Springer-Verlag.

 [4]

Zhou Chaochen, Wang Ji, and A.P. Ravn. A formal description of hybrid systems. In R. Alur, T. Henzinger, and E. Sontag, editors, Hybrid Systems III: Verification and Control, pages 511-530, New Brunswick, US, 1996. LNCS 1066, Springer-Verlag.

 [5]

Wang Ji and He Weidong. Formal specification of stablity in hybrid control systems. In R. Alur, T. Henzinger, and E. Sontag, editors, Hybrid Systems III: Verification and Control, pages 294-303, New Brunswick, US, 1996. LNCS 1066, Springer-Verlag.

 [6]

Xu Qiwen and He Weidong. Hierarchical design of a chemical concentration control system. In R. Alur, T. Henzinger, and E. Sontag, editors, Hybrid Systems III: Verification and Control, pages 270-281, New Brunswick, US, 1996. LNCS 1066, Springer-Verlag.

 [7]

Xu Qiwen and Yang Zengyu. Derivation of control programs: a heating system. In 4th International Conference on Hybrid Systems, Ithaca, NY, USA, 1996.

 [8]

Zhou Chaochen and M. R. Hansen. Chopping a point. In J-F. He, J. Cooke, and P. Willis, editors, Proc. BCS FACS 7th Refinement Workshop:Theory and Practice of System Design, Bath, U.K., July 1996. Electronic Workshops in Computing, Springer-Verlag.

 [9]

Philip Chan and Dang Van Hung. Duration calculus specification of scheduling for tasks with shared resources. In Kanchana Kanchanasut and Jean-Jacques Levy, editors, Algorithms, Concurrency and Knowledge (Asian Computer Science Conference 95), pages 365-380, Pathumthani, Thailand, Dec 1995. LNCS 1023, Springer-Verlag.

 [10]

Dang Van Hung and Ko Kwang Il. Verification via digitized model of real-time systems. In Asia-Pacific Software Engineering Conference 1996 (APSEC'96), pages 4-15, Seoul, South Korea, Dec 1996. IEEE Computer Society Press.

 [11]

Li Xuan Dong and Dang Van Hung. Checking linear duration invariants by linear programming. In Joxan Jaffar and Roland H. C. Yap, editors, Concurrency and Palalellism, Programming, Networking, and Securiry (ASIAN'96), pages 321-332, Singapore, Dec 1996. LNCS 1179, Springer-Verlag.

 [12]

Mao Xiaoguang, Xu Qiwen, and Wang Ji. Towards a proof assistant for interval logics. Technical report, UNU/IIST Report No. 77, UNU/IIST, International Institute for Software Technology, P.O. Box 3058, Macau, 1996.

 [13]

B. Dutertre. Elements of mathematical analysis in PVS. In J. von Wright, J. Grundy, and J. Harrison, editors, TPHOLs 96, Turku, Finland, 1996. LNCS 1822, Springer-Verlag.

 [14]

J.A. Bergstra and C.A. Middelburg. Process algebra semantics of phiSDL. Research Report 68, United Nations University, International Institute for Software Technology, April 1996.

 [15]

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

 [16]

Chaochen Zhou, C.A.R. Hoare, and A.P. Ravn. A calculus of durations. Information Processing Letters, 40:269-276, 1991.

 [17]

F. Belina, D. Hogrefe, and A. Sarma. SDL with Applications from Protocol Specification. Prentice-Hall, 1991.

 [18]

ESTELLE: A formal description technique based on an extended state transition model. ISO/TC 97/SC 21/WG 16-1, ISO DP9074, 1986.

 [19]

LOTOS - a formal description technique based on the temporal ordering of observational behaviour. International Standard ISO 8807 (draft final text), 1988.

 [20]

Tomasz Janowski. Categories for System Integration - A Proposal. Administrative 65, UNU/IIST, P.O.Box 3058, Macau, Mar 1996.

 [21]

Chris George. Distributed Train Rescheduling. Research Report 42, UNU/IIST, P.O.Box 3058, Macau, April 1995.

 [22]

Chris George. A Theory of Distributing Train Rescheduling. Research Report 51, UNU/IIST, P.O.Box 3058, Macau, December 1995. Published in: Marie-Claude Gaudel and James Woodcock (eds.), FME'96: Industrial Benefit and Advances in Formal Methods, LNCS 1051, Springer-Verlag, 1996, pp. 499-517.

 [23]

Dines Bjørner, Chris George, and Søren Prehn. Scheduling and Rescheduling of Trains. Research Report 52, UNU/IIST, P.O.Box 3058, Macau, December 1995.

 [24]

C.K. Chiu, C.M. Chou, J.H.M. Lee, H.F. Leung, and Y.W. Leung. A Constraint-Based Interactive Train Rescheduling Tool. In Second International Conference on Principles and Practice of Constraint Programming, number 1118 in Lecture Notes in Computer Science, pages 104-118. Springer-Verlag, August 1996. Stored in UNU/IIST library as CUHK Technical Report CS-TR-96-07.

 [25]

Nikolaj Nikitchenko. Towards Foundations of the General Theory of Transport Domains. Research Report 88, UNU/IIST, P.O.Box 3058, Macau, December 1996.

 [26]

Dines Bjørner. Models of Enterprise Management: Strategy, Tactics & Operations -- Case Study Applied to Airlines and Manufacturing. Technical Report 60, UNU/IIST, P.O.Box 3058, Macau, January - April 1996.

 [27]

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.

 [28]

Jan Goossenaerts and Dines Bjørner. An Information Technology Framework for Lean/Agile Supply-based Industries in Developing Countries. Technical Report 30, UNU/IIST, P.O.Box 3058, Macau, 1994. Published in Proceedings of the International Dedicated Conference on Lean/Agile Manufacturing in the Automotive Industries, ISATA, London, UK.

 [29]

Jan Goossenaerts and Dines Bjørner. Interflow Systems for Manufacturing: Concepts and a Construction. Technical Report 31, UNU/IIST, P.O.Box 3058, Macau, 1994. Published in Proceedings of the European Workshop on Integrated Manufacturing Systems Engineering.

 [30]

Jan Goossenaerts. Generic Models for Manufacturing Industry. Technical Report 32, UNU/IIST, P.O.Box 3058, Macau, November 1994. Draft Version. In: Reference Handbook Ch. IV.1.

 [31]

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

 [32]

Tomasz Janowski. Domain Analysis for Manufacturing: Formalization of the Market. Research Report 63, UNU/IIST, P.O.Box 3058, Macau, March 1996.

 [33]

Cleta Milagros Acebedo and Erwin Paguio. Manufacturing Enterprise Simulation: A Business Game. Research Report 64, UNU/IIST, P.O.Box 3058, Macau, March 1996.

 [34]

T. Janowski and C.M. Acebedo. Virtual Enterprise: On Refinement Towards an ODP Architecture. In Workshop on Theoretical Problems on Manufacturing Systems Design and Control, Lisbon, Portugal, 1996. Also Technical Report 69, UNU/IIST, Macau.

 [35]

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.

 [36]

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

 [37]

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

 [38]

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

 [39]

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

 [40]

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

 [41]

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

 [42]

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

 [43]

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.

 [44]

Roderick Durmiendo and Chris George. Formal Development of a Digital Mutiplexed Radio-Telephone System. Research Report 67, UNU/IIST, P.O.Box 3058, Macau, Feb 1996.

 [45]

Dines Bjørner. Infrastructure Software Systems. Technical Report 58, UNU/IIST, P.O.Box 3058, Macau, Dec 1995. Presentation solicited for the Academia Europae (AE/CWI/SMC) Symposium, Amsterdam 11-12 April, 1996.

 [46]

Dines Bjørner. Software Systems Engineering -- From Domain Analysis to Requirements Capture [-- an Air Traffic Control Example]. Technical Report 48, UNU/IIST, P.O.Box 3058, Macau, November 1995. Keynote paper for the Asia Pacific Software Engineering Conference, APSEC'95, Brisbane, Australia, 6-9 December 1995.

 [47]

Ngo Quoc Tao. A Formal Specification of Realm - Spatial Data Type. Research Report 71, UNU/IIST, P.O.Box 3058, Macau, April 1996.

 [48]

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

 [49]

Ngo Quoc Tao, Dang Van Hung, and Tomasz Janowski. Sources on Map Generalization. Administrative Report 76, UNU/IIST, P.O.Box 3058, Macau, 24 July 1996.

 [50]

Dines Bjørner and Mohamed Rais. Federated GIS+DIS-based Decision Support Systems for Sustainable Development -- a Conceptual Architecture. Research Report 61, UNU/IIST, P.O.Box 3058, Macau, March 1996. Draft.

 [51]

Dines Bjørner et al. LSD: Logical Systems Development. Lecture Note Compendium 89, UNU/IIST, P.O.Box 3058, Macau, Summer 1996. The report has been replaced by UNU/IIST Report 95.

 [52]

Dines Bjørner. UN's Software Technology R&D in Africa, Asia, Eastern Europe, and Latin America -- A Personal View. Research Report 90, UNU/IIST, P.O.Box 3058, Macau, December 1996.

 [53]

Expert Group. Decision Support Systems for Sustainable Develpoment: Experience and Potential -- a Position Paper. Administrative Report 80, UNU/IIST, P.O.Box 3058, Macau, August 1996.

 [54]

Dines Bjørner. New Software Development. Administrative/Technical Report 59, UNU/IIST, P.O.Box 3058, Macau, January 1996.
Special Theme paper: New Software Technology Development. Paper was first prepared in September 1995 for an International Symposium: New IT Applications for Governance and Public Administration, convened by the UN's Department for Development Support and Management Service: UNDDSMS, Beijing, November 9-14, 1995. This symposium was subsequently moved (tentatively) to June 1996, same venue.

 [55]

Xu Qiwen. On compositionality in refining concurrent systems. In J-F. He, J. Cooke, and P. Willis, editors, Proc. BCS FACS 7th Refinement Workshop, Bath, U.K., July 1996. Electronic Workshops in Computing, Springer-Verlag.

 [56]

Yang Zhenyu. A State-Space-based Approach to Acquisition of I/O-Automata -- A Case Study for the Design of Hybrid Control Systems. In 3rd Workshop on Discrete Event Systems (WODES'96), Edinburgh, Scotland, UK, August 1996.

 [57]

Paritosh K Pandya. Weak Chop Inverses and Liveness in Mean-Value Calculus. In Bengt Jonsson and Joachim Parrow, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 1135 of Lecture Notes in Computer Science, pages 148-167, Uppsala, Sweden, September 1996. 4th International Symposium, Springer-Verlag.

 [58]

T. Janowski and M. Joseph. Dynamic Scheduling in the Presence of Faults: Specification and Verification. In International School and Symposium Formal Techniques in Real Time and Fault Tolerant Systems, Uppsala, Sweden, LNCS. Springer Verlag, 1996. Also Technical Report 66, UNU/IIST, Macau.

 [59]

Dang Van Hung and Wang Ji. On the design of hybrid control systems using automata models. In V. Chandru and V. Vinay, editors, Foundations of Software Technology and Theoretical Computer Science, pages 156-167, Hyderabad, India, Dec 1996. LNCS 1180, Springer-Verlag.

 [60]

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.

 [61]

John Fitzgerald and Richard Moore. Experiences in Developing a Proof Theory for VDM Specifications. In Proceedings of the "International Workshop on Semantics of Specification Languages (SoSL)". Springer Verlag 1994, October 1993. Also available as Technical Report TR 424 from the Department of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne NE1 7RU, UK.

Annual Report 1996