Langar: An Approach to Evaluate Reo Programming Language

03/08/2021
by   Mohammad Reza Besharati, et al.
0

Reo is a formal coordination language. In order to assess and evaluate its capabilities, we need a multi-perspective Language Evaluation Framework. Langar (Language Analysis for Reo) is a framework aimed to provide such an evaluation method. In this paper, we introduce Langar. Based on a review on various language evaluation methods, a tool-kit for useful evaluation techniques are provided. After Reo Evaluation, this method and tool-kit also could be used for another programming, computational and even natural languages. Furthermore, two suggestions for some future efforts and directions are provided for software engineering and software methodology communities.

READ FULL TEXT

page 1

page 2

page 3

page 5

page 6

page 7

page 9

page 10

research
05/02/2022

More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme

Formal methods for software correctness are critical to the future of so...
research
11/14/2021

Formal Quantum Software Engineering: Introducing the Formal Methods of Software Engineering to Quantum Computing

Quantum computing (QC) represents the future of computing systems, but t...
research
10/16/2021

AugmentedCode: Examining the Effects of Natural Language Resources in Code Retrieval Models

Code retrieval is allowing software engineers to search codes through a ...
research
08/06/2021

Dezyne: Paving the Way to Practical Formal Software Engineering

Designing software that controls industrial equipment is challenging, es...
research
09/16/2019

ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler

Bug localization is well-known to be a difficult problem in software eng...
research
11/06/2019

Formality in Software Requirements

A major determinant of the quality of software systems is the quality of...
research
08/20/2021

Fex: Assisted Identification of Domain Features from C Programs

Modern software typically performs more than one functionality. These fu...

Please sign up or login with your details

Forgot password? Click here to reset