Computer Languages, Systems & Structures, Volume 54

Volume 54, December 2018

• 
  Michal Sicák, Ján Kollár:
  Supercombinator set acquired from context-free grammar samples. 1-19
• 
  Gennaro Costagliola, Mattia De Rosa, Vittorio Fuccella:
  Using the local context for the definition and implementation of visual languages. 20-38
• 
  Tian Zhao, Xiaobing Huang:
  Design and implementation of DeepDSL: A DSL for deep learning. 39-70
• 
  Mert Ozkaya, Mehmet Alp Kose:
  SAwUML - UML-based, contractual software architectures and their formal analysis using SPIN. 71-94
• 
  Pedro Almir Oliveira, Pedro de Alcântara dos Santos Neto, Ricardo Britto, Ricardo Rabêlo, Ronyérison Braga, Matheus Souza:
  CIaaS - computational intelligence as a service with Athena. 95-118
• 
  Eric Papenhausen, Klaus Mueller:
  Coding Ants: Optimization of GPU code using ant colony optimization. 119-138
• 
  Benoît Combemale, Jörg Kienzle, Gunter Mussbacher, Olivier Barais, Erwan Bousse, Walter Cazzola, Philippe Collet, Thomas Degueule, Robert Heinrich, Jean-Marc Jézéquel, Manuel Leduc, Tanja Mayerhofer, Sébastien Mosser, Matthias Schöttle, Misha Strittmatter, Andreas Wortmann:
  Concern-oriented language development (COLD): Fostering reuse in language engineering. 139-155
• 
  Jacques Simonin, John Puentes:
  Automatized integration of a contextual model into a process with data variability. 156-182
• 
  Asmaa Chebba, Thouraya Bouabana-Tebibel, Stuart H. Rubin:
  Attributed and n-ary relations in OWL for knowledge modeling. 183-198
• 
  Duc Minh Le, Duc-Hanh Dang, Viet-Ha Nguyen:
  On domain driven design using annotation-based domain specific language. 199-235
• 
  Abdelkader Ouared, Yassine Ouhammou, Ladjel Bellatreche:
  QoSMOS: QoS metrics management tool suite. 236-251
• 
  Samir Ribic, Razija Turcinhodzic, Amela Muratovic-Ribic, Tomaz Kosar:
  REDOSPLAT: A readable domain-specific language for timetabling requirements definition. 252-272
• 
  Fatemeh Imani-Mehr, Mehran S. Fallah:
  On transparent value-sensitive run-time monitoring for information flow policies. 273-296
• 
  Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop:
  An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. 297-315
• 
  Alfonso de la Vega, Diego García-Saiz, Marta E. Zorrilla, Pablo Sánchez:
  FLANDM: a development framework of domain-specific languages for data mining democratisation. 316-336
• 
  Gwendal Le Moulec, Arnaud Blouin, Valérie Gouranton, Bruno Arnaldi:
  Automatic production of end user documentation for DSLs. 337-357
• 
  Lynda Ait Oubelli, Yamine Aït Ameur, Judicaël Bedouet, Romain Kervarc, Benoit Chausserie-Lapree, Beatrice Larzul:
  A scalable model based approach for data model evolution: Application to space missions data models. 358-385
• 
  Katrin Hölldobler, Bernhard Rumpe, Andreas Wortmann:
  Software language engineering in the large: towards composing and deriving languages. 386-405
• 
  Wenbo Zhou, Lei Liu, Peng Zhang, Shuai Lü, Jingyao Li:
  SDAC: A model for analysis of the execution semantics of data processing framework in cloud. 406-426

Special Section on the 15th International Conference on Generative Programming: Concepts & Experiences (GPCE'16).

• 
  Larissa Braz, Rohit Gheyi, Melina Mongiovi, Márcio Ribeiro, Flávio Medeiros, Leopoldo Teixeira, Sabrina Souto:
  A change-aware per-file analysis to compile configurable systems with #ifdefs. 427-450
• 
  Juliana Alves Pereira, Pawel Matuszyk, Sebastian Krieter, Myra Spiliopoulou, Gunter Saake:
  Personalized recommender systems for product-line configuration processes. 451-471

Special section on Quality in Model Driven Engineering.

• 
  Vasco Amaral, Jordi Cabot, Miguel Goulão:
  Special issue on quality in Model-Driven Engineering. 472-473
• 
  Martin Gogolla, Frank Hilken, Khanh-Hoang Doan:
  Achieving model quality through model validation, verification and exploration. 474-511
• 
  Nils Przigoda, Philipp Niemann, Jonas Gomes Filho, Robert Wille, Rolf Drechsler:
  Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements. 512-527
• 
  Christian Dernehl, Jan Kühn, Stefan Kowalewski:
  Case studies on automated verification with slope boundaries for block diagrams. 528-543
• 
  Opeyemi O. Adesina, Timothy C. Lethbridge, Stéphane S. Somé, Vahdat Abdelzad, Alvine Boaye Belle:
  Improving formal analysis of state machines with particular emphasis on and-cross transitions. 544-585