He Jifeng and Zhiming Liu (eds). Proceedings of the Eighth
International Conference on Formal Engineering Methods, 29 October -
3 November 2006, LNCS, Springer, 2006.
Zhiming Liu and He Jifeng (eds), Mathematical Frameworks for Component
Software: Models for Analysis and Synthesis, World Scientific, 2006.
Zhiming Liu, He Jifeng and Xiaoshan Li. Chapter 10. rCOS: A
relational calculus of components. In Z. Liu and J. He (Eds.),
Mathematical Frameworks for Component Software - Models for
Analysis and Synthesis, 207-238, World Scientific, 2006.
Jing Liu, He Jifeng and Zhiming Liu. A strategy for services
realization in service-oriented design (English), Science in China,
49(6), 2006.
Jing Liu, He Jifeng and Zhiming Liu. A strategy for services
realization in service-oriented design, Science in China E
(Chinese), 36(10), 2006.
Miaomiao Zhang and Dang Van Hung. Formal Analysis of Streaming
Downloading Protocol for System Upgrading. Presented and
published in the proceedings of the 4th Workshop on Quantitative
Aspects of Programming Languages (QAPL 06), Vienna, Austria - April
1 - 2, 2006, ENTCS, Elsevier, 2006.
Dang Van Hung and Paritosh Pandya (eds). Proceedings, Fourth
IEEE International Conference on Software Engineering and Formal
Methods, 11-15 September 2006, Pune, India, IEEE Computer Society,
2006.
Dang Van Hung and Pham Hong Thai. Towards a Template Language
for Component-based Programming. Presented and published in the
proceedings of the "30th Anniversary of the Institute of Information
Technology" Conference, Hanoi, Dec 27-28, 2006.
He Jifeng and Xiaoshan Li and Zhiming Liu. A Refinement Calculus
for Object Systems. Published in Theoretical Computer Science
(2006), doi:10.1016/j.tcs.2006.07.034.
He Jifeng and Zhiming Liu and Xiaoshan Li. A Theories of
Contracts. Published in Electronic Notes of Theoretical
Computer Science, Volume 160 , pp. 173-195 2006.
Kamel Barkaoui, Ana Cavalcanti and Antonio Cerone (eds).
Proceedings, 3rd International Colloquium on Theoretical Aspects of
Computing. Tunis, Tunisia, 20-24 November 2006, Lecture Notes in
Computer Science, 4281, Springer, 2006.
Xiangpeng Zhao, Antonio Cerone and Paddy Krishnan. Verifying
BPEL Workflows under Authorisation Constraints. Fourth International
Conference on Business Process Management, Vienna, Austria, 5-7
September 2006, Lecture Notes in Computer Science 4102, Springer,
pages 439-444.
Juan Ignacio Perna and Chris George, Model Checking RAISE
applicative specifications, 3rd Workshop of Software Engineering and
Data Base (WISBD), in the XII Argentine Congress on Computer
Science, San Luis, Argentina, 17-21 October.
Olumide Oteniya, Tomasz Janowski and Adegboyega Ojo.
Government-Wide Workflow Infrastructure to Enable Virtual Government
Organizations. Presented and published in the proceedings of the 7th
IFIP Working Conference on Virtual Enterprises, Helsinki, Finland,
September 2006, Springer Verlag.
Marķa Clara Casalini, Tomasz Janowski and Elsa Estevez. A
Process Model for Collaborative Problem Solving in Virtual Communities
of Practice. Presented and published in the proceedings of the 7th
IFIP Working Conference on Virtual Enterprises, Helsinki, Finland,
September 2006, Springer Verlag.
Maria Clara Casalini, Elsa Estevez and Tomasz Janowski.
Collaborative Problem Solving in Virtual Communities of Practice - A
Case Study in Disaster Prevention and Handling. Presented and
published in the proceedings of the 12th Argentine Congress on
Computer Sciences. October 2006.
Maria Clara Casalini, Elsa Estevez and Tomasz Janowski.
Computing Support for Virtual Communities of Practice. Presented and
published in the proceedings of the 8th Workshop of Researchers in
Computer Sciences (WICC), Moron, Argentina, June 2006, ISBN
950-9474-34-7
Tomasz Janowski, Elsa Estevez, Irshad Khan, Adegboyega Ojo.
UNeGov.net - Community of Practice for Electronic Governance.
Presented and published in the proceedings of the 7th Annual
International Conference on Digital Government Research, San Diego,
USA, May 2006. Digital Government Research Centre.
Elsa Estevez, Tomasz Janowski and Pablo Fillottrani. Messaging
Infrastructure for Electronic Government: Background, Rationale,
Objectives. Presented and published in the proceedings of the 8th
Workshop of Researchers in Computer Sciences (WICC), Moron, Argentina,
June 2006, ISBN 950-9474-34-7
Joseph C. Okika, Anders P.Ravn, Lokesh Siddalingaiah and Zhiming
Liu. Developing a TTCN-3 Test Harness for Legacy Software.
Proceedings of the 28th International Conference on Software
Engineering and Co-Located Workshops, pages 104-110, ACM Press,
2006.
Vladimir Mencl and Matej Polak, UML 2.0 Components and Fractal: An
Analysis. Presented at the 5th Fractal Workshop (part of ECOOP'06), July
3rd, 2006, Nantes, France, Jul 2006.
Jan Kofron, Jiri Adamek, Tomas Bures, Pavel Jezek, Vladimir Mencl,
Pavel Parizek, and Frantisek Plasil: Checking Fractal Component Behavior
Using Behavior Protocols. Presented at the 5th Fractal Workshop (part of
ECOOP'06), July 3rd, 2006, Nantes, France, Jul 2006.
Zhiming Liu and Mathai Joseph. Real-Time and Fault-Tolerant
Systems - Specification, Verification, Refinement and
Scheduling. LNCS 3167, 2006.
Zhiming Liu, Vladimir Mencl, Anders P. Ravn, and Lu Yang.
Harnessing Theories for Tool Support. Proc. 2nd International
Symposium on Leveraging Applications of Formal Methods, Verification
and Validation (IEEE-ISoLA 2006), 15-19 November 2006, Paphos,
Cyprus.
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu. A Type
System for the Relational Calculus of Object Systems. ICECCS
conference, August 2006, www.iceccs.org.
Xiaojian Liu, Zhiming Liu, Liang Zhao. Object-Oriented Structure
Refinement - A Graph Transformational Approach. Proc.
International Workshop on Refinement (REFINE 2006), Electronic Notes
in Theoretical Computer Science, October 2006.
Luís S. Barbosa and Sun Meng and Bernhard K. Aichernig and
Nuno Rodrigues. Mathematical Frameworks for Component Software:
Models for Analysis and Synthesis, On the Semantics of
Componentware: a Coalgebraic Perspective (Chapter 3). Series on
Component-Based Software Development, World Scientific, 2006.
Bernhard K. Aichernig and Jifeng He. Refinement and Test Case
Generation in UTP. Electronic Notes in Theoretical Computer
Science, 2006.
Bernhard K. Aichernig and Chris George. When Model-based Testing
Fails. Electronic Notes in Theoretical Computer Science, 2006.
Bernhard K. Aichernig and Carlo Corrales Delgado. From Faults
via Test Purposes to Test Cases: on the Fault-based Testing of
Concurrent Systems. Proceedings of FASE'06, Fundamental Approaches
to Software Engineering, Vienna, Austria, March 27-29, 2006.
Lecture Notes in Computer Science, 3922, pages 324-338, Springer
2006.
Elsa Estevez and Tomasz Janowski. Infrastructure for Electronic
Government - A Prototype for Messaging Services. 1st Iberoamerican
Congress on e-Government, Santiago de Chile, October 2006.
G. M. Reed and J. W. Sanders, The
principle of distribution, Journal of the American
Society for Information Science and Technology, 2006.
G. M. Reed, Topological domains for theoretical
computer science, presented at The ICTAC Colloquium in Theoretical Aspects of Computing Science,
November, 2006, to appear in Topology and its Applications.
G. M. Reed, The non-normal Moore space problem,
presented at the Oxford University International Conference
on Topology and Theoretical Computer Science, June, 2006,
to appear in Topology and its Applications.
V. Cyr and G. M. Reed, a non-completable
Moore space in the plane, presented at the Oxford
University International Conference
on Topology and Theoretical Computer Science, June, 2006,
to appear in Topology and its Applications.
