摘要 |
<p>A method is described for creating specifications of software systems, in particular of the OLTP-App type, said method comprising a STATIC step, a DYNAMIC step and a LOGIC step adapted to build a relation scheme, and wherein said STATIC step, said DYNAMIC step and said LOGIC step use declarative sentences having a syntactical format and a writing rule based on an ONTOLOGICAL FOUNDATION THEOREM and on an ONTOLOGICAL REDUCTION RULE.</p> |