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 BibTeX
- Maksym Bortin, Einar Broch Johnsen, Christoph Lüth:
Structured Formal Development in Isabelle.
2-21 BibTeX
- Ingo Brückner, Björn Metzler, Heike Wehrheim:
Optimizing Slicing of Formal Specifications by Deductive Verification.
22-45 BibTeX
- Tristan Crolard, Samuel Lacas, Pierre Valarcher:
On the Expressive Power of the Loop Language.
46-57 BibTeX
- Troels Christoffer Damgaard, Lars Birkedal:
Axiomatizing Binding Bigraphs.
58-77 BibTeX
- Monica Nesi, Giustina Nocera:
Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting.
78-97 BibTeX
- Christoffer Rosenkilde Nielsen, Hanne Riis Nielson:
Static Analysis for Blinding.
98-116 BibTeX
- Kristian Støvring:
Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form.
117-126 BibTeX
- Leonidas Tsiopoulos, Marina A. Waldén:
Formal Development of NoC Systems in B.
127-145 BibTeX
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 BibTeX
- Pauli Byckling, Petri Gerdt, Ludwik Kuzniarz, Jorma Sajaniemi:
Increasing Comprehensibility of Object Models: Making the Roles of Attributes Explicit in UML Diagrams.
149-161 BibTeX
- Johannes Koskinen, Anna Ruokonen, Tarja Systä:
A Pattern-Based Approach to Generate Code from API Usage Scenarios.
162-179 BibTeX
- Mika Siikarla, Jari Peltonen, Johannes Koskinen:
Towards Unambiguous Model Fragments.
180-195 BibTeX
- André L. Santos, Kai Koskimies, Antónia Lopes:
A Model-Driven Approach to Variability Management in Product-Line Engineering.
196-213 BibTeX
Volume 13,
Number 4,
Winter 2006
Copyright © Sun May 17 00:15:32 2009
by Michael Ley (ley@uni-trier.de)