Computer Languages, Systems & Structures
, Volume 30
Volume 30, Number 1-2, April - July 2004
Smalltalk Language
Stéphane Ducasse
,
Roel Wuyts
:
Editorial: Smalltalk Language.
1-3
Electronic Edition
(link)
BibTeX
Daniel Vainsencher
:
MudPie: layers in the ball of mud.
5-19
Electronic Edition
(link)
BibTeX
Johan Fabry
,
Tom Mens
:
Language-independent detection of object-oriented design patterns.
21-33
Electronic Edition
(link)
BibTeX
Tom Tourwé
,
Johan Brichau
,
Andy Kellens
,
Kris Gybels
:
Induced intentional software views.
35-47
Electronic Edition
(link)
BibTeX
Noury Bouraqadi
:
Safe metaclass composition using mixin-based inheritance.
49-61
Electronic Edition
(link)
BibTeX
Roel Wuyts
,
Stéphane Ducasse
:
Unanticipated integration of development tools using the classification model.
63-77
Electronic Edition
(link)
BibTeX
Nathanael Schärli
,
Andrew P. Black
:
A browser for incremental programming.
79-95
Electronic Edition
(link)
BibTeX
Volume 30, Number 3-4, October - December 2004
Analysis and Verification
Lenore D. Zuck
:
Special issue of VMCAI'03.
97-98
Electronic Edition
(link)
BibTeX
A. Prasad Sistla
:
Employing symmetry reductions in model checking.
99-137
Electronic Edition
(link)
BibTeX
Lenore D. Zuck
,
Amir Pnueli
:
Model checking and abstraction to the aid of parameterized systems (a survey).
139-169
Electronic Edition
(link)
BibTeX
B. Meenakshi
,
Ramaswamy Ramanujam
:
Reasoning about layered message passing systems.
171-206
Electronic Edition
(link)
BibTeX
Chiara Braghin
,
Agostino Cortesi
,
Riccardo Focardi
,
Flaminia L. Luccio
,
Carla Piazza
:
Nesting analysis of mobile ambients.
207-230
Electronic Edition
(link)
BibTeX
Annalisa Bossi
,
Riccardo Focardi
,
Carla Piazza
,
Sabina Rossi
:
Verifying persistent security properties.
231-258
Electronic Edition
(link)
BibTeX
Copyright ©
Sat May 16 23:52:48 2009 by
Michael Ley
(
ley@uni-trier.de
)