ask others

Computer Languages, Systems & Structures, Volume 54

> Home > Journals > Computer Languages, Systems & Structures

Volume 54, December 2018

- view
- export record
  dblp key:
  - journals/cl/SicakK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/SicakK18
Michal Sicák, Ján Kollár:
Supercombinator set acquired from context-free grammar samples. 1-19
- view
- export record
  dblp key:
  - journals/cl/CostagliolaRF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/CostagliolaRF18
Gennaro Costagliola, Mattia De Rosa, Vittorio Fuccella:
Using the local context for the definition and implementation of visual languages. 20-38
- view
- export record
  dblp key:
  - journals/cl/ZhaoH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/ZhaoH18
Tian Zhao, Xiaobing Huang:
Design and implementation of DeepDSL: A DSL for deep learning. 39-70
- view
- export record
  dblp key:
  - journals/cl/OzkayaK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/OzkayaK18
Mert Ozkaya, Mehmet Alp Kose:
SAwUML - UML-based, contractual software architectures and their formal analysis using SPIN. 71-94
- view
- export record
  dblp key:
  - journals/cl/OliveiraNBRBS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/OliveiraNBRBS18
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. 95-118
- view
- export record
  dblp key:
  - journals/cl/PapenhausenM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/PapenhausenM18
Eric Papenhausen, Klaus Mueller:
Coding Ants: Optimization of GPU code using ant colony optimization. 119-138
- view
- export record
  dblp key:
  - journals/cl/CombemaleKMBBCC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/CombemaleKMBBCC18
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
- view
- export record
  dblp key:
  - journals/cl/SimoninP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/SimoninP18
Jacques Simonin, John Puentes:
Automatized integration of a contextual model into a process with data variability. 156-182
- view
- export record
  dblp key:
  - journals/cl/ChebbaBR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/ChebbaBR18
Asmaa Chebba, Thouraya Bouabana-Tebibel, Stuart H. Rubin:
Attributed and n-ary relations in OWL for knowledge modeling. 183-198
- view
  authority control:
- export record
  dblp key:
  - journals/cl/LeDN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/LeDN18
Duc Minh Le, Duc-Hanh Dang, Viet-Ha Nguyen:
On domain driven design using annotation-based domain specific language. 199-235
- view
- export record
  dblp key:
  - journals/cl/OuaredOB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/OuaredOB18
Abdelkader Ouared, Yassine Ouhammou, Ladjel Bellatreche:
QoSMOS: QoS metrics management tool suite. 236-251
- view
- export record
  dblp key:
  - journals/cl/RibicTMK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/RibicTMK18
Samir Ribic, Razija Turcinhodzic, Amela Muratovic-Ribic, Tomaz Kosar:
REDOSPLAT: A readable domain-specific language for timetabling requirements definition. 252-272
- view
- export record
  dblp key:
  - journals/cl/Imani-MehrF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/Imani-MehrF18
Fatemeh Imani-Mehr, Mehran S. Fallah:
On transparent value-sensitive run-time monitoring for information flow policies. 273-296
- view
- export record
  dblp key:
  - journals/cl/BugaMNSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/BugaMNSS18
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
- view
- export record
  dblp key:
  - journals/cl/VegaGZS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/VegaGZS18
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
- view
- export record
  dblp key:
  - journals/cl/MoulecBGA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/MoulecBGA18
Gwendal Le Moulec, Arnaud Blouin, Valérie Gouranton, Bruno Arnaldi:
Automatic production of end user documentation for DSLs. 337-357
- view
- export record
  dblp key:
  - journals/cl/OubelliABKCL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/OubelliABKCL18
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. 358-385
- view
- export record
  dblp key:
  - journals/cl/HolldoblerRW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/HolldoblerRW18
Katrin Hölldobler, Bernhard Rumpe, Andreas Wortmann:
Software language engineering in the large: towards composing and deriving languages. 386-405
- view
- export record
  dblp key:
  - journals/cl/ZhouLZLL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/ZhouLZLL18
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).

- view
- export record
  dblp key:
  - journals/cl/BrazGMRMTS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/BrazGMRMTS18
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
- view
- export record
  dblp key:
  - journals/cl/PereiraMKSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/PereiraMKSS18
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.

- view
- export record
  dblp key:
  - journals/cl/AmaralCG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/AmaralCG18
Vasco Amaral, Jordi Cabot, Miguel Goulão:
Special issue on quality in Model-Driven Engineering. 472-473
- view
- export record
  dblp key:
  - journals/cl/GogollaHD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/GogollaHD18
Martin Gogolla, Frank Hilken, Khanh-Hoang Doan:
Achieving model quality through model validation, verification and exploration. 474-511
- view
  authority control:
- export record
  dblp key:
  - journals/cl/PrzigodaNFWD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/PrzigodaNFWD18
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
- view
- export record
  dblp key:
  - journals/cl/DernehlKK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/DernehlKK18
Christian Dernehl, Jan Kühn, Stefan Kowalewski:
Case studies on automated verification with slope boundaries for block diagrams. 528-543
- view
- export record
  dblp key:
  - journals/cl/AdesinaLSAB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/AdesinaLSAB18
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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.