Maurice Naftalin

发表

Informal Strategies in Design by Refinement

Maurice Naftalin, 1994, FME.

Program derivation—the development of programs from specifications

Maurice Naftalin, 1991 .

Testing Development Process & Methodology Mobile Solutions Agile in the organisation Three screens and the cloud Successfull Delivery of Agile Solutions Conversation Corner

Alan Brown, Thomas Nilsson, Michael Feathers, 2010 .

An Experiment in Practical Semantics

Maurice Naftalin, Maurice Naftalin, 1986, ESOP.

FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings

Miquel Bertran, Maurice Naftalin, Tim Denvir, 1994, FME 1994.

Java generics and collections

Philip Wadler, Maurice Naftalin, 2006 .

FME '94: Industrial Benefit of Formal Methods

Miquel Bertran, Maurice Naftalin, Tim Denvir, 1994, Lecture Notes in Computer Science.

Verifiable program construction in a user-friendly style

Maurice Naftalin, 1988, Proceedings COMPSAC 88: The Twelfth Annual International Computer Software & Applications Conference.

A Model of the Refinement Process

Maurice Naftalin, 1992, Refine.

Correctness for Beginners

Maurice Naftalin, 1988, VDM Europe.

Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods

B. Tim Denvir, Miquel Bertran, Maurice Naftalin, 1994 .

Formal Derivation Made Easy

Maurice Naftalin, 1991, PPIG.