Component-Oriented Programming

Formal Methods for Component Software: The Refinement Calculus Perspective

ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology

Communication as a Means to Differentiate Objects, Components and Agents

TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems

The algebraic structure of interfaces

Science of Computer Programming

Agent-Based Flow Control for HLA Components

Simulation

Composition Assessment Metrics for CBSE

EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications

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

JBeanStudio: a component-oriented visual software authoring system for a problem solving environment–supporting exploratory visualization

ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII

Optimization of software components selection for component-based software system development

Computers and Industrial Engineering

Design in CommUnity with extension morphisms

Formal methods and hybrid real-time systems

BiLL: an experimental environment for visual analytics

Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems

Requirements and constructors for tailoring software processes: a systematic literature review

Software Quality Control