Articles matching “Zhang”

  1. Bowen Jiang, Miriam Boss, Thomas Weber, Weixing Zhang, Mattias Ulbrich, Anne Koziolek, CoCoPath: Concolic Exploration of Consistency-Preserving Paths, pp. 3:113-126, PDF, DOI. Volume 25, no. 3 ( 2026)
  2. Weixing Zhang, Bowen Jiang, Rahul Sharma, Regina Hebig, Daniel Strüber, Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution, pp. 3:169-182, PDF, DOI. Volume 25, no. 3 ( 2026)
  3. Bowen Jiang, Nathan Hagel, Haowei Cheng, Benedikt Jutz, Arne Lange, Weixing Zhang, Rahul Sharma, Ralf Reussner, Anne Koziolek, LLM4MTLs: Automated Generation and Empirical Evaluation of Model Transformation Languages, pp. 3:281-294, PDF, DOI. Volume 25, no. 3 ( 2026)
  4. Jennifer Pandolfo, Cui Zhang, A Framework for Adding Design by ContractTM to the .NET Object-Oriented Programming Languages, pp. 81-115, PDF, HTML, DOI. Volume 9, no. 1 (January 2010)
  5. Suman Roychoudhury, Jeff Gray, Jing Zhang, Purushotham Bangalore, Anthony Skjellum, A Program Transformation Technique to Support AOP within C++ Template, pp. 143-160, PDF, HTML, DOI. Volume 9, no. 1 (January 2010)
  6. Xiufeng Ni, Cui Zhang, Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis, pp. 165-185, PDF, HTML, DOI. Volume 7, no. 8 (November 2008)
  7. Jing Zhang, Thomas Cottenier, Aswin van den Berg, Jeff Gray, Aspect Composition in the Motorola Aspect-Oriented Modeling Weaver, pp. 89-108, PDF, HTML, DOI. Volume 6, no. 7 (August 2007)
  8. Angela Hantelmann, Cui Zhang, Adding Aspect-Oriented Programming Features to C#.NET by using Multidimensional Separation of Concerns (MDSOC) Approach, pp. 59-89, PDF, HTML, DOI. Volume 5, no. 4 (May 2006)
  9. Rachel Henne-Wu, William Mitchell, Cui Zhang, Support for Design by ContractTM in the C# Programming Language, pp. 65-82, PDF, HTML, DOI. Volume 4, no. 7 (September 2005)