Articles matching “Wu”
- Hao Wu, A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants, pp. 3:1-17, PDF, DOI. Volume 21, no. 3 (July 2022)
- Wuliang Sun, Benoit Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, Indrakshi Ray, Using Slicing to Improve the Performance of Model Invariant Checking, pp. 1:1-28, PDF, DOI. Volume 14, no. 4 (September 2015)
- Erwann Wernli, Mircea Lungu, Oscar Nierstrasz, Incremental Dynamic Updates with First-class Contexts, pp. 1:1-27, PDF, DOI. Volume 12, no. 3 (August 2013)
- Raymond Wu, Masayuki Hisada, SOA Web Security and Applications, pp. 163-177, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
- Raymond Wu, Enterprise Integration in Metadata Environment, pp. 51-58, PDF, HTML, DOI. Volume 6, no. 10 (November 2007)
- Walter Cazzola, Jeff Gray, Dominik Stein, Jörg Kienzle, Tzilla Elrad, Omar Aldawud, Guest Editorial, PDF, HTML, DOI. Volume 6, no. 7 (August 2007)
- 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)
- Liwu Li, An Implementation of the p-Calculus on the .NET, pp. 139-158, PDF, HTML, DOI. Volume 4, no. 5 (July 2005)
- Liwu Li, Implementing the π-Calculus in Java, pp. 157-177, PDF, HTML, DOI. Volume 4, no. 2 (March 2005)
- Liwu Li, Extending the Java Language with Dynamic Classification, pp. 101-120, PDF, HTML, DOI. Volume 3, no. 7 (July 2004)
- Liwu Li, Xin Zhao, UML Specification and Relational Database, pp. 87-100, PDF, HTML, DOI. Volume 2, no. 5 (September 2003)