JournalTOCs

Journal of Computer Languages
Journal Prestige (SJR): 0.469

Citation Impact (citeScore): 2
Number of Followers: 5

Hybrid journal (It can contain Open Access articles)
ISSN (Print) 1477-8424 - ISSN (Online) 2590-1184
Published by Elsevier

[2974 journals]

Supporting model-based safety analysis for safety-critical IoT systems
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: March 2024Source: Journal of Computer Languages, Volume 78Author(s): Felicien Ihirwe, Davide Di Ruscio, Katia Di Blasio, Simone Gianfranceschi, Alfonso Pierantonio
Requirements development for IoT systems with UCM4IoT
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 23 November 2023Source: Journal of Computer LanguagesAuthor(s): Paul Boutot, Mirza Rehenuma Tabassum, Abdul Abedin, Sadaf Mustafiz
Solvi: A visual constraint modeling tool
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 23 November 2023Source: Journal of Computer LanguagesAuthor(s): Xu Zhu, Miguel A. Nacenta, Özgür Akgün, Daniel Zenkovitch
Fuzzing-based grammar learning from a minimal set of seed inputs
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 19 November 2023Source: Journal of Computer LanguagesAuthor(s): Hannes Sochor, Flavio Ferrarotti, Daniela Kaufmann
A transformation methodology for Capella to Event-B models with DSL
verification
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 11 October 2023Source: Journal of Computer LanguagesAuthor(s): Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Redouane Benaini
Correctness of IoT-based systems: From a DSL to a mechanized analysis
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 16 September 2023Source: Journal of Computer LanguagesAuthor(s): Christian Attiogbé, Jérôme Rocheteau
Easing the tuning of drone autopilots through a model-based framework
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 15 September 2023Source: Journal of Computer LanguagesAuthor(s): Soulimane Kamni, Antoine Bertout, Emmanuel Grolleau, Gautier Hattenberger, Yassine Ouhammou
α Rby,+ProB,+and+Rosette&rft.title=Journal+of+Computer+Languages&rft.issn=1477-8424&rft.date=&rft.volume=">A comparison of three solver-aided programming languages: α Rby, ProB,
and Rosette
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 7 September 2023Source: Journal of Computer LanguagesAuthor(s): Richard St-Denis
Programming microcontrollers through high-level abstractions: The OMicroB
project
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 18 August 2023Source: Journal of Computer LanguagesAuthor(s): Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux
Towards smart contract distributed directory based on the uniform
description language
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 29 July 2023Source: Journal of Computer LanguagesAuthor(s): Wafa Ben Slama Souei, Chiraz El Hog, Raoudha Ben Djemaa, Layth Sliman, Ikram Amous Ben Amor