Dr. Claus Pahl

Claus Pahl:

[ Home ]

[ Publications ]

[ Projects ]

[ Activities ]

[ Teaching ]

[ Brief CV ]

Publications
by year:

[ 2008 ]

[ 2007 ]

[ 2006 ]

[ 2005 ]

[ 2004 ]

[ 2003 ]

[ 2002 ]

[ 2001 ]

[ 2000 ]

[ before 2000 ]

• Y. Zhu and C. Pahl.
  Consistency and Modularity in Mediated Service-based Data Integration Solutions.
  International Journal of Database Management.
  Special Issue on XML Data Services: Technology Evolution and Challenges.
  2008. (in press)
• C. Pahl.
  Semantic Model-Driven Development of Web Service Architectures.
  International Journal of Web Engineering and Technology (IJWET).
  2008. (in press)
• C. Kenny and C. Pahl.
  Personalised Correction, Feedback, and Guidance in an Automated Tutoring System for Skills Training.
  International Journal of Knowledge and Learning (IJKL). 4(1&2).
  2008. (in press)
• C. Kenny and C. Pahl.
  Intelligent and Adaptive Tutoring for Active Learning and Training Environments.
  Interactive Learning Environments Journal (ILE).
  2008. (in press)
• C. Pahl.
  Content-driven Architecting of E-Learning Applications.
  Advanced Technology for Learning (ATL). 4(1)
  2008.
• C. Pahl (Editor).
  Proceedings Software Engineering Conference SE’2008.
  IASTED.
  2008.
• C. Pahl und C. Kenny.
  Technology-Enhanced Active Learning – a Roadmap.
  In D. Lytras, D. Gasevic (Editors).
  Handbook of Technology-Enhanced Learning.
  IGI Publishers, Ltd. 2008. (book chapter)
• C. Pahl, M. Boskovic, R. Barrett and W. Hasselbring.
  Quality-aware Model-driven Service Engineering.
  J. Rech and C. Bunse (Editors).
  Model-Driven Software Development: Integrating Quality Assurance.
  Information Science Reference, IGI.
  2008. (in press)
• Y. Zhu and C. Pahl.
  Service-based Data Mediation in Web Software Applications.
  D. Brandon (Editor).
  Software Engineering for Modern Web Applications: Methodologies and Technologies.
  2008. (in press)
• V. Gacitua and C. Pahl.
  A Pattern-based Approach for Business-driven Service Architectures.
  International Conference on E-Commerce and Web Technology EC-Web 2008.
  Springer-Verlag, LNCS Series. (Invited Paper).
  2008.
• V. Gacitua and C. Pahl.
  Pattern-based Business-Driven Analysis and Design of Service Architectures. (position paper)
  3rd International Conference on Software and Data Technologies ICSOFT’2008. Porto, Portugal.
  2008.
• M. Melia and C. Pahl.
  Towards the Validation of Adaptive Educational Hypermedia using CAVIAr.
  6th International Workshop on Authoring of Adaptive and Adaptable Hypermedia A3H’2008.
  AH’2008 Workshop Proceedings.
  2008.
• V. Gacitua and C. Pahl.
  Business model driven Service Architecture Design for Enterprise Application Integration.
  International Conference on Business Innovation and Information Technology ICBIIT’2008.
  2008.
• C. Pahl, M. Boskovic, and W. Hasselbring.
  Model-Driven Performance Evaluation for Service Engineering.
  Workshop on Emerging Web Service Technologies.
  CEUR Workshop Proceedings Vol. 313, Paper 11. http://CEUR-WS.org/Vol-313/.
  2008.

[ Top of page ]

• C. Pahl (Editor).
  Architecture Solutions for E-Learning Systems.
  IGI Publishers. 2007.
• W. Zimmermann, B. König-Ries and C. Pahl (Editors).
  Proceedings 5th IEEE European Conference on Web Services ECOWS'07.
  IEEE. 2007.
• C. Pahl.
  An Ontology for Software Component Description and Matching.
  International Journal on Software Tools for Technology Transfer (STTT)
  Special Section on Fundamental Approaches to Software Engineering. 9(2): 169-178
  Springer-Verlag. 2007.
• C. Pahl.
  Semantic Model-Driven Architecting of Service-based Software Systems.
  Information and Software Technology. 49(8): 838-850
  Elsevier Publishers. 2007.
• C. Pahl und R. Barrett.
  An Ontological Framework for Web Service Processes.
  International Journal of Software Engineering and Knowledge Engineering (IJSEKE).
  World Scientific Press. 2007. (in press)
• S. Boyce and C. Pahl.
  The Development of Subject Domain Ontologies for Educational Technology Systems.
  Journal of Educational Technology and Society (ETS). 10(3):275-288.
  IEEE. 2007.
• V. Gacitua and C. Pahl.
  Business Process-driven Service Architecture Reuse.
  In: G. Alonso and J. Koehler (Editors).
  ERCIM News – Special Theme: Service Computing. No. 70.
  ERCIM, July 2007.
• G. Gleeson and C. Pahl.
  Grid Service-based E-Learning Systems Architecures.
  In: C. Pahl (Editor).
  Architecture Solutions for E-Learning Systems.
  IGI Publishers. 2007. (book chapter)
• C. Pahl.
  A Technical Framework for the Evaluation of Web-mediated Active Learning and Training. (invited contribution)
  L. Esnault (Editor). Web-Based Learning and Teaching Technologies: New Opportunities and Challenges.
  2007.
• C. Pahl.
  Bringing Activity into E-Learning – the Development of Online Active Learning and Training Environments.
  In N. A. Buzzetto-More (Editor). Principles of Effective Online Teaching: A Handbook for Educators Developing E-Learning. Informing Science Press. 2007. (book chapter)
• C. Kenny and C. Pahl.
  Virtual Database Development Labs.
  ERCIM News – Special Theme: Technology-Enhanced Learning. No. 71:42-43.
  European Research Consortium for Informatics and Mathematics.
  October 2007.
• C. Pahl, S. Giesecke and W. Hasselbring.
  An Ontology-based Approach for Modelling Architectural Styles.
  In European Conference on Software Architecture ECSA’2007.
  Springer-Verlag, LNCS Series, 2007.
• C. Pahl and R. Barrett.
  A Semantic Model-Driven Development Framework for Service-centric Software Architectures.
  In Daniel Luebke (Editor): Workshop on Software Engineering Methods for Service-Oriented Architecture SEMSOA’2007.
  CEUR-WS Vol. 244, pages 31-45, 2007.
• C. Pahl, M. Boskovic, and W. Hasselbring.
  Model-Driven Performance Evaluation for Service Engineering.
  Workshop on Emerging Web Service Technologies.
  CEUR Workshop Proceedings. 2007.
• M. Melia and C. Pahl.
  An Information Architecture for Courseware Validation.
  8th Annual Irish Educational Technology Users Conference EdTech 2007.
  ILTA. 2007.
  
• M. Melia and C. Pahl.
  Pedagogical Validation of Courseware.
  European Conference on Technology Enhanced Learning EC-TEL'07.
  Springer-Verlag, LNCS Series. 2007. (short paper)
  
• M. Melia and C. Pahl.
  Courseware Authoring Validation Information Architecture.
  First International Workshop on Learning Object Discovery & Exchange LODE 2007.
  Springer-Verlag. 2007.
  
• C. Pahl.
  A Conceptual Architecture for Interactive Educational Multimedia.
  In L. Tomei (Editor). Online and Distance Learning: Concepts, Methodologies, Tools and Applications. Vol. II. Information Science Reference Series. Pages 733-748.
  IGI Global Publishers, Ltd. 2007. (reprint of chapter contribution to J. Ma: Web-based Intelligent e-Learning Systems)
  
• C. Pahl.
  Behaviour analysis for Web-mediated active learning.
  In L. Tomei (Editor). Online and Distance Learning: Concepts, Methodologies, Tools and Applications. Vol. VI. Information Science Reference Series. Pages 3214-3223.
  IGI Global Publishers, Ltd. 2007. (reprint of IJWLTT 1(3):45-55 journal contribution)
  

[ Top of page ]

• C. Pahl.
  Behaviour analysis for Web-mediated active learning.
  International Journal of Web-Based Learning and Teaching Technologies (IJWLTT).
  Idea Group Publishers. 2006. (in press)
• C. Pahl, E. Holohan, M. Melia, and D. McMullen.
  Ontology-based Learning Objects in Learning Content Management Systems.
  In A. Koohang and K. Harman (Editors).
  Principles and Practices of the Effective Use of Learning Objects.
  Informing Science Institute. 2006. (book chapter)
• C. Pahl.
  Data Mining for the Analysis of Content Interaction in Web-based Learning and Training Systems.
  In S. Ventura und C. Romero (Editors).
  Data Mining in E-Learning. Pages 41 - 56
  WIT Press. 2006. (book chapter)
• C. Pahl.
  A Conceptual Architecture for Interactive Educational Multimedia.
  In J. Ma (Editor). Web-based Intelligent e-Learning Systems: Technologies and Applications. Pages 101 - 121
  Idea Group Publishers, Ltd. 2006. (book chapter)
  
• R. Barrett, L. M. Patcas, J. Murphy, and C. Pahl.
  Model Driven Distribution Pattern Design for Dynamic Web Service Compositions.
  International Conference on Web Engineering ICWE’06. Palo Alto, US.
  ACM Press. 2006.
  
• C. Pahl.
  Ontology-based Composition and Transformation for Model-Driven Service Architecture.
  European Conference on Model-Driven Architecture - Foundations and Applications ECMDA-FA 2006, Bilbao, Spain.
  Springer Verlag, LNCS Series. 2006.
  
• R. Barrett and C. Pahl.
  Semi-Automatic Distribution Pattern Modeling of Web Service Compositions using Semantics.
  In P. Huang, Q. Li, and D. Sparrow (Editors). The Tenth IEEE International EDOC Conference (EDOC 2006) - The Enterprise Computing Conference.
  IEEE Computer Society Press. 2006.
  
• R. Barrett and C. Pahl.
  Model Driven Design of Distribution Patterns for Web Service Compositions.
  In Proceedings of the Fourth IEEE International Conference on Web Services ICWS’2006 (Work-in-Progress Track).
  IEEE Computer Society Press. 2006.
  
• C. Pahl.
  Perspectives for a Model-driven Service Engineering Discipline.
  In T. Margaria, J.-L. Fernandez-Villacanas, M. Banti (Editors). Future Research Challenges for Software and Services FRCSS 2006. ETAPS Workshop, Vienna, Austria.
  Elsevier ENTCS Series. 2006.
  
• C. Pahl and R. Barrett.
  Layered Patterns in Modelling and Transformation of Service-based Software Architectures.
  European Workshop on Software Architectures EWSA'2006.
  Springer-Verlag, LNCS Series. 2006.
  
• Y. Zhu and C. Pahl.
  Mediated Data Integration and Transformation for Web Service-based Software Architectures.
  European Conference on Web Services ECOWS'2006.
  IEEE Press.
  2006.
  
• Y. Zhu and C. Pahl.
  Automating the Construction of Software Connectors for Adaptive Service Architectures.
  Workshop on Applying Service Oriented Architectures to Adaptive Information Systems SOA-AIS 2006.
  2006.
  
• R. Barrett and C. Pahl.
  Model Driven Design of Distribution Patterns for Web Service Compositions.
  In Proceedings of the International Workshop on Models for Enterprise Computing IWMEC 2006.
  IEEE. 2006.
  
• C. Pahl and M. Melia.
  Semantic Modelling of Learning Objects and Instruction.
  European Conference on Technology-Enhanced Learning EC-TEL.
  2006.
  
• M. Melia and C. Pahl.
  Semantically-enabled Model Driven Course Composition.
  European Conference on Technology Enhanced Learning EC-TEL 2006 - Doctorial Consortium Session, Crete Greece.
  Springer Verlag. 2006.
  
• M. Melia, R. Barrett, and C. Pahl.
  A Model-based Approach to SCORM Sequencing
  7th Annual Irish Educational Technology Users Conference EdTech 2006.
  ILTA. 2006.
  
• C. Pahl.
  Ontology Support for the Learning Object Lifecycle.
  7th Annual Irish Educational Technology Users Conference EdTech 2006.
  ILTA. 2006.
  
• M. Melia and C. Pahl.
  Semantic Model-Driven Development of Learning Technology Systems.
  Information Technology and Telecommunications Conference IT&T'2005 : Digital Convergence in a Knowledge Society. Carlow, Ireland.
  TecNet. 2006.
  

• M. Melia and C. Pahl.
  Automatic Validation of Learning Object Compositions.
  Information Technology and Telecommunications Conference IT&T'2005 : Doctoral Symposium. Carlow, Ireland.
  TecNet. 2006 .
  

• E. Holohan, M. Melia, D. McMullen, and C. Pahl.
  The Generation of E-Learning Exercise Problems from Domain-Specific Subject Ontologies.
  IEEE International Conference on Advanced Learning Technologies ICALT 2006, Kerkrade, The Netherlands.
  IEEE Press. 2006.
  
• C. Kenny, N. Brophy, M. Munro, and C. Pahl.
  SCORM-compliant Development and Delivery of Learning Objects for Undergraduate Programming – an Experience Report.
  7th Annual Irish Educational Technology Users Conference EdTech 2006.
  ILTA. 2006.
  

[ Top of page ]

• C. Pahl.
  A Conceptual Architecture for Semantic Web Services Development and Deployment.
  International Journal of Web and Grid Services (IJWGS), Vol. 1, Issue 3/4, pages 287 - 304.
  Inderscience Publishers, UK. 2005.
• C. Pahl.
  Organising the Knowledge Space for Software Components.
  C. Weihs and W. Gaul (Eds.). Classification – The Ubiquitous Challenge.
  Studies in Classification, Data Analysis, and Knowledge Organisation.
  Springer-Verlag, Berlin. 2005.
• C. Kenny, D. McMullen, M. Melia, and C. Pahl.
  Multimedia-based Interactive and Multi-modal Learning and Training.
  ERCIM News No. 62:25-26.
  Special Theme: Multimedia Informatics.
  European Research Consortium for Informatics and Mathematics. July 2005.
• C. Pahl.
  Ontology Transformation and Reasoning for Model-Driven Architecture.
  International Conference on Ontologies, Databases and Applications of Semantics ODBASE’2005.
  Springer-Verlag, LNCS Series. 2005.
• C. Pahl.
  Layered Ontological Modelling for Web Service-oriented Model-Driven Architecture.
  European Conference on Model-Driven Architecture ECMDA’2005.
  Springer-Verlag, LNCS Series. 2005.
• C. Pahl and R. Barrett.
  Architectural Transformation and Re-engineering for Web Service-based Systems.
  International Conference on the WWW and Internet ICWI’2005, Lisbon, Portugal.
  IADIS. 2005.
  
• C. Pahl and Y. Zhu.
  A Semantical Framework for the Orchestration and Choreography of Web Services.
  International Workshop on Web Languages and Formal Methods WLFM'05. Newcastle upon Tyne, UK.
  Elsevier ENTCS Series. 2005.
  
• C. Pahl.
  Knowledge Infrastructures for Software Service Architectures.
  Information Technology and Telecommunications Conference IT&T'2005 : Information Architecture - Systems, Architectures and Content. Cork, Ireland.
  TecNet. 2005.
  
• C. Pahl.
  An Ontology-based MDA Framework for Service-based Software Systems Architecting (poster)
  Workshop on Semantic Web Enabled Software Engineering SWESE05 - at the 4th International Semantic Web Conference ISWC2005, Galway, Ireland.
  2005.
  
• C. Pahl.
  Systematic Development of Courseware Systems (poster).
  International Conference on Educational Hyper- and Multimedia EdMedia’05. Montreal, Canada.
  AACE. 2005.
  
• D. McMullen, E. Holohan, M. Melia, and C. Pahl.
  Knowledge-driven Learning Technology Systems.
  6th Annual Irish Educational Technology Users Conference EdTech 2005.
  ILTA. 2005.
• E. Holohan, M. Melia, D. McMullen, and C. Pahl.
  Adaptive Courseware Generation based on Semantic Web Technology.
  International Workshop on Applications of Semantic Web Technologies for E-Learning (SW-EL 2005) – at the 12th International Conference on Artificial Intelligence in Education AIED 2005. Amsterdam. Netherlands.
  2005.
• C. Pahl.
  Designing and Maintaining Learning Objects.
  6th Annual Irish Educational Technology Users Conference EdTech 2005.
  ILTA. 2005.
• M. Melia, E. Holohan, D. McMullen, and C. Pahl.
  Ontology-based Adaptive Content Navigation.
  International Conference on Methods and Technologies for Learning ICMTL 2005. Palermo (Italy), 9 - 11 March 2005.
  WIT Press. 2005.
  
• S. Boyce and C. Pahl.
  Developing Domain Ontologies for Courseware Content.
  International Conference on Educational Hyper- and Multimedia EdMedia’05. Montreal, Canada.
  AACE. 2005.
  
• E. Holohan and C. Pahl.
  The Generation of E-Learning Courseware from Semantic Web Ontologies.
  International Conference on Educational Hyper- and Multimedia EdMedia’05. Montreal, Canada.
  AACE. 2005.
  
• M. Melia, D. McMullen, and C. Pahl.
  Integration of a Course Management System with Interactive Educational Multimedia.
  International Conference on Methods and Technologies for Learning ICMTL 2005. Palermo (Italy), 9 - 11 March 2005.
  WIT Press. 2005.
  
• M. Melia, D. McMullen, M. McEvoy, C. Pahl and E. Jennings.
  Migrating Existing Multimedia Courseware to Moodle.
  International Conference on Educational Hyper- and Multimedia EdMedia’05. Montreal, Canada.
  AACE. 2005.
  
• C. Kenny and C. Pahl.
  An automated tutor for a training environment for database programming.
  ACM SIGCSE Symposium 2005. St. Louis, US.
  ACM Press. 2005.
  
• C. Pahl and C. Kenny.
  An Active Learning and Training Environment for Database Programming.
  International Conference on Educational Hyper- and Multimedia EdMedia’05. Montreal, Canada.
  AACE. 2005.
  

[ Top of page ]

• C. Pahl.
  Adaptive development and maintenance of user-centric software systems.
  Information and Software Technology 46(14):973-986.
  Elsevier Publishers. November 2004.
• C. Pahl.
  Data Mining Technology for the Evaluation of Learning Content Interaction.
  International Journal on E-Learning IJEL 3(4).
  AACE. 2004.
• C. Pahl and R. Barrett.
  Towards a Re-engineering Method for Web Services Architectures.
  Proceedings 3rd Annual Nordic Conference on Web Services NCWS’04. Vaxjo, Sweden, 22 – 23 November 2004.
  Journal of Mathematical Modelling in Physics, Engineering and Cognitive Sciences, Vol. 11, December 2004
• C. Pahl.
  A Conceptual Framework for Semantic Web Services Development and Deployment.
  European Conference on Web Services ECoWS’04. Erfurt, Germany.
  Springer-Verlag, LNCS Series. September 2004.
• C. Pahl.
  An Ontology-based Framework for Semantic Grid Service Composition.
  Grid Service Engineering and Maintenance Conference GSEM’04.
  Springer-Verlag LNCS Series. September 2004.
• R. Barrett and C. Pahl.
  A Web Services Architecture for Learning Object Discovery and Assembly (Poster).
  International Conference on the World-Wide Web WWW’04. New York, USA. May 2004.
  IW3C2 Publication. 2004.
• R. Barrett, C. Kenny, and C. Pahl.
  Supporting Active Database Learning and Training through Interactive Multimedia.
  International Conference on Innovation and Technology in Computer Science Education ITiCSE’04. Leeds, United Kingdom. ACM. June 2004.
• E. Holohan and C. Pahl.
  Ontology Technology for the Development and Deployment of Learning Technology Systems.
  International Conference on Educational Hyper- and Multimedia Edmedia’04. Lugano, Switzerland.
  AACE. June 2004.
• C. Pahl.
  An Ontology for Semantic Services Description and Matching.
  Dublin City University. CS3 Report 01/04. 2004.
• C. Pahl.
  A Taxonomy for Interactive Educational Multimedia.
  International Conference on Educational Hyper- and Multimedia Edmedia’04. Lugano, Switzerland.
  AACE. June 2004.
• C. Pahl.
  Requirements Engineering for Educational Software Systems .
  Dublin City University. INVITE Report 01/04. 2004.

[ Top of page ]

• C. Pahl.
  Evolution and Change in Web-based Teaching and Learning Environments.
  Computers & Education. 40(1): 99-114. 2003.
• C. Pahl and M. Casey.
  Ontology Support for Web Service Processes.
  9th European Software Engineering Conference and 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering ESEC/FSE’03. Helsinki, Finland.
  ACM Press. Pages 208-216. September 2003.
• C. Pahl.
  An Ontology for Software Component Matching.
  ETAPS Conference on Foundational Aspects of Software Engineering FASE'03. Warsaw, Poland.
  Springer-Verlag. LNCS Series No. 2621. pp. 6-21. 2003.
• C. Pahl.
  Ontology-based Description and Reasoning for Component-based Development on the Web.
  ESEC/FSE Workshop on Specification and Verification of Component-based Systems   SAVCBS’03, Helsinki, Finland. pp. 84-87. September 2003.
• M. Casey and C. Pahl.
  Web Components and the Semantic Web.
  Proc. ETAPS Workshop on Software Composition SC’2003. Warsaw, Poland.
  Elsevier, Electronic Notes in Theoretical Computer Science ENTCS Vol. 82 No. 5. 2003.
• C. Li and C. Pahl.
  Security in the Web Services Framework.
  International Symposium on Information and Communications Technologies ISICT’03, Dublin, Ireland. September 2003.
• E. Holohan and C. Pahl.
  Semantic Web Technology for Web-based Teaching and Learning.
  4th Annual LTSN-ICS Learning and Teaching Support Network - Information and Computer Sciences. Galway, Ireland.
  LTSN. August 2003.
• C. Pahl.
  Analysing Learning Behaviour in Web-mediated Interactive Learning Environments.
  Dublin City University. INVITE Report 02/03. 2003.
• L. Xu, C. Pahl, and D. Donnellan.
  An Evaluation Technique for Content Interaction in Web-based Teaching and Learning Environments.
  International Conference on Advanced Learning Technologies ICALT'2003. Athens, Greece.
  IEEE Press. pp. 294-285. July 2003.
• S. Murray, J. Ryan, and C. Pahl.
  A Tool-mediated Cognitive Apprenticeship Approach for a Computer Engineering Course.
  International Conference on Advanced Learning Technologies ICALT'2003. Athens, Greece.
  IEEE Press. pp. 2-6. July 2003.
• C. Pahl.
  Ontology-based Description and Reasoning for Component-based Development on the Web.
  Dublin City University. CS3 Report 01/03. 2003.
• L. Xu, C. Pahl, and D. Donnellan.
  An Evaluation Technique for Content Interaction (extended version).
  Dublin City University, School of Computing. INVITE-Report 01/03. June 2003.

[ Top of page ]

• C. Pahl.
  Ontologies for Semantic Web Components.
  ERCIM News – Special Theme: Semantic Web. No. 51:39-40.
  European Research Consortium for Informatics and Mathematics. October 2002.
• C. Pahl and D. Ward.
  Towards a Component Composition and Interaction Architecture for the Web.
  ETAPS 2002 Workshop on Software Composition SC2002. Grenoble, France.
  Elsevier, Electronic Notes in Theoretical Computer Science. 2002.
• C. Pahl.
  Interference Analysis for Dependable Systems using Refinement and Abstraction.
  Symposium Formal Methods Europe FME'2002. Copenhagen, Denmark.
  Springer-Verlag, LNCS Series. 2002.
• C. Pahl and D. Donnellan.
  Data Mining Technology for the Evaluation of Web-based Teaching and Learning Systems.
  7th Int. Conference on E-Learning in Business, Government and Higher Education. Montreal, Canada.
  AACE. 2002.
• C. Pahl.
  An Evaluation of Scaffolding for Virtual Interactive Tutorials.
  7th Int. Conference on E-Learning in Business, Government and Higher Education. Montreal, Canada.
  AACE. 2002.
• C. Pahl.
  A Formal Composition and Interaction Model for a Web Component Platform.
  ICALP'2002 Workshop on Formal Methods and Component Interaction. Malaga, Spain.
  Elsevier. Electronic Notes in Theoretical Computer Science. 2002.
• D. Byrne and C. Pahl.
  A Study of Individual Learning Styles and Educational Multimedia Preferences.
  Dublin City University, School of Computer Applications. Working Paper MCE-0902. 2002.
• C. Pahl.
  Learning Style Identification in E-Learning Environments using Data Mining Technology.
  Proc. EnCKompass Workshop. Paris, France. July 2002.
• C. Pahl.
  Analysing Security Properties using Refinement.
  ZB’2002 Z and B User’s Conference – Workshop on Refinement of Critical Systems. 2002.
• C. Pahl.
  An Evaluation of Scaffolding for Virtual Interactive Tutorials.
  Dublin City University. INVITE Report 01/02. 2002.
• C. Pahl.
  An Analysis of Interactive Services in an Integrated Virtual Undergraduate Course System.
  Dublin City University, School of Computer Applications. Working Paper. 2002.

[ Top of page ]

• A. Butterfield and C. Pahl (Editors).
  Proceedings of the 5th Irish Workshop on Formal Methods IWFM 2001. Dublin, Ireland.
  Springer EWiC Series. July 2001.
• C. Pahl.
  A Pi-Calculus based Framework for the Composition and Replacement of Components.
  Proc. Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA’2001 – Workshop on Specification and Verification of Component-Based Systems.
  ACM Press. 2001
• C. Pahl and D. Gallagher.
  Design and Management of Educational Content for the Web using the eXtensible Markup Language XML.
  Dublin City University, School of Computer Applications. Working Paper CA-0901. 2001.
• C. Pahl.
  XML-Technologies for the Support of Active Learning in Interoperable and Open Web-based Learning Environments.
  Proc. 6th WebNet 2001 World Conference on the WWW and Internet.
  AACE. 2001.
• C. Pahl.
  Interactivity and Integration in Virtual Courses.
  Proc. International Conference on Advanced Learning Technologies ICALT 2001, Madison, Wisconsin, US. pages 395-396.
  IEEE Press. 2001.
• C. Pahl.
  Formalising Dynamic Composition and Evolution in Java.
  ECOOP European Connference on Object-Oriented Programming – Workshop on Formal Techniques for Java Programming FTfJP’2001, Budapest, Hungary. 2001.
  Published as Technical Report, Fernuniversität Hagen. 2001.
• D. Donnellan and C. Pahl.
  Evaluation of Usage Patterns for Web-based Educational Systems using Web Mining.
  Proc. ECITE’2001 European Conference on Information Technology Evaluation, Oriel College, Oxford, UK.
  MCIL. pages 473-478. 2001.
• C. Pahl.
  Analysis and Test Case Generation for Security Protocols using Abstraction.
  Proc. 7th International Conference on Information Systems Analysis and Synthesis ISAS'2001. Orlando, Florida. pages V.294-V.299. 2001
• C. Pahl.
  Observation and Abstract Behaviour in Specification and Implementation of State-based Systems.
  Proc. Irish Workshop on Formal Methods IWFM’2001. 2001
• C. Pahl.
  Development and Management of Dynamic Interactive e-Content.
  Proc. EnCKompass Workshop, Eindhoven, Netherlands. 2001
• C. Pahl.
  The Evaluation of Educational Service Integration in Integrated Virtual Courses.
  Proc. IEEE SAINT’2001 Symposium on Applications and the Internet - Workshop on Internet-Supported Education. pages 61-66.
  IEEE Press. 2001.
• C. Pahl.
  The Use of XML-technologies as the Basis for an Infrastructure for Web-based Virtual Courses (Poster).
  Proc. Conference on the World Wide Web WWW10. Hong Kong. pages 94-95. 2001.
• C. Pahl.
  Components, Contracts, and Connectors for the Unified Modeling Language.
  Proceedings FME’01 Symposium Formal Methods Europe.
  Springer-Verlag. LNCS Series No. 2021. pages 259-277. 2001.
• C. Pahl.
  A Superposition Operator for the Refinement of Algebraic Models.
  In Proc. Conference on the Mathematical Foundations of Computer Science and Information Technology MFCSIT’2000.
  ENTCS Series, Vol. 40, Elsevier. 2001.
• C. Pahl and D. Gallagher.
  Design and Management of Educational Content for the Web using the eXtensible Markup Language XML.
  Dublin City University, School of Computer Applications. Working Paper. 2001.

[ Top of page ]

• C. Pahl.
  Delivery of a Virtual Integrated and Interactive Undergraduate Course.
  In Proc. First Annual Irish Educational Technology Users’ Conference, Sligo, Ireland. 2000.
  Conference URL: http://www.itsligo.ie/staff/bmulligan/web/ EdTech2000.htm.
• C. Pahl.
  Towards an Action Refinement Calculus for Abstract State Machines.
  In Proceedings Abstract State Machines ASM’2000, March 2000, Monte Verita, Switzerland. 2000.
• C. Pahl.
  Towards an Action Refinement Calculus for Abstract State Machines. 2000. (extended version) .
  Report CA-3499, School of Computer Applications, Dublin City University, 2000.
• C. Pahl.
  An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems.
  In Proc. 4rd Irish Workshop on Formal Methods, July 2000, Maynooth, Ireland. 2000.
• C. Pahl.
  Modal Logics for Reasoning about Object-based Component Composition.
  In Proc. 4rd Irish Workshop on Formal Methods, July 2000, Maynooth, Ireland. 2000.
• C. Pahl.
  Usage Evaluation and Design for Educational Systems.
  Proc. 3rd ENCOMPASS Workshop on e-Content Management. Portsmouth, UK, 2000.

[ Top of page ]

• C. Pahl.
  Modular Composition of Language Features through Language Extensions.
  In A. Butterfield and S. Flynn, editors, Proc. 3rd Irish Workshop on Formal Methods, July 1999, Galway, Ireland,
  Electronic Workshops in Computing. Springer-Verlag, 1999.
• C. Pahl.
  A Logical Framework for Horizontal and Vertical Development in a State-based Setting.
  Report CA-3499, School of Computer Applications, Dublin City University, 1999.

[ Top of page ]

• C. Pahl.
  Facilitating Modular Property-Preserving Extensions of Programming Languages.
  In A. Butterfield and S. Flynn, editors, Proc. 2nd Irish Workshop on Formal Methods, July 1998, Cork, Ireland,
  Electronic Workshops in Computing. Springer-Verlag, 1998.

[ Top of page ]

1997

• A.P. Hughes and C. Pahl.
  State and State Change — a Constructive Mathematical Approach, 1997.
  Technical Report, University of Dublin.
• C. Pahl.
  Using the Set-Oriented Programming Language PROSET for Prototyping VDM-Specifications, 1997.
  Technical Report, University of Dublin.
• C. Pahl.
  A Model for Dynamic State-based Systems. In A.S. Evans and D.J. Duke, editors,
  Proc. Northern Formal Methods Workshop, Sept.’96, Bradford, UK.
  Springer-Verlag, 1997.
• C. Pahl.
  Modular, Behaviour Preserving Extensions of the Unix C-shell Interpreter Language.
  Technical Report IT-TR:1997-014, Department of Information Technology, Technical University of Denmark, 1997.
• C. Pahl.
  A Modular Development of the Denotational RSL Concurrency Model.
  Technical Report IT-TR:1997-016, Department of Information Technology, Technical University of Denmark, 1997.
• A.P. Hughes and C. Pahl.
  A Generic Model for State-based Agent Systems.
  In S. Flynn and G. O’Regan, editors, Proc. 1st Irish Workshop on Formal Methods, July 1997, Dublin, Ireland,
  Electronic Workshops in Computing. Springer-Verlag, 1997.
• C. Pahl.
  An Investigation into Parallel Extensions of the Unix C-shell Interpreter Language.
  Technical Report IT-TR:1997-015, Department of Information Technology, Technical University of Denmark, 1997.
• C. Pahl.
  Structural and Methodological Investigations into the Extension of Imperative Programming Languages.
  Technical Report IT-TR:1997-013, Department of Information Technology, Technical University of Denmark, 1997.

[ Top of page ]

1996

• E.-E. Doberkat, W. Hasselbring, and C. Pahl.
  Investigating Strategies for Cooperative Planning of Independent Agents through Prototype Evaluation.
  In P. Ciancarini, editor, Proc. First International Conference on Coordination Models and Languages, Cesena, Italy.
  Springer-Verlag (LNCS Series), 1996.
• C. Pahl.
  Foundations for Formal Specification of State-based Systems (in German).
  PhD thesis, Universitaet Dortmund, Germany, 1996,
  also published as SWT-Memo No. 89, Lehrstuhl Software-Technologie, University of Dortmund, Germany, September 1996.

[ Top of page ]

1995

• V. Gruhn, C. Pahl, and M. Wever.
  Data Model Evolution as Basis of Business Process Management.
  In 14th International Conference on Object-Oriented and Entity Relationship Modelling O-O ER’95, Gold Coast, Australia.
  Springer-Verlag (LNCS Series), 1995.
• E.-E. Doberkat, W. Franke, W. Hasselbring, C. Pahl, H.G. Sobottka, and B. Sucrow.
  PROSET — Prototyping with Sets, Language Definition 1995.
  Internal report, University of Dortmund, 1995.
• E.-E. Doberkat, W. Hasselbring, and C. Pahl.
  Investigating Strategies for Cooperative Planning of Independent Agents through Prototype Evaluation (extended version).
  SWT-Memo 86, University of Dortmund, December 1995.
• C. Pahl and P. Tröpfner.
  Formal specification of object management services in a software engineering environment.
  Internal report, University of Dortmund, 1995.

[ Top of page ]

1994

• C. Pahl.
  Extending an Imperative Programming Language to a Component-Oriented Software Description Language.
  In F. Simon, editor, Workshop Declarative Programming and Specification, Bad Honnef, Germany, May 1994, pages 90–93.
  University of Kiel, Institut fuer Informatik und praktische Mathematik, Bericht 9412, 1994.

[ Top of page ]

1993

• W. Franke, U. Gutenbeil, W. Hasselbring, C. Pahl, H.-G. Sobottka, and B. Sucrow.
  Prototyping mit Mengen - der PROSET-Ansatz.
  In H. Züllighoven, W. Altmann, and E.-E. Doberkat, editors, Requirements Engineering 93: Prototyping, pages 165–174.
  B.G. Teubner, Stuttgart, 1993.

[ Top of page ]

1992

• E.-E. Doberkat, W. Franke, U. Gutenbeil, W. Hasselbring, U. Lammers, and C. Pahl.
  A First Implementation of PROSET.
  In U. Kastens and P. Pfahler, editors, International Workshop on Compiler Construction CC’92,
  University of Paderborn, Reihe Informatik, Bericht Nr. 103, pages 23–27, 1992.
• E.-E. Doberkat, W. Franke, U. Gutenbeil, W. Hasselbring, U. Lammers, and C. Pahl.
  PROSET — Prototyping with Sets, Language Definition.
  Software-Engineering Memo 15, University of Essen, 1992.
• E.-E. Doberkat, W. Franke, U. Gutenbeil, W. Hasselbring, U. Lammers, and C. Pahl.
  PROSET — A Language for Prototyping with Sets.
  In N. Kanopoulos, editor, Proc. Third International Workshop on Rapid System Prototyping, pages 235–248, Research Triangle Park, NC, June 1992.
  IEEE Computer Society Press.

[ Top of page ]

1990

• C. Pahl.
  Specification and Implementation in a Graphical Development Environment (in German). Master’s thesis,
  Technical University of Braunschweig, Germany, 1990.

[ Top of page ]