static verification and software testing are not able to verify software single-handedly. therefore, another approach called run-time verification dealing with verifying software behavior against constraints at run-time received attention. however, the run-time verification faces the problem of verification of run-time activities against the constraints are specified in high-level and abstractl...

The introduction of “smart” tracer techniques in recent years has provided new ways to investigate sediment-water interactions and microbial activity stream corridors. In this study, the formulation STIR model (Marion et al., 2008) is extended represent transport transformation Resazurin-Resorufin smart tracers, an object-oriented toolbox, STIR-RST, presented for evaluation calibration. STIR-RS...

There is a large number of complex software systems that have reactive behavior. As for any other software system, reactive systems are subject to evolution demands. This paper defines a set requirements that must be fulfilled so that reuse of reactive software systems can be increased. Detailed analysis of a set of representative languages reveals that these requirements are not completely ful...

December 2013 Vol.14 No.1 IEEE Intelligent Informatics Bulletin Abstract—An important decision when developing a software agent is the design of its internal architecture. Several models of deliberative and reactive architectures have already been proposed. However, approaches of hybrid software architectures that combine deliberative and reactive components, with the advantages of both behavio...

Using a reactive software product line approach, Salion made the transition to software product lines with 2 person-months of effort, the equivalent of 1% of the effort required to build its baseline enterprise software product. This is two orders-of-magnitude less than the effort typically reported with proactive software product line transition efforts. Since the transition, Salion has achiev...

In this paper we present an approach -that facilitates the validation of high consequence system requirements. This approach consists of automatically generating a graphical representation from an informal document. Our choice of a graphical notation is statecharts. We proceed in two steps: we first extract a hierarchical decomposition tree from a textual description, then we draw a graph that ...