Development of distributed software: concepts and tools

Application and experimental evaluation of state space reduction methods for deadlock analysis in Ada

ACM Transactions on Software Engineering and Methodology (TOSEM)

Design, Construction, and Application of a Generic Visual Language Generation Environment

IEEE Transactions on Software Engineering

Applying group support systems to classroom settings: a social cognitive learning theory explanation

Journal of Management Information Systems - Special section: Information technology and its organizational impact

Quality factors for dynamic evolution in composition-based distributed applications

ACM SIGMIS Database