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.
The 2nd Halmstad Summer School on Accurate Programming serves as an introduction to the topic including industrial cases, state-of-the-art tools for modern programming languages and hands-on tutorials.
May 30st (9:00-16:00)
Introduction to automatic testing and test-driven development. Industrial case studies. Introduction to QuviQs QuickCheck for Erlang. Hands on tutorial including testing of parallel programs and testing of C programs from Erlang.
May 31st (9:00-16:00)
Type-driven development. Use cases as simple properties. Using ScalaCheck for developing Scala and Java programs. Properties for functions on integer numbers. Properties, functions, and libraries for tuples and collections. Hands on tutorials with Java, Scala and ScalaCheck.
June 1st (9:00-16:00)
Test-driven development for user-defined types. Properties and contracts for user-defined types and objects. Hands on tutorials with Java, Scala and ScalaCheck.
Deadline is May 15th.
The registration fee is SEK 500 and covers lunches and coffee breaks. The school is free of charge for masters students, PhD students and for industrial partners associated with CERES and CAISR.
To apply to the summer school, please send an email to Veronica.Gaspes@hh.se with "Accurate Programming Summer School" in the title.
Directions for getting to campus can be found online. If you are flying in internationally it is generally easiest to fly into Copenhagen (CPH) airport (also known as Kastrup). The best thing about flying into CPH is that you just buy a train ticket when you arrive at the airport and simply take a train from the airport directly to Halmstad. The train leaves from the airport itself approximately once an hour on weekdays. We recommend that you check the time-table at sj.se, and allow one hour from touchdown to getting to the train station (just outside customs). In Halmstad, everything is either in walking distance or a short taxi ride away. Usually there are taxis at the station. If there are none there is a phone that connects directly to the local taxi company. For the eventuality that the phone is not working, it is good to have a cell phone handy. The number for the taxi company is written on the phone.
Note that CPH is in Denmark, which is a different country. So, if you need visas for European countries, make sure you get one that works for both.
If for some reason you cannot or do not want to use CPH, the next best international airport is in Gothenburg (GOT), locally known as Landvetter. The tricky thing about using that airport is that you would first have to take a 45 minute shuttle from the airport to the Gothenburg train station, and then take the train to Halmstad. That is one transfer and one wait.
You can also fly to ARN in Stockhlm, Sweden, and from ARN take a national flight to Halmstad airport.