Abstract. The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it’s support for building interactive systems is still acknow...
In this paper, we define a set of metrics for the evaluation of conceptual models of business processes. The proposal supposes the adaptation and extension of the FMESP framework ...
Safe virtual execution (SVE) allows a host computer system to reduce the risks associated with running untrusted programs. SVE prevents untrusted programs from directly accessing ...
Abstract. This paper reports on our work on three complementary directions, aimed at developing: (i) a theoretical framework named UFO (Unified Foundational Ontology) for (re) desi...
Renata S. S. Guizzardi, Giancarlo Guizzardi, Jo&at...
Modular design methodologies, which decompose large and complex systems into components that are relatively easy to develop and maintain, have been widely adopted in the software ...