Stefania Gnesi, Diego Latella, Mieke Massink:
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking.
43-75
Vittorio Cortellessa, Vincenzo Grassi:
A performance-based methodology to early evaluate the effectiveness of mobile software architectures.
77-100
A. J. Wilder:
Recursive tables and effective definition schemes.
101-121