Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
GNU Emacs som semantisk editor med stöd för kontraktsprogrammering
2004 (Swedish)Independent thesis Advanced level (degree of Master (One Year))Student thesis
Abstract [sv]

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.

Place, publisher, year, edition, pages
2004. , 126 p.
Identifiers
URN: urn:nbn:se:kau:diva-49368Local ID: DAV D-4OAI: oai:DiVA.org:kau-49368DiVA: diva2:1097765
Subject / course
Computer Science
Available from: 2017-05-22 Created: 2017-05-22

Open Access in DiVA

No full text

Search outside of DiVA

GoogleGoogle Scholar

Total: 1 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf