Currently browsing: Items authored or edited by Michel Wermelinger https://orcid.org/0000-0002-6467-3293

89 items in this list.
Generated on Sat Oct 12 09:27:33 2024 BST.

Edited BookTo Top

Wermelinger, Michel and Margaria-Steffen, Tiziana eds. (2004). Fundamental Approaches to Software Engineering: 7th International Conference Proceedings. Lecture Notes in Computer Science, 2984. Berlin: Springer-Verlag.

Book SectionTo Top

Wermelinger, Michel and Yu, Yijun (2011). Some issues in the 'archaeology' of software evolution. In: Fernandes, J. M.; Lämmel, R.; Visser, J. and Saraiva, J. eds. Generative and Transformational Techniques in Software Engineering III. Lecture Notes in Computer Science (6491). Springer, pp. 426–445.

Fernandez-Ramil, Juan; Lozano, Angela; Wermelinger, Michel and Capiluppi, Andrea (2008). Empirical studies of open source evolution. In: Mens, Tom and Demeyer, Serge eds. Software Evolution. Berlin: Springer, pp. 263–288.

Wermelinger, Michel; Koutsoukos, Georgios; Lourenço, Hugo; Avillez, Richard; Gouveia, João; Andrade, Luís and Fiadeiro, José Luiz (2004). Enhancing dependability through flexible adaptation to changing requirements. In: de Lemos, Rogério; Gacek, Cristina and Romanovsky, Alexander eds. Architecting Dependable Systems II. Lecture Notes in Computer Science (3069). Springer-Verlag, pp. 3–24.

Fiadeiro, José Luiz; Lopes, Antónia and Wermelinger, Michel (2003). A mathematical semantics for architectural connectors. In: Backhouse, R and Gibbons, J eds. Generic programming: advanced lectures. Lecture notes in computer science (2793). Berlin, Germany: Springer-Verlag, pp. 178–221.

Journal ItemTo Top

Oliveira, Cristóvão and Wermelinger, Michel (2007). The CommUnity Workbench. Science of Computer Programming, 69(1-3) pp. 46–55.

Oliveira, Cristóvão; Wermelinger, Michel; Fiadeiro, José Luiz and Lopes, Antónia (2005). Modelling the GSM handover protocol in CommUnity. Electronic Notes in Theoretical Computer Science, 141(3) pp. 3–25.

Lopes, Antónia; Wermelinger, Michel and Fiadeiro, José Luiz (2003). Higher-order architectural connectors. ACM Transactions on Software Engineering and Methodology, 12(1) pp. 64–104.

Wermelinger, Michel and Fiadeiro, José Luiz (2002). A Graph Transformation Approach to Software Architecture Reconfiguration. Science of Computer Programming, 44(2) pp. 133–155.

Wermelinger, Michel and Fiadeiro, José Luiz (1998). Connectors for mobile programs. IEEE Transactions on Software Engineering, 24(5) pp. 331–341.

Conference or Workshop ItemTo Top

Domingo, Cecilia; Piwek, Paul; Wermelinger, Michel and Stoyanchev, Svetlana (2024). Annotation Needs for Referring Expressions in Pair-Programming Dialogue. In: Proceedings of the 28th Workshop on the Semantics and Pragmatics of Dialogue - Poster Abstracts, SEMDIAL.

Lopez, Tamara; Sharp, Helen and Wermelinger, Michel (2024). Co-Designing Resilient Socio-Technical Software Systems. In: Designing '24: Proceedings of the 1st International Workshop on Designing Software, ACM, New York, NY, USA, pp. 60–63.

Wermelinger, Michel and Snowden, Michael (2024). An Environment for Algorithmic Essays. In: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 2, ACM.

MacNeil, Stephen; Leinonen, Juho; Denny, Paul; Kiesler, Natalie; Hellas, Arto; Prather, James; Becker, Brett A.; Wermelinger, Michel and Reid, Karen (2024). Discussing the Changing Landscape of Generative AI in Computing Education. In: SIGCSE 2024: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 2, ACM.

Snowden, Michael and Wermelinger, Michel (2024). Algorithmic essays. In: UK and Ireland Computing Education Research Conference, 05-06 Sep 2024, Manchester, UK., ACM.

Wermelinger, Michel (2023). Checking Conformance to a Subset of the Python Language. In: ITiCSE 2023: Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education, ACM, New York, USA, pp. 573–574.

MacNeil, Stephen; Kim, Joanne; Leinonen, Juho; Denny, Paul; Bernstein, Seth; Becker, Brett A.; Wermelinger, Michel; Hellas, Arto; Tran, Andrew; Sarsa, Sami; Prather, James and Kumar, Viraj (2023). The Implications of Large Language Models for CS Teachers and Student. In: Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 2, ACM p. 1255.

Wermelinger, Michel (2023). Using GitHub Copilot to Solve Simple Programming Problems. In: SIGCSE 2023: Proceedings of the 54th ACM Technical Symposium on Computing Science Education V. 1, ACM, New York, USA, pp. 172–178.

Hackett, Phil; Wermelinger, Michel; Kear, Karen and Douce, Chris (2023). Using a Virtual Computing Lab to Teach Programming at a Distance. In: Proceedings of 7th Conference on Computing Education Practice (CEP '23), 6 Jan 2023, Durham, UK, ACM, pp. 5–8.

Lopez, Tamara; Sharp, Helen; Wermelinger, Michel; Langer, Melanie; Levine, Mark; Jay, Caroline; Yu, Yijun and Nuseibeh, Bashar (2023). Accounting for socio-technical resilience in software engineering. In: 2023 IEEE/ACM 16th International Conference on Cooperative and Human Aspects of Software Engineering (CHASE), 14-15 May 2023, Melbourne.

Sharp, Helen; Lopez, Tamara and Wermelinger, Michel (2022). Informed consent and participant recruitment in studies of software practice. In: 1st International Workshop on Recruiting Participants for Empirical Software Engineering (RoPES’22), 17 May 2022, Virtual.

Adeliyi, Adeola; Wermelinger, Michel; Kear, Karen and Rosewell, Jonathan (2021). Investigating Remote Pair Programming In Part-Time Distance Education. In: 3rd Conference on United Kingdom and Ireland Computing Education Research, UKICER 2021, ACM International Conference Proceeding Series, ACM, Glasgow, article no. 6.

Adeliyi, Adeola; Hughes, Janet; Kear, Karen; Law, Bobby; Murphy, Brendan; Rosewell, Jon; Walshe, Ann and Wermelinger, Michel (2021). Remote Pair Programming. In: SIGCSE'21 - Proceedings of the 52nd ACM Technical Symposium on Computer Science Education, 13-20 Mar 2021, Virtual, ACM.

Agarwal, Shivam; Tkachev, Gleb; Wermelinger, Michel and Beck, Fabian (2020). Visualizing Sets and Changes in Membership Using Layered Set Intersection Graphs. In: VMV: Vision, Modeling, and Visualization, The Eurographics Association, VMV2020 pp. 69–78.

Leigh, Andrew; Wermelinger, Michel and Zisman, Andrea (2019). Risk Containers – A Help or Hindrance to Practitioners? In: 2019 IEEE International Conference on Software Architecture Companion (ICSA-C), IEEE pp. 230–233.

Piwek, Paul; Wermelinger, Michel; Laney, Robin and Walker, Richard (2019). Learning to program: from problems to code. In: Third Conference in Computing Education Practice (CEP), 9 Jan 2019, Durham, UK, Association for Computing Machinery (ACM).

Rosewell, Jonathan; Kear, Karen; Jones, Allan; Smith, Andrew; Donelan, Helen; Mikroyannidis, Alexander; Peasgood, Alice; Sanders, Chris; Third, Allan; Wermelinger, Michel; Moss, Nicky; Williams, Judith and Connolly, Teresa (2018). Open Networking Lab: online practical learning of computer networking. In: The Online, Open and Flexible Higher Education Conference: Blended and online Learning: Changing the Educational Landscape, 10-12 Oct 2018, Aarhus University, Denmark.

Hall, Alan Geoffrey; Wermelinger, Michel; Hirst, Tony and Phithakkitnukoon, Santi (2018). Wide, long, or nested data? Reconciling the machine and human viewpoints. In: Proceedings of the 2018 Conference of the Psychology of Programming Interest Group (PPIG), 5-7 Sep 2018, London.

Leigh, Andrew Philip; Wermelinger, Michel and Zisman, Andrea (2017). Software Architecture Risk Containers. In: European Conference on Software Architecture, 11-15 Sep 2017, Canterbury, UK.

Leigh, Andrew; Wermelinger, Michel and Zisman, Andrea (2016). An Evaluation of Design Rule Spaces as Risk Containers. In: 13th Working IEEE/IFIP Conference on Software Architecture (WICSA), IEEE pp. 295–298.

Dilshener, Tezcan; Wermelinger, Michel and Yu, Yijun (2016). Locating Bugs without Looking Back. In: MSR '16: Proceedings of the 13th International Conference on Mining Software Repositories, ACM, New York, pp. 286–290.

Cavero, Jose; Wermelinger, Michel and Wolff, Annika (2015). Some future scenarios for ‘in the wild’ visualisations. In: Death of the Desktop: Envisioning Visualization without Desktop Computing Workshop, 09 Nov 2014, Paris.

Butler, Simon; Wermelinger, Michel and Yu, Yijun (2015). Investigating naming convention adherence in Java references. In: Proceedings of 2015 IEEE 31st International Conference on Software Maintenance and Evolution (ICSME), IEEE, pp. 41–50.

Wermelinger, Michel; Hall, Jon; Rapanotti, Lucia; Barroca, Leonor; Ramage, Magnus and Bandara, Arosha (2015). Teaching software systems thinking at The Open University. In: Proceedings of the 37th International Conference on Software Engineering, IEEE, pp. 307–310.

Wermelinger, Michel and Yu, Yijun (2015). An architectural evolution dataset. In: Proceedings of the 12th Working Conference on Mining Software Repositories, IEEE, pp. 502–505.

Butler, Simon; Wermelinger, Michel and Yu, Yijun (2015). A survey of the forms of Java reference names. In: Proceedings of the 2015 IEEE 23rd International Conference on Program Comprehension, IEEE Press, pp. 196–206.

Bailey, Christopher; Montrieux, Lionel; de Lemos, Rogério; Yu, Yijun and Wermelinger, Michel (2014). Run-time generation, transformation, and verification of access control models for self-protection. In: SEAMS 2014 Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, ACM, pp. 135–144.

Montrieux, Lionel; Yu, Yijun; Wermelinger, Michel and Hu, Zhenjiang (2013). Issues in representing domain-specific concerns in model-driven engineering. In: Workshop on Modeling in Software Engineering @ ICSE 2013, 18-19 May 2013, San Francisco.

Butler, Simon; Wermelinger, Michel; Yu, Yijun and Sharp, Helen (2013). INVocD: Identifier Name Vocabulary Dataset. In: 10th Working Conference on Mining Software Repositories, 18-19 May 2013, San Francisco.

Moore, Kevin and Wermelinger, Michel (2013). The Challenge of Software Complexity. In: Proceedings of the European Conference on Complex Systems 2012, pp. 179–187.

Goulão, Miguel; Fonte, Nelson; Wermelinger, Michel and Brito e Abreu, Fernando (2012). Software evolution prediction using seasonal time analysis: a comparative study. In: 16th European Conference on Software Maintenance and Reengineering, 27-30 Mar 2012, Szeged, Hungary.

Butler, Simon; Wermelinger, Michel; Yu, Yijun and Sharp, Helen (2011). Improving the tokenisation of identifier names. In: ECOOP 2011 – Object-Oriented Programming (Mira, Mezini ed.), Lecture Notes in Computer Science, Springer Verlag, pp. 130–154.

Montrieux, Lionel; Wermelinger, Michel and Yu, Yijun (2011). Tool support for UML-based specification and verification of role-based access control properties. In: 8th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 4-9 Sep 2011, Szeged, Hungary.

Montrieux, Lionel; Wermelinger, Michel and Yu, Yijun (2011). Challenges in Model-Based Evolution and Merging of Access Control Policies. In: Joint 12th International Workshop on Principles on Software Evolution and 7th ERCIM Workshop on Software Evolution, 5-6 Sep 2011, Szeged, Hungary.

Butler, Simon; Wermelinger, Michel; Yu, Yijun and Sharp, Helen (2011). Mining Java Class Naming Conventions. In: 27th IEEE International Conference on Software Maintenance, 25-30 Sep 2011, Williamsburg, VA, USA, pp. 93–102.

Dilshener, Tezcan and Wermelinger, Michel (2011). Relating Developers’ Concepts and Artefact Vocabulary in a Financial Software Module. In: 27th IEEE International Conference on Software Maintenance, 25-30 Sep 2011, Williamsburg VA, USA.

González, Antonio; Therón, Roberto; García-Peñalvo, Francisco; Wermelinger, Michel and Yu, Yijun (2011). Maleku: an evolutionary visual software analytics tool for providing insights into software evolution. In: 27th International Conference on Software Maintenance, 25-30 Sep 2011, Williamsburg VA, USA.

Butler, Simon; Wermelinger, Michel; Yu, Yijun and Sharp, Helen (2010). Exploring the Influence of Identifier Names on Code Quality: An empirical study. In: 14th European Conference on Software Maintenance and Reengineering, 15-18 Mar 2010, Madrid, Spain, pp. 156–165.

Lozano Rodriguez, Angela and Wermelinger, Michel (2010). Tracking clones' imprint. In: 4th International Workshop on Software Clones, 8 May 2010, Cape Town, South Africa.

Wermelinger, Michel; Yu, Yijun and Strohmaier, Markus (2009). Using formal concept analysis to construct and visualise hierarchies of socio-technical relations. In: Proceedings of the 31st International Conference on Software Engineering, Companion Volume, 18-24 May 2009, Vancouver, IEEE.

Ostacchini, Ireo and Wermelinger, Michel (2009). Managing assumptions during agile development. In: Fourth ICSE Workshop on Sharing and Reusing Architectural Knowledge, 16 May 2009, Vancouver, Canada.

Wermelinger, Michel; Yu, Yijun and Lozano Rodriguez, Angela (2008). Design Principles in Architectural Evolution: a Case Study. In: Proceedings of the 24th IEEE International Conference on Software Maintenance, 28 Sep - 4 Oct 2008, Beijing, China, IEEE, pp. 396–405.

Lozano, Angela and Wermelinger, Michel (2008). Assessing the effect of clones on changeability. In: Proceedings of the 24th IEEE International Conference on Software Maintenance, 28 Sep - 4 Oct 2008, Beijing, China, IEEE, pp. 227–236.

Lozano Rodriguez, Angela; Wermelinger, Michel and Nuseibeh, Bashar (2008). Evaluating the relation between changeability decay and the characteristics of clones and methods. In: 4th International ERCIM Workshop on Software Evolution and Evolvability, 15-16 Sep 2008, L'Aquila, Italy, IEEE, pp. 100–109.

Oliveira, Cristóvão and Wermelinger, Michel (2007). A model-driven approach to extract views from an architecture description language. In: Proceedings of the Working IEEE/IFIP Conference on Software Architecture (WICSA'07), 6-9 Jan 2007, Mumbai, India.

Wermelinger, Michel and Dias, Artur Miguel (2005). A Prolog toolkit for formal languages and automata. In: Proceedings of the 10th annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 27-29 Jun 2005, Caparica, Portugal, ACM.

Mens, Tom; Wermelinger, Michel; Ducasse, Stéphane; Demeyer, Serge; Hirschfeld, Robert and Jazayeri, Mehdi (2005). Challenges in Software Evolution. In: 8th International Workshop on Principles of Software Evolution, 5-6 Sep 2005, Lisbon, Portugal.

Bradbury, Jeremy S.; Cordy, James R.; Dingel, Juergen and Wermelinger, Michel (2004). A survey of self-management in dynamic software architecture specifications. In: Proceedings of the 1st ACM SIGSOFT Workshop on Self-managed Systems, 31 Oct - 1 Nov 2004, ACM, pp. 28–33.

Lopes, Antónia; Fiadeiro, José Luiz and Wermelinger, Michel (2002). Architectural primitives for distribution and mobility. In: Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, ACM Press, pp. 41–50.

Mens, Kim; Mens, Tom and Wermelinger, Michel (2002). Maintaining software through intentional source-code views. In: Proceedings of the 14th international conference on Software engineering and knowledge engineering, ACM International Conference Proceeding Series, pp. 289–296.

Wermelinger, Michel; Lopes, Antónia and Fiadeiro, José Luiz (2001). A Graph based architectural (re)configuration language. In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ACM, pp. 21–32.

Demeyer, Serge; Mens, Tom and Wermelinger, Michel (2001). Towards a software evolution benchmark. In: IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution, ACM, pp. 174–177.

Wermelinger, Michel (1997). A different perspective on canonicity. In: Conceptual Structures: Fulfilling Peirce's Dream: Fifth International Conference on Conceptual Structures, ICCS'97 Seattle, Washington, USA, August 3–8, 1997 Proceedings, Lecture Notes in Computer Science (Lecture Notes in Computer Science), Springer, pp. 110–124.

Wermelinger, Michel (1997). A hierarchic architecture model for dynamic reconfiguration. In: Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on, IEEE, pp. 243–254.

Wermelinger, Michel (1995). Conceptual graphs and first-order logic. In: Conceptual Structures: Applications, Implementation and Theory: Third International Conference on Conceptual Structures, ICCS '95 Santa Cruz, CA, USA, August 14–18, 1995 Proceedings, Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), Springer, pp. 323–337.

Wermelinger, Michel and Lopes, José Gabriel (1994). Basic conceptual structures theory. In: Conceptual Structures: Current Practices, Lecture Notes in Computer Science, Springer, pp. 144–159.

Wermelinger, Michel and Bejan, Alex (1993). Conceptual structures for modeling in CIM. In: Conceptual Graphs for Knowledge Representation: First International Conference on Conceptual Structures, ICCS'93 Quebec City, Canada, August 4–7, 1993 Proceedings, Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), Springer, pp. 345–360.

Wermelinger, Michel and Lopes, José Gabriel (1993). An X-Windows Toolkit for knowledge acquisition and representation based on conceptual structures. In: Conceptual Structures: Theory and Implementation: 7th Annual Workshop Las Cruces, NM, USA, July 8–10, 1992 Proceedings, Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), Springer, pp. 262–271.

ThesisTo Top

OtherTo Top

Smith, Cathy; Kathotia, Vinay; Ward-Penny, Robert; Howson, Oli and Wermelinger, Michel (2023). Mathematical and Data Literacy: Competencies and curriculum implications at the intersection of mathematics, data science, statistics and computing. In Mathematical and Data Literacy: Competencies and curriculum implications at the intersection of mathematics, data science, statistics and computing The Royal Society.

Export

Subscribe to these results

get details to embed this page in another page Embed as feed [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0