User:Laiwoonsiu

From Wikipedia, the free encyclopedia

My current interest is to put formalism into practice.

I have added notable information or corrected nontrivial faults for the following Wikipedia pages:

  1. ACM Computing Surveys
  2. ACM Transactions on Software Engineering and Methodology
  3. Ailsa Land
  4. Algebraic semantics (computer science)
  5. Bill Curtis
  6. Capability Maturity Model
  7. Carlo Ghezzi
  8. Carnegie Mellon University
  9. Chittoor V. Ramamoorthy
  10. Citation
  11. Communicating sequential processes
  12. Communications of the ACM
  13. Converse relation
  14. Charlie Chaplin
  15. Daniel Jackson (computer scientist)
  16. David Harel
  17. David Notkin
  18. Debugging
  19. Differential testing
  20. Equivalence relation
  21. Empirical Software Engineering
  22. Enterprise software
  23. Erich Gamma
  24. Frank Land
  25. Function (mathematics)
  26. Gail C. Murphy
  27. Gerard J. Holzmann
  28. Glossary of project management
  29. Group theory
  30. Haar wavelet
  31. Harlan Mills
  32. Hua Luogeng
  33. Hypothetico-deductive model
  34. IEEE Software
  35. IEEE Transactions on Software Engineering
  36. Impact factor
  37. Information and Software Technology
  38. Information Sciences
  39. Institution (computer science)
  40. ISO 31-11
  41. Jose Meseguer
  42. Joseph Goguen
  43. Journal of Systems and Software
  44. K-means clustering
  45. Lionel Briand
  46. List of alumni of the University of Hong Kong
  47. Metamorphic testing
  48. Niklaus Wirth
  49. OBJ (programming language)
  50. Patrick Tse
  51. Random testing
  52. Rayson Huang
  53. Remote patient monitoring
  54. Republic of China (1912–1949)
  55. Richard Helm
  56. Semantics (computer science)
  57. Shing-Tung Yau
  58. Shiuhpyng Shieh
  59. Software engineering
  60. Software Engineering Institute
  61. Software testing
  62. T.H. Tse
  63. Terence Tao
  64. Term algebra
  65. Test oracle
  66. The Chinese University of Hong Kong
  67. The Hong Kong Polytechnic University
  68. The London School of Economics
  69. The University of Hong Kong
  70. Tony Hoare
  71. Topological space
  72. Tsong Yueh Chen
  73. Unified Modeling Language
  74. Victor Basili
  75. Xie (surname)
  76. Yo-yo Ma
  77. Z notation

I advocate for universal equality for ALL.[1][2][3] Note that this last statement is not just a word play. In particular, novice Wikipedia editors are often harassed by overzealous administrators and experienced editors. The harassment only eases as the novice editors become more experienced.

References[edit]

  1. ^ Universal property, Wikipedia
  2. ^ Equality (mathematics), Wikipedia
  3. ^ ALL (complexity), Wikipedia
Retrieved from "https://en.wikipedia.org/w/index.php?title=User:Laiwoonsiu&oldid=1225587546"