User:Laiwoonsiu
Appearance
My current interest is to put formalism into practice.
I have added notable information or corrected nontrivial faults for the following Wikipedia pages:
- ACM Computing Surveys
- ACM Transactions on Software Engineering and Methodology
- Action (UML)
- Activity diagram
- Actor (UML)
- Ailsa Land
- Algebraic semantics (computer science)
- Amy Chan (badminton)
- Artifact (UML)
- Bill Curtis
- Bronze Bauhinia Star
- Capability Maturity Model
- Carlo Ghezzi
- Carnegie Mellon University
- Chang-Lin Tien
- Charlie Chaplin
- Che Chi-ming
- Chittoor V. Ramamoorthy
- Citation
- Class diagram
- Communicating sequential processes
- Communication diagram
- Communications of the ACM
- Component (UML)
- Component diagram
- Composite structure diagram
- Continuous integration
- Converse relation
- Daniel Jackson (computer scientist)
- David Harel
- David Notkin
- Debugging
- Dependency (UML)
- Deployment diagram
- Differential testing
- Element (UML)
- Empirical Software Engineering
- Enterprise software
- Equivalence relation
- Erich Gamma
- Event (UML)
- Frank Land
- Function (mathematics)
- Gail C. Murphy
- Gerard J. Holzmann
- Glossary of project management
- Group theory
- Haar wavelet
- Harlan Mills
- Henry Steiner
- Hong Kong University Students' Union
- Hua Luogeng
- Hypothetico-deductive model
- Ian Holliday
- IEEE Software
- IEEE Transactions on Software Engineering
- Impact factor
- Information and Software Technology
- Information Sciences
- Institution (computer science)
- Interaction overview diagram
- ISO 31-11
- Ivar Jacobson
- Jose Meseguer
- Joseph Goguen
- Journal of Systems and Software
- K-means clustering
- Kenny So
- Kwan Tak-hing
- Kwong Ki-chi
- Lionel Briand
- List of alumni of the University of Hong Kong
- Metamorphic testing
- Nancy R. Mead
- New Year Honours 1982
- Niklaus Wirth
- Node (UML)
- OBJ (programming language)
- Object diagram
- Object-oriented design
- Object-oriented programming
- Olympic Games
- Package diagram
- Patrick Tse
- People-first language
- Powertype (UML)
- Profile diagram
- Random testing
- Rayson Huang
- Reification (computer science)
- Remote patient monitoring
- Republic of China (1912–1949)
- Richard Helm
- Semantics (computer science)
- Sequence diagram
- Shing-Tung Yau
- Shiuhpyng Shieh
- So Wa-wai
- Software bug
- Software engineering
- Software Engineering Institute
- Software testing
- Systems modeling language
- T.H. Tse
- Terence Tao
- Term algebra
- Test oracle
- The Chinese University of Hong Kong
- The Hong Kong Polytechnic University
- The London School of Economics
- The University of Hong Kong
- Timing diagram (Unified Modeling Language)
- Tony Hoare
- Topological space
- Tsong Yueh Chen
- UML state machine
- Unified Modeling Language
- University of California, Berkeley
- Use case diagram
- Victor Basili
- Vivian Yam
- Waterfall model
- William Ka Ming Lau
- Xiang Zhang
- Xie (surname)
- Yo-yo Ma
- 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]- ^ Universal property, Wikipedia
- ^ Equality (mathematics), Wikipedia
- ^ ALL (complexity), Wikipedia