hh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Accurate Programming: Thinking about programs in terms of properties
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
University of Oklahoma, Norman, OK, USA.
2011 (Engelska)Ingår i: Proceedings IFIP Working Conference on Domain-Specific Languages / [ed] Olivier Danvy & Chung-chieh Shan, Open Publishing Association , 2011, Vol. 66, s. 236-260Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Accurate programming is a practical approach to producing high quality programs. It combines ideas from test-automation, test-driven development, agile programming, and other state of the art software development methods. In addition to building on approaches that have proven effective in practice, it emphasizes concepts that help programmers sharpen their understanding of both the problems they are solving and the solutions they come up with. This is achieved by encouraging programmers to think about programs in terms of properties.

Ort, förlag, år, upplaga, sidor
Open Publishing Association , 2011. Vol. 66, s. 236-260
Serie
Electronic Proceedings in Theoretical Computer Science, EPTCS, E-ISSN 2075-2180 ; 66
Nyckelord [en]
Computational linguistics, Computer programming languages, Problem oriented languages, Software engineering, Software testing, Agile programming, High-quality programs, Software development methods, State of the art, Test Automation, Test driven development, Software design
Nationell ämneskategori
Datorsystem
Identifikatorer
URN: urn:nbn:se:hh:diva-20926DOI: 10.4204/EPTCS.66.13Scopus ID: 2-s2.0-84954566480OAI: oai:DiVA.org:hh-20926DiVA, id: diva2:588238
Konferens
International Conference on Domain-Specific Languages (DSL 2011), Bordeaux, France, 6-8 September, 2011
Forskningsfinansiär
KK-stiftelsen
Anmärkning

This work is funded by the Swedish KK Foundation, the Fulbright program, and the US NSF.

Tillgänglig från: 2013-01-15 Skapad: 2013-01-14 Senast uppdaterad: 2018-07-09Bibliografiskt granskad

Open Access i DiVA

fulltext(155 kB)291 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 155 kBChecksumma SHA-512
92d00d14b2631d808d76de46c870cd0d4e87da1240656161e8742ee2eafde7f7edf3c3ecbfb7f9268613b81e9ce6037a7f81cd5aff2f9fd8c605da5f9f242452
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Taha, WalidGaspes, Veronica

Sök vidare i DiVA

Av författaren/redaktören
Taha, WalidGaspes, Veronica
Av organisationen
Centrum för forskning om inbyggda system (CERES)
Datorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 291 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 237 träffar
RefereraExporteraLänk till posten
Permanent länk

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