builds on top of a fundamental formalism for modular

ontologies. Through this formalism we are able to de-

fine mechanisms for integrating different modules and

develop algorithms for reasoning over the integrated...

. This work proposes a new feasible

approach to improve the software development process by integrating semi-formal and formal modeling methods. In this approach, software is initially modeled using the formal specification language Object-Z. The formal...

Using the parametrized post-Newtonian equations of hydrodynamics, the tensor and the scalar form of the parametrized post-Newtonian (PPN) virial theorem are derived. The PPN virial theorem then is used to estimate the ...

or informality. This paper studies the types and functions of the back of these responses in both formal and informal settings and provides a comparison of usage of these responses in these two kinds of contexts. The results show /bale/(yes) and /doroste...