Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDComputer 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 A. L. 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, Béatrice 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
- 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
- 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
a service of 
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.
last updated on 2024-04-22 20:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
