Themes

DIF-DTC

UTC-SE

Technologies

Publications

Theses

Projects

NATO

Publications

Hard copies and/or Pdf/Postscript version of papers can be requested directly from the Principal authors.

Books.

Conference and journal publications.

Books

1: The book Executing Temporal Logic Programs by Dr. B. C. Moszkowski was originally published by Cambridge University Press in 1986. The publishers have kindly given the copyright back to the author. The pdf version has now been made available.
2: Migrating to Object Technology.
I. Graham.
Addison-Wesley, 1995.
3: The OPEN Process Specification.
I. Graham, B. Henderson-Sellers and D. Firesmith
Addison-Wesley, 1997.
4: The OPEN Modeling Language (OML) Reference Manual.
I. Graham, D. Firesmith and B. Henderson-Sellers.
Cambridge University Press, 1997.
5: Requirements Engineering and Rapid Application Development: An Object-Orientated Approach.
I. Graham.
Addison-Wesley, 1998.
6: Object-Oriented Technology and Computing Systems Re-engineering.
Edited by H. Zedan and A. Cau.
Horwood Publishing, 1999.
7: Successful Evolution of Software Systems.
Hongji Yang and Martin Ward.
Artech House, 2003.
8: Object-Oriented Methods: Principles and Practice (Third Edition).
Graham I., A.J. O'Callaghan and A.C. Willis.
Addison Wesley, Harlow, England, 2001.
9: Software Evolution with UML and XML.
H. Yang, editor.
Idea Publishing Group, December 2004.
10: Advances in UML and XML Based Software Evolution.
H. Yang, editor.
Idea Publishing Group, May 2005.
11: Security Management for Mobile Ad hoc Network of Networks (MANoN).
A. H. Al-Bayatti.
Germany: VDM publisher, ISBN 978-3-639-29097-4, 2010.
12: Runtime Verification of Information Flow.
M. K. Sarrab.
Germany: LAMBERT Academic Publishing, ISBN 978-3-8454-3274-8, 2011.
link to book

Back

Conference and journal publications

1995	1996	1997	1998	1999	2000
2001	2002	2003	2004	2005	2006
2007	2008	2009	2010	2011	2012
2013
Back

2013-1: Managing Uncertain Mediated Schema and Semantic Mappings Automatically in Dataspace Support Platforms.
N. C. Kuicheu, N. Wang, G. N. Fanzou, D. Xu, G. Dai, and F. Siewe
Computing and Informatics, vol. 32, no. 1, 2013
2013-2: An Efficient Approach for Realizing RCCAR to Resolve Context Conflicts in Context-Aware Systems Using Influential Context Elements.
A. Al-Shargabi and F. Siewe.
In the proceedings of the IEEE International conference on Advanced Robotics and Intelligent Systems (ARIS 2013), Tainan, Taiwan, 2013.
2013-3: Resolving Context Conflicts using Association Rules (RCCAR) to Improve Quality of Context-Aware Systems.
A. Al-Shargabi and F. Siewe.
In proceedings of IEEE ICCSE, 2013.
2013-4: Extend the UTAUT to Measure the Adoption of On-line Shopping in Saudi Environment.
F.F. Alsharif, F. Siewe, C. Fidler, and G. Bella.
In the proceedings of IADIS International Conference e-Society 2013, Lisbon, Portugal, pp. 185--192, 2013.
2013-5: The On-line Shopping Consumption Patterns of Saudi Shoppers.
F.F. Alsharif, C. Fidler, F. Siewe and G. Bella.
In the proceedings of IACSIT 2013, Rome, Italy, 2013.
2013-6: Interconnections between classes of sequentially compositional temporal formulas.
B.C. Moszkowski.
Information Processing Letters, 113 (9), pp. 350-353, 2013.
2013-7: A Model-Based Approach for RFID Application Testing.
A. Huebner, C. Facchi, M. Meyer and H. Janicke.
In proceedings of the 12th IEEE International Conference on Ubiquitous Computing and Communications (IUCC-2013) Melbourne, Australia, 16-18 July, 2013.
2013-8: Context Aware Driver Behaviour Detection System in Intelligent Transportation System (ITS).
S. Al-Sultan, Ali H. Al-Bayatti and H. Zedan.
IEEE transactions on vehicular technology, 2013.
2013-9: A Comprehensive Survey on Vehicular Ad Hoc Network.
S. Al-Sultan, Moath M. Al-Doori, Ali H. Al-Bayatti and H. Zedan.
Networking and Computer Applications, 2013.
2013-10: Verification and enforcement of access control policies.
Antonio Cau, Helge Janicke and Ben Moszkowski.
Formal Methods in System Design, Springer, DOI 10.1007/s10703-013-0187-3, 2013.
2013-11: Compositional Reasoning using Intervals and Time Reversal.
Ben Moszkowski.
Annals of Mathematics and Artificial Intelligence, Springer, DOI 10.1007/s10472-013-9356-8, 2013.

Back

2012-1: A Framework for the Detection and Prevention of SQL Injection.
Emad Shafie and Antonio Cau.
In Proceedings of the 11th European Conference on Information Warfare and Security ECIW-2012, 2012.
2012-2: Behavioural API based Virus Analysis and Detection.
Sulaiman Al Amro and Antonio Cau.
In International Journal of Computer Science and Information Security, 2012.
2012-3: Dynamic Access Control Policies - Specification and Verification.
Helge Janicke and Antonio Cau and Francois Siewe and Hussein Zedan.
In Computer Journal, 2012.
2012-4: A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time.
Ben C. Moszkowski.
In Logical Methods in Computer Science Journal, 2012.
2012-5: Data confidentiality in mobile ad hoc networks.
Hamza Aldabbas, Tariq Alwada'n, Helge Janicke, Ali Hilal Al-Bayatti.
In International Journal of Wireless & Mobile Networks,Vol 4, No 1, 2012.
2012-6: SCADA security in the light of Cyber-Warfare.
Andrea Nicholson, S. Webber, S. Dyer, T. Patel and Helge Janicke.
In Computers & Security Journal, 2012.
2012-7: Classroom simulator for teacher training using virtual learning environments and simulated students behavior.
Fahad Mazaed Alotaibi and Jordan Dimitrov.
In International Journal of Reviews in Computing, 2012.
2012-8: Specification Analysis of Transactional Memory using ITL and AnaTempura.
Amin El-kustaban, Ben Moszkowski and Antonio Cau.
In Proceedings of the International MultiConference of Engineers and Computer Scientists 2012 (IMECS 2012), 14-16 March, 2012, Hong Kong.
2012-9: Formalising of Transactional Memory using Interval Temporal Logic (ITL).
Amin El-kustaban, Ben Moszkowski and Antonio Cau.
In Proceedings of the Spring World Congress on Engineering and Technology (SCET 2012), Xi'an, China, May 2012.
2012-10: Adopting E-commerce to user's needs.
M. Alshehri, H. Aldabbas, J. Sawle and M.A. Baqar.
In International Journal of Computer Science & Engineering Survey (IJCSES), 3, (1) 2012.
2012-11: Specifying Security Requirements of Context Aware System Using UML.
Saad Almutairi, Giampaolo Bella and Ala Abu-Samaha.
In proceedings Seventh International Conference on Digital Information Management (ICDIM 2012), august 22-24, Macau, 2012.
2012-12: A distance measure between labeled combinatorial maps.
Tao Wang, Guojun Dai, Bingbing Ni, De Xu and Francois Siewe.
Computer Vision and Image Understanding 116, pp.1168-1177, 2012.
2012-13: Automated test code generation based on formalized natural language business rules.
Christian Bacherler, Ben Moszkowski, Christian Facchi and Andreas Huebner.
Seventh International Conference on Software Engineering Advances (ICSEA 2012), 18-23 November, Lisbon, Portugal, 2012.
2012-14: Context-aware Personal Learning Environment.
Mafawez T. Alharbi, Amelia Platt, Ali H. Al-Bayatti.
In Proceedings of the 7th International Conference for Internet Technology and Secured Transactions (ICITST-2012), Technical Co-sponsored by IEEE UK/RI Computer Chapter, London, UK, 10-12 December 2012.
2012-15: VSHDRP: Vehicle Second Heading Direction Routing Protocol in VANET.
M. Al-Doori, F. Siewe and Ali H. Al-Bayatti.
International Journal of Computer Theory and Engineering, Vol 4, No 5, 2012.
2012-16: An InfoStation-Based Context-Aware On-Street Parking System.
A. Alhammad, Ali H. Al-Bayati, and F. Siewe.
In proceedings of the international conference on computer systems and industrial informatics (ICCSII) Dubai, 2012.
2012-17: Security Management System for 4G Heterogeneous Networks.
H. Alquhayz, Ali Al-Bayatti, and A. Platt.
In proceedings of World Congress on Engineering 2012 (WCE 2012), London, England. (Paper Awarded Merit of Certificate), 2012.
2012-18: Rifidi Toolkit: Virtuality for testing RFID Systems.
A. Huebner, C. Facchi and H. Janicke.
In proceedings of 7th International Conference on Systems and Networks Communications (ICSNC). Nov 18-23, 2012.
2012-19: Efficient Data Processing for large-scale Cloud Services.
M. Tilly, S. Reiff-Marganiec, H. Janicke.
In IEEE 2012 Second International Workshop on Formal Methods in Services and Cloud Computing (FM-S&C 2012), June 24-29 2012.
2012-20: Multi-Factor Authentication Using Hardware Information and User Profiling Techniques.
A. Alnajjar and H. Janicke.
In Proceedings of Sixth International Symposium on the Human Aspects of Information Security and Assurance (HAISA 2012), Crete, Greece, 6-8 June 2012.
2012-21: Dynamic Policy Management in Mobile Grid Environments.
T. Alwada'n, H. Aldabbas, H. Janicke, T. Khdour and O. Aldabbas.
In International Journal of Computer Networks and Communications. Vol. 4, No. 2, March 2012.
2012-22: Ensuring Data Confidentiality And Privacy In Mobile Ad hoc Networks.
H. Aldabbas, H. Janicke, R. AbuJassar, T. Alwada'n.
In proceedings of the 3rd International Conference on Wireless & Mobile Networks (WiMoNe-2011), (LNICST, Springer), January 2-4, 2012.

Back

2011-1: Security Management and Simulation for Mobile Ad hoc Networks (MANET).
A. H. Al-Bayatti and H. M. Al-Bayatti.
In: Hussein Al-Bahadili (ed.) Simulation in Computer Network Design and Modeling: Use and Analysis. USA, IGI Global, 2011.
2011-2: Enforcing Learning Activities Policies in Runtime Monitoring System for E-learning Environments.
T. Alghamdi, H. Zedan, A. Alzahrani.
In International Journal of Computer Science and Information Security (IJCSIS) Vol.9, No.8, pp. 45-53, AUG 2011
2011-3: Compositional Reasoning Using Intervals and Time Reversal.
B. Moszkowski.
In Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning (TIME 2011), IEEE Computer Society, pages 107-114, 2011
2011-4: CA-UCON: A context-aware usage control model.
A. Almutairi and F Siewe.
In CASEMANS '11 Proceedings of the 5th ACM International Workshop on Context-Awareness for Self-Managing Systems, pp. 38-43, 2011.
2011-5: Adaptive service composition based on runtime requirements monitoring.
Z. Ma, L. Liu, H. Yang and J. Mylopoulos.
In Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011, Article number 6009355, pp. 339-346, 2011.
2011-6: Remote management of face-to-face written authenticated though anonymous exams.
G. Bella, G. Costantino, L. Coles-Kemp and S. Riccobene.
In Proceedings of the 3rd International Conference on Computer Supported Education (CSEDU 2011), 2, pp. 431-437, 2011.
2011-7: A cloud storage architecture model for data-intensive applications.
Y. Huo, H. Wang, L. Hu, and H. Yang.
In Proceedings of the International Conference on Computer and Management, CAMAN 2011, 2011.
2011-8: An approach of creative application evolution on cloud computing platform.
J. Zhou, S. Zheng, D. Jing and H. H. Yang.
In Proceedings of the 26th Annual ACM Symposium on Applied Computing, SAC 2011; TaiChung;, pp. 54-58, 2011.
2011-9: Semantic multi-agent mLearning system.
S. Stoyanov, I. Ganchev, M. O'Droma, H. Zedan, D. Meere and V. Valkanova.
In Studies in Computational Intelligence, 344 pp. 243-272, 2011.
2011-10: Rough set approach to online signature identification.
W. Al-Mayyan, H. S. Own and H. Zedan.
In Digital Signal Processing, 21 (3) pp. 477-485, 2011.
2011-11: Behaviour-based Virus Detection System using Interval Temporal Logic.
S. Al Amro and A. Cau.
In proceedings of the 6th IEEE International Conference on Risks and Security of Internet and Systems (CriSIS 2011), Timisoara, Romania, September 26-28, 2011.
2011-12: Performance Simulation of a System's Parallelization.
M. Meyer, H. Janicke, P. Trapp, C. Facchi and M. Busch.
In proceedings of the International Conference on Software Engineering Advances (ICSEA'11), 2011.
2011-13: Dynamic Performance Stubs to Simulate the Main Memory Behavior of Applications.
P. Trapp, M. Meyer and C. Facchi.
In proceedings of the International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS'11), 2011.
2011-14: Building CPU Stubs to Optimize CPU Bound Systems: An Application of Dynamic Performance Stubs.
P. Trapp, M. Meyer, C. Facchi, H. Janicke and F. Siewe.
In International Journal on Advances in Software, Vol 4, nr 1 & 2, pp 189--206, 2011.
2011-15: STRIDE-based risk assessment for web application.
H. Guan, W. Chen, H. Li and J. Wang.
In Applied Mechanics and Materials Journal, 58-60, pp. 1323-1328, 2011.
2011-16: The research of extracting minimal decision rules from the decision table in Rough Sets.
W. Pan, Y. Huang, Y. Wang and H. Yang.
In Applied Mechanics and Materials Journal, 44-47 pp. 3948-3953, 2011.
2011-17: Routing management for DTN networks in VANET.
M.M. Al-Doori, F. Siewe and A.H. Al-Bayatti.
In International Journal of Machine Learning and Computing, 1 (5), pp. 488-497, 2011.
2011-18: VSHDRP: Vehicle Second Heading Direction Routing Protocol in VANET.
M. Al-Doori, F. Siewe and Ali H. Al-Bayatti.
In proceedings of 4th International Conference on Computer Science and Information Technology, Shanghai, China, 2011.
2011-19: Fall Detection system for Elderly people using an Intelligent Video Camera.
L. Alhimale, H. Zedan and Ali. H. Al-Bayatti.
In Proceeding of the Fourth IEEE International Symposium on Innovation in Information & Communication Technology (ISIICT). Amman, Jordan, 2011.

Back

2010-1: Using Software Metrics to Evaluate Static Single Assignment Form in GCC.
J. Singer, Christos Tjortjis and M. Ward.
In proceedings International Workshop on GCC Research Opportunities, GROW 2010, Pisa, Italy, 23rd January 2010.
[ pdf file ]
2010-2: The Principle of Guarantee Availability for Security Protocol Analysis.
G. Bella.
In Springer International Journal of Information Security. 2010.
2010-3: WATA: A System for Written Authenticated Though Anonymous Exams.
G. Bella, G. Costantino and S. Riccobene.
In Proceedings of CSEDU 2010, 2nd International Conference on Computer Supported Education. 7-10 April 2010, Valencia, Spain.
2010-4: Deriving a Slicing Algorithm via FermaT Transformations.
M. Ward and H. Zedan.
To appear in IEEE Transactions on Software Engineering 2010.
[ pdf file ]
2010-5: Access Control Mechanism for Mobile Ad hoc Network of Networks (MANoN).
A. H. Al-Bayatti, H. Zedan and F. Siewe.
In proceedings of ICNS 2010, The Sixth International Conference of Networking and Services, Cancun, Mexico, 2010.
2010-6: The Calculus of Context-aware Ambients.
F. Siewe, H. Zedan and A. Cau.
In Journal of Computer and System Sciences, 2010.
[ doi link ]
2010-7: Information Fusion in Biometrics: a Case Study in Online Signature.
W. Almayyan, H. S. Own and H. Zedan.
In proceedings of The International Multi-Conference on Complexity, Informatics and Cybernetics: IMCIC 2010, 2010.
[ pdf file ]
2010-8: Monitoring explicit information flow using Java byte-code instrumentation.
M. Sarrab and H. Janicke.
In proceedings of the 8th ICCA, Yangon, Myanmar March, 2010.
[ pdf file ]
2010-9: Multi-Attacker Protocol Validation.
W. Arsac, G. Bella, X. Chantry and L. Compagna.
In Springer Journal of Automated Reasoning, 2010.
2010-10: Virtually Perfect Democracy.
G. Bella, P. Ryan and V. Teague.
In Proceedings of CWSP2010, 18th Cambridge International Workshop on Security Protocols, 24-26 March 2010, Cambridge, UK.
2010-11: Application of Queuing theory to Modelling of Melange Yarns. Part II: A Method of Estimating the Fibre Migration Probabilities and a Yarn Structure Simulation Algorithm.
S. Grishanov, F. Siewe and T. Cassidy.
In Textile Research Journal, 2010.
2010-12: Predicting DataSpace Retrieval Using Probabilistic Hidden Information.
G. N. Fanzou Tchuissang, N. Wang, N. C. Kuicheu, F. Siewe, D. Xu and S. Liu.
In IEICE TRANSACTIONS on Information and Systems Vol.E93-D No.7, pp.1991-1994, 2010.
2010-13: Runtime Monitoring of Information Flow Policies.
M. Sarrab and H. Janicke.
In proceedings Doctoral/PhD Workshop on Distributed Event-Based Systems (DEBS-2010), 11 July 2010, Cambridge, UK, 2010.
[ pdf file ]
2010-14: Context Aware Architecture for Sending Adaptive HELLO Message in VANET.
M. M. Al-Doori, A. H. Al-bayatti and H. Zedan.
In proceeding of Casemans 2010, the 4th ACM International Workshop on Context Awareness for Self-Managing Systems, Copenhagen, Denmark, 26-29 Sep, 2010.
2010-15: Formalising Policies of a mLearning System using CCA.
M. Al-Sammarraie, F. Siewe and H. Zedan.
In proceeding of Casemans 2010, the 4th ACM International Workshop on Context Awareness for Self-Managing Systems, Copenhagen, Denmark, 26-29 Sep, 2010.
[ pdf file ]
2010-16: Advances in the CAD simulation of textile yarns.
S. A. Grishanov, F. Siewe and T. Cassidy.
In Research Journal of Textile and Apparel, 2010.
[Excellent paper award 2011]
2010-17: Main Memory Stubs to Simulate Heap and Stack Memory Behavior.
P. Trapp and C. Facchi.
In CMG'10: International Conference Proceedings, 2010.
2010-18: Using CPU Stubs to Optimize Parallel Processing Tasks: An Application of Dynamic Performance Stubs.
P. Trapp, M. Meyer and C. Facchi.
In ICSEA'10: Proceedings of the International Conference on Software Engineering Advances, 2010.
2010-19: Runtime Monitoring and controlling of Information flow.
M. Sarrab and H. Janicke.
In International Journal of Computer Science and Information Security (IJCSIS) Vol. 8, No. 9. pp 37-45. December, 2010.
2010-20: Biometric-based authentication system using rough set theory.
H. S. Own, W. Al-Mayyan and H. Zedan.
In Rough Sets and Current Trends in Computing: Lecture notes in Computer Science, 6086, pp. 560-569, 2010.
2010-21: Iris features extraction using dual-tree complex wavelet transform.
W. Almayyan, H. S. Own and H. Zedan.
In Proceedings of the 2010 International Conference of Soft Computing and Pattern Recognition, SoCPaR 2010, pp. 18-22, 2010.
2010-22: Runtime verification of safety properties in multi-agents systems.
H. Alotaibi and H. Zedan.
In Proceedings of the 2010 10th International Conference on Intelligent Systems Design and Applications, ISDA'10, pp. 356-362, 2010.
2010-23: An agent-based approach for policy enforcement in secure workflow systems.
H. Alotaibi and H. Zedan.
In Proceedings of the 2010 10th International Conference on Intelligent Systems Design and Applications, ISDA'10, pp. 348-355, 2010.
2010-24: Using self organizing map to cluster Arabic crime documents.
M. Alruily, A. Ayesh and A. Al-Marghilani.
In Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 2010, 5 pp. 357-363, 2010.
2010-25: An ontology-based approach to reengineering enterprise software for cloud computing.
H. Zhou, H. Yang and A. Hugill.
In Proceedings - International Computer Software and Applications Conference, pp. 383-388, 2010.
2010-26: Agile service-oriented applications: Rule-based foundation with runtime adaptability.
A. Alqahtani and H. Zedan.
In International Journal of Digital Content Technology and its Applications, 4 (1), pp. 16-25, 2010.
2010-27: Automated dictionary construction from arabic corpus for meaningful crime information extraction and document classification.
M. Alruily, A. Ayesh and H. Zedan.
In proceedings of International Conference on Computer Information Systems and Industrial Management Applications, pp. 137-142, 2010.
2010-28: Alignment strategies and frameworks in co-evolution of business and information technology.
M. Asif Khan and H. Zedan.
In proceedings of International Conference on Information, Networking and Automation, 1, V1133-V1136, 2010.
2010-29: Optimizing software quality assurance.
O. Alshathry and H. Janicke.
In Proceedings - International Computer Software and Applications Conference, Pages 87-92, 2010.
2010-30: Estimation of reliability and cost relationship for architecture-based software.
H. Guan, W. R. Chen, N. Huang and H. Yang.
In International Journal of Automation and Computing, 7 (4), pp. 603-610, 2010.
2010-31: A service composition approach based on sequence mining for migrating e-learning legacy system to SOA.
Z. Zhang, D.-D. Zhou, H. Yang and S.-C. Zhong.
In International Journal of Automation and Computing, 7 (4), pp. 584-595, 2010.
2010-32: Decentralized XACML overlay network.
A. Alzahrani, H. Janicke and S. Abubaker.
In Proceedings - 10th IEEE International Conference on Computer and Information Technology, CIT-2010, 7th IEEE International Conference on Embedded Software and Systems, ICESS-2010, ScalCom-2010, pp. 1032-1037, 2010.
2010-33: From applications, to models and to embedded system code: A modeling approach in action.
H.-Y. Tung, C.-H. Chang, C.-W. Lu, W. C. Chu and H. Yang.
In Proceedings - International Conference on Quality Software, pp. 488-494., 2010.
2010-34: Predicting data space retrieval using probabilistic hidden information.
G. N. Tchuissang, N. Wang, N. C. Kuicheu, F. Siewe, D. Xu and S. Y. Liu.
In IEICE Transactions on Information and Systems, E93D (7), pp. 1991-1994., 2010.
2010-35: Automatically constructing dictionaries for extracting meaningful crime information from Arabic text.
M. Alruily, A. Ayesh and H. Zedan.
In Frontiers in Artificial Intelligence and Applications, 215, pp. 1139-1140, 2010.
2010-36: A novel lifecycle model for web-based application development in small and medium enterprises.
W. Huang, R. Li, C. Maple, H. Yang, D. Foskett and V. Cleaver.
In International Journal of Automation and Computing, 7 (3), pp. 389-398, 2010.
2010-37: Authentication and access control in RFID based logistics-customs clearance service platform.
H.-F. Deng, W. Deng, H. Li and H. Yang.
In International Journal of Automation and Computing, 7 (2), pp. 180-189, 2010.
2010-38: Scalable reduction of large datasets to interesting subsets.
G.T. Williams, J. Weaver, M. Atre and J.A. Hendler.
In Web Semantics: Science, Services and Agents on the World Wide Web, 8 (4), pp. 365-373, 2010.

Back

2009-1: Security Solution for Mobile Adhoc Network of Networks.
A. H. Al-Bayatti, H. Zedan and A. Cau.
In proceedings of ICNS 2009, The Fifth International IEEE Conference on Networking and Services, Valencia, Spain, 21 to 25 April 2009.
[ pdf file ]
2009-2: Adaptation of Black-Box Software Components.
R. A. Rasenack.
Proceedings of International Symposium XA2008, European Coneference on Computer Science & Applications, Tibiscus University of Timisoara, Romania, 2009.
[ pdf file ]
2009-3: Analyser Framework to Verify Software Components.
R. A. Rasenack.
Proceedings of International Spring Conference on Computer Science & Applications, Tibiscus University of Timisoara, Romania, 2009.
[ pdf file ]
2009-4: Non-intrusive speech quality prediction in VoIP networks using a neural network approach.
M. Al-Akhkras, H. Zedan, R. John and I. AlMomani.
Neurocomputing, international journal, Vol 72, Nos 10-12, p. 1595-2608, Elsevier, june 2009.
[ pdf file ]
2009-5: Using formal specifications to support testing.
R. M. Hierons, K. Bogdanov, J. P. Bowen, R. Cleaveland, J. Derrick, J. Dick, M. Gheorghe, M. Harman, K. Kapoor, P. Krause, G. Luettgen, A. J. H. Simons, S. Vilkomir, M. R. Woodward and H. Zedan.
ACM Computing Surveys, Vol 41, Issue 2, february 2009.
[ pdf file ]
2009-6: A Property based Framework for Trust and Reputation in Mobile Computing.
K. Jones, H. Janicke and A. Cau.
In proceedings of 2009 International Conference on Advanced Information Networking and Applications Workshops, IEEE, Bradford, 2009.
[ pdf file ]
2009-7: CCA: a Calculus of Context-aware Ambients.
F. Siewe, A. Cau and H. Zedan.
In proceedings of 2009 International Conference on Advanced Information Networking and Applications Workshops, IEEE, Bradford, 2009.
[ pdf file ]
2009-8: Software Certification through Quality Profiling.
A. Alhussein, H. Zedan, H. Janicke and O. Alshathry.
In proceedings of IEEE International Conference on New Trends in Information and Service Science, NISS '09, p. 444 - 446, 2009.
[ pdf file ]
2009-9: Multi-agent Based Dynamic e-Learning Environment.
S. AlZahrani, A. Ayesh, and H. Zedan.
International Journal of Information Technology and Web Engineering (IJITWE). Vol. 4, Issue 2. ITJ5072. June 2009.
2009-10: Security Solution for Mobile Ad hoc Network of Networks (MANoN).
A. H. Al-Bayatti, H. Zedan and A. Cau.
MASAUM Journal of Computing, Volume.1, Issue. 2, September 2009.
2009-11: Security Management for Mobile Ad Hoc Network of Networks (MANoN).
A. H. Al-Bayatti, H. Zedan, A. Cau and F. Siewe.
The International Journal of Mobile Computing and Multimedia Communication (IJMCMC), 2009.
2009-12: An Application of Queuing Theory to Modelling of Melange Yarns. Part I: A Queuing Model of Melange Yarn Structure.
F. Siewe, S. Grishanov, T. Cassidy and G. Banyard.
Textile Research Journal, 79, 6, 1467-1485, 2009.
[ external link to pdf]
2009-13: Framework of Dynamic E-learning Environment for Interactive Multimedia.
F. Lahwal, M. Amaimin and A. Al-Ajlan.
In proceedings of 2009 International Conference on New Trends in Information and Service Science, Beijing, China, p. 105-108, 2009.
[ pdf file ]
2009-14: Perception Cultural Impacts: Principles for Trainer's Skills for E-learning.
F. Lahwal, M. Amaimin and A. Al-Ajlan.
In proceedings of 5th International Conference on Networked Computing and Advance Information Management, 2009.
[ pdf file ]
2009-15: Combining dynamic and static slicing for analysing assembler.
M. Ward and H. Zedan.
In Science of Computer Programming journal, Volume 75, Issue 3, March 2010, Pages 134-175, 2009.
[ pdf file ]
2009-16: Interactive runtime monitoring of information flow policies.
M. Sarrab. H. Janicke and A. Cau.
In proceedings of Second international conference of Creativity and Innovation in Software Engineering, 2009.
[ pdf file ]
2009-17: Generating OWL Ontology for Database Integration.
N. Nasser, H. Zedan and F. Siewe.
In proceedings of Third International Conference on Advances in Semantic Processing, SEMAPRO '09, 2009.
[ pdf file ]
2009-18: The Concept of Memory Stubs as a Specialization of Dynamic Performance Stubs to Simulate Memory Access Behavior.
P. Trapp, C. Facchi, S. Bittl.
In proceedings of Computer Measurement Group Conference, 2009.
[ pdf file ]
2009-19: Echtzeitverhalten durch die Verwendung von CPU Stubs: Eine Erweiterung von Dynamic Performance Stubs.
P. Trapp. C. Facchi, M. Meyer.
In proceedings of Echtzeit 2009 - Software-intensive verteilte Echtzeitsysteme, 2009.
[ pdf file (Abstract English)]
[ pdf file (German)]
2009-20: Strategy of E-learning: A Comparative Study of E-learning Features between Western and Eastern Countries.
F. Lahwal, M. Amaimin, and A. Al-Ajlan.
In proceedings of second international conference of Creativity and Innovation in Software Engineering (CISE2009), 2009.
[ pdf file ]
2009-21: Secure management layer for JXTA-based information sharing systems.
Y. Al Makady and H. Janicke.
In proceedings of International Conference on Multimedia Computing and Information Technology, 2009.
2009-22: Software Evolution for Evolving China.
H. Yang, F. Chen, Y. Zhou, M. Zhao, Y. Wang and H. Guo.
In Book Chapter, The China Information Technology Handbook, Springer, 2009.
2009-23: Study of An Architecture-based Reliability Cost Model for Software.
H. Guan and H. Yang.
In proceedings of 15th International Conference on Automation & Computing, University of Bedfordshire, Luton, UK, 19 September 2009.
2009-24: Automating Business Intelligence Recovery from a Web-based System.
J. Kang, J. Li, J. Huang, Y. Tian and H. Yang.
In proceedings of 21st International Conference on Software Engineering and Knowledge Engineering (SEKE 2009), Boston, USA, July 2009.
2009-25: An Ontology-Based Approach to Portable Embedded System Development.
F. Chen, H. Zhou, J. Li, R. Liu, H. Yang, H. Li, H. Guo and Y. Wang.
In proceedings of 21st International Conference on Software Engineering and Knowledge Engineering (SEKE 2009), Boston, USA, July 2009.
2009-26: An Ontology-based Model Driven Approach for a Music Learning System.
Y. Tian, F. Chen, H. Yang and L. Landy.
In proceedings of 21st International Conference on Software Engineering and Knowledge Engineering (SEKE 2009), Boston, USA, July 2009.
2009-27: Domain Analysis in the Reengineering Process of a COBOL System.
R. Millham and H. Yang.
In proceedings of 3rd anual IEEE Workshop on Quality Oriented Software Reuse, Seattle, Washington, July, 2009.
2009-28: A Business-Logic Based Framework for Evolving Software Systems.
M. Alawairdhi and H. Yang.
In proceedings of 3rd anual IEEE Workshop on Quality Oriented Software Reuse, Seattle, Washington, July, 2009.
2009-29: An Ontology-based Approach for GUI Testing.
H. Li, F. Chen, H. Yang, H. Guo and W. C. Chu.
In proceedings of 33rd Annual IEEE International Computer Software and Applications Conference, Seattle, Washington, July, 2009.
2009-30: Service Identification via Ontology Mapping.
F. Chen, Z. Zhang, J. Li, J. Kang and H. Yang.
In proceedings of 33rd Annual IEEE International Computer Software and Applications Conference, Seattle, Washington, July, 2009.
2009-31: Industrial Report: Data Reengineering of COBOL Sequential Legacy Systems.
R. Millham and H. Yang.
In proceedings of 33rd Annual IEEE International Computer Software and Applications Conference, Seattle, Washington, July, 2009.
2009-32: Properties of Slicing Definitions.
M. Ward.
In proceedings of 9th IEEE International Working Conference on Source Code Analysis and Manipulation 20th-21st September 2009, Edmonton, Canada.
[ pdf file ]
2009-33: Architecture of EHARP routing protocols in ad hoc wireless networks.
S. Al Otaibi and F. Siewe.
In proceedings of International Conference on Intelligent Networking and Collaborative Systems 2009, pp. 202-207, 2009.
2009-34: Crime type document classification from Arabic corpus.
M. Alruily, A. Ayesh and H. Zedan.
In proceedings of Second International Conference on developments in esystems engineering. pp. 153-159, 2009.
2009-35: Building semantic relationships incrementally in dataspace.
K. N. Cindy, W. Ning, F. T. G. Narcisse, X. De, and F. Siewe.
In International Conference on Information Science and Engineering, ICISE2009; Nanjing, pp. 2288-2291, 2009.

Back

2008-1: Conditioned Semantic Slicing for Abstraction; Industrial Experiment.
M. Ward, H. Zedan, M. Ladkau and S. Natelberg.
Journal of Software-Practice and Experience, Vol 38, Issue 12, pp 1273-1304, October 2008.
[ pdf file ]
2008-2: Temporal Dimension for Job Submission Description Language.
O. Aldabbas, M. Alfawair, H. Zedan and A. Cau.
The 7th WSEAS International Conference on SOFTWARE ENGINEERING, PARALLEL and DISTRIBUTED SYSTEMS (SEPADS '08), 2008.
[ pdf file ]
2008-3: Regionally Distributed Architecture for Dynamic e-Learning Environment (RDADeLE).
S. AlZahrani, A. Ayesh, and H. Zedan.
In proceedings of Human System Interaction, Poland, IEEE, 2008.
[ pdf file ]
2008-4: Concurrent Enforcement of Usage Control Policies.
H. Janicke, A. Cau, F. Siewe and H. Zedan.
In the proceedings of the 9th IEEE Workshop on Policies for Distributed Systems and Networks (POLICY2008) Palisades, NY, US, June 4-6th, 2008.
[ pdf file ]
2008-5: Text Mining Based on the Self-Organizing Map Method for Arabic-English Documents.
A. Al-Marghilani, H. Zedan, and A. Ayesh.
In the Proceedings of the Nineteenth Midwest Artificial Intelligence and Cognitive Science Conference (MAICS 2008), Cincinnati, USA, pp. 174-181, 2008.
[ pdf file ]
2008-6: Mapping Human Creativity.
H. Zedan, A. Cau, K. Buss, S. Westendorf, A. Hugill and S. Thomas.
In the Proceedings of the 12th Serbian Mathematical Congress, Novi Sad, 2008.
[ pdf file ]
2008-7: Multi-agent Based Dynamic e-Learning Environment.
S. AlZahrani, A. Ayesh, and H. Zedan.
In the Proceedings of IEEE Proceeding ICCES'08, 1-4244-2116, Cairo, Egypt 2008.
2008-8: How to Handle CPU Bound Systems: A Specialization of Dynamic Performance Stubs to CPU Stubs.
P. Trapp, C. Facchi.
In the Proceedings of Computer Measurement Group Conference, Las Vegas/USA, 2008.
[ pdf file ]
2008-9: MDA-Based Development of Music Learning Systems.
Y Tian, H. Yang and L. Landy.
In the Proceedings of 14th International Conference on Automation and Computing, Brunel University, London, September 2008.
2008-10: Evaluating Websites using A Practical Quality Model.
Z. Zhou, H. Zhou and H. Yang.
In the Proceedings of 14th International Conference on Automation and Computing, Brunel University, London, September 2008.
2008-11: Combining MDE and UML to Reverse Engineering Web-Based Legacy Systems.
J. Pu, H. Yang, B Xu and L. Xu.
In the Proceedings of IEEE International Workshop on Quality Oriented Reuse of Software (QUORS08), Turku, Finland, September 2008.
2008-12: Business Intelligence Recovery in Software Reverse Engineering.
J. Kang, J. Pu, Jianchu Huang and H. Yang.
In the Proceedings of IEEE International Workshop on Quality Oriented Reuse of Software (QUORS08), Turku, Finland, September 2008.
2008-13: Web Application Development Lifecycle for Small Medium-Sized Enterprises (SMEs).
W. Huang, R. Li, C. Maple, H. Yang, D. Foskett and V. Cleaver.
In the Proceedings of the Eighth International Conference on Quality Software 2008, August 2008, Oxford, UK.
2008-14: Web-based Systems Evolution in Model Driven Architecture.
F. Chen, H. Yang, H. Zhou, B. Qiao and H. Deng.
In the Proceedings of the IEEE International Workshop on Web System Evolution (WSE08), Beijing, China, October 2008.
2008-15: Information Accountability.
D.J. Weitzner, H. Abelson, T. Berners-Lee, J.Feigenbaum, J. Hendler and G.J. Sussman.
In Communications of the ACM - Organic user interfaces, 51 (6), pp. 82-87, 2008.
2008-16: N3logic: A logical framework for the world wide web.
T. Berners-Lee, D. Connolly, L. Kagal, Y. Scharf and J. Hendler.
In Theory and Practice of Logic Programming, 8, (3), pp. 249-269, 2008.
2008-17: Retaliation Against Protocol Attacks. Journal of Information Assurance and Security.
G. Bella and S. Bistarelli.
In Journal of Information Assurance and Security, 3, pp. 313-325, 2008.
2008-18: Web Science: An interdisciplinary approach to understanding the World Wide Web..
J. Hendler, N. Shadbolt, W. Hall, T. Berners-Lee and D. Weitzner.
In Communications of the ACM - Web Science, 51 (7), pp. 60-69, 2008.

Back

2007-1: Data Reengineering of Legacy Systems.
R. Millham.
Encyclopedia of Database Technologies and Applications, 2nd edition, IDEA Publishing Group, Hershey, PA, USA, 2007.
2007-2: A general Framework for Multilingual Text Mining using Self-Organizing Map.
A. Al-Marghilani.
In Proceedings of the IASTED International conference on Artificial Intelligence and Applications, Austria, Feb, 2007.
2007-3: End-to-End Security Solution for Wireless Mobile Ad hoc Network (WMANET).
I. Almomani and H. Zedan.
In Proceedings of the IADIS International Conference Applied Computing 2007, Salamanca, Spain, 18-20 February 2007.
[ pdf file ]
2007-4: Secure Distributed Key Management for Wireless Mobile Ad hoc Networks (WMANETs).
I. Almomani and H. Zedan.
In Proceedings of the IADIS International Conference Applied Computing 2007, Salamanca, Spain, 18-20 February 2007.
[ pdf file ]
2007-5: HCA: Heterogeneous Certificate Authority for Wireless Mobile Ad hoc Networks (WMANETs).
I. Almomani and H. Zedan.
In International Journal on Computer Science and Information Systems (IJCSIS Journal), April 2007.
2007-6: Deriving Enforcement Mechanisms from Policies.
H. Janicke, A. Cau, F. Siewe and H. Zedan.
In proceedings of Policy2007, Bologna, Italy, IEEE, 2007.
[ pdf file ]
2007-7: A Note on the Formalisation of UCON.
H. Janicke, A. Cau, and H. Zedan.
In proceedings of SACMAT'07, Sophia Antipolis, France, ACM, 2007.
[ pdf file ]
2007-8: Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals.
B. Moszkowski.
In Journal of Logic and Computation 17(2):333--409, 2007.
[ pdf file ]
2007-9: The Role of Dynamic Security Policy in Military Scenarios.
H. Janicke and L. Finch.
In proceedings of the 6th European Conference on Information Warfare and Security, 2007.
[ pdf file ]
2007-10: Policy-Driven Service Discovery.
H. Janicke and M. Solanki.
In proceedings of YRSOC 2007, 2007.
[ pdf file ]
2007-11: Quality Estimation for Streamed VoIP Services.
M. Al-Akhras and H. Zedan.
In proceedings of YRSOC 2007, 2007.
2007-12: Grid Evolution.
M. Alfawair, O. Aldabbas, P. Bartles and H. Zedan.
In proceedings IEEE International Conference on Computer Engineering & Systems (ICCES'07) Cairo, 2007.
[ pdf file ]
2007-13: Iconic Communication System by XML Language (SCILX).
N. C. Kuicheu, P. L. Fotso and F. Siewe.
In the proceedings of the 2007 ACM International Cross-Disciplinary Conference on Web Accessibility, Banff, Canada, 7-8 May 2007.
[ pdf file ]
2007-14: XIRS: an XML-based Image Retrieval System.
G. N. Fanzou Tchuissang, Xu De, Wang N. and F. Siewe.
In the proceedings of the 7th WSEAS International Conference on MULTIMEDIA, INTERNET & VIDEO TECHNOLOGIES (MIV '07), Beijing, China, September 15-17, 2007.
[ pdf file ]
2007-15: Task Decomposition for Communication Computation Overlap to Reengineer a Web-Based System.
J. Kang, H. Zhou and H. Yang
In the proceedings of the 11th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS'07), Arizona, USA., Mar. 2007.
[ pdf file ]
2007-16: An Agent-based Service Oriented Approach to Role-Based Access Controls.
F. Chen, S. Li and H. Yang
In the proceedings of the IEEE International Conference on Networking, Sensing and Control (ICNSC'07), London, UK, Apr. 2007.
[ pdf file ]
2007-17: A Model Driven Approach to Evolutionary Redocumentation.
F. Chen, S. Li and H. Yang.
In the proceedings of the 31st IEEE International Computer Software and Application Conference (COMPSAP'07), Beijing, China, Jul. 2007.
[ pdf file ]
2007-18: Using Aspect Orientation in Understanding Legacy COBOL Code.
J. Pu, Z. Zhang, J. Kang, Y. Xu and H. Yang.
In the proceedings of the 31st IEEE International Computer Software and Application Conference (COMPSAP'07), Beijing, China, Jul. 2007.
[ pdf file ]
2007-19: OPTIMA: an Ontology-based PlaTform-specIfic software Migration Approach.
H. Zhou, J. Kang, F. Chen and H. Yang.
In the proceedings of the 7th International Conference on Quality Software (QSIC'07), Portland, Oregon, USA, Oct. 2007.
[ pdf file ]
2007-20: Practical Approach Using Self-Orgnaizing Maps For Multilingual Text Mining.
A. Al-Marghilani, H. Zedan and A. Ayesh.
In Proc. EasyChair - Saudi innovation conference. Newcastle, UK, 11-12 May 2007.
2007-21: Multimedia and Live Performance: Developing an Infrastructure to Support Creativity.
I. Willcock.
In Proc. Digital Resources for the Humanities and Arts (DRHA07), 2007.
[ pdf file ]
2007-22: The Role of Dynamic Security Policies in Military Scenarios.
H. Janicke and L. Finch.
In Proc. Digital In Journal of Information Warfare, William Hutchinson (Edt.), Volume 6, Issue 3, pages 1-14, Dec 2007.
[ pdf file ]
2007-23: E-learning (MOODLE) Based on Service Oriented Architecture.
A. Ajlan and H. Zedan.
In Proc. of the EADTU's 20th Anniversary Conference, Lisbon, Portugal, 8-9 November, Lisbon-Portugal, vol. 1, p. 62-70, 2007.
[ pdf file ]
2007-24: The Web Services Selection of Virtual Learning Environment Services.
A. Ajlan and H. Zedan.
In Proc. of the IADIS International Conference WWW/Internet 2007, IADIS Press, vol. 2, p.50-54, 7-9 October 2007.
[ pdf file ]
2007-25: Performance Improvement Using Dynamic Performance Stubs.
P. Trapp.
Arbeitsberichte - Working Papers serie, Nr. 14, 2007.
[ pdf file ]

Back

2006-1: Commercialization of Web Portals.
R. Millham.
Encyclopaedia of Portal Technology and Applications, IDEA Group, Hershey, PA, USA, 2006.
[ pdf file ]
2006-2: A Component Mining Approach to Incubate Grid Services in Object-Oriented Legacy Systems.
J. Li, Z. Zhang, B. Qiao and H. Yang.
International Journal of Automation and Computing, Vol. 3, No.1, 2006.
2006-3: A Compositional Event & Time-based Policy Model.
H. Janicke, A. Cau, F. Siewe, H.Zedan and K. Jones.
In proceedings of Policy2006, London, Ontario, Canada, IEEE, 2006.
[ pdf file ]
2006-4: ASDL: A Wide Spectrum Language for Designing Web Services.
M. Solanki, A. Cau and H. Zedan.
Proceedings of the 15th international conference on World Wide Web, Edinburgh, UK, ACM Press, 2006.
[ pdf file ]
2006-5: Slicing as a Program Transformation.
M. Ward and H. Zedan.
In ACM TOPLAS, 2006.
[ postscript file ]
2006-6: Kopplungs- und Versionsmechanismen von modellierten Software Komponenten, [engl. Coupling and Version Mechanisms of Modeled Software Components].
Rolf Andreas Rasenack, Gero Mueller and Michael Sieger.
Tagungsband der Informatiktage 2006, Fachwissenschaftlicher Informatik-Kongress, S. 25 - 28, Konradin Verlag GmbH, Leinfelden, Germany, 2006.
[ pdf file ]
2006-7: Abstrakte Syntaxbaume verwalten Quelltexte und Metainformationen, [engl. Abstract Syntax Language Trees for managing Source Codes and Meta Information].
K. Wolke, K. Yermashov and I. Seeberg.
In Tagungsband der Informatiktage 2006, Fachwissenschaftlicher Informatik-Kongress, Konradin Verlag GmbH, Leinfelden, Germany, 2006.
[ pdf file ]
2006-8: Failover als Ergaenzung zur Hochverfuegbarkeit, [engl. Failover as an Enhancement to High-Availability].
K. Wolke, F. Warthon, T. Weustenfeld and T. Wieting.
In Tagungsband der Informatiktage 2006, Fachwissenschaftlicher Informatik-Kongress, Konradin Verlag GmbH, Leinfelden, Germany, 2006.
2006-9: Architecture of the Neurath Basic Model View Controller.
K. Yermashov, K. H. Siemsen, K. Wolke and R.A. Rasenack.
In Proceedings of International Symposium XA2006, European Conference on Computer Science & Applications, Tibiscus University of Timisoara, Rumania, 2006.
[ pdf file ]
2006-10: Failover of Software Services with State Replication.
K. Wolke, K. Yermashov, K. H. Siemsen and R. A. Rasenack.
In Proceedings of International Symposium XA2006, European Conference on Computer Science & Applications, Tibiscus University of Timisoara, Rumania, 2006.
[ pdf file ]
2006-11: Semantic Linkage of Control Systems.
R. A. Rasenack, K. Wolke, K. Yermashov and K. H. Siemsen.
In Proceedings of International Symposium XA2006, European Conference on Computer Science & Applications, Tibiscus University of Timisoara, Rumania, 2006.
2006-12: Reengineering Websites into Stateful Resources for Grid Service Oriented Evolution.
J. Li and H. Yang.
In Multiagent and Grid Systems -- An International Journal, IOS Press, Vol. 2, No.2, 2006.
2006-13: Incorporating Legacy System into Semantic Grid Framework.
J. Li and H. Yang.
In Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration (IRI'06), Hawaii, USA, Sep. 2006.
2006-14: Business Rule Based Program Transformation for CRM System Evolution.
Y. Xu, H. Yang and I. Amin
In Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration (IRI'06), Hawaii, USA, Sep. 2006.
2006-15: Design of Domain-Specific Software Systems with Parametric Code Templates.
K. Yermashov, K. Wolke and K. H. Siemsen.
In Proceedings of the Third International Conference on Software Engineering, Venice, 2006.
[ pdf file ]
2006-16: Towards a Service-Driven Petri Nets-based Conceptual Model For Web Servics.
B. Zafar, H. Zedan and M. Solanki.
In Proceedings of the IADIS International Conference e-Society, volume 2, pages 338-343, 2006.
2006-17: Pinning Down the Artists?
Ian Willcock.
In Proceedings of humanities graduate conference, 2006.
[ pdf file ]
2006-18: Composing without Composers?
Ian Willcock.
Chapter in Creation, control and individuality in computer-based algorithmic composition, Electronics in New Music, Hofheim, Wolke Verlag, 2006.
[ pdf file ]

Back

2005-1: Run-time Analysis of Time-critical Systems.
S. Zhou, H. Zedan and A. Cau.
Journal of System Architecture, 51:5, p.331--345,2005.
[ postscript file ]
2005-2: MetaWSL and Meta-Transformations in the FermaT Transformation System.
M. Ward and H. Zedan.
The 29th Annual International Computer Software and Applications Conference COMPSAC 2005, Edinburgh, Scotland, July 26-28, 2005.
[ postscript file ]
2005-3: Analysis and Run-time Verification of Dynamic Security Policies.
H. Janicke, F. Siewe, K. Jones, A. Cau and H. Zedan.
Proceedings of the Workshop on Defence Applications & Multi-Agent Systems (DAMAS05), at 4th international joint conference on Autonomous Agents & Multi Agent Systems (AAMAS05), July 25, 2005.
[ postscript file ]
2005-4: Dynamic Access Control Policies and Web-Service Composition.
F.Siewe, H.Janicke and K. Jones.
Proceedings of the 1st Young Researchers Workshop on Service Oriented Computing (YR-SOC 05), Leicester, April, 2005.
[ postscript file ]
2005-5: Towards Evolving Web Sites into Grid Services Environment.
J. Li and H. Yang.
In Proceedings of the 7th IEEE International Symposium on Web Site Evolution (WSE'05), Budapest, Hungary, Sep. 2005.
[ pdf file ]
2005-6: A Grid Oriented Approach to Reusing Legacy Code in ICENI Framework.
J. Li, Z. Zhang and H. Yang.
In Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration (IRI'05), Las Vegas, USA, Aug. 2005.
[ pdf file ]
2005-7: Leveraging Legacy Assets for Grid Applications.
J. Li and H. Yang.
In Proceedings of the 2005 Postgraduate Research Conference in Electronics, Photonics, Communications and Networks, and Computing Science (PREP'05), Lancaster, UK, Mar. 2005.
2005-8: Service Identification and Packaging in Service Oriented Reengineering.
Z. Zhang, R. Liu and H. Yang.
Proceeding of the Seventeenth International Conference on Software Engineering and Knowledge Engineering (SEKE'05), Knowledge Systems Institute Graduate School, 2005.
[ pdf file ]
2005-9: Reusing Legacy COBOL Code with UML Collaboration Diagrams via a Wide Spectrum Language.
J. Pu, Z. Zhang, Y. Xu and H. Yang.
Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration (IRI'05), IEEE Systems, Man, and Cybernetics Society, 2005, pp. 78-83.
[ pdf file ]
2005-10: Modelling Web-Based System with UML Sequence Diagrams.
J. Pu, Z. Zhang, R. Millham, Y. Xu and H. Yang.
Proceedings of IADIS Virtual Multi Conference on Computer Science and Information Systems (MCCSIS'05), International Association for Development of the Information Society, 2005.
[ pdf file ]
2005-11: Conditioned Semantic Slicing via Abstraction and Refinement in FermaT.
M. Ward, H. Zedan and T. Hardcastle.
Proceedings of 9th European Conference on Software Maintenance and Reengineering (CSMR) Manchester, UK, March 21-23 2005.
[ postscript file ]
2005-12: Temporal Specifications for Semantic Web services.
M. Solanki, A. Cau and H. Zedan.
Chapter in book Semantic Web Services, Processes and Applications edited by Jorge Cardoso and Amit Sheth, Springer, 2005.
[ link to Springer site]
2005-13: Semantically annotating reactive web services with temporal specifications.
M. Solanki, A. Cau and H. Zedan.
Proceedings of the IEEE ICWS 2005, Second International Workshop on Semantic and Dynamic Web Processes, volume 140. CEUR-WS.org, 2005.
[ pdf file ]
2005-14: Aspect-Oriented Programming Based Software Evolution with Microsoft .NET.
F. Chen, H. Yang, H. Guo and T. Liu.
Poster paper presented in IEEE International Conference on Software Maintenance (ICSM'05), Budapest, Hungry, September 2005.
2005-15: Using Feature-Oriented Analysis to Recover Legacy Software Design for Software Evolution.
S. Li, F. Chen, Z. Liang and H. Yang.
Proceeding of the Seventeenth International Conference on Software Engineering and Knowledge Engineering (SEKE'05), Knowledge Systems Institute Graduate School, 2005.
[ pdf file ]
2005-16: Developing Distributed Virtual Machines for the Tri-Integration-Pattern Based Platform (TIPBP).
Q. Duan, Z. Liang, H. Zhou, H. Liao and H. Yang.
Presented IEEE International Workshop on Service-Oriented System Engineering (SOSE'05), Beijing, China, October 2005.
[ pdf file ]
2005-17: An Empirical Study of a Reverse Engineering Method for Aggregation Relationship Based on Operation Propagation.
D. Yeh, P. Sun, W. Chu, C. Lin and H. Yang.
Presented in IEEE Computer Software and Application Conference (COMPSAC'05), Edinburgh, UK, July 2005.
[ postscript file ]
2005-18: An Approach to Decomposing Assertions into Java Code.
T. Li, H. Yang, B. Xu and L. Shi.
Presented in International Conference on Information and Knowledge Engineering (IKE'05), Las Vegas, USA, June 2005.
2005-19: Programming Style Based Program Partition.
Y. Li, H. Yang, X. Cheng and X. Zhu.
International Journal of Software Engineering and Knowledge Engineering, World Scientific Publishing, Vol. 15, No. 6, 2005, pp. 1027--1061.
[ pdf file ]
2005-20: Feature Analysis for Service-Oriented Reengineering.
F. Chen, S. Li and H. Yang.
Presented in 12th IEEE ASIA-PACIFIC Software Engineering Conference (APSEC'05), December 2005, Taipei, Taiwan.
[ pdf file ]
2005-21: A Unified Software Reengineering Approach towards Model Driven Architecture Environment.
B. Qiao, H. Yang and A. O'Callaghan.
Book chapter in Software Evolution with UML and XML, IDEA Group Publishing, 2005.
2005-22: Visualizing COBOL Legacy Systems with UML: An Experimental Report.
S. McRobb, R. Millham, J. Pu and H. Yang.
Book chapter in Advances in UML and XML based Software Evolution, IDEA Group Publishing, 2005.
[ pdf file ]
2005-23: Band Reservation System Design and Analysis for Grid Service.
J. Kang, J. Li, S. Li and H. Yang.
Poster presented in the First European Young Researchers Workshop on Service Oriented Computing, Leicester, UK, April 2005.
2005-24: A Hierarchical Analysis of Propositional Temporal Logic based on Intervals.
B. Moszkowski.
In Collection We Will Show Them: Essays in Honour of Dov Gabbay, p. 371--440, 2005.
[ postscript file ] [ pdf slides ]
2005-25: Developing Grid Middleware for Software Evolution.
J. Li and H. Yang.
In Pre-Proceedings of the 13th IEEE International Software Technology and Engineering Practice Conference (STEP'05), Budapest, Hungary, Sep. 2005.
2005-26: Client-Led Information System Creation (CLIC): Navigating the Gap.
D. Champion, F. Stowell and A.J. O'Callaghan.
In Information Systems Journal, 15, pp213-231, 2005.
2005-27: Patterns Languages Hands-On.
M.J. Kavanagh and A.J. O'Callaghan.
In proceedings of ACM OOPSLA. San Diego 2005.
2005-28: JDBC Database Observer.
K. Wolke, O. Bruentje, A. Gluepker and F. Mertens.
Tagungsband der Informatiktage 2005, Fachwissenschaftlicher Informatik-Kongress, S. 292 - 296, Konradin Verlag GmbH, Leinfelden, Germany, ISBN:3-920560-21-3, 2005.
2005-29: JDBC and ODBC Database Observer Framework.
K. Wolke, K. H. Siemsen, K. Yermashov.
In proceedings of Innovative Applications of Information Technologies in Business and Management - International Symposium, Iasi, Romania, PIM Publishing House Iasi, October 2005.
2005-30: Business Rules Based Web Services Oriented Customer Relationship Management System (CRM) Evolution.
Y. Xu, Q. Duan and H. Yang.
In Proceedings of the 2005 IEEE International Workshop on Software Technology and Engineering Practice (STEP 2005), Hungary, 2005.
2005-31: Autonomous Agents and Multi-Agent Systems for the Military -- Issues and Challenges.
P. Beaumont, D. Allsopp, M. Greaves, S. Goldsmith, S. Spires, S. Thompson and H. Janicke.
In Proceedings of the Workshop on Defence Applications & Multi-Agent Systems (DAMAS05), at 4th international joint conference on Autonomous Agents & Multi Agent Systems (AAMAS05), July 25, 2005.

Back

2004-1: Agentification for Web Service.
F. Chen, H. Yang, H. Guo.
COMPSAC 2004, Hong Kong, 2004.
2004-2: An Evolutionary System Development Approach in A Pervasive Computing Environment.
Ruimin Liu, Hongji Yang, Yangsheng Wang and Wei Pang.
International Conference on Cyberworlds, Tokyo, Japan, Nov. 2004.
2004-3: Computation of controllability regions for unstable aircraft dynamics.
M.G. Goman and M.N. Demenkov.
Journal of Guidance, Control, and Dynamics, 2004, Vol. 27, No. 4, pp. 647-656.
2004-4: Stabilization of unstable aircraft dynamics under control constraints.
M.G. Goman and M.N. Demenkov.
Chap. 8 in "Advances in Dynamics and Control" edited by S. Sivasundaram, 2004, CRC Press, Boca Raton, FL.
2004-5: Development of New Functionality in ADDB Software.
N.Abramov, M.Goman and M.Sidoruck.
Contract CU004-027169. "Flight Clearance Simulation Software Development, Phase 2", Future Systems Technology Division, QinetiQ Ltd, Farnborough. Aug 2004.
2004-6: Aircraft Dynamics at High Incidence Flight with Account of Unsteady Aero dynamic Effects.
N.Abramov, M.Goman, A.Khrabrov.
AIAA Atmospheric Flight Mechanics Conference, August 2004.
2004-7: Augmenting Semantic Web Service Description With Compositional Specification.
Monika Solanki, Antonio Cau, Hussein Zedan.
The 13th International World Wide Web Conference -WWW 2004 - ACM, NYC- USA May 17-22, 2004.
[ postscript file ]
2004-8: Introducing Compositionality in Web service Descriptions.
Monika Solanki, Antonio Cau, Hussein Zedan.
10th International Workshop on Future Trends in Distributed Computing Systems - FTDCS 2004 -IEEE, Suzhou, China, May 26-28, 2004, 7 pages.
[ pdf file ]
2004-9: Bringing Semantics to Web Services: The OWL-S Approach.
OWL-S Coalition (Monika Solanki from DMU).
IEEE International Conference on Web Services (ICWS 2004).
2004-10: Bringing Semantics to Web Services: The OWL-S Approach.
DAML-S coalition (Monika Solanki from DMU).
13th World Wide Web Conference, New York City, 17-22 May 2004.
2004-11: A Formal Design Technique for Real-Time Embedded Systems Development using Duration Calculus.
F. Siewe, D. Van Hung, H. Zedan and A. Cau.
In the proceedings of the 1st IEEE Latin American Robotics Symposium (LARS 2004), Mexico City, Mexico, 2004.
[ pdf file ]
2004-12: Leveraging Legacy Assets with Enterprise Application Integration Using a Grey-box Modernisation Approach.
S. Li and H. Yang.
Proceedings of Postgraduate Research , Conference in Electronics, Photonics, Communications & Networks, and Computing Science (PREP 2004), University of Hertfordshire, Hatfield, UK, 5th to 7th April 2004.
2004-13: Building a Dependable Enterprise Service Assembly Line (ESAL) for Legacy Application Integration.
S. Li and H. Yang et al.
International Workshop on Web , Computing in Cyberworlds (WCCW2004) in conjunction with the 2004 International Conference on Cyberworlds (CW2004), IEEE Computer Society Press, Japan, 2004.
2004-14: Data Analysis for Customer Relationship Management.
Y. Xu. and H. Yang.
Proceedings of the 10th Chinese Automation and Computing Society Conference in the UK, Liverpool, England, September 2004.
2004-15: Incubating Services in Legacy Systems for Architectural Migration.
Z. Zhang and H. Yang.
In proceeding of the 11th Asia-Pacific Software, Engineering Conference (APSEC' 4), Busan, Korea, November, 2004.
2004-16: One-Stone-Two-Birds: Legacy System Re-engineering and Web Services Development - - A Component-Based and Service-Oriented Approach.
Z. Zhang and H. Yang.
Postgraduate Research Conference in Electronics, Photonics, Communications & Networks, and Computing Science (PREP 2004), Hatfield, UK, 2004.
2004-17: Legacy Assembler Reengineering and Migration.
Martin Ward, Hussein Zedan and Tim Hardcastle.
The 20th IEEE International Conference in Software Maintenance, 11th - 17th September 2004, Chicago, Illinois, USA.
[ postscript file ]
2004-18: Conditioned Semantic Slicing via Abstraction and Refinement in FermaT.
Martin Ward, Hussein Zedan and Tim Hardcastle.
Fourth International Workshop on Source Code Analysis and Manipuatlion, 15th - 16th September 2004, Palmer House Hilton Hotel, Chicago, Illinois, USA.
[ postscript file ]
2004-19: A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time.
Ben Moszkowski.
Journal of Applied Non-Classical Logics (JANCL), Special Issue devoted to Interval Temporal Logics and Duration Calculi, 2004.
[ postscript file ]
2004-20: Pigs from Sausages? Reengineering from Assembler to C via FermaT Transformations.
Martin Ward.
Science of Computer Programming, Special Issue on Program Transformation, 2004.
[ postscript file ]
2004-21: Patterns, Pattern Languages and a Software Architecture for CBDi.
A. J. O'Callaghan.
in Lycett M., and S. de Cesare and R.Macredie (eds.) The Development of Component-Based Information Systems. M.E.Sharpe. New York, NY, USA. 2004
2004-22: TAGDUR: A Tool for Producing UML Sequence, Deployment, and Component Diagrams Through Reengineering of Legacy Systems.
Millham, R, J J Pu, H Yang.
Proceedings of the 8th IASTED International Conference on Software Engineering and Applications (SEA), Innsbruck, Austria, 2004.
[ pdf file ]
2004-23: An Approach to Re-engineering Legacy System into Grid Environment.
J. Li and H. Yang.
In Proceedings of the 10th Annual Conference of Chinese Automation and Computing Society in the UK (CACSUK'04), Liverpool, UK, Sep, 2004.
2004-24: A Hierarchical Completeness Proof for Propositional Temporal Logic.
B. Moszkowski.
Chapter in book Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, LNCS 2772, Springer, pp. 480--523, 2004.
[ pdf file ]
2004-25: Bots n' Pieces: A Hands-On Investigation of Generative Pattern Languages Using Lego Mindstorm Robots.
A.J. O'Callaghan and M.J. Kavanagh.
In proceedings of ACM OOPSLA. Vancouver 2004.
2004-26: The Lego Mindstorms Experiment.
A.J. O'Callaghan.
The Fifth Recent Object Oriented Trends conference, rOOTs Bergen, Norway 2004.

Back

2003-1: Determining Granularity of Independent Tasks for Reengineering a Legacy System into an OO System.
Millham, R, H Yang, M P Ward.
Proceedings of the International Computer Software and Applications Conference (COMPSAC), Dallas, Texas, 2003.
[ pdf file ]
2003-2: TAGDUR: A Tool for Producing UML Diagrams Through Reengineering of Legacy Systems.
Millham, R, H Yang.
Proceedings of the 7th IASTED International Conference on Software Engineering and Applications (SEA), Marina del Rey, USA, 2003.
[ pdf file ]
2003-3: Acquiring Domain Knowledge in Reverse Engineering Legacy Code into UML.
Pu, J J, R Millham, H Yang.
Proceedings of the 7th IASTED International Conference on Software Engineering and Applications (SEA), Marina del Rey, USA, 2003.
[ pdf file ]
2003-4: Software Evolution in Ubiquitous Computing.
Ruimin Liu, Hongji Yang.
Proceedings of CACSUK 2003, Manchester, England, September, 2003.
2003-5: Flight Clearance Tools Using a Non-linear Bifurcation Analysis Framework.
M. Goman, Y. Patel and A. Khramtsovsky.
Paper 2003-5557, AIAA Guidance, Navigation, and Control Confer and Exhibit, August 2003, Austin, Texas USA.
2003-6: Regions of Attraction for Robustness Assessment.
Mikhail Goman, Y. Patel and M. Sidoyuk.
AIAA paper 2003-5551, AIAA Guidance Navigation and Control Conference, 2003.
2003-7: Aero dynamic database and Programs of Interactive Identification. Userguide and algorithms.
N. Abramov, M. Goman, A. Khramtsovsky.
Contract CU004-021672. "Research on Non-Linear Bifurcation Analysis Tools" Future System Technology Division, QinetiQ Ltd, Farnborough. May 2003.
2003-8: Introducing compositionality in webservice descriptions.
Monika Solanki, Antonio Cau, Hussein Zedan.
Paris, France, 2003. 3rd International Anwire Workshop on Adaptable Service Provision, Springer-Verlag: 14 pages.
[ pdf file ]
2003-9: Software solution for Fail-Safety and High-Availability of Distributed Java Systems.
K. Wolke.
Fujitsu-Siemens, Munich, Germany, 11-2003.
2003-10: Hochverf�gbarkeit als Dienst auf Java Applikations-Servern.
Karsten Wolke, Rolf Andreas Rasenack, Konstantin Yermashov.
Tagungsband der Informatiktage 2003, Fachwissenschaftlicher Informatik-Kongress, S. 292 - 296, Konradin Verlag GmbH, Leinfelden, Germany, ISBN:3-920560-21-3, 2003.
[ pdf file ]
2003-11: Building Dynamical Enterprise Application Expansion Model by Integrated Development Platform.
S. Li. and H. Yang et al.
Proceedings of the 9th Chinese Automation , and Computing Society Conference in the UK, Luton, England, September 2003.
2003-12: Modeling Legacy Code with UML Class.
J. Pu, S. Li and H. Yang.
Proceedings of the 9th Chinese Automation and Computing Society Conference in the UK, Luton, England, September 2003.
2003-13: A Multiple-Tier Model Manipulation Architecture on Enterprise Decision Making.
Zhihong Lang, Shaoyan Li, Hongzhi Liao, Qing Duan and Hongji Yang.
First International Workshop on Web Based Systems and Applications (WEBSA) at IEEE COMPSAC 2003 SA, October 2003.
2003-14: A Multiple-tier Distributed Data Integration Architecture.
U. H. Zhou, Q. Duan, S. Li and H. Yang.
The Seventh World Conference on Integrated Design and Process Technology (IDPT), Austin, Texas, December 2003.
[ pdf file ]
2003-15: System Quality Propagation in Reverse Architecturing.
Shaoyun Li. Hongzhi Liao, Bing Qiao, Hau Zhou and Hongji Yang.
The Seventh World Conference on Integrated Design and Process Technology (IDPT), Austin, Texas, December 2003.
2003-16: A Compositional Framework for Access Control Policies Enforcement.
Francois Siewe, Antonio Cau and Hussein Zedan.
In the proceedings of the ACM workshop on Formal Methods in Security Engineering: From Specifications to Code, Washington, DC, USA, October 2003.
[ pdf file ]
2003-17: Web Services: from Software Evolution Prospective Point of View.
Z. Zhang and H. Yang.
The 9th Annual Conference of Chinese Automation and Computing Society in the UK (CACSUK '03), Luton, UK, 2003.
2003-18: Concurrent Ada Dead Statements Detection.
Z. Chen, B. Xu, H. Yang and J. Zhao.
Publishing; ISBN: 1591400856; (January 2003); 44(13):733-741
2003-19: Bridging Legacy Systems to Model Driven Architecture.
Bing Qiao and Hongji Yang.
In Proceedings of COMPSAC 2003, November 2003.
2003-20: Slicing the SCAM Mug: A Case Study in Semantic Slicing.
Martin Ward.
Third IEEE International Workshop on Source Code Analysis and Manipulation, September 2003, Amsterdam.
[ postscript file ]
2003-21: Explicit Representation of Service Semantics: Towards Automated Composition Through a Dynamically Re-Configurable Architectural Style for On Demand Computing.
Ali Arsanjani.
ICWS 2003.
2003-22: Promises and Compromises.
Ali Arsanjani, Brent Hailpern, Joanne Martin, Peri Tarr.
ACM Queue 1 2003.
2003-23: A Hierarchical Completeness Proof for Interval Temporal Logic.
Ben Moszkowski.
Lecture Notes in Computer Science, Springer Verlag, 2003.
2003-24: ConSUS: A Light-Weight Program Conditioner.
Sebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Rob M. Hierons, John R. Howroyd, Lahcen Ourabya and Martin Ward.
Journal of Systems and Software (Elsevier), Volume 77, Issue 3, September 2003, Pages 241-262, 2003.
[ postscript file ]
2003-25: Lego Mindstorms XP Workshop (with Patterns).
O'Callaghan A.J. and M.J. Kavanagh.
vikingPLoP 2003. Bergen, Norway, 2003.
2003-26: Lego Mindstorms XP Workshop (with Patterns).
O'Callaghan A.J. and M.J. Kavanagh.
Eighth European Pattern Languages of Programming Conference. EuroPLoP 2003 Irsee, Germany 2003.
2003-27: Report on the Lego Mindstorms XP Workshop (with Patterns).
O'Callaghan A.J. and M.J. Kavanagh.
In Henney K., and Schuetz D (Eds.) Proceedings of the Eighth European Pattern Languages of Programming Conference. UVK, Konstantz, Germany 2003.
2003-28: Shrink-Wrapped Thought (2).
O'Callaghan A.J.
The Seventh European Developers Conference on Java Technology and Object Orientation JAOO, Arhus, Denmark, 2003.
2003-29: Architecture Framed.
Henney K., and O'Callaghan A.J.
The Fourth Recent Object Oriented Trends conference, rOOTs 2003 Bergen, Norway 2003.
2003-30: Shrink-Wrapped Thought (1).
O'Callaghan A.J.
The Fourth Recent Object Oriented Trends conference, rOOTs 2003 Bergen, Norway 2003.

Back

2002-1: A Simple Mathematically Based Framework for Rule Extraction from an Arbitrary Programming Language.
F.V. Ramsey and J.J. Alpigini.
Proceedings of 26th Annual International Computer Software and Applications Conference (COMPSAC 2002), Oxford, England, 26-29 August 2002.
2002-2: A Simple Mathematically Based Framework for Rule Extraction Using Wide Spectrum Language.
F.V. Ramsey and J.J. Alpigini.
Second International Workshop on Source Code Analysis and Manipulation (SCAM 2002), Montreal, Canada, 1 October 2002.
2002-3: Rough Sets, Guarded Command Language, and Decision Rules.
F.V. Ramsey and J.J. Alpigini.
Third International Conference on Rough Sets and Current Trends in Computing (RSCTC'2002), Philadelphia/Malvern, Pennsylvania, USA, 14 - 16 October 2002.
2002-4: A Compositional Framework for Hardware/Software Co-Design.
A. Cau, R. Hale, J. Dimitrov, H. Zedan, B. Moszkowski, M. Manjunathaiah and M. Spivey.
Design Automation for Embedded Systems Journal, Vol. 6:4, p. 367--399, R. Camposano, W. Wolf and B. Al-Hashimi (eds), Kluwer Academic Publishers.
[ postscript file ]
2002-5: Controllability region analysis for unstable aircraft dynamics.
M.G. Goman and M.N. Demenkov.
AIAA Guidance, Navigation and Control Conference, 2002, Paper 4749, Monterey, CA.
2002-6: Listener Concept, Java RMI.
Helge Janicke, Karsten Wolke, Niels Peter de Witt.
GI-Tagung Bad Schussenried 2002.
2002-7: Voice Over IP: Correct Hardware/Software Co-design.
H. Zedan and A. Cau.
Proc. of the 8th IEEE Conference on Future Trends of Distributed Computing Systems, 2002.
2002-8: Mining Legacy Systems for Business Components: An Architecture for an Integrated Tool Kit.
P. Johnson and Hussein Zedan.
IEEE, Compsac 2002.
2002-9: Reverse Engineering.
C. Lu, C. Chu, C. Chang, Y. Chung, X. Liu and H. Yang.
Book chapter in Software Engineering and Knowledge Engineering Handbook, 2002.
2002-10: Pre-Fetching Web Pages through Data Mining Based Prediction.
W. Zhang, B. Xu and H. Yang.
Journal of Applied System Studies, 2002.
2002-11: Enhancing Software Maintainability by Unifying and Integrating Standards.
W. C. Chu, C. Chang, C. Lu, H. Yang, H. Jiau, Y. Chung and B. Qiao.
Book Chapter in Advances in Software Maintenance Management: technologies and Solutions, Idea Group, 2002.
2002-12: Testing the Schedulability of Synchronous Traffic for the Timed Token Medium Access Control Protocol.
S. Zhang, A. Burns, A. Mehaoua, E. Lee and H. Yang.
Journal on Information and Software Technology, 44(13):733-741, Elsevier Science, October 2002.
2002-13: Change Impact Analysis to Support Architectural Evolution.
J. Zhao, H. Yang, L. Xiang, H Zedan and B. Xu.
Journal of Real-Time Systems, 22(3):251-280, May 2002.
2002-14: Slicing Tagged Objects in Ada.
Z. Chen and B. Xu, H. Yang.
Journal of Software Maintenance and Evolution (JSME), 2002.
2002-15: Reverse Engineering Metrics: The Sixth Element.
S. Zhou, H. Yang and W. Chu.
IEEE Computer Software and Application Conference 2002, Oxford, August, 2002.
2002-16: Static Dependency Analysis for Concurrent Ada 95 Programs.
Z. Chen, B. Xu, J. Zhao and H. Yang.
The 2002 International Conference on Software Engineering Research and Practice (SERP'02), June 2002, Las Vegas, USA.
2002-17: Evolution of Web-Based System: An Architecture Centred Approach.
B. Qiao and H. Yang.
7th International Conference on Reliable Software Technologies - Ada-Europe'02, Vienna, Austria, June, 2002.
2002-18: Enterprise Multi-tier Distributed Data Processng Architecture (EMDDPA) for Enterprise Data Resources.
H. Zhou, Q. Duan, H. Gao and H. Yang.
Conference on Automation and Computer Science UK (CACSUK' 02), Manchester, UK, Sept. 2002.
[ pdf file ]
2002-19: Advances in Time-Critical Communication on FDDI Networks.
S. Zhang, M. Gell and H. Yang.
CACSUK'02, Manchester, UK, Sept. 2002.
2002-20: A Novel Approach to Measuring Class Cohesion Based on Dependence Analysis.
Z. Chen, Y. Zhou, B. Xu, J. Zhao, H. Yang.
CACSUK'02, Manchester, UK, Sept. 2002.
2002-21: ICBMC: An Improved Cohesion Measure for Classes.
Y. Zhou, B. Xu, J. Zhao, H. Yang.
IEEE International Conference on Software Maintenance (ICSM'02), Montreal, Canada, Oct. 2002.
2002-22: Dynamic Object Oriented Program Slicing for Debugging.
B. Xu and H. Yang.
IEEE SCAM 2002, Montreal, Canada, October 2002.
2002-23: Learning Users' Internet for Web Pre-Fetching Poster.
B. Xu, W. Zhang and H. Yang.
IEEE SCAM 2002, Montreal, Canada, October 2002.
2002-24: Result Integration in a Meta Web Search Engine.
B. Xu, W. Zhang and H. Yang.
IEEE Web System Evolution (WSE'02), Montreal, Canada, Oct. 2002.
2002-25: Mining Users' Two-Dimension Interests from Cache.
B. Xu, W. Zhang and H. Yang.
International Conference on Cyber World (CW'02), Tokyo, Nov. 2002.
2002-26: Program Slicing via FermaT Transformations.
M. Ward, H Zedan.
COMPSAC 2002, 26th Annual International Computer Software and Applications Conference, Oxford, England, 26th-29th August 2002.
[ postscript file ]
2002-27: ConSUS: A Scalable Approach to Conditioned Slicing.
M. Daoudi, L. Ouarbya, J. Howroyd, S. Danicic, Mark Harman, Chris Fox, M. P. Ward.
Working Conference on Reverse Engineering, 2002. October 28 - November 1, 2002 Richmond, Virginia, USA.
[ postscript file ]
2002-28: Externalising Component Manners to Achieve Greater Maintainability Through a High Re-Configurable Architectural Style.
A Arsanjani, H Zedan, J. Alpigini.
IEEE ICSM02, 2002.
2002-29: A Multiple-tier Distributed Data Integration Architecture.
Hau Zhou, Qing Duan, Zhihong Liang, Shaoyun Li and Hongji Yang.
The Seventh World Conference on Integrated Design and Process Technology (IDPT), Austin, Texas, 2002.
2002-30: Business Compilers: Towards Supporting a Highly Re-Configurable Architectural Style for Service Orientated.
Ali Arsanjani.
ICSM 2002.
2002-31: A Goal Driven Approach to Enterprise Component Identification and Specification.
Ali Arsanjani and Keith Levi.
ACM 45 2002.
2002-32: An Investigation: Reengineering Sequential Procedure-Driven Software into Object-Oriented Event-Driven Software through UML Diagrams.
R Millham.
In the Proceedings of the International Computer Software and Applications Conference (COMPSAC), Oxford 2002.
[ pdf file ]
2002-33: A Walk in the Park.
Coplien J.O and A.J. O'Callaghan.
The Third Recent Object Oriented Trends conference, rOOTs 2002 Bergen, Norway 2002.
2002-34: Human Centred Software Architecture.
A.J. O'Callaghan.
The Third Recent Object Oriented Trends conference, rOOTs 2002 Bergen, Norway 2002.

Back

2001-1: Operational semantics for Verilog.
J. Dimitrov.
Proceedings of APSEC'2001.
[ postscript file ]
2001-2: The FermaT Assembler Re-engineering Workbench.
M. Ward.
International Conference on Software Maintenance 2001, 6th--9th November 2001, Florence, Italy.
[ postscript file ]
2001-3: The Formal Transformation Approach to Source Code Analysis and Manipulation.
M. Ward.
Keynote speech at the International Workshop on Source Code Analysis and Manipulation 10th November 2001, Florence, Italy.
[ postscript file ]
2001-4: A Concept Oriented Brief Revision Approach to Domain Knowledge Recovery from Source Code.
Y. Li, H. Yang and W. Chu.
Journal of Software Maintenance: Research and Practice, 13(1), 2001.
2001-5: Reverse Engineering.
C. Lu, C. Chu, C. Chang, Y. Chung, X. Liu and H. Yang.
Book chapter in Software Engineering and Knowledge Engineering Handbook (accepted).
2001-6: Slicing Tagged Objects in Ada.
Z. Chen and B. Xu, H. Yang.
6th International Conference on Reliable Software Technologies (Ada-Euro01), Leuven, 14th-18th May 2001.
2001-7: Simplicity: A Key engineering Concept for Program Understanding.
Y. Li and H. Yang.
International Workshop on Program Comprehension (IWPC01), Toronto, May 2001.
2001-8: Architecture to Support Performance Monitoring in Object Based Distributed Systems.
D. Ressmann, A. Platt and Steve Rumsby.
The 8th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS'2001).
2001-9: PEArL: A Systems Approach to Demonstrating Authenticity in Information System Design.
D. Champion and F.A. Stowell.
Journal of Information Technology.
2001-10: A Unified mechanism for Information System Definition in Action.
F.A. Stowell and D. Champion.
Chapter in Systems Engineering for Business Process Change, collection 2, P.Henderson (ed), ESPRC Publication, Springer.
2001-11: K-Mediator: Towards Evolving Information Systems.
H. Zedan, S. Zhou, N. Sampat, X. Chen, A. Cau and H. Yang.
Proceedings of ICSM'2001, IEEE.
[ postscript file ]
2001-12: Using ITL for Codesign.
R. Hale.
Proceedings of the Verification Workshop part of the International Joint Conference on Automated Reasoning IJCAR'2001, June 18-23, Siena, Italy.
[ postscript file ]
2001-13: Variable horizon robust predictive control via adjustable controllability sets.
M.N. Demenkov and N.B. Filimonov.
European Journal of Control, 2001, Vol. 7, No. 6, pp. 596-604.
2001-14: Classification of Rule Extraction Techniques from Knowledge-Based Systems.
J. J. Alpigini, C. J. Neill, and F. V. Ramsey.
IASTED International Conference on Mo deling and Simulation, Pro ceedings. May 16-18, 2001, Pittsburgh, Pennsylvania, USA, pp 6064, IASTED/ACT Press.
2001-15: Improving Reliability of Knowledge Mining in Legacy Code by Utilising Cooperative Information.
Y. Li, H. Yang, W. Chu, H. Zedan, X. Cheng and Z.Cui.
International Journal of Fuzzy Systems, 3(2):390-399, June 2001.
2001-16: Multi-Factor Distributed Decision System Interface Structure Study.
B. Xue and H. Yang.
International Workshop on Program Comprehension (IWPC'01), Toronto, May 2001.
2001-17: Why Objects Should Represent Different Things in Different Space?
A. O'Callaghan and H. Yang.
IEEE International Conference on Software Maintenanance 2001, October.
2001-18: A Feedback Based Self Adaptive Search Engine.
W. Zhang, B. Xu, C. Chu and H. Yang.
ECOOP, 2001.
2001-19: Implementing An Agent System Using N-Tier Pattern Based Framework.
W. C. Chu, J. Chen, C. Lee and H. Yang.
IEEE Computer Software and Application Conference 2001, Chicago, USA, October, 2001.
2001-20: Development of A Self-Adaptive Web Search Engine.
W. Zhang, B. Xu and H. Yang.
IEEE Computer Software and Application Conference 2001, Chicago, USA, October, 2001.
2001-21: Detecting Dead Statements for Concurrent Programs.
Z. Chen, B. Xu and H. Yang.
IEEE Workshop on Web System Evolution 2001 (WSE'01),Florence, Italy, Oct. 2001.
2001-22: A Distributed Application Oriented Development Framework Based on Resource Management.
H. Zhou and H. Yang.
IEEE Workshop on Source Code Analysis and Manipulation 2001 (SCAM'01), Florence, Italy, Oct. 2001.
2001-23: Tolerating Changes in A Design Psychology Based Web Page Wrapper.
Y. Li, H. Yang, H Zedan and C. H. Jiau.
IEEE Future Trend in Distributed Computing Systems 2001 (FTDCS'01), Bologna, Italy, October 2001.
2001-24: Architecting Large Business Systems.
O'Callaghan A.J., J. Coldewey and W. Keller.
Tutorial. OOP 2001. Munich, Germany.
2001-25: Three Patterns from the ADAPTOR Pattern Language.
O'Callaghan A.J.
In Rueping A., J.Eckstein and C.Schwanninger (Eds.) Proceedings of the Sixth European Pattern Languages of Programming Conference. UVK, Konstantz, Germany, 2001.
2001-26: Architectural Knowledge.
Henney K., and O'Callaghan A.J.
Conference Notes. Software Architecture. London, 2001.

Back

2000-1: Compositional Modelling: The Formal Perspective.
H. Zedan, A. Cau and B.C. Moszkowski.
Workshop on Systems Modelling for Business Process Improvement, David Bustard (ed.), Ch. 21, p. 333-354, Artech House, 2000.
[ postscript file ]
2000-2: An Interpretivist Approach to Modelling Client Requirements for Information Systems.
D. Champion and F. Stowell.
Workshop on Systems Modelling for Business Process Improvement, David Bustard (ed.), Ch. 12, p. 187-197, Artech House, 2000.
2000-3: Compositional Reasoning about Events in Interval Temporal Logic.
J. Dimitrov.
Proc. of The Fifth International Conference on Computer Science and Informatics (CS&I'2000), 2000.
[ postscript file ]
2000-4: Visualization of Interval Temporal Logic.
A. C. Rao, A. Cau and H. Zedan.
Proc. of The Fifth International Conference on Computer Science and Informatics (CS&I'2000), 2000.
[ postscript file ]
2000-5: From Business Needs to Software Solutions: Comparing Use Case Driven Approaches for Component Based Development.
N. Sampat, H. Zedan and A. J. O'Callaghan.
Proc. of The Fifth International Conference on Computer Science and Informatics (CS&I'2000), 2000.
2000-6: A Calculus for Evolution.
H. Zedan, A. Cau and S. Zhou.
Proc. of The Fifth International Conference on Computer Science and Informatics (CS&I'2000), 2000.
[ postscript file ]
2000-7: Improving Knowledge-based Program Understanding by Introducing Separated Information Analysis and Uncertainty Reasoning Techniques.
Y. Li, H. Yang and H. Zedan.
Proc. of The Fifth International Conference on Computer Science and Informatics (CS&I'2000), 2000.
2000-8: The Systematic Construction of Information Systems.
A. Cau and H. Zedan.
Systems Engineering for Business Process Change, Peter Henderson (ed.), Ch. 21, p. 264-278, Springer Verlag, 2000.
[ postscript file ]
2000-9: Interpretivist Modelling for Information System Definition.
F. Stowell and D. Champion.
Systems Engineering for Business Process Change, Peter Henderson (ed.), Ch. 9, p. 106-116, Springer Verlag, 2000.
2000-10: Composing and Refining Dense Temporal Logic Specifications.
A. Cau.
Formal Aspects of Computer Science, 12: 52-70, 2000.
[ postscript file ]
2000-11: Generating Linkage between Source Code and Evolvable Domain Knowledge for the Ease of Software Evolution.
Y. Li, H. Yang and W. Chu.
In proceedings of the International Symposium on Principles of Software Evolution (ISPSE'2000), IEEE Computer Society Press.
2000-12: Fusing Ambiguous Domain Knowledge Slices in a Reverse Engineering Process.
Y. Li and H. Yang.
In proceedings of the 7th IEEE Asia-Pacific Software Engineering Conference, Singapore, IEEE Computer Society, Dec, 2000.
2000-13: Towards Building a Smarter Domain Knowledge Recovery Assistant.
Y. Li, H. Yang and W. Chu.
In proceedings of the 24th IEEE Computer Software and Application Conference (COMPSAC), Taibei, Taiwan, IEEE Computer Society, Oct., 2000.
2000-14: A Pixel Level Algorithm for Drawing Curves.
H. Yang, Y. Li, Y. Liu and Y. Li.
In Proceedings of CACSUK, Loughborough, UK, Sep., 2000.
2000-15: Pattern Recognition with the Methods of Computer Graphics.
H. Yang, Y. Li, Y. Liu and Y. Li.
In Proceedings of CACSUK, Loughborough, UK, Sep., 2000.
2000-16: Clarity Guided Belief Revision for Domain Knowledge Recovery in Legacy Systems.
Y. Li, H. Yang and W. Chu.
In Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering, Chicago, USA, July, 2000.
2000-17: Code Understanding through Context-Oriented Uncertainty Reasoning for Information System Reengineering.
Y. Li and H. Yang.
In Proceedings of the 2nd International Conference on Enterprise Information Systems (ICEIS), Staffordshire, UK, July, 2000.
2000-18: Reusing Shared Data in Ada95 Applications.
B. Li, B. Xu, H. Yang, Y. Li and H. J. Jiau.
In Proceedings of the 5th World Conference on Integrated Design & Process Technology, Dallas, Texas, June., 2000.
2000-19: A Concept-Oriented Belief Revision Approach to Domain Knowledge Recovery from Source Code.
Y. Li, H. Yang and W. Chu.
To appear in Journal of Software Maintenance and Evolution: Research and Practice.
2000-20: An Automata-theoretic completeness proof for Interval Temporal Logic (extended abstract).
B. Moszkowski.
In Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), editors: Ugo Montanari, Jose Rolim and Emo Welzl. Lecture Notes in Computer Science 1853, Springer-Verlag. Geneva, Switzerland, July 9--15, 2000, pp. 223--234.
[ postscript file ]
2000-21: A complete axiomatization of Interval Temporal Logic with infinite time (extended abstract).
B. Moszkowski.
In Proceedings of the Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000), IEEE Computer Society Press, June 26-29, 2000, Santa Barbara, California, USA, pp. 242--251.
[ postscript file ]
2000-22: Reverse Engineering from Assembler to Formal Specifications via Program Transformations.
M. Ward.
Working Conference on Reverse Engineering 2000, 23--25 Nov 2000, Brisbane, Queensland, Australia.
[ postscript file ]
2000-23: Abstraction: A Key Notion for Reverse Engineering in A Reengineering Approach.
H. Yang, X Liu and H. Zedan.
Journal of Software Maintenance: Research and Practice Vol 12 (4), pp. 197-228, 2000.
2000-24: A Report on an Action Research Field Study.
D. Champion.
Systemist.
2000-25: Interpretivist Discovery for Infomation System Design.
D. Champion and F.A. Stowell.
UKAIS, Cardiff, pp. 276-282.

Back

1999-1: A Framework For Analysing The Effect of `Change' In Legacy Code.
S. Zhou, H. Zedan and A. Cau.
In IEEE Proc. of ICSM'99, 1999.
[ postscript file ]
1999-2: Integrating Structured OO Approaches with Formal Techniques for the Development of Real-time Systems.
Z. Chen, H. Zedan, A. Cau and H. Yang.
Information and Software Technology Journal 41, p. 435-450, 1999.
[ postscript file ]
1999-3: ATOM: An Object-based Formal Method for Real-time Systems.
H. Zedan, A. Cau, Z. Chen and H. Yang.
Annals of Software Engineering, Vol. 7, p. 235-256, 1999.
[ postscript file ]
1999-4: A Wide-Spectrum Language for Object-Based Development of Real-time Systems.
Z. Chen, H. Zedan, A. Cau and H. Yang.
International Journal of Information Sciences, Vol 118, p. 15-35, 1999.
[ postscript file ]
1999-5: Assembler to C Migration using the FermaT Transformation System.
M. Ward.
In Proceedings of International Conference on Software Maintenance ICSM'99, 1999.
[ postscript file ]
1999-6: Finding the minimum available transmission time for the timed token medium access control protocol.
S. Zhang, E. Lee, A. Burns and H. Yang.
In proc. of the 11th Euromicro Conference on Real-Time Systems (EUROMICRO-RTS 99), p. 185-194, 1999.
1999-7: Acquisition of entity relationship models for maintenance-dealing with data intensive programs in a transformation system.
H. Yang, and W. Chu.
In Journal of Information Science and Engineering, Vol. 15(2), p. 173-198, 1999.
1999-8: Tackling Uncertainty in A Cognitive Framework for Source Code Understanding.
Y. Li, H. Yang, W. Chu and K. S. Liu.
In Proceedings of National Computer Symposium, TamKang University, Taiwan, Dec., 1999.
1999-9: An Automated, Intelligence-based Approach to Elevating Source Code to Domain Model.
Y. Li, H. Yang and Z. Cui.
In Proceedings of CACUK, Derby, UK, Sep., 1999.
1999-10: Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension.
M. Ward and K. H. Bennett.
The Computer Journal Vol 42, No 8, pp 650-673, 1999, ISSN 0010-4620.
[ postscript file ]
1999-11: An Investigation into a Prototype Interpretivist Approach to Modelling Requirements for Information Systems.
D. Champion and F.A. Stowell.
BIT 99 Manchester Metropolitan University. ISDN No: 0 905304 306.
1999-12: Interpretive Methods of Inquiry for Information Systems Analysis.
D. Champion and F.A. Stowell.
7th. Interdisciplinary Information Management Talks (IDIMT99), September 2-3rd. Zadov, Czech Republic, pp 259-269.
1999-13: Investigating Interpretivist Approaches to Modelling Client's Requirements for Information Systems.
D. Champion and F.A. Stowell.
Proceedings of Systems Modelling for Business Process Improvement, 29-31st March, University of Ulster, Coleraine, pp 83-93.
1999-14: Structuration Theory and Conversation Modelling: A Possible Interpretivist Approach to Bridging the Gap.
D. Champion.
Proceedings of the 4th. UKAIS Conference Information Systems the Next Generation, McGraw Hill, pp. 616-623.

Back

1998-1: Compositional reasoning using interval temporal logic and tempura.
B. Moszkowski.
LNCS Vol. 1536, Springer-Verlag, 1998.
[ postscript file ]
1998-2: Designing a Provably Correct Robot Control System using a `Lean' Formal Method.
A. Cau, C. Czarnecki, and H. Zedan.
In Proc. of FTRTFT'98, LNCS 1486, p. 123-132, 1998.
[ postscript file ]
1998-3: Measuring software components through object-orientation and abstraction for re-engineering.
S. Zhou and H. Yang.
In Proceedings of ACM and IEEE International Symposium on Internet Technology'98 (ISIT98). IEEE, 1998.
1998-4: A Sound and Practical Approach to the Re-engineering of Time-Critical Systems.
H. Zedan and H. Yang.
In Proc. of the 2nd EUROMICRO Workshop of Software Maintenance and Re-engineering, p. 220-223, Florence, Italy, March, 1998.
1998-5: Tackling the Abstraction Problem for Reverse Engineering in a System Reengineering Approach.
H. Yang, X. Liu and H. Zedan.
In proc. of IEEE International Conference on Software Maintenance - 1998, p. 284-293, Washington D.C., November, 1998.
1998-6: Building CORBA Objects with DOS Application Software.
J. Lin, W. Chu, W. Lo, H. Yang and C. Lu.
In proc. of IEEE 22nd International Computer Software and Application Conference - 1998, p. 252-257, Vienna, Austria, August, 1998.
1998-7: A Unified Approach to Software Re-use: The Functionality, Time-to-market and Reusability Model.
N. Sampat, P. Luker and H. Zedan.
In proc. of the 13th IEEE International Conference on Automated Software Engineering (ASE'98).
1998-8: Partition with a reusable static super class - A design transformation.
S. Pidaparthi, H. Zedan and P. Luker.
In proc. of the joint meeting of the World Multiconference on Systemics, Cybernetics and Informatics (SCI'98) and the 4th International Conference on Information Systems Analysis and Synthesis (ISAS'98), USA, 1998.
1998-9: Patterns for Object Technology Migration.
A.J. O'Callaghan.
In Proc. of OOP'98, 1998.
1998-10: Using Patterns to Migrate Legacy Systems to Object Technology.
A.J. O'Callaghan.
In Proc. of Patterns'98, 1998.
1998-11: ADAPTOR: a pattern language for the migration of legacy systems to object technology.
A.J. O'Callaghan.
In IEE Colloquium, 1998.
1998-12: A refinement calculus for the development of real-time systems.
Z. Chen, A. Cau, H. Zedan and H. Yang.
In proc. Asia Pacific Software Engineering Conference (APSEC98), p. 61--68, 1998.
[ pdf file ]
1998-13: Rule base verification using Petri nets.
S. Yang, A. Lee, W. Chu and H. Yang.
In proc. of the 22nd IEEE Annual International Computer Software and Applications Conference, p. 476-481, 1998.
1998-14: `Lean' formal methods in the development of provably correct real-time systems.
A. Cau, H. Zedan and B. Moszkowski.
In IEE Colloquium (Digest), no. 306, p. 6/1-6/5, 1998.
1998-15: Will AI help software reverse engineering.
Y. Li and H. Yang.
In Proceedings of CACUK, Leicester, UK, Sep., 1998.
1998-16: Application of Bifurcation and Continuation Methods for an Aircraft Control Law Design.
M. Goman and A. Khramtsovsky.
In Royal Society Theme Issue "Flight Dynamics of High Performance Manoeuvrable Aircraft", Phil. Trans. R. Soc. Lond. A (1998), 356, 2277-2295.

Back

1997-1: A Dense-Time Temporal Logic with Nice Compositionality Properties.
A. Cau and W.-P. de Roever.
In Franz Pichler and Roberto Moreno-Diaz, editors, Proceedings of the Fifth International Conference on Computer Aided Systems Theory and Technology (EUROCAST'97), number 1333 in LNCS, pages 123-145. Springer-Verlag, 1997.
[ postscript file ]
1997-2: Refining Interval Temporal Logic Specifications.
A. Cau and H. Zedan.
In M. Bertran and T. Rus, editors, Transformation-Based Reactive Systems Development, number 1231 in LNCS, pages 79-94. AMAST, Springer-Verlag, 1997.
[ postscript file ]
1997-3: Proving the Correctness of the Interlock Mechanism in Processor Design.
X. Li, A. Cau, B. Moszkowski, N. Coleman, and H. Zedan.
In H.F. Li and D.K. Probst, editors, Proceedings of CHARME'97: IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, pages 5-22. Chapman & Hall, 1997.
[ postscript file ]
1997-4: A Design Framework for system re-engineering.
X. Liu, Z. Chen, H. Yang, H. Zedan, and W.C. Chu.
In Proceedings of Joint Asia Pacific Software Engineering Conference and International Computer Science Conference (APSEC'97/ICSC'97). p. 342-352, IEEE Computer Society, 1997.
1997-5: Integrating Reverse Engineering into Software Reuse Process.
S. Szejko and H. Yang.
In Proceedings of EUROMICRO'97, Barcelona, Spain, June, 1997.
1997-6: Practical System of COBOL Program Reuse for Reengineering.
H. Yang, W. Chu and Y. Sun.
In Proc. of the 8th International Workshop on Software Technology and Engineering Practice (STEP'97), p. 45-57, London, July, 1997.
1997-7: A Formal Approach to Software Components Classification and Retrieval.
C. Chang, W. Chu, C. Liu, and H. Yang.
In Proc. of The Twenty-First IEEE International Computer Software and Application Conference - 1997 (CompSac'97), p. 264-269, Washington D.C., USA, August, 1997.
1997-8: Is Year 2000 Problem A Paper Tiger or A Real Tiger.
H. Yang.
Panel position paper, The Twenty-First IEEE International Computer Software and Application Conference - 1997 (CompSac'97), Washington D.C., p. 282-282, USA, August, 1997.
1997-9: Measuring Abstractness for Reverse Engineering in A Re-engineering Tool.
H. Yang, P. Luker and W. Chu.
In Proc. of the IEEE International Conference on Software Maintenance -1997, p. 48-57, Bari, Italy, September, 1997.
1997-10: Reverse Engineering and reusing COBOL Programs: A Program Transformation Approach.
H. Yang, et al.
In Electronic Workshops in Computing, C. J. Rijsbergen Ed., Springer-Verlag, July, 1997.
1997-11: Formal methods for the re-engineering of computing systems: A comparison.
H. Yang, X. Liu and H. Zedan.
In Proc. of IEEE International Computer Software and Application Conference (CompSac'97), p. 409-414, IEEE, 1997.
1997-12: Associations Considered a Bad Thing.
I. Graham, J Bishop and B. Henderson-Sellers.
In Journal of Object-Orientated Programming 9, 1997.
1997-13: OHL Metamodel: Relationships and State Modelling.
I. Graham, B Henderson-Sellers and D Firesmith.
In Journal of Object-Orientated Programming 10, 1997.
1997-14: The OPEN Heart.
I. Graham, B. Henderson-Sellers and et al.
Chapter in TOOLS 21, Mingins, Duke and Meyer (eds.), Prentice Hall, 1997.
1997-15: Improving the normalized proportional allocation scheme for time-critical communication in FDDI networks.
S. Zhang, T. Cheng, H. Yang, K. R. Subramanian, C. Tan and L. Zhang.
In. proc. of International Conference on Information, Communications and Signal Processing - Trends in Information Systems Engineering and Wireless Multimedia Communications, Vol. 3, p. 1436-1440, 1997.
1997-16: Code understanding through program transformation for reusable component identification.
H. Yang, P. Luker, W. Chu.
In proc. of the 5th International Workshop on Program Comprehension (IWPC 97), p. 148-157, 1997.
1997-17: Application of Bifurcation Methods to Nonlinear Flight Dynamics Problems.
M. Goman, G. Zagainov and A. Khramtsovsky.
Progress in Aerospace Scineces, Vol.33, pp. 539-586, 1997, Elsevier Sciences, Ltd.

Back

1996-1: Using ITL and Tempura for Large Scale Specification and Simulation.
A. Cau, H. Zedan, N. Coleman and B. Moszkowski.
In Proc. 4th Euromicro Workshop On Parallel And Distributed Processing, p393-500, 1996.
[ postscript file ]
1996-2: Parallel Composition of Assumption-Commitment Specifications: a unifying approach for shared variable and distributed message passing concurrency.
A. Cau and P. Collette.
Acta Informatica, 33(2):153-176, 1996.
[ postscript file ]
1996-3: The programming language tempura.
B. Moszkowski.
Journal of Symbolic Computation, 22(6):730-733, Dec 1996.
[ postscript file ]
1996-4: Using temporal fixpoints to compositionally reason about liveness.
B. Moszkowski.
In John Cooke He Jifeng and Peter Wallis, editors, BCS-FACS 7th Refinement Workshop, electronic Workshops in Computing, page electronic, London, 1996. BCS-FACS, Springer Verlag.
Bath, UK, 3-5 July, 1996.
[ postscript file ]
1996-5: An executable specification language for fast prototyping parallel responsive systems.
H. Zedan and H. Heping.
Comput. Lang. Journal, 22:1-13, 1996.
1996-6: A fast prototype tool for parallel reactive systems.
H. Zedan and H. Heping.
Journal of Systems Architecture, 42:251-266, 1996.
1996-7: Communication Mechanism Independent Protocols.
Y. Sun and H. Yang.
In EUROMICRO 96, Pragua, Czech Republic, September, 1996.
1996-8: Formal Method for Software Maintenance.
H. Yang, P. Luker and W. Chu.
In proc. of the IEEE International Conference on Software Maintenance-1996, p. 206-216, Monterey, USA, 1996.
1996-9: Coupling and Cohesion; towards a valid suite to Object-Orientated Metrics.
I. Graham, L.L Constantine and B. Henderson-Sellers.
In Journal of Object-Oriented Systems 3(3), p. 143-158, 1996.
1996-10: OPEN: Toward method convergence?
I. Graham and B. Henderson-Sellers.
In IEEE Computer 29(4), p. 86-89, 1996.
1996-11: Task scripts, use cases and scenarios in object-oriented analysis.
I. Graham.
In Journal of Object-Oriented Systems 3(3), p. 123-142.
1996-12: Derivation of Data Intensive Algorithms by Formal Transformation -The Schorr-Waite Graph Marking Algorithm.
M. Ward.
IEEE Transactions on Software Engineering Vol 22(9), p. 665-686, 1996.
[ postscript file ]
1996-13: Program Analysis by Formal Transformation.
M. Ward.
The Computer Journal, Vol 39(7), ISSN 0010-4620, 1996.
[ postscript file ]
1996-14: A formal method to software integration in reuse.
W. Chu and H. Yang.
In proc. of the 20th Annual International Computer Software and Applications Conference (COMPSAC 96), p. 343-348, 1996.

Back

1995-1: Refinement of complex systems: a case study.
G. Lowe and H. Zedan.
The Computer Journal, 38(10), 1995.
1995-2: Compositional reasoning about projected and infinite time.
B. Moszkowski.
In Proceedings of the First IEEE Int'l Conf. on Engineering of Complex Computer Systems (ICECCS'95), pages 238-245. IEEE, IEEE Computer Society Press, Fort Lauderdale, Florida, November 6-10, 1995.
[ postscript file ]
1995-3: Compositional Verification and Specification of Refinement for Reactive Systems in Dense Time Temporal Logic.
A. Cau.
PhD thesis, Christian-Albrechts-Universität zu Kiel, 1995. Available as report no. 9601.
[ postscript file ]
1995-4: Report on Object Analysis and Design (ROAD).
I. Graham.
Vol 1(5), p. 10-11, 1995.
1995-5: Formal Methods to Aid the Evolution of Software.
M. Ward and K.H. Bennett.
In International Journal of Software Engineering and Knowledge Engineering, Special Issue on "Software Evolution" Vol 5(1), p. 25-47, 1995.
[ postscript file ]
1995-6: Formal Methods for Legacy Systems.
M. Ward and K.H. Bennett.
Journal of Software Maintenance: Research and Practice Vol 7(3), p 203-219, 1995.
[ postscript file ]
1995-7: A Definition of Abstraction.
M. Ward.
Journal of Software Maintenance: Research and Practice Vol 7(6), p. 443-450, 1995.
[ online ]
1995-8: Component reuse through reverse engineering and semantic interface analysis.
W. Chu and H. Yang.
In proc. of the 19th Annual International Computer Software and Applications Conference (COMPSAC 95), p. 290-296, 1995.
1995-9: Acquisition of ERA models from data intensive code.
H. Yang and K. Bennett.
In proc. of the International Conference on Software Maintenance, p. 116-123, 1995.
1995-10: Model for timed -probabilistic behaviors.
M. Fang, H. Zedan and C. J. Ho-Stuart.
In Journal of Systems and Software, Vol. 28(3), p. 239-251, 1995

Back

Themes

DIF-DTC

UTC-SE

Technologies

Publications

Theses

Projects

NATO

May 14 2013