Towards Modal Software Engineering

02/05/2021
by   Ramy Shahin, et al.
0

In this paper we introduce the notion of Modal Software Engineering: automatically turning sequential, deterministic programs into semantically equivalent programs efficiently operating on inputs coming from multiple overlapping worlds. We are drawing an analogy between modal logics, and software application domains where multiple sets of inputs (multiple worlds) need to be processed efficiently. Typically those sets highly overlap, so processing them independently would involve a lot of redundancy, resulting in lower performance, and in many cases intractability. Three application domains are presented: reasoning about feature-based variability of Software Product Lines (SPLs), probabilistic programming, and approximate programming.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

06/11/2014

A Hitchhiker's Guide to Search-Based Software Engineering for Software Product Lines

Search Based Software Engineering (SBSE) is an emerging discipline that ...
05/09/2019

A Road to Bio-inspired Software Engineering

Software production research is quickly evolving on two parallel approac...
11/21/2012

Scaling Genetic Programming for Source Code Modification

In Search Based Software Engineering, Genetic Programming has been used ...
07/30/2018

Designing a blended learning of system programming for software engineering bachelors

The research objective is to design a blended learning of system program...
08/18/2017

Software engineering and the SP theory of intelligence

This paper describes a novel approach to software engineering derived fr...
12/09/2019

Variability-aware Datalog

Variability-aware computing is the efficient application of programs to ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.