Liu Zhiming, He Jifeng, and Li Xiaoshan.
Contract-oriented development of component software.
In Proceedings of WCC2004, 2004.
[2]
He Jifeng, Liu Zhiming, and Li Xiaoshan.
Contract-oriented Components.
In Proceedings of FAC'03, 2004.
[3]
He Jifeng, Liu Zhiming, Li Xiaoshan, and Qin Shenchao.
A relational model for object-oriented design.
In Proceedings of APLAS'04, 2004.
[4]
He Jifeng.
Linking simulation with refinement.
In Proceedings of the conference "25 years of CSP", 2004.
[5]
Jin Nanyun and He Jifeng.
Source model and pre-compiler specification of hardware-software
co-design language.
In Proceedings of SEFM04, 2004.
[6]
Pu Geguang and He Jifeng.
An optimal partitioning algorithm.
In Proceedings of IFM'04. Springer-Verlag, 2004.
[7]
Pu Geguang, He Jifeng, et al.
Partition algorithm of software-hardware systems.
In Proceedings of SEFM04, 2004.
[8]
J. He, Z. Liu, X. Li, and S. Qin.
A relational model for object-oriented designs.
UNU-IIST, P.O. Box 3058 Macao SAR, China. Presented at the Second
ASIAN Symposium on Programming Languages and Systems (APLAS) 2004.
Proceedings has been published in LNCS 3302, Springer, 2004.
[9]
Z. Liu.
A model of refinement for component and object systems.
UNU-IIST, P.O. Box 3058 Macao SAR, China. Invited Talk at 3rd
International Symposium on Formal Methods for Component and Object Systems
(FMCO'04), 2-5 November, 2004, Leiden, the Netherland. Processings to be
published in LNCS, Springer.
[10]
Xiaoshan Li, Zhiming Liu, and Jifeng He.
A Formal Semantics of UML Sequence Diagram.
Technical Report 292, UNU-IIST, P.O.Box 3058, Macau, February
2004.
Presented at and published in the proceedings of ASWEC2004, 13-16
April, 2004, Melbourne, Australia.
[11]
Jing Liu, Zhiming Liu, He Jifeng, and Xiaoshan Li.
Linking UML Models of Design and Requirement.
Technical Report 293, UNU-IIST, P.O.Box 3058, Macau, February
2004.
Presented at and published in the proceedings of ASWEC2004, 13-16
April, 2004, Melbourne, Australia.
[12]
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.
[13]
J. Yang, Q. Long, and X. Li.
A predicative semantic model for integrating UML models.
UNU-IIST, P.O. Box 3058 Macao SAR, China. Presented at the 1st
Internation Colloquium on Theoretical Aspects of Computing (ICTAC), September
20-24, 2004 Guiyang, China. Proceedings will be published in LNCS 3407,
Springer.
[14]
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.
[15]
Zhiming Liu, Xiaoshan Li, Jing Liu, and He Jifeng.
Integrating and Refining UML Models.
Technical Report 295, UNU-IIST, P.O.Box 3058, Macau, March
2004.
Presented at the UML2004 Workshop on Consistency Problems in
UML-based Software Development, October 10-15, 2004, Lisbon, Portugal,
published in Journal on Software and Systems Modeling.
[16]
J. Liu, X. Li Z. Liu, and J. He.
Formal support to incremental development.
In Proceedings of the 15th IRMA Internation Conference, New
Orleans, Louisiana, USA, 23-26 May 2004.
[17]
J. Liu, Z. Liu, X. Li, J. He, and Y. Chen.
Towards an integration of a formal method with rational unified
process.
UNU-IIST, P.O. Box 3058 Macao SAR, China. Chapter 6, Hong Yang (ed.),
Software Evolution with UML and XML, Idea Group, 2004.
[18]
Z. Liu, J. He, X. Li, and Y. Chen.
Consistency and refinement of UML models.
UNU-IIST, P.O. Box 3058 Macao SAR, China. Accepted for presentation
at the UML2004 Workshop on Consistency Problems in UML-based Software
Development, October 10-15, 2004 Lisbon, Portugal. Enhanced Version will be
published in Journal on Software and Systems Modeling.
[19]
Zhiming Liu, He Jifeng, and Li Xiaoshan.
Contract-Oriented Component Software Development.
Technical Report 298, UNU-IIST, P.O.Box 3058, Macau, April
2004.
Presented at and published in the proceedings of IFIP WCC-TCS2004,
24-26 August 2004, Toulouse, Francepp, pp. 349-366.
[20]
Z. Liu, J. He, and X. Li.
A rigorious approch to UML-based development.
UNU-IIST, P.O. Box 3058 Macao SAR, China. Invited Talk at Brazilian
Symposium on Formal Methods (SBMF04), 29 November - 01 December, 2004,
Recife, Brazil, pp. 48-57, Editora Universitaria UFPE.
[21]
Bhim Prasad Upadhyaya and Zhiming Liu.
Formal support for development of javabeans component systems.
In Proc. of the 28th Annual International Computer
Software and Applications Conference (COMPSAC), Hong Kong, September 2004.
IEEE Computer Society.
[22]
B.P. Upadhyaya and Z. Liu.
A design level formal model for javabeans.
In Nagib Callaos, William Lesso, Shusaku Nomura, and Jianna Zhang,
editors, Proc. of the 8th World Multiconference on
Systemics, Cybernetics and Informatics (SCI), volume XIV, pages 191-196,
Orlando, Florida, July 2004. International Institute of Informatics and
Systemics.
[23]
X. Li, Z. Liu, J. He, and Quan Long.
Generating a prototype from UML model of system requirements.
UNU-IIST, P.O. Box 3058 Macao SAR, China. Presented at International
Conference on Distributed Computing and Internet Technologies (ICDCIT'04),
Processings published in LNCS 3347, Springer, 2004.
[24]
Zhiming Liu.
Software Development with UML.
Technical Report 259, UNU-IIST, P.O. Box 3058, Macau, July
2002.
[25]
Bhim Prasad Upadhyaya.
A formal model for javabeans.
Master's thesis, International Institute for Software Technology /
The United Nations University and Department of Computer Science and
Engineering, Kathmandu University, September 2004.
Available online at http://www.iist.unu.edu/newrh/III/1/page.html as
at September 2004.
[26]
Dang Van Hung.
A Formal Model for Component Interfaces for Real-time Systems.
Technical Report 296, UNU-IIST, P.O.Box 3058, Macau, March
2004.
[27]
Sun Meng, Zhang Naixiao, and Bernhard K. Aichernig.
The Formal Foundations in RSL for UML Statechart Diagrams.
Technical Report 299, UNU-IIST, P.O.Box 3058, Macau, April
2004.
[28]
Kim Pyong Sam and Dang Van Hung.
A UTP Approach Semantics for Component-Based Real-Time Systems.
Technical Report 303, UNU-IIST, P.O.Box 3058, Macau, June 2004.
[29]
Pham Hong Thai and Dang Van Hung.
Verifying Linear Duration Constraints of Timed Automata.
Technical Report 306, UNU-IIST, P.O.Box 3058, Macau, June 2004.
Presented at and published in the proceedings of ICTAC'04, Gui Yang,
September, 2004.
[30]
Kim Yong Chun and Dang Van Hung.
Verifying Real-Time Systems Using Untimed Model Checking Tools.
Technical Report 302, UNU-IIST, P.O.Box 3058, Macau, June 2004.
[31]
Yifeng Chen and Zhiming Liu.
Integrating Temporal Logics.
Technical Report 291, UNU-IIST, P.O.Box 3058, Macau, February
2004.
Presented at and published in the proceedings of IFM 2004, 4-7 April,
2004, Canterbury, Kent, UK, Eerke A. Boiten, John Derrick, Graeme Smith
(Eds.), LNCS 2999, Springer-Verlag, 2004, pp. 402-420.
[32]
Yifeng Chen and Zhiming Liu.
From Durational Specifications to TLA Designs of Timed Automata.
Technical Report 301, UNU-IIST, P.O.Box 3058, Macau, June 2004.
Presented at and published in the proceedings of ICFEM04.
[33]
Bernhard K. Aichernig.
Mutation Testing in the Refinement Calculus.
Formal Aspects of Computing Journal, 15(2):280-295, 2003.
[34]
Bernhard K. Aichernig and Jifeng He.
Testing for design faults.
Formal Aspects of Computing, 2005.
Under revision.
[35]
Li Dan and Bernhard K. Aichernig.
Combining algebraic and model-based test case generation.
In Proceedings of First International Colloquium on Theoretical
Aspects of Computing, Guiyang, China 20-24 September 2004, Lecture Notes in
Computer Science. Springer-Verlag, 2004.
[36]
Bernhard K. Aichernig and Percy Antonio Pari Salas.
Test case generation by specification mutation and constraint
solving.
In FM 2005, the 13th International Symposium of Formal Methods
Europe, 2004.
Under review.
[37]
Carlo Corrales Delgado and Bernhard K. Aichernig.
Test Purpose Generation by Specification Mutation in Distributed
Systems.
Technical Report 313, UNU-IIST, P.O.Box 3058, Macau, September
2004.
[38]
Bernhard K. Aichernig and Chris George.
When specification-based testing fails.
In PRISE 2004, the First Conference on the PRInciples of
Software Engineering, Buenos Aires, Argentina, November 22 - 27, 2004, 2004.
[39]
Sun Meng, Zhang Naixiao, and Bernhard K. Aichernig.
The Formal Foundations in RSL for UML Statechart Diagrams.
Acta Scientiarum Naturalium Universitatis Pekinensis, 2004.
[40]
Sun Meng, Bernhard K. Aichernig, Luis S. Barbosa, and Zhang Naixiao.
A coalgebraic semantic framework for component based development in
UML.
In Proceedings of Category Theory and Computer Science
(CTCS'04), August 12th-14th, 2004, Copenhagen, Denmark, Electronic Notes in
Theoretical Computer Science. Elsevier, 2004.
[41]
Satyajit Acharya and Chris George.
Specifying a Mobile Computing Application Environment Using RSL.
Technical Report 300, UNU-IIST, P.O.Box 3058, Macau, May 2004.
[42]
Ana Funes and Chris George.
Formal Foundations in RSL for UML Class Diagrams.
Technical Report 253, UNU-IIST, P.O. Box 3058, Macau, May 2002.
Published as chapter VIII Formalizing UML Class Diagrams of
UML and the Unified Process, Liliana Favre (ed.), IRM Press, 2003.
[43]
Elizabeth Vidal Duarte and Bernhard K. Aichernig.
Towards an Improved Computing Curriculum for San Pablo Catholic
University in Peru.
Technical Report 304, UNU-IIST, P.O.Box 3058, Macau, June 2004.
[44]
Ri Myong Bok.
Undergraduate Computer Science Curriculum for the DPR of Korea.
Compendia Report 311, UNU-IIST, P.O.Box 3058, Macau, September
2004.
[45]
Ri Chol Gun and Antonio Cerone.
Postgraduate Information Systems Curriculum for the University of
Natural Science in the DPR of Korea.
Technical Report 312, UNU-IIST, P.O.Box 3058, Macau, September
2004.
[46]
Saleem Zougbi.
Reconciling the Should-be and the Can-be in Undergraduate Curricula:
Lessons from Bethlehem University, Palestine.
Technical Report 315, UNU-IIST, P.O.Box 3058, Macau, August
2004.
[47]
Pu Geguang, Jin Naiyong, He Jifeng, and Qiu Zongyan.
Performance Analysis in High-Level Synthesis.
Technical Report 294, UNU-IIST, P.O.Box 3058, Macau, February
2004.
[48]
Dang Van Hung.
A Technique for Improving Time Performance for Synchronous Parallel
Programs.
Technical Report 297, UNU-IIST, P.O.Box 3058, Macau, March
2004.
[49]
Bhim Prasad Upadhyaya and Zhiming Liu.
A Formal Model for JavaBeans.
Technical Report 305, UNU-IIST, P.O.Box 3058, Macau, September
2004.
Based on this report, a paper titled A Design Level Formal Model
for JavaBeans was presented at and published in the proceedings of SCI'04
and a paper titled Formal Support for Development of JavaBeans Component
Systems was presented at and published in the proceedings of COMPSAC'04.
[50]
Li Xiaoshan, Zhiming Liu, He Jifeng, and Long Quan.
Generating a Prototype from UML Model of System Requirements.
Technical Report 307, UNU-IIST, P.O.Box 3058, Macau, September
2004.
Presented at and published in the proceedings of the International
Conference on Distributed Computing and Internet Technologies (ICDCIT) 2004.
[51]
He Jifeng, Zhiming Liu, Li Xiaoshan, and Qin Shengchao.
A Relational Model for Object-Oriented Designs.
Technical Report 308, UNU-IIST, P.O.Box 3058, Macau, September
2004.
Presented at and published in the proceedings of the Second ASIAN
Symposium on Programming Languages and Systems (APLAS) 2004.
[52]
Yang Jing, Long Quan, Li Xiaoshan, and Zhiming Liu.
A Predicative Semantic Model for Integrating UML Models.
Technical Report 309, UNU-IIST, P.O.Box 3058, Macau, September
2004.
Presented at and published in the proceedings of the 1st
International Colloquium on Theoretical Aspects of Computing (ICTAC),
September 20-24, 2004 Guiyang, China.
[53]
Zhiming Liu, editor.
Proceedings of the First International Colloquium on
Theoretical Aspects of Computing ICTAC04, Guiyang, China 20 - 24 September
2004, number 310 in UNU-IIST Reports, P.O.Box 3058, Macau, September
2004.
[54]
Johan Bengtsson and Wang Yi.
Timed Automata: Semantics, Algorithms and Tools.
Technical Report 316, UNU-IIST, P.O.Box 3058, Macau, September
2004.
[55]
Dang Van Hung and Bui Vu Anh.
Model Checking Component Based Systems with Blackbox Testing.
Technical Report 317, UNU-IIST, P.O.Box 3058, Macau, October
2004.
