Software engineering and the SP theory of intelligence

08/18/2017
by   J Gerard Wolff, et al.
0

This paper describes a novel approach to software engineering derived from the "SP theory of intelligence" and its realisation in the "SP computer model". These are the bases of a projected industrial-strength "SP machine" which, when mature, is anticipated to be the vehicle for software engineering as described in this paper. Potential benefits of this new approach to software engineering include: the automation of semi-automation of software development, with non-automatic programming of the SP system where necessary; allowing programmers to concentrate on 'real-world' parallelism, without worries about parallelism to speed up processing; the ambitious long-term goal of programming the SP system via written or spoken natural language; reducing or eliminating the distinction between 'design' and 'implementation'; reducing or eliminating operations like compiling or interpretation; reducing or eliminating the need for verification of software; reducing the need for an explicit process of validation of software; no formal distinction between program and database; potential for substantial reductions in the number of types of data file and the number of computer languages; benefits for version control; and reducing technical debt.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

03/01/2021

Investigating the potential impact of values on requirements and software engineering

This paper describes an investigation into value-based software engineer...
10/14/2019

BACKUS: Comprehensive High-Performance Research Software Engineering Approach for Simulations in Supercomputing Systems

High-Performance Computing (HPC) platforms enable scientific software to...
04/11/2019

First things first: If software engineering is the solution, then what is the problem?

Software engineering (SE) undergoes an ontological crisis and it lacks o...
08/06/2021

Dezyne: Paving the Way to Practical Formal Software Engineering

Designing software that controls industrial equipment is challenging, es...
01/21/2014

A Microkernel Architecture for Constraint Programming

This paper presents a microkernel architecture for constraint programmin...
03/26/2018

SEAT: A Taxonomy to Characterize Automation in Software Engineering

Reducing cost and time required to build high quality software is a majo...
08/16/2017

DARVIZ: Deep Abstract Representation, Visualization, and Verification of Deep Learning Models

Traditional software engineering programming paradigms are mostly object...
This week in AI

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