The Virtual Conference Generator (VCG) tool is part of a knowledge portal being developed by the Centro de Análisis de Imágenes Biomédicas Computarizadas (CAIBCO) at the Medical Faculty, Universidad Central de Venezuela. Targeted at the health sector, it is a content management tool focused on generating quality content while automating some operational tasks. It was developed to facilitate the interactive creation, management and publication of virtual conferences. VCG was an integral tool toward organizing a virtual conference held in July 2003 in the health sector, the "IV Congreso Virtual de Micología: Hongos Patógenos en América Latina" http://congresomicologia.ucv.ve Computer science students developed VCG using JSP technology, testing it on three different platforms, applying eXtreme Programming as an aspect of the evaluation process in an academic context.
In this paper it is presented a software development model based on transformations that allows to derive, in an automatic way, classes in object-oriented programming languages (Ada 95, C++, Eiffel and Java) starting from formal specifications. The set of transformations that conforms the software development model are a systematic steps, which starts from the algebraic specification of a type. This algebraic specification describes the abstract behavior of a type (type of interest) by means of other type, previously specified and implemented (representation type). In a progressive way, the transformations steps allow get a program (class) nearby to the initial specification (type of interest). These transformations obtain -in the first step- an intermediate specification (class specification) that it describes the operations of the type of interest by means of pre and post-conditions. Then, the intermediate specification is used to obtain imperative code in language-independent notation (pseudo-class); and finally the pseudo-class is transformed to any object- oriented programming language for which it has been defined transformations.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.