Software and Systems Modeling

ISSNs: 1619-1366

Additional searchable ISSN (electronic): 1619-1374

Springer Verlag, Germany

Scopus rating (2022): CiteScore 6.2 SJR 0.704 SNIP 1.614

Journal

Titles	Software and Systems Modeling Software and systems modeling
Additional searchable titles	Softw. Syst. Model.
ISSNs	1619-1366
Additional searchable ISSN (electronic)	1619-1374
Publisher	Springer Verlag
Country/Territory	Germany
ZDB-ID	2092265-6
ZDB-ID	2090971-8

Keywords

ASJC Scopus subject areas

Software
Modeling and Simulation

Library keywords

004 Computer science

Lazy model checking for recursive state machines

Dubslaff, C., Wienhöft, P. & Fehnker, A., 20 Mar 2024, In: Software and systems modeling.

Research output: Contribution to journal › Research article › Contributed › peer-review

A cross-technology benchmark for incremental graph queries.

Hinkel, G., García-Domínguez, A., Schöne, R., Boronat, A., Tisi, M., Le Calvar, T., Jouault, F., & 5 othersMarton, J., Nyíri, T., Antal, J. B., Elekes, M. & Szárnyas, G., 12 Dec 2021, In: Software and Systems Modeling. 21, 2, p. 755-804 50 p., 2.

Research output: Contribution to journal › Research article › Contributed › peer-review

Models@run.time: a guided tour of the state of the art and research challenges

Bencomo, N., Götz, S. & Song, H., 2019, In: Software and Systems Modeling.

Research output: Contribution to journal › Research article › Contributed › peer-review

DropsBox: the Dresden Open Software Toolbox - Domain-specific modelling tools beyond metamodels and transformations.

Aßmann, U., Bartho, A., Bürger, C., Cech, S., Demuth, B., Heidenreich, F., Johannes, J., & 8 othersKarol, S., Polowinski, J., Reimann, J., Schroeter, J., Seifert, M., Thiele, M., Wende, C. & Wilke, C., 2014, In: Software and systems modeling. 13, 1, p. 133-169

Research output: Contribution to journal › Research article › Contributed › peer-review

View all research output (4)