Møde nr. 05 indlejres i seminarer arrangeret af Institut for Datalogi, som holdes samme dag. Vores interessegruppe Højniveau programmeringssprog er velkommen til at deltage hele dagen.
Program mv. fremgår neden for. Meld venligst til eller fra senest 14.05. og oplys af praktiske grunde hvor meget af dagen, du deltager i. ”Vores” del af arrangementet er markeret med gråt. På seminarer ud over ”vores del” deltager også andre.
Dato og sted
Det samlede arrangement holdes d. 19.05.10 på AAU/Cassiopeia, Selma Lagerlöfs Vej 300, 9220 Aalborg Ø
Program
|
Tid (kl.)
|
Rum
|
Emne
|
Indlæg ved
|
|
9.30
|
0.2.13
|
Welcome
|
AAU
|
|
10.00-11.00
|
0.2.13
|
Pex: Advanced Unit Testing
|
By Nikolai Tillmann, Microsoft
|
|
11.00-12.00
|
0.2.13
|
Code Contracts
|
By Mike Barnett, Microsoft
|
|
12.00-13.00
|
Kantine
|
Lunch
|
|
|
13.00-14.00
|
0.2.11
|
- Opbygning/arkitektur af Java-løsning hos Aalborg Industries
- Design ud fra Patterns.
- Server-, database-, HMI-løsning
- Modulopbygning vha. componenter, samt konfigurering vha. XML.
- Hvordan vi tester vores systemer.
- Demo i testcenter af vores system på fuld skala kedel. NB. Denne demo gives senere, sandsynligvis på næste møde!
|
Claus Karstensen, Aalborg Industries
|
|
14.00-15.00
|
0.2.11
|
Interessen for højniveau sprog til micro controllers.
- Tanker og bekymringer om emner som: Ramforbrug, garbage collection (er det nødvendigt?), low level hardware access til registre, perifere enheder, real time performance og tuning, den reelle softwaremæssige gevinst ved højniveau programmering.
- Et spørgsmål kan være: Er C++ en kandidat? Sproget giver bedre compile time check af beskyttelse af data. Mange C compilere understøtter i dag også C++.
|
Jens K. Lyngsø, Grundfos
|
|
15.00-15.10
|
0.2.13
|
Kaffe
|
|
|
15.10-16.00
|
0.2.13
|
Code Contracts and Pex: Power Charge Your Assertions and Unit Tests
|
By Nikolai Tillmann and Mike Barnett, Microsoft
|
|
16.00-17.00
|
0.2.13
|
Future Trends in Software Engineering
|
By Nikolai Tillmann and Mike Barnett, Microsoft
|
Udviklingsingeniører fra Microsoft
Bio of Mike Barnett:
I am a Research Software Design Engineer in the Programming Languages and Methods group, which is part of the Research in Software Engineering (RiSE) team. I have been with the Microsoft Corporation since July 1995. First, I was a member of the Natural Language Processing Group in Microsoft Research, moving to the Foundations of Software Engineering group in the fall of 1999. I am now a member of the Programming Languages and Methods group. Before coming to Microsoft, I had been an assistant professor of Computer Science at the University of Idaho for three years. I received my PhD in Computer Science from the University of Texas at Austin in 1992.
Bio of Nikolai Tillmann:
I am leading the Pex project, in which I develop together with Peli de Halleux a framework for runtime verification and automatic test case generation for .NET applications based on parameterized unit testing and dynamic symbolic execution. Previously I worked on AsmL, an executable modeling language that comes with a compiler and a test generation tool, and the Spec Explorer 2004 model-based testing tool. Together with Wolfgang Grieskamp I developed XRT, a concrete/symbolic state exploration engine and software model-checker for .NET code. Spec Explorer 2007 is based on this engine, which is now productized by the Protocol Engineering Team at Microsoft to facilitate quality assurance of protocol documentation (link). Before coming to Microsoft Research, I was involved in the development of a school management system in Germany. |
