![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 231
Volume 231, January 2024
- Richard Banach:
Core Hybrid Event-B III: Fundamentals of a reasoning framework. 103002
- 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
- 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
- Muhamed Smajevic, Syed Juned Ali
, Dominik Bork:
CM2KGcloud - 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
- Birthe van den Berg
, Tom Schrijvers
, James McKinna, Alexander Vandenbroucke:
Forward- or reverse-mode automatic differentiation: What's the difference? 103010
- Maksym Bortin
:
Structured development of implementations for divide-and-conquer specifications. 103011
- Sean Kauffman
, Martin Zimmermann
:
The complexity of evaluating nfer. 103012
- 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
- 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
- Giorgio Audrito, Gianluca Torta
:
FCPP to aggregate them all. 103026
- Yaxin Zhao, Lina Gong, Wenhua Yang, Yu Zhou:
How accessibility affects other quality attributes of software? A case study of GitHub. 103027
- 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
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.