I denna uppsats beskrivs och motiveras utvecklingen av en prototyp som ger stöd vid kontraktsprogrammering i textredigeraren GNU Emacs. Prototypen ger kontraktsstöd vid programmering i C++ genom visning av kontraktsinformation, infogning av förvillkor, analys av förvillkorskontroller samt parsning av förvillkor. Stödet är i första hand tänkt att underlätta inlärning av kontraktsprogrammering genom att förenkla kontraktshanteringen men även genom att ge kontrakt en tydligare roll i mjukvaruutveckling. Eftersom kontraktsprogrammering är uppsatsens grund ges en grundläggande genomgång av denna metod där bland annat kontrakts olika delar behandlas. Vikten av att använda kontrakt för att beskriva mjukvaras semantik under mjukvaruutveckling diskuteras också. Den utvecklade prototypens funktionalitet och den använda miljön GNU Emacs utvärderas och förslag på framtida arbete presenteras.