As a kind of formal specification language, Z has gained a position in the field of software development, but there is still no standard way of transforming Z specification into executable code that is promising in in...As a kind of formal specification language, Z has gained a position in the field of software development, but there is still no standard way of transforming Z specification into executable code that is promising in increasing the quality, reusability and maintainability of software.With the automatic programming model of software engineering, through the analysis for Z specification language, a feasible semi-automatic way of refinement and transformation is proposed, and the correctness of the procedure is also discussed.展开更多
Networking protocols annotated with ASN. 1 of ITU-T X. 680 is readable, however its implementation with traditional routine call is complex and difficult. Object Oriented idea is introduced to get the following simpli...Networking protocols annotated with ASN. 1 of ITU-T X. 680 is readable, however its implementation with traditional routine call is complex and difficult. Object Oriented idea is introduced to get the following simplicities: Make the implementation of protocol data unit annotated with ASN. 1 similar to its definition with little or even without any changes. The framework for encapsulation of ASN. 1 data types into objects discussed here is not only suitable for PER X. 691 but also suitable for BER X. 690.展开更多
文摘As a kind of formal specification language, Z has gained a position in the field of software development, but there is still no standard way of transforming Z specification into executable code that is promising in increasing the quality, reusability and maintainability of software.With the automatic programming model of software engineering, through the analysis for Z specification language, a feasible semi-automatic way of refinement and transformation is proposed, and the correctness of the procedure is also discussed.
文摘Networking protocols annotated with ASN. 1 of ITU-T X. 680 is readable, however its implementation with traditional routine call is complex and difficult. Object Oriented idea is introduced to get the following simplicities: Make the implementation of protocol data unit annotated with ASN. 1 similar to its definition with little or even without any changes. The framework for encapsulation of ASN. 1 data types into objects discussed here is not only suitable for PER X. 691 but also suitable for BER X. 690.
