Preface; pp. 1–2

DPF Workbench: a multi-level language workbench for MDE; pp. 3–15

Interleaving human and search-based software architecture design; pp. 16–26

Implementing artificial intelligence: a generic approach with software support; pp. 27–38

An approach to the inference of finite state machines based on a gravitationally-inspired search algorithm; pp. 39–46

Does the Shannon bound really apply to all data structures?; pp. 47–58

Bounded saturation-based CTL model checking; pp. 59–70

Adjusting effort estimation using micro-productivity profiles; pp. 71–80