We describe a meta-method for formal method integration [Pai97]. The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory behind formal method integration, present two example combinations, and use an integrated method in solving a small problem.

Idea generation is fundamental in higher education, principally engineering and creative areas. The challenge presented our research was to correctly implement a progressive, intuitive categorization method generate solutions, unifying individual proposals ideas through virtual platform or face-to-face sessions real-time communication. This paper aims present the implementation impact from stud...

agent oriented software engineering (aose) is an emerging field in computer science  and  proposes some systematic ideas for multi agent systems analysis, implementation and maintenance. despite the various methodologies introduced in the agent-oriented software engineering, the main challenges are defects in different aspects of methodologies. according to the defects resulted from weaknesses ...

the computational method based on using the operational matrix of anorthogonal function for solving variational problems is computeroriented. in this approach, a truncated hartley series together withthe operational matrix of integration and integration of the crossproduct of two cas vectors are used for finding the solution ofvariational problems. two illustrative examples are included todemon...

fuzzy newton-cotes method for integration of fuzzy functions that was proposed by ahmady in [1]. in this paper we construct error estimate of fuzzy newton-cotes method such as fuzzy trapezoidal rule and fuzzy simpson rule by using taylor's series. the corresponding error terms are proven by two theorems. we prove that the fuzzy trapezoidal rule is accurate for fuzzy polynomial of degree one and...

In this paper, we studied the numerical solution of nonlinear weakly singular Volterra-Fredholm integral equations by using the product integration method. Also, we shall study the convergence behavior of a fully discrete version of a product integration method for numerical solution of the nonlinear Volterra-Fredholm integral equations. The reliability and efficiency of the proposed scheme are...

introduction: due to irregular growth and expansion of cities, especially in developing countries, various issues and difficulties have arisen in different economic, social and ecological fields and various measurements and approaches in order to supply desirable conditions for today and future generations. healthy city approach is one these approaches as today it’s a new mechanism proposed by ...

we reduce the two phase stefan problem with kinetic to a system of nonlinear volterra integral equations of second kind and apply newton's method to linearize it. we found product integration solution of the linear form. sufficient conditions for convergence of the numerical method are given and their applicability is illustrated with an example.

Micropolar plasticity provides the capability to carry out post-failure simulations of geo-structures due to microstructural considerations and embedded length scale in its formulation. An essential part of the numerical implementation of a micropolar plasticity model is the integration of the rate constitutive equations. Efficiency and robustness of the implementation hinge on the type of int...