Predictable dynamic plugin systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2984, Issue , 2004, Pages 129-143

  Chatley, Robert ^a   Eisenbach, Susan ^a   Kramer, Jeff ^a   Magee, Jeff ^a   Uchitel, Sebastian ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

BEHAVIOURAL SPECIFICATIONS; BUILD SYSTEMS; COMPATABILITY; EXISTING SYSTEMS; PLUG-INS; RUNNING APPLICATIONS; SYSTEM PROPERTY;

SOFTWARE ENGINEERING;

EID: 32344437864     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24721-0_9     Document Type: Article

References (14)

1. M. Barnett, W. Grieskamp, G. Kerer, W. Schulte, C. Szyperski, N. Tillmann, and A. Watson. Serious specification for composing components. In 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction, 2003.
2. M. Barnett and W. Schulte. The ABCs of specification: AsmL, behavior, and components. Informatica, 25(4):517-526, Nov. 2001.
3. M. Bernardo, P. Ciancarini, and L. Donatiello. Architecting families of software systems with process algebras. ACM Transactions on Software Engineering and Methodology (TOSEM), 11(4):386-426, 2002.
4. C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley Pub Co, 1997.
5. R. Chatley, S. Eisenbach, and J. Magee. Painless Plugins. Technical report, Imperial College London, www.doc.ic.ac.uk/~rbc/writings/pp.pdf, 2003.
6. D. Garlan, R. Allen, and J. Ockerbloom. Exploiting style in architectural design environments. In Proceedings of the ACM SIGSOFT '94 Symposium on the Foundations of Software Engineering, pages 175-188, 1994.
7. D. Garlan, D. Kindred, and J. Wing. Interoperability: Sample Problems and Solutions. Technical report, Carnegie Mellon University, Pittsburgh, 1995.
8. J. Cobleigh, D. Giannakopoulou and C. Pasareanu. Learning Assumptions for Compostional Verification. In Proc. of TACAS 2003. LNCS, April 2003.
9. J. Magee and J. Kramer. Concurrency - State Models and Java Programs. John Wiley & Sons, 1999.
10. J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying Distributed Software Architectures. In Proceedings of the 5th European Conference on Software Engineering, Sitges, Spain, 1995, pages 137-154. Springer Verlag, 1995.
11. N. Medvidovic, D. Rosenblum, and R. Taylor. A language and environment for architecture-based software development and evolution. In ICSE '99, 1999.
12. G. C. Necula and P. Lee. Proof-carrying code. In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Langauges (POPL '97), pages 106-119, Paris, Jan. 1997.
13. Object Technology International, Inc. Eclipse Platform Technical Overview. Technical report, IBM, www.eclipse.org/whitepapers/eclipse-overview. pdf, July 2001.
14. O. Tkachuk, M. B. Dwyer, and C. Pasareanu. Automated environment generation for software model checking. In Automated Software Engineering, 2003.