Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
A Doctrine of Cognitive Informatics (CI)
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
A Formal Syntax of Natural Languages and the Deductive Grammar
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
On contemporary denotational mathematics for computational intelligence
Transactions on computational science II
On mathematical laws of software
Transactions on computational science II
Cognitive informatics and contemporary mathematics for knowledge manipulation
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
A Formal Syntax of Natural Languages and the Deductive Grammar
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
A Doctrine of Cognitive Informatics (CI)
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
A Web Knowledge Discovery Engine Based on Concept Algebra
International Journal of Cognitive Informatics and Natural Intelligence
Entropy-Based Fabric Weave Pattern Indexing and Classification
International Journal of Cognitive Informatics and Natural Intelligence
Design and Implementation of an Autonomic Code Generator Based on RTPA
International Journal of Software Science and Computational Intelligence
Empirical Studies on the Functional Complexity of Software in Large-Scale Software Systems
International Journal of Software Science and Computational Intelligence
Hi-index | 0.00 |
A fundamental finding in computer science is that software, an artifact of human creativity, is not constrained by the laws and properties known 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 and mathematics. This paper explores a comprehensive set of informatics and semantic properties and laws of software as well as their mathematical models. In order to provide a rigorous mathematical treatment of both the abstract and concrete semantics of software, a new type of formal semantics known as the deductive semantics is developed. The deductive models of semantics, semantic function, and semantic environment at various composing levels of programs are formally described. The findings of this paper can be applied to perceive the basic characteristics of software and the development of fundamental theories that deal with the informatics and semantic properties of software.