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
- Ailsa Land
- Algebraic semantics (computer science)
- Carlo Ghezzi
- Chittoor V. Ramamoorthy
- Citation
- Communicating sequential processes
- Communications of the ACM
- Converse relation
- Charlie Chaplin
- Daniel Jackson (computer scientist)
- David Harel
- David Notkin
- Differential testing
- Equivalence relation
- Empirical Software Engineering
- Enterprise software
- Erich Gamma
- Frank Land
- Function (mathematics)
- Gail C. Murphy
- Gerard J. Holzmann
- Group theory
- Haar wavelet
- Harlan Mills
- Hua Luogeng
- Hypothetico-deductive model
- IEEE Software
- IEEE Transactions on Software Engineering
- Impact factor
- Information and Software Technology
- Information Sciences
- Institution (computer science)
- ISO 31-11
- Jose Meseguer
- Joseph Goguen
- Journal of Systems and Software
- K-means clustering
- Lionel Briand
- List of alumni of the University of Hong Kong
- Metamorphic testing
- Niklaus Wirth
- OBJ (programming language)
- Patrick Tse
- Random testing
- Rayson Huang
- Remote patient monitoring
- Republic of China (1912–1949)
- Richard Helm
- Semantics (computer science)
- Shing-Tung Yau
- Shiuhpyng Shieh
- Software testing
- 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
- Tony Hoare
- Topological space
- Tsong Yueh Chen
- Victor Basili
- 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