Software engineering and the SP theory of intelligence

by   J Gerard Wolff, et al.

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.



page 1

page 2

page 3

page 4


Investigating the potential impact of values on requirements and software engineering

This paper describes an investigation into value-based software engineer...

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

High-Performance Computing (HPC) platforms enable scientific software to...

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...

Dezyne: Paving the Way to Practical Formal Software Engineering

Designing software that controls industrial equipment is challenging, es...

A Microkernel Architecture for Constraint Programming

This paper presents a microkernel architecture for constraint programmin...

SEAT: A Taxonomy to Characterize Automation in Software Engineering

Reducing cost and time required to build high quality software is a majo...

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.