Congress detail

Authors: Cristiá, Maximiliano; Rossi, Gianfranco; Frydman, Claudia.

Resumen: Set theory is a key component of formal notations such asB, Z and Alloy. Set-based specifications are short while precise enoughas to start the implementation. However, according to our experience,practitioners without a mathematical background find difficulties in us-ing them. In this paper we propose the set-based programming language{log} as an aid to teach programmers to write set-based specifications.In one hand, a large class of set-based specifications can be automati-cally translated into {log} programs, which can be used as prototypes;on the other hand, plain {log} programs can be used as contracts, whichare closer to the implementation. This could help in a widest adoption ofset-based specifications since programmers seem to be adopting contractsas a form of specification.

Meeting type: Workshop.

Type of job: Artículo Completo.

Production: Helping Programmers to Adopt Set-Based Specifications.

Scientific meeting: Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015.

It's published?: Yes

Publication place: Oslo

Meeting month: 6

Year: 2015.

Link: here