The goal of this paper is to investigate the state-of-the-art in specification-modeling methodologies applicable to reactive-system design. By combining the specification requirements of a reactive system and the desirable characteristics of a specification-modeling methodology, we develop a unified framework for evaluating any specification-modeling methodology applicable to reactive-system de...

Abstract In this paper, a methodology is presented for determining the stress and strain in structural concrete sections, also, estimating ultimate combination of axial forces bending moments that produce failure. The member may have cross-section with an arbitrary configuration, region consist set subregions having different characteristics (i.e., grades concretes, or initially identical, but ...

People usually spend several hours per day inside buildings, and they require great amounts of energy resources to operate. Although there are numerous studies about smart is still a need for new intelligent techniques efficient building management. This paper proposes the use Wi-Fi network association information as basis design systems buildings. We propose unified experimental methodology ev...

This paper presents the Agent Factory Development Methodology, an Agent-Oriented Software Engineering (AOSE) methodology that employs a synthesis of the Unified Modelling Language (UML) and Agent UML to support the development of multi-agent systems. We illustrate the use of this methodology, through a simple case study and briefly compare it to some other well-known AOSE methodologies.