论文信息 - GNU Emacs som semantisk editor med stöd för kontraktsprogrammering

GNU Emacs som semantisk editor med stöd för kontraktsprogrammering

I denna uppsats beskrivs och motiveras utvecklingen av en prototyp som ger stod vid kontraktsprogrammering i textredigeraren GNU Emacs. Prototypen ger kontraktsstod vid programmering i C++ genom vi ...

Stefan Larsson | Peter Labraaten

[1] Eivind J Nordby,et al. Method Description for Semla - A Software Design Method with a Focus on Semantics , 2000 .

[2] Marat Boshernitsan,et al. HARMONIA: A Flexible Framework for Constructing Interactive Language-Based Programming Tools , 2003 .

[3] Bertrand Meyer,et al. Eiffel: The Language , 1991 .

[4] Bertrand Meyer,et al. Object-Oriented Software Construction, 2nd Edition , 1997 .

[5] Håkan Bergmark,et al. Utvecklingsmiljö för Java med stöd för kontraktsprogrammering , 2004 .

[6] Jakob Nielsen,et al. Usability engineering , 1997, The Computer Science and Engineering Handbook.