HFM2019: HISTORY OF FORMAL METHODS 2019

This page contains an index consisting of author-provided keywords.

A
Abstract interpretation	History of Abstract Interpretation
archival standards	From manuscripts to programming languages: an archivist perspective
B
Babbage Notation	Babbage's mechanical notation
C
classical B	The History and Evolution of B and Event-B
Concurrency	Reasoning about shared-variable concurrency: interactions between research threads
D
data validation	The History and Evolution of B and Event-B
Difference Engine	Babbage's mechanical notation
digital preservation	From manuscripts to programming languages: an archivist perspective
E
equational reasoning	The School of Squiggol: A History of the Bird-Meertens Formalism
Event-B	The History and Evolution of B and Event-B
F
formal methods	Reasoning about shared-variable concurrency: interactions between research threads The Prehistory and History of Requirements Engineering (RE) (+ Software Engineering) as Seen by Me: How my interest in Formal Methods eventually moved me to RE
formal specifications	Formal specifications and software testing: a fruitful convergence.
formal testing	Formal specifications and software testing: a fruitful convergence.
functional programming	The School of Squiggol: A History of the Bird-Meertens Formalism
H
Hardware Description LanguageDifference Engine	Babbage's mechanical notation
history	The Prehistory and History of Requirements Engineering (RE) (+ Software Engineering) as Seen by Me: How my interest in Formal Methods eventually moved me to RE
history of software	From manuscripts to programming languages: an archivist perspective
I
industrial impact	Specification with class: A brief history of Object-Z
international recognition	Specification with class: A brief history of Object-Z
M
model checking	The History and Evolution of B and Event-B
O
Object-Z	Specification with class: A brief history of Object-Z
P
program calculation	The School of Squiggol: A History of the Bird-Meertens Formalism
Program verification	History of Abstract Interpretation
programming languages	The Prehistory and History of Requirements Engineering (RE) (+ Software Engineering) as Seen by Me: How my interest in Formal Methods eventually moved me to RE
R
requirements engineering	The Prehistory and History of Requirements Engineering (RE) (+ Software Engineering) as Seen by Me: How my interest in Formal Methods eventually moved me to RE
S
Software	Reasoning about shared-variable concurrency: interactions between research threads
software engineering	The Prehistory and History of Requirements Engineering (RE) (+ Software Engineering) as Seen by Me: How my interest in Formal Methods eventually moved me to RE
software testing	Formal specifications and software testing: a fruitful convergence.
Static program analysis	History of Abstract Interpretation
T
tool support	The History and Evolution of B and Event-B
transformational programming	The School of Squiggol: A History of the Bird-Meertens Formalism

Disclaimer | Powered by EasyChair Smart Program