Elsa Estevez, Tomasz Janowski and Adegboyega Ojo. Planning for
e-Government - A Service-Oriented Agency Survey. IADIS International
Conference: e-Society 2005, Qawra, Malta, June 2005.
Adegboyega Ojo, Tomasz Janowski and Elsa Estevez. Determining
Progress Towards e-Government: What are the Core Indicators? 5th
European Conference on e-Government, ECEG 2005, Antwerp, Belgium,
June 2005.
Tomasz Janowski, Elsa Estevez and Adegboyega Ojo. A Project
Framework for E-Government. International Conference on E-Government
(EGOV05), Copenhagen, August 22-26, 2005.
Elsa Estevez and Tomasz Janowski, Extending Message-Oriented
Middleware, Congreso Argentino de Ciencias de la Computación (CACIC
2005), Concordia, Argentina.
Satyajit Acharya, Chris George and R. K. Shyamasundar. Domain
Consistency in Requirements Specification. Fifth International
Conference on Quality Software, QSIC 2005, Melbourne, Australia,
September 2005.
Sun Meng and Bernhard K. Aichernig. Coalgebraic Component
Specification and Verification in RSL. 6th International Conference
on Parallel and Distributed Computing, Applications and
Technologies, PDCAT 2005, Dalian, China, December 2005.
Bernhard K. Aichernig and Percy Antonio Pari Salas. Test Case
Generation by OCL Mutation and Constraint Solving. Fifth
International Conference on Quality Software, QSIC 2005, Melbourne,
Australia, September 2005.
Bernhard K. Aichernig. On the Value of Fault Injection on the
Modeling Level. Overture Workshop, Newcastle upon Tyne, UK, July
2005.
Bernhard K. Aichernig and Bernhard Beckert (eds). Proceedings
of 3rd IEEE International Conference on Software Engineering and
Formal Methods, SEFM 2005, September 2005, IEEE computer Society
Press, 2005.
Bernhard K. Aichernig, He Jifeng, Zhiming Liu and Mike Reed,
Integrating Theories and Techniques for Program Modelling, Design
and Verification: Positioning the Research at UNU-IIST in
Collaborative Research on the Verified Software Challenge. IFIP
Working Conference on Verified Software: Theories, Tools and
Experiments (VSTTE), 10-13 Oct, 2005, Zürich, Switzerland, 2005.
Zhiming Liu and R. Venkatesh, Methods and Tools for Formal
Software Engineering. IFIP Working Conference on Verified Software:
Theories, Tools and Experiments (VSTTE), 10-13 Oct, 2005, Zürich,
Switzerland, 2005.
Zhiming Liu, Keijiro Araki (eds). Theoretical Aspects of
Computing -- ICTAC 2004, First International Colloquium, Guiyang,
China, September, 2004, Revised Selected Papers Springer 2005
Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He. Consistent Code
Generation from UML Models. Australian Software Engineering
Conference 2005, IEEE Computer Society 2005.
Xiaoshan Li, Zhiming Liu, Jifeng He. Consistency Checking of UML
Requirements. ICECCS 2005, IEEE Computer Society 2005.
Zhiming Liu, Jifeng He, Xiaoshan Li. Towards a Rigorous Approach
to UML-Based Development. Electr. Notes Theor. Comput. Sci. 130,
2005.
Zhiming Liu, He Jifeng and Xiaoshan Li. rCOS: Refinement of
Component and Object Systems. Proceedings of Formal Methods for
Components and Objects: Third International Symposium, Lecture Notes
in Computer Science 3657, Springer 2005.
He Jifeng, Xiaoshan Li and Zhiming Liu. Component-Based
Software Engineering: The Need to Link Methods and their Theories.
In Proceedings of ICTAC 2005, Lecture Notes in Computer Science
3722, Springer 2005, pp. 70-95.
Long Quan, Qiu Zongyan, Zhiming Liu and Jifeng He. POST: A Case
Study for an Incremental Development in rCOS. In Proceedings of
ICTAC 2005, Lecture Notes in Computer Science 3722, Springer 2005,
pp. 485-500.
Dimitar P. Guelev and Dang Van Hung. On the Completeness and
Decidability of Duration Calculus with Iteration. Theoretical
Computer Science Journal, Vol 337/1-3, 9 June 2005, pp 278-304,
Elsevier.
Dang Van Hung and Bui Vu Anh. Model Checking Component Based
Systems with Blackbox Testing. Presented at and published in the
11th IEEE International Conference on Embedded and Real-Time
Computing Systems and Applications (RTCSA 2005), 17-19 August 2005,
Hong Kong, IEEE Computer Society Press, pp. 76 - 79.
Dang Van Hung. Toward a Formal Model for Component Interfaces
for Real-time Systems. Presented at and published in the proceedings
of the ACM SIGSOFT workshop "Formal Methods for Industrial Critical
Systems FMICS 2005", 7-9 September 2005, Lisbon, Portugal, Taziana
Margaria and Mieke Massink (eds), ACM Press, 2005, pp 106-114.
Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, and Wang Yi.
Exploring Optimal Solution to Hardware/software Partitioning for
Synchronous Model. International journal Formal
Aspects of Computing, Volume 17, Number 4, December 2005, pp 443 -
460.
Dang Van Hung and Martin Wirsing (eds). Theoretical Aspects of
Computing - ICTAC 2005, Second International Colloquium, Hanoi,
Vietnam, October 2005, LNCS 3722, Springer, 2005.
Vladimir Mencl and Tomas Bures. Microcomponent-Based Component
Controllers: A Foundation for Component Aspects. Proceedings of
12th Asia-Pacific Software Engineering Conference (APSEC 2005). IEEE
Computer Society Press, December 2005
Antonio Cerone, Peter Lindsay, Simon Connelly. Formal Analysis
of Human-computer Interaction using model-checking. 3rd IEEE
International Conference on Software Engineering and Formal Methods,
Koblenz, Germany, 5-9 September 2005, IEEE Comp. Soc., 2005, pp.
352-361
Antonio Cerone and George J. Milne. Property Verification of
Asynchronous Systems. Innovations in System and Software
Engineering, Vol. 1, No. 1, pp. 25-40, Springer, April 2005.
Antonio Cerone and Alessandra Di Pierro (eds). Proceedings of
the 2nd Workshop on Quantitative Aspects of Programming Languages.
Barcelona, Spain, 27-28 March 2004, Vol. 112 of Electronic Notes in
Theoretical Computer Science, Elsevier, 2005.
Antonio Cerone and Alessandra Di Pierro (guest editors).
Special Issue on "Quantitative Aspects of Programming Languages".
Theoretical Computer Science, Vol 346, Issue 1, November 2005.
Mike Reed. Order, Topology and Recursion Induction in CSP, LNCS
3525, 2005. Extended abstract of invited paper for the Symposium on
the Occasion of 25 Years of CSP, London, 2004.
Mike Reed. Chairman's Report for the WSIS Thematic Meeting on
Multi-Stakeholder Partnerships for Bridging the Digital Devide, in
Building Digital Bridges, International Telecommunication Union,
2005.
