Jump to content

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. Action (UML)
  4. Activity diagram
  5. Actor (UML)
  6. Ailsa Land
  7. Algebraic semantics (computer science)
  8. Amy Chan (badminton)
  9. Artifact (UML)
  10. Bill Curtis
  11. Bronze Bauhinia Star
  12. Capability Maturity Model
  13. Carlo Ghezzi
  14. Carnegie Mellon University
  15. Chang-Lin Tien
  16. Charlie Chaplin
  17. Che Chi-ming
  18. Chittoor V. Ramamoorthy
  19. Citation
  20. Class diagram
  21. Communicating sequential processes
  22. Communication diagram
  23. Communications of the ACM
  24. Component (UML)
  25. Component diagram
  26. Composite structure diagram
  27. Continuous integration
  28. Converse relation
  29. Daniel Jackson (computer scientist)
  30. David Harel
  31. David Notkin
  32. Debugging
  33. Dependency (UML)
  34. Deployment diagram
  35. Differential testing
  36. Element (UML)
  37. Empirical Software Engineering
  38. Enterprise software
  39. Equivalence relation
  40. Erich Gamma
  41. Event (UML)
  42. Frank Land
  43. Function (mathematics)
  44. Gail C. Murphy
  45. Gerard J. Holzmann
  46. Glossary of project management
  47. Group theory
  48. Haar wavelet
  49. Harlan Mills
  50. Henry Steiner
  51. Hong Kong University Students' Union
  52. Hua Luogeng
  53. Hypothetico-deductive model
  54. Ian Holliday
  55. IEEE Software
  56. IEEE Transactions on Software Engineering
  57. Impact factor
  58. Information and Software Technology
  59. Information Sciences
  60. Institution (computer science)
  61. Interaction overview diagram
  62. ISO 31-11
  63. Ivar Jacobson
  64. Jose Meseguer
  65. Joseph Goguen
  66. Journal of Systems and Software
  67. K-means clustering
  68. Kenny So
  69. Kwan Tak-hing
  70. Kwong Ki-chi
  71. Lionel Briand
  72. List of alumni of the University of Hong Kong
  73. Metamorphic testing
  74. Nancy R. Mead
  75. New Year Honours 1982
  76. Niklaus Wirth
  77. Node (UML)
  78. OBJ (programming language)
  79. Object diagram
  80. Object-oriented design
  81. Object-oriented programming
  82. Olympic Games
  83. Package diagram
  84. Patrick Tse
  85. People-first language
  86. Powertype (UML)
  87. Profile diagram
  88. Random testing
  89. Rayson Huang
  90. Reification (computer science)
  91. Remote patient monitoring
  92. Republic of China (1912–1949)
  93. Richard Helm
  94. Semantics (computer science)
  95. Sequence diagram
  96. Shing-Tung Yau
  97. Shiuhpyng Shieh
  98. So Wa-wai
  99. Software bug
  100. Software engineering
  101. Software Engineering Institute
  102. Software testing
  103. Systems modeling language
  104. T.H. Tse
  105. Terence Tao
  106. Term algebra
  107. Test oracle
  108. The Chinese University of Hong Kong
  109. The Hong Kong Polytechnic University
  110. The London School of Economics
  111. The University of Hong Kong
  112. Timing diagram (Unified Modeling Language)
  113. Tony Hoare
  114. Topological space
  115. Tsong Yueh Chen
  116. UML state machine
  117. Unified Modeling Language
  118. University of California, Berkeley
  119. Use case diagram
  120. Victor Basili
  121. Vivian Yam
  122. Waterfall model
  123. William Ka Ming Lau
  124. Xiang Zhang
  125. Xie (surname)
  126. Yo-yo Ma
  127. 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