Ana Funes and Chris W. George.
Formal Foundations in RSL for UML Class Diagrams.
Technical Report 253, UNU/IIST, P.O. Box 3058, Macau, May 2002.
[2]
Aristides Dasso and Chris George.
Transforming RSL into PVS.
Technical Report 256, UNU/IIST, P.O. Box 3058, Macau, May 2002.
[3]
Li Dan and Bernhard Aichernig.
Automatic Test Case Generation for RAISE.
Technical Report 273, UNU/IIST, P.O.Box 3058, Macau, January
2003.
[4]
Bernhard K. Aichernig.
Contract-based Mutation Testing in the Refinement Calculus.
Technical Report 250, UNU/IIST, P.O. Box 3058, Macau, April
2002.
Presented at and published in the proceedings of the Refinement
Workshop REFINE'02, Copenhagen, Denmark, July 20-21, 2002 (affiliated with
FME 2002).
[5]
Sun Meng and Bernhard Aichernig.
CoalgKPF: Towards a Coalgebraic Calculus for
Systems.
Technical Report 271, UNU/IIST, P.O.Box 3058, Macau, January
2003.
[6]
Sun Meng and Bernhard Aichernig.
Towards a Coalgebraic Semantics of UML: Class Diagrams and Use
Cases.
Technical Report 272, UNU/IIST, P.O.Box 3058, Macau, January
2003.
[7]
Sun Meng and Bernhard Aichernig.
Component-Based Coalgebraic Specification and Verification in RSL.
Technical Report 267, UNU/IIST, P.O.Box 3058, Macau, October
2002.
[8]
Arifa Bhutto, Uzma Khadim, and Tomasz Janowski.
Developing an XML-Enabled Serials Management System using RAISE.
Technical Report 261, UNU/IIST, P.O. Box 3058, Macau, September
2002.
[9]
Jifeng He, Zhiming Liu, and Xiaoshan Li.
A Relational Model for Specification of Object-Oriented Systems.
Technical Report 262, UNU/IIST, P.O. Box 3058, Macau, October
2002.
[10]
Jifeng He, Zhiming Liu, and Xiaoshan Li.
Towards a Refinement Calculus for Object Systems.
Research Report 251, UNU/IIST, P.O. Box 3058, Macau, May 2002.
Presented at and published in the proceedings of the conference
ICCI2002, Canada, July 2002, IEEE Computer Society Press, pp. 69-77.
[11]
Zhiming Liu, Xiaoshan Li, Jifeng He, and Yifeng Chen.
A Relational Model for Object-Oriented Requirement Analysis.
Technical Report 258, UNU/IIST, P.O. Box 3058, Macau, July
2002.
[12]
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.
Presented at and published in the proceedings of the Asian Pacific
Software Engineering Conference, APSEC 2001, IEEE Society Press, 2001, pp.
259-266.
[13]
Zhiming Liu.
Software Development with UML.
Technical Report 259, UNU/IIST, P.O. Box 3058, Macau, July
2002.
[14]
Jin Naiyong and He Jifeng.
Resource Semantic Models for Programming Languages.
Technical Report 277, UNU/IIST, P.O.Box 3058, Macau, April
2003.
[15]
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.
Published in Journal of Computer Science and Technology, Vol.
17, No. 6, November 2002, pp. 689-698.
[16]
He Jifeng and Viktor Verbovskiy.
Integrating CSP and DC.
Technical Report 248, UNU/IIST, P.O. Box 3058, Macau, January
2002.
Presented at and published in the proceedings of the 8th IEEE
International Conference on Engineering of Complex Computer Systems,
Maryland, USA, 2-4 December 2002.
[17]
Adnan Sherif and He Jifeng.
Towards a Time Model for Circus.
Technical Report 257, UNU/IIST, P.O. Box 3058, Macau, July
2002.
Presented at and published in the proceedings of the 4th
International Conference on Formal Engineering Methods (ICFEM 2002), October
22-25, 2002 Shanghai, China, LNCS 2495, Springer-Verlag, 2002.
[18]
Yifeng Chen and Zhiming Liu.
Linking Temporal Logics.
Technical Report 264, UNU/IIST, P.O. Box 3058, Macau, October
2002.
[19]
Adnan Sherif and He Jifeng.
A Framework For The Specification, Verification and Development of
Real Time Systems using Circus.
Technical Report 270, UNU/IIST, P.O. Box 3058, Macau, November
2002.
[20]
Ho Van Huong and Dang Van Hung.
Modelling Real-time Database Systems in Duration Calculus.
Technical Report 260, UNU/IIST, P.O. Box 3058, Macau, September
2002.
[21]
Chris George.
Introduction to RAISE.
Technical Report 249, UNU/IIST, P.O. Box 3058, Macau, April
2002.
[22]
Gafurov Davrondjon and Tomasz Janowski.
Developing a Spell-Checker for Tajik using RAISE.
Research Report 252, UNU/IIST, P.O. Box 3058, Macau, May 2002.
Presented at and published in the proceedings of the ICFEM2002,
Shanghai, October 2002, LNCS 2495, Springer-Verlag, 2002.
[23]
Bernhard K. Aichernig.
The Commuting V-Diagram: On the Relation of Refinement and Testing.
Technical Report 254, UNU/IIST, P.O. Box 3058, Macau, May 2002.
[24]
Dang Van Hung.
Real-time Systems Development with Duration Calculus: an Overview.
Technical Report 255, UNU/IIST, P.O. Box 3058, Macau, June
2002.
[25]
Zhiming Liu, Xiaoshan Li, and Jifeng He.
Using Transition Systems to Unify UML Requirement Models.
Technical Report 263, UNU/IIST, P.O. Box 3058, Macau, October
2002.
Presented at and published in the proceedings of the 4th
International Conference on Formal Engineering Methods (ICFEM 2002), October
22-25, 2002, Shanghai, China, LNCS 2495, Springer-Verlag, 2002, pp 535-547.
[26]
Dang Van Hung and Dimitar P. Guelev.
Real-Time Systems Refinement with State Projections.
Technical Report 265, UNU/IIST, P.O.Box 3058, Macau, October
2002.
[27]
Chris George and Wendy Hoi Iok Wa.
UNU/IIST Annual Report 2002.
Administrative Report 266, UNU/IIST, P.O.Box 3058, Macau, April
2003.
[28]
Fikayo Ajayi and Dang Van Hung.
Translating Duration Calculus Designs into OCCAM Programs.
Technical Report 268, UNU/IIST, P.O.Box 3058, Macau, October
2002.
[29]
Dimitar P. Guelev and Dang Van Hung.
Projection onto State in Duration Calculus: Relative Completeness.
Technical Report 269, UNU/IIST, P.O.Box 3058, Macau, November
2002.
Presented at the Third Workshop on Automated Verification of Critical
Systems (AVoCS 2003) April 2-3 2003, Southampton (UK).
