Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

refinement · Vinony

EntityQ3417382· pop 5· linked from 65 articles

refinement

Sign in to save

approaches for producing correct computer programs and simplifying existing programs to enable their formal verification

Connections

International Standard Book Number

computer program

digital object identifier

software engineering

array data structure

agile software development

assignable variable

Categories

Computer programming Formal methods terminology

Sources

wikipedia.externallinksexternallink

What links here65 pages

model transformation

agile software development

static program analysis

extract, transform, load

software design

source-to-source compiler

web template system

generative design

abstract state machine

software prototyping

data conversion

Program slicing

Liskov substitution principle

Jean-Raymond Abrial

design by contract

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

software refactoring

Entitydist 0.39

symbolic execution

Entitydist 0.57

Entitydist 0.60

Software craftsmanship

Entitydist 0.61

computer engineering

Entitydist 0.61

PDP-11 architecture

Entitydist 0.62

Entitydist 0.63

Resolvent formalism

Entitydist 0.64

principle of least astonishment

Entitydist 0.64

object composition

Entitydist 0.64

rapid application development

Entitydist 0.64

Entitydist 0.65