Ausgabe 3/2024
Inhalt (14 Artikel)
Model modularity for reuse, libraries and composition: symbol management is key
- Open Access
- Editorial
Benoit Combemale, Jeff Gray, Bernhard Rumpe
Guest editorial to the theme section on Trends in Enterprise Architecture Research
- Guest Editorial
Sybren de Kinderen, Dominik Bork
Toward an ontology for EA modeling and EA model quality
- Open Access
- Theme Section Paper
Jan A. H. Schoonderbeek, Henderik A. Proper
Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities
- Open Access
- Theme Section Paper
Rodrigo F. Calhau, João Paulo A. Almeida, Satyanarayana Kokkula, Giancarlo Guizzardi
Correction: Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities
- Open Access
- Publisher Correction
Rodrigo F. Calhau, João Paulo A. Almeida, Satyanarayana Kokkula, Giancarlo Guizzardi
Guest editorial to the special section on SEFM’22
- Open Access
- Guest Editorial
Bernd-Holger Schlingloff, Ming Chai
User journey games: automating user-centric analysis
- Open Access
- Special Section Paper
Paul Kobialka, S. Lizeth Tapia Tarifa, Gunnar R. Bergersen, Einar Broch Johnsen
Learning minimal automata with recurrent neural networks
- Open Access
- Special Section Paper
Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Martin Tappler
A refinement-based approach to safe smart contract deployment and evolution
- Special Section Paper
Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe, Filipe Arruda
Exchanging information in cooperative software validation
- Open Access
- Special Section Paper
Jan Haltermann, Heike Wehrheim
On applying residual reasoning within neural network verification
- Special Section Paper
Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis
- Open Access
- Regular Paper
Bentley James Oakes, Javier Troya, Jessie Galasso, Manuel Wimmer
A formal component model for UML based on CSP aiming at compositional verification
- Regular Paper
Flávia Falcão, Lucas Lima, Augusto Sampaio, Pedro Antonino
