NWPT '09 Home
Call for papers
Organisation
Important Dates
Programme
- Wednesday
- Thursday
- Friday
Background
Scope
Invited Talks
Submission
Publication
Venue
Registration
Accommodation
Travel info
|
Programme
All sessions take place in:
Building 101A, Meeting Room 1
Technical University of Denmark (DTU)
Anker Engelundsvej 1, 2800 Kgs. Lyngby
Building 101 is the main building at DTU, and Meeting Room 1 is upstairs, next to Faculty Club. See monitors at entrance 101A.
Friday, October 16, 2009
Computation and Semantics
Session Chair - Bengt Nordström
9:00 - 9:25
|
L. Birkedal, K. Støvring and J. Thamsborg.
|
|
Predicates for higher-order store
|
9:25 - 9:50
|
J. Schönborn and M. Kyas
|
|
Ready Semantics for UML State Machines
|
9:50 - 10:15
|
L. Birkedal, K. Støvring and J. Thamsborg
|
|
One-sided Top-top-closed Relations: The What and Why
|
10:15 - 10:40
|
T. Altenkirch, J. Chapman and T. Uustalu
|
|
Machine assisted proofs in the theory of monads
|
Coffee Break
Invited talk
Chair - Michael R. Hansen
11:00 - 12:00
|
Dines Bjørner
|
|
Role of Domain Engineering in Software Development - Why Current Requirements Engineering are Flawed?
|
Lunch in the glass room of the main canteen
Model-Driven Engineering
Session Chair - Paul Pettersson
13:00 - 13:25
|
A. Rossini, A. Rutle, F. Mancini, D. Hovland, K. A. Mughal, Y. Lamo and U. Wolter
|
|
A Formal Approach to the Specification of Data Validation Constraints in MDE
|
13:25 - 13:50:
|
A. Rutle, A. Rossini, Y. Lamo and U. Wolter
|
|
Constraint-Aware Model Transformations
|
13:50 - 14:15
|
A. Brekling, M. R. Hansen and J. Madsen
|
|
Analysis of Quantitative Properties of Hardware Specifications
|
Coffee Break
Semantics
Session Chair - Michael R. Hansen
14:35 - 15:00
|
J. Okika, O. Owe and C. Prisacariu
|
|
Operational Semantics for BPEL Complex Features in Rewriting Logic
|
15:00 - 15:25
|
A. Causevic, C. Seceleanu and P. Pettersson
|
|
Behavioral Modeling and Refinement of Services
|
15:25 - 15:50
|
L. Hartmann, N. D. Jones and J. G. Simonsen
|
|
Programming in Biomolecular Computation
|
|