On the Informatics Laws and Deductive Semantics of Software  

Oleh:

Yingxu Wang

Jenis: Article from Journal - ilmiah internasional
Dalam koleksi: IEEE Transactions on Systems, Man, and Cybernetics: Part C Applications and Reviews vol. 36 no. 2 (Mar. 2006), page 161-171.
Topik: Cognitive Informaticsw; Constraint Laws of Software; Deductive Semantics; Foundations; Informatics Properties; Metaphors on Software; Semantic Analysis; Software Engineering

Ketersediaan

Perpustakaan Pusat (Semanggi) Nomor Panggil: II69.2 Non-tandon: 1 (dapat dipinjam: 0) Tandon: tidak ada

Lihat Detail Induk

Isi artikel

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.

Opini Anda

Klik untuk menuliskan opini Anda tentang koleksi ini!

Kembali