Li Dan and Bernhard K. Aichernig.
Automatic Test Case Generation for RAISE.
Technical Report 273, UNU-IIST, P.O.Box 3058, Macau, January
2003.
[2]
Sun Meng and Bernhard K. Aichernig.
CoalgKPF: Towards a Coalgebraic Calculus for
Component-Based Systems.
Technical Report 271, UNU-IIST, P.O.Box 3058, Macau, January
2003.
[3]
Sun Meng and Bernhard K. Aichernig.
Towards a Coalgebraic Semantics of UML: Class Diagrams and Use
Cases.
Technical Report 272, UNU-IIST, P.O.Box 3058, Macau, January
2003.
[4]
Sun Meng and Luis S. Barbosa.
On Refinement of Generic Software Components .
Technical Report 281, UNU-IIST, P.O.Box 3058, Macau, July 2003.
[5]
Sun Meng and Bernhard K. Aichernig.
Component-Based Coalgebraic Specification and Verification in RSL.
Technical Report 267, UNU-IIST, P.O.Box 3058, Macau, October
2002.
[6]
Abdugani Abdukhamidov and Chris George.
Extending the RSL C++ translator to generate SQL.
Technical Report 279, UNU-IIST, P.O.Box 3058, Macau, May 2003.
[7]
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.
[8]
C.A.R. Hoare and He Jifeng.
Unifying Theories of Programming.
Prentice Hall Series in Computer Science. Prentice Hall, 1998.
[9]
He Jifeng, Liu Zhiming, and Li Xiaoshan.
Modelling Object-oriented Programming with Reference Type and
Dynamic Binding.
Technical Report 280, UNU-IIST, P.O.Box 3058, Macau, May 2003.
[10]
Zhiming Liu, He Jifeng, Xiaoshan Li, and Yifeng Chen.
A Relational Model for Formal Object-Oriented Requirement Analysis
in UML.
Technical Report 287, UNU-IIST, P.O.Box 3058, Macau, September
2003.
Presented at and published in the proceedings of ICFEM2003, 5-7
November 2003, Singapore, LNCS 2885, Springer-Verlag, 2003, pp 641 - 664.
[11]
Zhiming Liu, He Jifeng, Xiaoshan Li, and Jing Liu.
Unifying Views of UML.
Technical Report 288, UNU-IIST, P.O.Box 3058, Macau, October
2003.
Presented at the UML03 Workshop on Composition Verification of UML
Models, 20-24 October 2003, San Francisco, California, USA.
[12]
He Jifeng, Liu Zhiming, and Li Xiaoshan.
Component Calculus.
Technical Report 285, UNU-IIST, P.O.Box 3058, Macau, September
2003.
Presented as an Invited Talk at Workshop on Formal Aspects of
Component Software FACS'03, Satellite Workshop of the FM 2003, Pisa, Italy -
September 8-9, 2003.
[13]
Proceedings of the Workshop on Formal Aspects of Component Software FACS'03,
Satellite Workshop of the FM 2003, Pisa, Italy - September 8-9, 2003.
Technical Report 284, UNU-IIST, P.O.Box 3058, Macau, September
2003.
[14]
Zhiming Liu.
Software Development with UML.
Technical Report 259, UNU-IIST, P.O. Box 3058, Macau, July
2002.
[15]
Dang Van Hung.
Real-time Systems Development with Duration Calculus: an Overview.
Technical Report 255, UNU-IIST, P.O. Box 3058, Macau, June
2002.
Published in the proceedings for the UNU-IIST 10th Anniversary
Colloquium on Formal Methods at the Crossroads, from Panacea to
Foundational Support, LNCS 2757, Springer-Verlag, November 2003, pp. 81-96.
[16]
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.
[17]
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), pp. 64-73.
[18]
Pei Yu and Xu Qiwen.
Checking Interval Based Properties for Reactive Systems.
Technical Report 283, UNU-IIST, P.O.Box 3058, Macau, September
2003.
[19]
Choe Sun Yong and Zhiming Liu.
Apply Object-Orientation and UML to the Development of Web-based
Learning System.
Technical Report 274, UNU-IIST, P.O.Box 3058, Macau, March
2003.
[20]
Ri Hyon Sul and He Jifeng.
A Complete Verification System for Timed RSL.
Technical Report 275, UNU-IIST, P.O.Box 3058, Macau, March
2003.
[21]
He Jifeng, Zhiming Liu, and Li Xiaoshan.
Contract-Oriented Component Software Development.
Technical Report 276, UNU-IIST, P.O.Box 3058, Macau, April
2003.
[22]
Jin Naiyong and He Jifeng.
Resource Semantic Models for Programming Languages.
Technical Report 277, UNU-IIST, P.O.Box 3058, Macau, April
2003.
[23]
He Jifeng.
An Operational Approach to Communicating Processes.
Technical Report 278, UNU-IIST, P.O.Box 3058, Macau, May 2003.
[24]
He Jifeng and Tony Hoare.
Equating Bisimulation with Refinement.
Technical Report 282, UNU-IIST, P.O.Box 3058, Macau, August
2003.
[25]
Pu Geguang, Wang Yi, Dang Van Hung, and He Jifeng.
An Optimal Approach to Hardware/software Partitioning for
Synchronous Model.
Technical Report 286, UNU-IIST, P.O.Box 3058, Macau, September
2003.
Presented at and published in the proceedings of the IFM 2004
Conference, Canterbury, UK, 4-7 April, 2004, Eerke A. Boiten, John Derrick,
Graeme Smith (Eds.), LNCS 2999, Springer-Verlag, 2004, pp. 363-381.
[26]
Gabriel Adenawo and Bernhard K. Aichernig.
Mutation Testing in the Unifying Theory of Programming.
Technical Report 289, UNU-IIST, P.O.Box 3058, Macau, October
2003.
