Software and System Modelling
Collection
Collection
- ISSN: 1619-1374
Published by Springer Nature
-
Models and temporal logical specifications for timed component connectors Article
Software and System Modelling, 6(1), 59-82.F. Arbab (Farhad), C. Baier, F.S. de Boer (Frank) and J.J.M.M. Rutten (Jan)
March 2007
-
Buchi Automata for Modeling Component Connectors Article
Software and System ModellingM.M. Bonsangue (Marcello), D.G. Clarke (David) and M. Izadi (Mohammad)
September 2010 -
Buchi Automata for Modeling Component Connectors Article
Software and System Modelling, 10(2), 183-200.M.M. Bonsangue (Marcello), D.G. Clarke (David) and M. Izadi (Mohammad)
January 2011 -
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic Article
Software and System Modelling, 15(4), 1117-1140.C.P.T. de Gouw (Stijn), F.S. de Boer (Frank), W. Ahrendt (Wolfgang) and R. Bubel (Richard)
October 2016 -
Toward Live Domain-Specific Languages: From Text Differencing to Adapting Models at Run Time Article
Software and System Modelling, 195-212.August 2019 -
The software Language Extension Problem Article
Software and System Modelling, 263-267.M. Leduc (Manuel), T.F. Degueule (Thomas), E. van Wyk (Eric) and B. Combemale (Benoit)
December 2019 -
A cross-technology benchmark for incremental graph queries Article
Software and System Modelling, 755-804.G. Hinkel (Georg), A. Garcia-Dominguez (Antonio), R. Schöne (René), A. Boronat (Artur), M. Tisi (Massimo), T. Le Calvar (Théo), F. Jouault (Frederic), J. Marton (József), T. Nyíri (Tamás), J.B. Antal (János Benjamin), et al. M. Elekes (Márton) and G. Szárnyas (Gábor)
December 2021
-
OIL: An industrial case study in language engineering with Spoofax Article
Software and System ModellingO. Bunte (Olav), J. Denkers (Jasper), L.C.M. van Gool (Louis), J.J. Vinju (Jurgen), E. Visser (Eelco), T.A.C. Willemse and A. Zaidman (Andy)
June 2024