Comput. Lang. Syst. Struct.

Keyphrases

Publications

volume 54, 2018

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. Comput. Lang. Syst. Struct. 54 (2018)
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. Comput. Lang. Syst. Struct. 54 (2018)
Tian Zhao, Xiaobing Huang
Design and implementation of DeepDSL: A DSL for deep learning. Comput. Lang. Syst. Struct. 54 (2018)
Christian Dernehl, Jan Kühn, Stefan Kowalewski
Case studies on automated verification with slope boundaries for block diagrams. Comput. Lang. Syst. Struct. 54 (2018)
Eric Papenhausen, Klaus Mueller
Coding Ants: Optimization of GPU code using ant colony optimization. Comput. Lang. Syst. Struct. 54 (2018)
Martin Gogolla, Frank Hilken, Khanh-Hoang Doan
Achieving model quality through model validation, verification and exploration. Comput. Lang. Syst. Struct. 54 (2018)
Katrin Hölldobler, Bernhard Rumpe, Andreas Wortmann
Software language engineering in the large: towards composing and deriving languages. Comput. Lang. Syst. Struct. 54 (2018)
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. Comput. Lang. Syst. Struct. 54 (2018)
Gwendal Le Moulec, Arnaud Blouin, Valérie Gouranton, Bruno Arnaldi
Automatic production of end user documentation for DSLs. Comput. Lang. Syst. Struct. 54 (2018)
Vasco Amaral, Jordi Cabot, Miguel Goulão
Special issue on quality in Model-Driven Engineering. Comput. Lang. Syst. Struct. 54 (2018)
Jacques Simonin, John Puentes
Automatized integration of a contextual model into a process with data variability. Comput. Lang. Syst. Struct. 54 (2018)
Abdelkader Ouared, Yassine Ouhammou, Ladjel Bellatreche
QoSMOS: QoS metrics management tool suite. Comput. Lang. Syst. Struct. 54 (2018)
Lynda Ait Oubelli, Yamine Aït Ameur, Judicaël Bedouet, Romain Kervarc, Benoit Chausserie-Lapree, Béatrice Larzul
A scalable model based approach for data model evolution: Application to space missions data models. Comput. Lang. Syst. Struct. 54 (2018)
Asmaa Chebba, Thouraya Bouabana-Tebibel, Stuart H. Rubin
Attributed and n-ary relations in OWL for knowledge modeling. Comput. Lang. Syst. Struct. 54 (2018)
Mert Ozkaya, Mehmet Alp Kose
SAwUML - UML-based, contractual software architectures and their formal analysis using SPIN. Comput. Lang. Syst. Struct. 54 (2018)
Duc Minh Le, Duc-Hanh Dang, Viet-Ha Nguyen
On domain driven design using annotation-based domain specific language. Comput. Lang. Syst. Struct. 54 (2018)
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. Comput. Lang. Syst. Struct. 54 (2018)
Samir Ribic, Razija Turcinhodzic, Amela Muratovic-Ribic, Tomaz Kosar
REDOSPLAT: A readable domain-specific language for timetabling requirements definition. Comput. Lang. Syst. Struct. 54 (2018)
Gennaro Costagliola, Mattia De Rosa, Vittorio Fuccella
Using the local context for the definition and implementation of visual languages. Comput. Lang. Syst. Struct. 54 (2018)
Pedro Almir Oliveira, Pedro de Alcântara dos Santos Neto, Ricardo Britto, Ricardo A. L. Rabêlo, Ronyérison Braga, Matheus Souza
CIaaS - computational intelligence as a service with Athena. Comput. Lang. Syst. Struct. 54 (2018)
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. Comput. Lang. Syst. Struct. 54 (2018)
Juliana Alves Pereira, Pawel Matuszyk, Sebastian Krieter, Myra Spiliopoulou, Gunter Saake
Personalized recommender systems for product-line configuration processes. Comput. Lang. Syst. Struct. 54 (2018)
Nils Przigoda, Philipp Niemann, Jonas Gomes Filho, Robert Wille, Rolf Drechsler
statements. Comput. Lang. Syst. Struct. 54 (2018)
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. Comput. Lang. Syst. Struct. 54 (2018)
Michal Sicák, Ján Kollár
Supercombinator set acquired from context-free grammar samples. Comput. Lang. Syst. Struct. 54 (2018)
Fatemeh Imani-Mehr, Mehran S. Fallah
On transparent value-sensitive run-time monitoring for information flow policies. Comput. Lang. Syst. Struct. 54 (2018)

volume 53, 2018

volume 52, 2018

volume 51, 2018

volume 50, 2017