Verification of component-based software application families

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

Volumn 4063 LNCS, Issue , 2006, Pages 50-66

  Xie, Fei ^a   Browne, James C ^b  

^a Department of Electrical and Computer Engineering   (United States)

^b University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER ARCHITECTURE; INFORMATION TECHNOLOGY; MATHEMATICAL MODELS; REUSABILITY; SYSTEMS ANALYSIS;

APPLICATION FAMILY ARCHITECTURES (AFA); BOTTOM-UP COMPONENT COMPOSITIONS; PROPERTY DECOMPOSITION; SYSTEM VERIFICATION;

COMPUTER SOFTWARE;

EID: 33746424866     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11783565_4     Document Type: Conference Paper

References (15)

1. Clarke, E.M., Grumberg, O., Peled, D.: Model checking. MIT Press (1999)
2. Chandy, K.M., Misra, J.: Proofs of networks of processes. IEEE TSE 7(4) (1981)
3. Jones, C.B.: Development methods for computer programs including a notion of interference. PhD thesis, Oxford University (1981)
4. Gannakopoulou, D., Pasareanu, C., Barringer, H.: Assumption generation for software component verification. In: ASE. (2002)
5. Alur, R., Madhusudan, P., Nam, W.: Symbolic compositional reasoning by learning assumptions. In: CAV. (2005)
6. Perry, D., Wolf, A.L.: Foundations for the study of software architecture. SIGSOFT SEN 17(2) (1992)
7. Shaw, M., Garlan, D.: Software Architecture: Perspective on An Emerging Discipline. Prentice Hall (1996)
8. IBM: Business Process Execution Language for Web Services (BPEL4WS), Ver. 1.1. (2003)
9. Xie, F., Levin, V., Kurshan, R.P., Browne, J.C.: Translating software designs for model checking. In: FASE. (2004)
10. W3C: Web Services Description Language (WSDL), Ver. 1.1. (2001)
11. W3C: Web Service Choreography Interface (WSCI), Ver. 1.0. (2002)
12. Xie, F., Browne, J.C.: Verified systems by composition from verified components. In: ESEC/SIGSOFT FSE. (2003)
13. ITU: Rec. Z. 120, Message Sequence Chart. (1999)
14. Clements, P.C., Northrop, L.M.: Software Product Lines: Practices and Patterns. Addison-Wesley (2002)
15. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Object-Oriented Software. Addison-Wesley (1994)