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

page 1

page 2

page 3

page 4

research
09/08/2023

Trustworthy and Synergistic Artificial Intelligence for Software Engineering: Vision and Roadmaps

For decades, much software engineering research has been dedicated to de...
research
03/01/2021

Investigating the potential impact of values on requirements and software engineering

This paper describes an investigation into value-based software engineer...
research
08/06/2021

Dezyne: Paving the Way to Practical Formal Software Engineering

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

A Microkernel Architecture for Constraint Programming

This paper presents a microkernel architecture for constraint programmin...
research
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...
research
06/28/2017

Development of the SP machine

This paper describes the main things that need to be done to develop the...
research
08/16/2017

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

Traditional software engineering programming paradigms are mostly object...

Please sign up or login with your details

Forgot password? Click here to reset