Science of Computer Programming, Volume 231

Volume 231, January 2024

Regular articles

• 
  Richard Banach:
  Core Hybrid Event-B III: Fundamentals of a reasoning framework. 103002

Special issue on Tools and Demonstrations in Model-Driven Engineering

• 
  Antonio Bucchiarone, Tommaso Martorella, Davide Frageri, Diego Colombo:
  PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills. 103003
• 
  Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik:
  MMINT-A: A framework for model-based safety assurance. 103004

Regular articles

• 
  Wen-ling Huang, Niklas Krafczyk, Jan Peleska:
  Exhaustive property oriented model-based testing with symbolic finite state machines. 103005
• 
  Xiangyu Mu, Lei Liu, Peng Zhang, Jingyao Li, Hui Li:
  A method of test case set generation in the commutativity test of reduce functions. 103006

Special issue on Tools and Demonstrations in Model-Driven Engineering

• 
  Muhamed Smajevic, Syed Juned Ali, Dominik Bork:
  CM2KG^cloud - An open web-based platform to transform conceptual models into knowledge graphs. 103007
• 
  Sean Kristian Remond Harbo, Emil Palmelund Voldby, Jonas Madsen, Michele Albano:
  ACSmt: A plugin for eclipse papyrus to model systems of systems. 103008
• 
  José Antonio Hernández López, Javier Luis Cánovas Izquierdo, Jesús Sánchez Cuadrado:
  ModelSet: A labelled dataset of software models for machine learning. 103009

Regular articles

• 
  Birthe van den Berg, Tom Schrijvers, James McKinna, Alexander Vandenbroucke:
  Forward- or reverse-mode automatic differentiation: What's the difference? 103010

Special issue Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2022)

• 
  Maksym Bortin:
  Structured development of implementations for divide-and-conquer specifications. 103011

Special issue of the 16th international symposium on Theoretical Aspects of Software Engineering

• 
  Sean Kauffman, Martin Zimmermann:
  The complexity of evaluating nfer. 103012

Special issue on Selected papers from the 25th Ibero-American Conference on Software Engineering (CIbSE 2022)

• 
  Railana Santana, Luana Almeida Martins, Tássio Virgínio, Larissa Rocha, Heitor A. X. Costa, Ivan Machado:
  An empirical evaluation of RAIDE: A semi-automated approach for test smells detection and refactoring. 103013

Special issue on Functional and Logic Programming (Selected papers from FLOPS 2022)

• 
  Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato:
  Asynchronous unfold/fold transformation for fixpoint logic. 103014
• 
  Oleg Kiselyov:
  Generating C: Heterogeneous metaprogramming system description. 103015

Special issue on Selected Software Artifacts from the Papers of DisCoTec 2022 - 17th International Federated Conference on Distributed Computing Techniques

• 
  Giorgio Audrito, Gianluca Torta:
  FCPP to aggregate them all. 103026

Regular articles

• 
  Yaxin Zhao, Lina Gong, Wenhua Yang, Yu Zhou:
  How accessibility affects other quality attributes of software? A case study of GitHub. 103027

Special issue on Tools and Demonstrations in Model-Driven Engineering

• 
  Enes Yigitbas, Maximilian Schmidt, Antonio Bucchiarone, Sebastian Gottschalk, Gregor Engels:
  GaMoVR: Gamification-based UML learning environment in virtual reality. 103029
• 
  Joan Giner-Miguelez, Abel Gómez, Jordi Cabot:
  DescribeML: A dataset description tool for machine learning. 103030