«
»

Multirequirements (new paper)

4 January 2013, 12:36

 

As part of a Festschrift volume for Martin Glinz of the university of Zurich I wrote a paper [1] describing a general approach to requirements that I have been practicing and developing for a while, and presented in a couple of talks. The basic idea is to rely on object-oriented techniques, including contracts for the semantics, and to weave several levels of discourse: natural-language, formal and graphical.

Reference

[1] Bertrand Meyer: Multirequirements, to appear in Martin Glinz Festschrift, eds. Anne Koziolek and Norbert Scheyff, 2013, available here.

VN:F [1.9.10_1130]
Rating: 10.0/10 (4 votes cast)
VN:F [1.9.10_1130]
Rating: +4 (from 4 votes)
Multirequirements (new paper), 10.0 out of 10 based on 4 ratings
Be Sociable, Share!
Category: Computer science, Design by Contract, Eiffel, Formal methods and proofs, Language design, Object technology, Publication announcement, Requirements, Software engineering, Software design  |  Comment (RSS)

Leave a Reply

You must be logged in to post a comment.