Modeling XML Content Explained
暂无分享,去创建一个
[1] Chang Liu,et al. Term rewriting and all that , 2000, SOEN.
[2] Derick Wood,et al. One-Unambiguous Regular Languages , 1998, Inf. Comput..
[3] Leslie Lamport. The Future of Computing: Logic or Biology , 2003 .
[4] Frank Neven,et al. Simplifying XML schema: effortless handling of nondeterministic regular expressions , 2009, SIGMOD Conference.
[5] Bertrand Meyer. Touch of Class: Learning to Program Well with Objects and Contracts , 2009 .
[6] Paul A. Kirschner,et al. 综合学习的十个步骤 [Ten steps to complex learning] , 2012 .
[7] Jeannette M. Wing. Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum , 2000, AMAST.
[8] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[9] Johan Jeuring,et al. Grammars and Parsing , 2001 .
[10] Frank Neven,et al. Learning deterministic regular expressions for the inference of schemas from XML data , 2010, ACM Trans. Web.
[11] Jeannette M. Wing. Weaving formal methods into the undergraduate computer science curriculum , 2000 .
[12] Michael R. Clarkson,et al. Formal Methods Application: An Empirical Tale of Software Development , 2002, IEEE Trans. Software Eng..
[13] Anne Brüggemann-Klein,et al. Regular Expressions into Finite Automata , 1992, Theor. Comput. Sci..
[14] Alan Bundy,et al. The Computer Modelling of Mathematical Reasoning , 1983 .