1. A change-aware per-file analysis to compile configurable systems with #ifdefs. (December 2018) Authors: Braz, Larissa; Gheyi, Rohit; Mongiovi, Melina; Ribeiro, Márcio; Medeiros, Flávio; Teixeira, Leopoldo; Souto, Sabrina Journal: Computer languages, systems & structures Issue: Volume 54(2018) Page Start: 427 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A scalable model based approach for data model evolution: Application to space missions data models. (December 2018) Authors: Oubelli, Lynda Ait; Aït Ameur, Yamine; Bedouet, Judicaël; Kervarc, Romain; Chausserie-Laprée, Benoît; Larzul, Béatrice Journal: Computer languages, systems & structures Issue: Volume 54(2018) Page Start: 358 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Achieving model quality through model validation, verification and exploration. (December 2018) Authors: Gogolla, Martin; Hilken, Frank; Doan, Khanh-Hoang Journal: Computer languages, systems & structures Issue: Volume 54(2018) Page Start: 474 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. (December 2018) Authors: Buga, Andreea; Mashkoor, Atif; Nemeş, Sorana Tania; Schewe, Klaus-Dieter; Songprasop, Pornpan Journal: Computer languages, systems & structures Issue: Volume 54(2018) Page Start: 297 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Attributed and n-ary relations in OWL for knowledge modeling. (December 2018) Authors: Chebba, Asmaa; Bouabana-Tebibel, Thouraya; Rubin, Stuart H. Journal: Computer languages, systems & structures Issue: Volume 54(2018) Page Start: 183 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Automatic production of end user documentation for DSLs. (December 2018) Authors: Le Moulec, Gwendal; Blouin, Arnaud; Gouranton, Valérie; Arnaldi, Bruno Journal: Computer languages, systems & structures Issue: Volume 54(2018) Page Start: 337 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Automatized integration of a contextual model into a process with data variability. (December 2018) Authors: Simonin, Jacques; Puentes, John Journal: Computer languages, systems & structures Issue: Volume 54(2018) Page Start: 156 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Case studies on automated verification with slope boundaries for block diagrams. (December 2018) Authors: Dernehl, Christian; Kühn, Jan; Kowalewski, Stefan Journal: Computer languages, systems & structures Issue: Volume 54(2018) Page Start: 528 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. CIaaS - computational intelligence as a service with Athena. (December 2018) Authors: Oliveira, Pedro; Santos Neto, Pedro; Britto, Ricardo; Rabêlo, Ricardo; Braga, Ronyerison; Souza, Matheus Journal: Computer languages, systems & structures Issue: Volume 54(2018) Page Start: 95 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Coding Ants: Optimization of GPU code using ant colony optimization. (December 2018) Authors: Papenhausen, Eric; Mueller, Klaus Journal: Computer languages, systems & structures Issue: Volume 54(2018) Page Start: 119 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗