Precise specification matching for automated component retrieval and adaptation
暂无分享,去创建一个
[1] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[2] Patrick Schaumont,et al. Hardware reuse at the behavioral level , 1999, DAC '99.
[3] C. R. Ramakrishnan,et al. Specification and evaluation of logic-based model checking , 2000, SOEN.
[4] Arcot Sowmya,et al. Forced simulation: A technique for automating component reuse in embedded systems , 2001, TODE.
[5] C. R. Ramakrishnan,et al. Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming , 2001, ICLP.
[6] Bernd Fischer. Specification-Based Browsing of Software Component Libraries , 2004, Automated Software Engineering.
[7] C. R. Ramakrishnan,et al. Justification Based on Program Transformation , 2002, LOPSTR.
[8] Jeannette M. Wing,et al. Specification matching of software components , 1995, TSEM.
[9] Jan Bosch,et al. Superimposition: a component adaptation technique , 1999, Inf. Softw. Technol..
[10] Jeannette M. Wing,et al. Specifications as Search Keys for Software Libraries , 1991, ICLP.