Formal specifications, prototyping and integration tests

• Authors:

• C. Choppy

• Affiliations:

• Univ. Paris-Sud, Orsay, France

• Venue:
• Proc. of the 1st European Software Engineering Conference on ESEC '87
• Year:
• 1987