On the informatics laws of software

A fundamental finding in computer science is that software, as an artifact of human creativity, is not constrained by the laws and principles discovered in the physical world. Thus, a natural question we have to ask is: What are the constraints that software obeys? This paper attempts to demonstrate that software obeys the laws of informatics, because software is a mathematical entity, a coded solution, and a special type of information at a certain abstract level. Based on the above argument, another fundamental question is introduced that asks: What are the laws and principles of informatics that constrain software in software engineering? This paper explores a set of informatics, cognitive, psychological, and linguistic properties and laws, which are developed to answer the above profound question.