On The Nature Of Formal System Decomposition Principles And Their Potential Applications To The Basis Of Carcinogenesis

A vast variety of design principles and formal description techniques (FDTs) have been advocated to help contend with the ever-increasing complexity of communication system development. However, the relationship between these principles and FDTs is ...

In this paper, the authors propose a decomposition method for a formal specification that divides the specification into two subspecifications composed by a parallel operator. To make these specification behaviors equivalent before and after ...

In this paper, we first propose a new kind of imprecise information system, in which there exist conjunctions (ź's), disjunctions (ź's) or negations ( 's). Second, this paper discusses the relation that only contains ź's based on relational database ...