Component software

Component software: beyond object-oriented programming

Clemens Szyperski, with Dominik Gruntz and Stephan Murer.

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

edited by Farhad Arbab, Peter Csaba Ölveczky

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science)

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Component Based Software Engineering: Methods and Metrics

Umesh Kumar Tiwari, Santosh Kumar

Component-Based Network System Engineering (Artech House Telecommunications Library)

Mark Norris, Alan Pengelly, Robert E. Davis

Server Component Patterns: Component Infrastructures Illustrated with EJB (Wiley Software Patterns Series)

Eberhard Wolff, Markus Völter, Alexander Schmid

Component-oriented programming

Andy Ju An Wang, Kai Qian

Essential.NET: the common language runtime

Don Box, with Chris Sells

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science)

Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel