Component software and the way ahead

Behavioural analysis of the enterprise JavaBeans component architecture

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software

Contextualizing commitment protocol

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems

Could an Agile Requirements Analysis Be Automated?--Lessons Learned from the Successful Overhauling of an Industrial Automation System

Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs

Modelling and performance analysis of component-based systems

International Journal of Critical Computer-Based Systems

TMS for multimodal information processing

Multimedia Tools and Applications

A method for modeling and testing exceptions in component-based software development

LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing