Is Part Of: Computer languages, systems & structures. Volume 54(2018) - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Is Part Of Computer languages, systems & structures. Volume 54(2018)

1. A change-aware per-file analysis to compile configurable systems with #ifdefs. (December 2018)

Authors:: Braz, Larissa; Gheyi, Rohit; Mongiovi, Melina; Ribeiro, Márcio; Medeiros, Flávio; Teixeira, Leopoldo; Souto, Sabrina
Journal:: Computer languages, systems & structures
Issue:: Volume 54(2018)
Page Start:: 427
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. A scalable model based approach for data model evolution: Application to space missions data models. (December 2018)

Authors:: Oubelli, Lynda Ait; Aït Ameur, Yamine; Bedouet, Judicaël; Kervarc, Romain; Chausserie-Laprée, Benoît; Larzul, Béatrice
Journal:: Computer languages, systems & structures
Issue:: Volume 54(2018)
Page Start:: 358
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Achieving model quality through model validation, verification and exploration. (December 2018)

Authors:: Gogolla, Martin; Hilken, Frank; Doan, Khanh-Hoang
Journal:: Computer languages, systems & structures
Issue:: Volume 54(2018)
Page Start:: 474
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. (December 2018)

Authors:: Buga, Andreea; Mashkoor, Atif; Nemeş, Sorana Tania; Schewe, Klaus-Dieter; Songprasop, Pornpan
Journal:: Computer languages, systems & structures
Issue:: Volume 54(2018)
Page Start:: 297
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. Attributed and n-ary relations in OWL for knowledge modeling. (December 2018)

Authors:: Chebba, Asmaa; Bouabana-Tebibel, Thouraya; Rubin, Stuart H.
Journal:: Computer languages, systems & structures
Issue:: Volume 54(2018)
Page Start:: 183
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

6. Automatic production of end user documentation for DSLs. (December 2018)

Authors:: Le Moulec, Gwendal; Blouin, Arnaud; Gouranton, Valérie; Arnaldi, Bruno
Journal:: Computer languages, systems & structures
Issue:: Volume 54(2018)
Page Start:: 337
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

7. Automatized integration of a contextual model into a process with data variability. (December 2018)

Authors:: Simonin, Jacques; Puentes, John
Journal:: Computer languages, systems & structures
Issue:: Volume 54(2018)
Page Start:: 156
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

8. Case studies on automated verification with slope boundaries for block diagrams. (December 2018)

Authors:: Dernehl, Christian; Kühn, Jan; Kowalewski, Stefan
Journal:: Computer languages, systems & structures
Issue:: Volume 54(2018)
Page Start:: 528
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

9. CIaaS - computational intelligence as a service with Athena. (December 2018)

Authors:: Oliveira, Pedro; Santos Neto, Pedro; Britto, Ricardo; Rabêlo, Ricardo; Braga, Ronyerison; Souza, Matheus
Journal:: Computer languages, systems & structures
Issue:: Volume 54(2018)
Page Start:: 95
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

10. Coding Ants: Optimization of GPU code using ant colony optimization. (December 2018)

Authors:: Papenhausen, Eric; Mueller, Klaus
Journal:: Computer languages, systems & structures
Issue:: Volume 54(2018)
Page Start:: 119
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗