81. Generative software product line development using variability-aware design patterns. (June 2017) Authors: Seidl, Christoph; Schuster, Sven; Schaefer, Ina Journal: Computer languages, systems & structures Issue: Volume 48(2017) Page Start: 89 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
82. Grammar-based model transformations: Definition, execution, and quality properties. (October 2015) Authors: Besova, Galina; Steenken, Dominik; Wehrheim, Heike Journal: Computer languages, systems & structures Issue: Volume 43(2015) Page Start: 116 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
83. Harmony search based remodularization for object-oriented software systems. (January 2017) Authors: Amarjeet, ; Chhabra, Jitender Kumar Journal: Computer languages, systems & structures Issue: Volume 47:Part 2(2017) Page Start: 153 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
84. Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. (January 2017) Authors: Kafle, Bishoksan; Gallagher, John P. Journal: Computer languages, systems & structures Issue: Volume 47:Part 1(2017) Page Start: 2 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
85. How do developers use dynamic features? The case of Ruby. (September 2018) Authors: Rodrigues, Elder; Terra, Ricardo Journal: Computer languages, systems & structures Issue: Volume 53(2018) Page Start: 73 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
86. Implementing a performant scheme interpreter for the web in asm.js. (September 2017) Authors: Van Es, Noah; Stievenart, Quentin; Nicolay, Jens; D'Hondt, Theo; De Roover, Coen Journal: Computer languages, systems & structures Issue: Volume 49(2017) Page Start: 62 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
87. Implementing design patterns as parametric aspects using ParaAJ: The case of the singleton, observer, and decorator design patterns. (April 2016) Authors: Aljasser, Khalid Journal: Computer languages, systems & structures Issue: Volume 45(2016) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
88. Improving formal analysis of state machines with particular emphasis on and-cross transitions. (December 2018) Authors: Adesina, Opeyemi O.; Lethbridge, Timothy C.; Somé, Stéphane S.; Abdelzad, Vahdat; Belle, Alvine Boaye Journal: Computer languages, systems & structures Issue: Volume 54(2018) Page Start: 544 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
89. Inference of ranking functions for proving temporal properties by abstract interpretation. (January 2017) Authors: Urban, Caterina; Miné, Antoine Journal: Computer languages, systems & structures Issue: Volume 47:Part 1(2017) Page Start: 77 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
90. Intra- and interdiagram consistency checking of behavioral multiview models. (December 2015) Authors: Kaufmann, Petra; Kronegger, Martin; Pfandler, Andreas; Seidl, Martina; Widl, Magdalena Journal: Computer languages, systems & structures Issue: Volume 44:Part A(2015) Page Start: 72 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗