Documents Related by Co-Citation

166 Behavior Protocols for Software Components – Frantisek Plasil, Stanislav Visnovsky - 2002
203 D.: Acme: Architectural description of component-based systems. In: Foundations of Component-Based Systems – D Garlan, R T Monroe, Wile - 2000
631 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
606 A classification and comparison framework for software architecture description languages – Nenad Medvidovic, Richard N. Taylor - 2000
344 Specifying Distributed Software Architectures – Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer - 1995
1295 Software Architecture: Perspectives on an Emerging Discipline – M Shaw, D Garlan - 1996
77 THINK: A Software Framework for Component-based Operating System Kernels – Jean-Philippe Fassino, Jean-Bernard Stefani, Julia Lawall, Gilles Muller - 2002
5 Static Analysis of Component Systems Using Behavior Protocols, in OOPSLA 2003 – J Adamek - 2003
4 Static Checking for Missing Bindings of Components – Jiri Adamek, Frantisek Plasil - 2004
7 Modelling a Framework for Plugins – Robert Chatley, Susan Eisenbach, Jeff Magee - 2003
43 Component Composition Errors and Update Atomicity: Static Analysis – Jiri Adamek, Frantisek Plasil - 2005
10 Serious specification for composing components – Mike Barnett, Wolfgang Grieskamp, Clemens Kerer, Wolfram Schulte, Clemens Szyperski, Nikolai Tillmann, Arthur Watson - 2003
26 Interface automata, in – L Alfaro, T A Henzinger - 2001
36 The Theory and Practice of Concurrency: Prentice-Hall – A W Roscoe - 1998
82 Assumption generation for software component verification – Dimitra Giannakopoulou, Corina S. Păsăreanu, Howard Barringer - 2002
8 Modeling Turnpike Frontend System: a Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Programming – Hiroshi Wada, Junichi Suzuki - 2005
10 Using Annotations to Check Structural Properties of Classes – Michael Eichberg, Thorsten Schäfer, Mira Mezini - 2005
144 SOFA/DCUP: Architecture for Component Trading and Dynamic Updating – Frantisek Plasil, Dusan Balek, Radovan Janecek - 1998
46 Toward a Framework for Preparing and Executing Adaptive Grid Programs – Ken Kennedy, Ken Kennedy Α, Mark Mazina, John Mellor-crummey, Keith Cooper, Linda Torczon, Fran Berman, Andrew Chien, Holly Dail, Otto Sievert, Dave Angulo, Ian Foster, Dennis Gannon, Lennart Johnsson, Carl Kesselman - 2002