HFM2019: HISTORY OF FORMAL METHODS 2019

B
Berry, Daniel	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
Butler, Michael	The History and Evolution of B and Event-B
D
Duke, David	Specification with class: A brief history of Object-Z
G
Gaudel, Marie-Claude	Formal specifications and software testing: a fruitful convergence.
Giacobazzi, Roberto	History of Abstract Interpretation
Gibbons, Jeremy	The School of Squiggol: A History of the Bird-Meertens Formalism
J
Johnstone, Adrian	Babbage's mechanical notation
Jones, Cliff	Reasoning about shared-variable concurrency: interactions between research threads
K
Koerner, Philipp	The History and Evolution of B and Event-B
Krings, Sebastian	The History and Evolution of B and Event-B
L
Lecomte, Thierry	The History and Evolution of B and Event-B
Leuschel, Michael	The History and Evolution of B and Event-B
M
Meneses, Ana Sandra	From manuscripts to programming languages: an archivist perspective
P
Priestley, Mark	The early history of flow diagrams as a formal method
R
Ranzato, Francesco	History of Abstract Interpretation
S
Scott, Elizabeth	Babbage's mechanical notation
Smith, Graeme	Specification with class: A brief history of Object-Z
Sousa, António	From manuscripts to programming languages: an archivist perspective
V
Vidal, Alexandra	From manuscripts to programming languages: an archivist perspective
Voison, Laurent	The History and Evolution of B and Event-B

Disclaimer | Powered by EasyChair Smart Program