Volume 13,
Number 1-2,
Summer 2006
Selected Papers of the 17th Nordic Workshop on Programming Theory (NWPT'05),
October 19-21,
2005
- Neil D. Jones:
Guest Editor's Foreword.
1
- Maksym Bortin, Einar Broch Johnsen, Christoph Lüth:
Structured Formal Development in Isabelle.
2-21
- Ingo Brückner, Björn Metzler, Heike Wehrheim:
Optimizing Slicing of Formal Specifications by Deductive Verification.
22-45
- Tristan Crolard, Samuel Lacas, Pierre Valarcher:
On the Expressive Power of the Loop Language.
46-57
- Troels Christoffer Damgaard, Lars Birkedal:
Axiomatizing Binding Bigraphs.
58-77
- Monica Nesi, Giustina Nocera:
Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting.
78-97
- Christoffer Rosenkilde Nielsen, Hanne Riis Nielson:
Static Analysis for Blinding.
98-116
- Kristian Støvring:
Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form.
117-126
- Leonidas Tsiopoulos, Marina A. Waldén:
Formal Development of NoC Systems in B.
127-145
Volume 13,
Number 3,
Fall 2006
Selected Papers of the Fourth Nordic Workshop on UML and Software Modelling (NWUML'06),
June 12-14,
2006
- Andreas Prinz, Merete Skjelten Tveit:
Guest Editor's Foreword.
147-148
- Pauli Byckling, Petri Gerdt, Ludwik Kuzniarz, Jorma Sajaniemi:
Increasing Comprehensibility of Object Models: Making the Roles of Attributes Explicit in UML Diagrams.
149-161
- Johannes Koskinen, Anna Ruokonen, Tarja Systä:
A Pattern-Based Approach to Generate Code from API Usage Scenarios.
162-179
- Mika Siikarla, Jari Peltonen, Johannes Koskinen:
Towards Unambiguous Model Fragments.
180-195
- André L. Santos, Kai Koskimies, Antónia Lopes:
A Model-Driven Approach to Variability Management in Product-Line Engineering.
196-213
Volume 13,
Number 4,
Winter 2006
Last update Mon Feb 13 04:55:00 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
