hh.sePublikasjoner
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
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 (engelsk)Inngår i: Proceedings IFIP Working Conference on Domain-Specific Languages / [ed] Olivier Danvy & Chung-chieh Shan, Open Publishing Association , 2011, Vol. 66, s. 236-260Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Open Publishing Association , 2011. Vol. 66, s. 236-260
Serie
Electronic Proceedings in Theoretical Computer Science, EPTCS, E-ISSN 2075-2180 ; 66
Emneord [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
HSV kategori
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
Konferanse
International Conference on Domain-Specific Languages (DSL 2011), Bordeaux, France, 6-8 September, 2011
Forskningsfinansiär
Knowledge Foundation
Merknad

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

Tilgjengelig fra: 2013-01-15 Laget: 2013-01-14 Sist oppdatert: 2018-07-09bibliografisk kontrollert

Open Access i DiVA

fulltext(155 kB)293 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 155 kBChecksum SHA-512
92d00d14b2631d808d76de46c870cd0d4e87da1240656161e8742ee2eafde7f7edf3c3ecbfb7f9268613b81e9ce6037a7f81cd5aff2f9fd8c605da5f9f242452
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Taha, WalidGaspes, Veronica

Søk i DiVA

Av forfatter/redaktør
Taha, WalidGaspes, Veronica
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 293 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 240 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