Automating the Building of Software Component Architectures
暂无分享,去创建一个
[1] Remco M. Dijkman,et al. Verifying the correctness of component-based applications that support business processes , 2003 .
[2] Mario Südholt,et al. On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction , 2002, CoopIS/DOA/ODBASE.
[3] Frantisek Plasil,et al. Behavior Protocols for Software Components , 2002, IEEE Trans. Software Eng..
[4] Paola Inverardi,et al. Software Architecture for Correct Components Assembly , 2003, SFM.
[5] Joost Jacob,et al. The OMEGA Component Model , 2004, CVUML.
[6] David Notkin,et al. ArchJava: connecting software architecture to implementation , 2002, ICSE '02.
[7] Paola Inverardi,et al. Formal Methods for Software Architectures , 2003 .
[8] Antonio Vallecillo,et al. Component-based software quality : methods and techniques , 2003 .
[9] Ivica Crnkovic. Component-based software engineering - new challenges in software development , 2001, Softw. Focus.
[10] Alan W. Brown,et al. The Current State , 2016 .
[11] David Garlan,et al. Software architecture: a roadmap , 2000, ICSE '00.
[12] Antonio Vallecillo,et al. Component-Based Software Quality , 2003, Lecture Notes in Computer Science.
[13] Zahir Tari,et al. On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE , 2002, Lecture Notes in Computer Science.
[14] Paola Inverardi,et al. Static checking of system behaviors using derived component assumptions , 2000, TSEM.
[15] Florian Hacklinger. Java/A - Taking Components into Java , 2004, IASSE.
[16] Frantisek Plasil,et al. SOFA/DCUP: architecture for component trading and dynamic updating , 1998, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159).