In today’s world of globalization, local language storage and retrieval is essential for the developing nations like India. As our country is diversified by languages and only 10...
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...
Neither the C nor the C++ languages support reflection and their meta-programming capabilities are very limited. Both of these problems can be addressed by adding a preprocessing...
John Kenyon, Frederick C. Harris Jr., Sergiu M. Da...
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
UN/CEFACT’s Modeling Methodology (UMM) has been developed to analyze and design B2B business processes independent of the underlying exchange technology. It became the methodolog...