hh.sePublications
EnglishSvenskaNorsk
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
Accurate Programming: Thinking about programs in terms of properties
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).ORCID iD: 0000-0003-3160-9188
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
University of Oklahoma, Norman, OK, USA.
2011 (English)In: Proceedings IFIP Working Conference on Domain-Specific Languages / [ed] Olivier Danvy & Chung-chieh Shan, Open Publishing Association , 2011, Vol. 66, p. 236-260Conference paper, Published paper (Refereed)
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.
Place, publisher, year, edition, pages
Open Publishing Association , 2011. Vol. 66, p. 236-260
Series
Electronic Proceedings in Theoretical Computer Science, EPTCS, E-ISSN 2075-2180 ; 66
Keywords [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
National Category
Computer Systems
Identifiers
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
Conference
International Conference on Domain-Specific Languages (DSL 2011), Bordeaux, France, 6-8 September, 2011
Funder
Knowledge Foundation
Note

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

Available from: 2013-01-15 Created: 2013-01-14 Last updated: 2025-10-01Bibliographically approved

Open Access in DiVA

fulltext(155 kB)464 downloads
File information
File name FULLTEXT01.pdfFile size 155 kBChecksum SHA-512
92d00d14b2631d808d76de46c870cd0d4e87da1240656161e8742ee2eafde7f7edf3c3ecbfb7f9268613b81e9ce6037a7f81cd5aff2f9fd8c605da5f9f242452
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records

Taha, WalidGaspes, Veronica

Search in DiVA

By author/editor
Taha, WalidGaspes, Veronica
By organisation
Centre for Research on Embedded Systems (CERES)
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 501 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 468 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
v. 2.47.0
|
WCAG
|
Halmstad University Library
|
Info for students
|
Info for researchers
|
Log in