×

Fundamental approaches to software engineering. 20th international conference, FASE 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. (English) Zbl 1358.68014

Lecture Notes in Computer Science 10202. Berlin: Springer (ISBN 978-3-662-54493-8/pbk; 978-3-662-54494-5/ebook). xiii, 444 p. (2017).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1333.68018].
Indexed articles:
Müller, Andreas; Mitsch, Stefan; Retschitzegger, Werner; Schwinger, Wieland; Platzer, André, Change and delay contracts for hybrid system component verification, 134-151 [Zbl 1430.68154]
Leblebici, Erhan; Anjorin, Anthony; Schürr, Andy, Inter-model consistency checking using triple graph grammars and linear optimization techniques, 191-207 [Zbl 1430.68028]
Zschaler, Steffen; Durán, Francisco, GTS families for the flexible composition of graph transformation systems, 208-225 [Zbl 1430.68138]
Schneider, Sven; Lambers, Leen; Orejas, Fernando, Symbolic model generation for graph properties, 226-243 [Zbl 1430.68241]
Diskin, Zinovy; Gómez, Abel; Cabot, Jordi, Traceability mappings as a fundamental instrument in model transformations, 247-263 [Zbl 1430.68027]
Taentzer, Gabriele; Ohrndorf, Manuel; Lamo, Yngve; Rutle, Adrian, Change-preserving model repair, 283-299 [Zbl 1430.68029]
ter Beek, Maurice H.; de Vink, Erik P.; Willemse, Tim A. C., Family-based model checking with mCRL2, 387-405 [Zbl 1430.68155]
Dimovski, Aleksandar S.; Wąsowski, Andrzej, Variability-specific abstraction refinement for family-based model checking, 406-423 [Zbl 1430.68151]

MSC:

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Nxx Theory of software
00B25 Proceedings of conferences of miscellaneous specific interest

Citations:

Zbl 1333.68018
PDFBibTeX XMLCite
Full Text: DOI