Model modularity for reuse, libraries and composition: symbol management is key Benoit CombemaleJeff GrayBernhard Rumpe Editorial Open access 27 June 2024 Pages: 525 - 526
What makes a good modeling research contribution? Richard F. PaigeJordi Cabot Expert Voice 29 April 2024 Pages: 527 - 531
Guest editorial to the theme section on Trends in Enterprise Architecture Research Sybren de KinderenDominik Bork Guest Editorial 12 April 2024 Pages: 533 - 534
Toward an ontology for EA modeling and EA model quality Jan A. H. SchoonderbeekHenderik A. Proper Theme Section Paper Open access 03 February 2024 Pages: 535 - 558
Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities Rodrigo F. CalhauJoão Paulo A. AlmeidaGiancarlo Guizzardi Theme Section Paper Open access 05 March 2024 Pages: 559 - 598
Correction: Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities Rodrigo F. CalhauJoão Paulo A. AlmeidaGiancarlo Guizzardi Publisher Correction Open access 10 May 2024 Pages: 599 - 601
Guest editorial to the special section on SEFM’22 Bernd-Holger SchlingloffMing Chai Guest Editorial Open access 16 April 2024 Pages: 603 - 604
User journey games: automating user-centric analysis Paul KobialkaS. Lizeth Tapia TarifaEinar Broch Johnsen Special Section Paper Open access 14 March 2024 Pages: 605 - 624
Learning minimal automata with recurrent neural networks Bernhard K. AichernigSandra KönigMartin Tappler Special Section Paper Open access 21 March 2024 Pages: 625 - 655
A refinement-based approach to safe smart contract deployment and evolution Pedro AntoninoJuliandson FerreiraFilipe Arruda Special Section Paper 25 January 2024 Pages: 657 - 693
Exchanging information in cooperative software validation Jan HaltermannHeike Wehrheim Special Section Paper Open access 19 March 2024 Pages: 695 - 719
On applying residual reasoning within neural network verification Yizhak Yisrael ElboherElazar CohenGuy Katz Special Section Paper 16 November 2023 Pages: 721 - 736
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis Bentley James OakesJavier TroyaManuel Wimmer Regular Paper Open access 29 September 2023 Pages: 737 - 763
A formal component model for UML based on CSP aiming at compositional verification Flávia FalcãoLucas LimaPedro Antonino Regular Paper 04 October 2023 Pages: 765 - 798
