Jing Liu, Zhiming Liu, He Jifeng, and Xiaoshan Li. Linking UML
Models of Design and Requirement. Presented at and published in
the proceedings of ASWEC2004, 13-16 April, 2004, Melbourne,
Australia.
Xiaoshan Li, Zhiming Liu, and Jifeng He. A Formal Semantics of UML
Sequence Diagram. Presented at and published in the
proceedings of ASWEC2004, 13-16 April, 2004, Melbourne,
Australia.
Yifeng Chen and Zhiming Liu. Integrating Temporal
Logics. 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.
Pu Geguang, Dang Van Hung, He Jifeng and Wang Yi. An Optimal
Approach to Hardware/software Partitioning for Synchronous
Model. 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.
Dang Van Hung and Ho Van Huong. Modelling Real-time Database
Systems in Duration Calculus. Presented at and published
in the proceedings of the IASTED International Conference on
Databases and Applications (DBA 2004), February 17 - 19, 2004,
Innsbruck, Austria, M.H. Hamza (ed.), ACTA Press, pp. 37-42.
Dimitar P. Guelev and Dang Van Hung. A Relatively Complete
Axiomatisation of Projection onto State in the Duration
Calculus. Journal of Applied and Non Classical Logics, Volume 14,
No 1-2, 2004, pp. 151-182.
Dimitar P. Guelev and Dang Van Hung. On the Completeness and
Decidability of Duration Calculus with Iteration. Accepted for
publication by the Theoretical Computer Science Journal.
Francois Siewe, Dang Van Hung, Hussein Zedan and Antonio Cau.
A Formal Design Technique for Real-Time Embedded Systems
Development using Duration Calculus. IEEE-RAS Latin American
Robotics Symposium, pp 60-65, Oct 28-29, 2004. Editors: A.
Weitzenfeld and A. Barrera.
Zhiming Liu, He Jifeng, Xiaoshan Li, and Jing Liu. Unifying Views
of UML. Technical Report 288, accepted for publication in ENTCS.
Jing Liu, Zhiming Liu, Xiaoshan Li, He Jifeng and Yifeng Chen.
Towards the Integration of a Formal Object-Oriented Method and
Relational Unified Process Chapter 6 of a Book on Software
Evolution with UML and XML, Editor: Hongji Yang, Publisher Idea Group
Jing Liu, Zhiming Liu, Xiaoshan Li and Jifeng He. Formal Support to
Incremental Development. Proceedings of the 15th
IRMA Internation Conference, New Orleans, Louisiana, USA, 23-26
May, 2004.
Jifeng He and Zhiming Liu. A Design Calculus for Object-Oriented and
Component Systems, Invited Talk at Third International Symposium on
Formal Methods for Components and Objects (FMCO 2004), 2 - 5
November 2004, Leiden, The Netherlands.
Pei Yu and Xu Qiwen. Checking Interval Based Properties for
Reactive Systems. Fifth International Conference on Verification,
Model Checking and Abstract Interpretation. Venice, Italy. LNCS
2937, January 2004.
Liu Z., Ravn A.P. and Li X. (2004), Unifying proof methodologies of
duration calculus and timed linear temporal logic, Journal of
Formal Aspects of Computing, Vol.16, No. 2, May (2004),
pp. 140-154.
B.P. Upadhyaya and Z. Liu, A Design Level Formal Model for
JavaBeans, World Multiconference on Systemics, Cybernetics and
Informatics (SCI), Nagib Callaos and William Lesso and Shusaku
Nomura and Jianna Zhang (eds), Vol XIV, pp. 191-196, Orlando,
Florida, July, 2004, International Institute of Informatics and
Systemics.
Bhim Prasad Upadhyaya and Zhiming Liu, Formal Support for
Development of JavaBeans Component Systems, Proc. of the 28th
Annual International Computer Software and Applications Conference
(COMPSAC), Hong Kong,September 2004, IEEE Computer Society Press.
Pham Hong Thai and Dang Van Hung, Verifying Linear Duration
Constraints of Timed Automata, presented and
published in the proceedings of the First International
Colloquium on Theoretical Aspects of Computing, Guiyang, China 20 -
24 September 2004, LNCS 3407, pp. 295-309, Springer-Verlag, 2005.
He Jifeng, Liu Zhiming, Li Xiaoshan and Qin Shenchao, "A relational
model for object-oriented design" APLAS'04, 2004
Jin Nanyong and He Jifeng, "A resourse model and pre-compiler for
hardware/software mixed systems" SEFM04, 2004
He Jifeng, C. Morgan and A. Mclver, "Deriving probabilistic
semantics via "weakest completion"" ICFEM'04, 2004
He Jifeng, "Link simulation with refinement" in Proc of The 25th
anniversary of CSP, 2004.
Yifeng Chen and Zhiming Liu. From Durational Specifications to TLA
Designs of Timed Automata, accepted for ICFEM04.
Zhiming Liu, He Jifeng, and Li Xiaoshan. Contract-Oriented
Component Software Development. Presented at and published in the
proceedings IFIP WCC-TCS2004, 24-26 August 2004, Toulouse, France,
J.J. Levy, E.W. Mayer and J. C. Mitchell (eds.), Exploring New
Frontiers of Theoretical Informatics, Proc. of IFIP WCC-TCS2004,
pp.349-366.
Zhiming Liu, Xiaoshan Li, Jing Liu, and He Jifeng. Integrating and
Refining UML Models. 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"
X. Li and Z. Liu and J. He and Q. Long, Generating a prototype
from UML model of system requirements, Accepted for presentation
at International Conference on Distributed Computing and Internet
Technologies (ICDCIT) 2004. Proceedings to be published in LNCS,
J. Yang and Q. Long and X. Li, A Predicative Semantic Model
for Integrating UML Models, Accepted for presentation at the 1st
Internation Colloquium on Theoretical Aspects of Computing
(ICTAC), September 20-24, 2004 Guiyang, China. LNCS 3407,
Springer-Verlag, 2005.
Aristides Dasso and Chris George, Automating Software Development
by Cross-Utilization of Specification Tools, accepted for 8th
IASTED International Conference on Software Engineering and
Applications - SEA 2004.
Sun Meng, Zhang Naixiao, and Bernhard K. Aichernig. The Formal
Foundations in RSL for UML Statechart Diagrams. Acta Scientiarum
Naturalium Universitatis Pekinensis, 2004.
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, LNCS 3407,
Springer-Verlag, 2005.
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.
Dines Bjørner, Chris W. George, Anne E. Haxthausen,
Christian Krog Madsen, Steffen Holmslykke and Martin Penicka.
UML-ising Formal Techniques. Integration of Software Specification
Techniques for Applications in Engineering: Priority Program
SoftSpez of the German Research Foundation (DFG), Final Report,
Lecture Notes in Computer Science, Springer-Verlag, Volume 3147,
2004, pp. 423 - 450.
He Jifeng, Integrating Variants of DC, Invited talk at ICTAC04.
Adnan Sherif, He Jifeng, Cavalcanti and Augusto Sampaio. A
Framework For Specification and Validation of Real-Time Systems
Using Circus Actions. In Proceedings of First
International Colloquium on Theoretical Aspects of Computing,
Guiyang, China 20-24 September 2004, LNCS 3407,
Springer-Verlag, 2005.
