All Publications

Static Analysis [...]

Process Programming and Workflow [...]

Software Development »

Component-Based Software Engineering

Arcadia

Software Development Environments

Refactoring

Case Studies [...]

Electronic Enterprise Institute

Improving Diversity

---

Jump To:

2013

2011

2008

2000

1996

1993

LASER Publications

Software Development

by Shangzhu Wang

 2008

Plug-and-Play Architectural Design and Verification

Shangzhu Wang, George S. Avrunin, Lori A. Clarke, Architecting Dependable Systems V, Rogerio de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira, eds., Springer-Verlag Lecture Notes in Computer Science, State of the Art Survey, vol. 5135, (2008), pp. 273-297. (UM-CS-2008-46)

This is an updated version of TR UM-CS-2008-01, dated January 2008.

[ Springer ] [ PDF ]

Notice: We present this material to ensure timely and wide dissemination of our work. All persons copying this material must adhere to the terms of the relevant copyrights

This site is maintained by the Laboratory for Advanced Software Engineering Research.
© 2011 University of Massachusetts Amherst • Site Policies