Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
GNU Emacs som semantisk editor med stöd för kontraktsprogrammering
2004 (svensk)Independent thesis Advanced level (degree of Master (One Year))Oppgave
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.

sted, utgiver, år, opplag, sider
2004. , s. 126
Identifikatorer
URN: urn:nbn:se:kau:diva-49368Lokal ID: DAV D-4OAI: oai:DiVA.org:kau-49368DiVA, id: diva2:1097765
Fag / kurs
Computer Science
Tilgjengelig fra: 2017-05-22 Laget: 2017-05-22

Open Access i DiVA

Fulltekst mangler i DiVA

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 2 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf