Skip to main content
SpringerLink
Log in
Book cover

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

ISoLA 2012: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies pp 75–77Cite as

Reha-Sports: The Challenge of Small Margin Healthcare Accounting

  • Conference paper

  • 1413 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7610))

Abstract

The paper presents the development of a Web-based accounting system for rehabilitation sports, which, due to the small margins, requires a very economical approach, both for its development and for its later use. The development process was therefore driven by simplicity in two dimension: the accounting process itself was reduced to the minimum under the given legal circumstances, and the software development was clearly guided by total cost of ownership concerns. In particular, standards where taken and artifacts reused wherever possible.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. BAR - Bundesarbeitsgemeinschaft für Rehabilitation: Rahmenvereinbarung über den Rehabilitationssport und das Funktionstraining (2011), http://www.kbv.de/rechtsquellen/2610.html

  2. Margaria, T., Floyd, B., Steffen, B.: It simply works: Simplicity and embedded systems design. In: 2011 IEEE 35th Annual Computer Software and Applications Conference Workshops (COMPSACW), pp. 194–199 (July 2011)

    Google Scholar 

  3. Margaria, T., Steffen, B.: Business Process Modelling in the jABC: The One-Thing Approach. In: Handbook of Research on Business Process Modeling. IGI Global (2009)

    Google Scholar 

  4. Margaria, T., Steffen, B.: Simplicity as a driver for agile innovation. Computer 43(6), 90–92 (2010)

    Article  Google Scholar 

  5. Margaria, T., Steffen, B., Reitenspiess, M.: Service-Oriented Design: The Roots. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 450–464. Springer, Heidelberg (2005), http://dx.doi.org/10.1007/11596141_34 , 10.1007

    Chapter  Google Scholar 

  6. Merten, M., Steffen, B.: Simplicity driven application development. In: Proceedings of Society for Design & Process Science, SDPS 2012 (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. TU Dortmund University, Dortmund, Germany

    Markus Doedt, Jan Pardo & Bernhard Steffen

  2. sysTeam GmbH, Dortmund, Germany

    Thomas Göke

Authors
  1. Markus Doedt
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thomas Göke
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jan Pardo
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Bernhard Steffen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Universität Potsdam, August-Bebel-Straße 89, 14482, Potsdam, Germany

    Tiziana Margaria

  2. Fakultät für Informatik, Technische Universität Dortmund, Otto-Hahn-Straße 14, 44227, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Doedt, M., Göke, T., Pardo, J., Steffen, B. (2012). Reha-Sports: The Challenge of Small Margin Healthcare Accounting. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012. Lecture Notes in Computer Science, vol 7610. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34032-1_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34032-1_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34031-4

  • Online ISBN: 978-3-642-34032-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation