In the article an approach for verification of procedural programs via building their corresponding generalized nets models is described. This approach integrates the concept of “design by contract” with approaches for verification of type theorem proofs and models consistency check. For this purpose, functions which compose the program, are verified separately according to their specifications...

The Mashhad drug and poison information center (MDPIC) was officially established in 2000 to provide up-to-date information on medications. The objective of this study is to provide an epidemiologic profile of drug inquiry and poisoning-related phone calls to MDPIC from 2007 to 2017. This article is a descriptive retrospective study in which all inquiries about drugs and poisoning cases receive...

Each component platform (Jonas, JBoss, OpenCCM, .NET, Julia) proposes its own software infrastructure. Objects like containers, controllers, interceptors compose the architecture of these platforms. These objects play a different role in the treatment of the requests depending on the platform. To integrate a new service in different component platforms, the developer has to understand the archi...

In this paper, we compare the availability and performance of a wireless TDMA system with and without automatic protection switching. Stochastic reward net models are constructed and solved by SPNP (Stochastic Petri Net Package). Hierarchical decomposition is adopted to simplify the analysis. The optimization of the number of guard channels reserved for the handoff calls is studied. Numerical r...