The nanoκ calculus is a formalism for modelling biochemical systems following a reactive-oriented approach. We study the implementation of nanoκ into the Stochastic Pi Machine that complies with the stochastic behaviors of solutions. Our implementation allows us to use nanoκ as a front-end for a process-oriented simulator, thus being intelligible to biochemists, and to reuse theories and tools ...

conclusions results of this study could be applied to designing interventions, such as promotion of preventive beliefs or educational programs regarding premarital sexual relationships in conservative societies. these interventions could start within families and continue at schools and universities. objectives the aim of this study was to explore the viewpoints of sexually active single women ...

In feature-oriented programming (FOP) a programmer decomposes a program in terms of features. Ideally, features are implemented modularly so that they can be developed in isolation. Access control mechanisms in the form of access or visibility modifiers are an important ingredient to attain feature modularity as they allow programmers to hide and expose internal details of a module’s implementa...

Human Resource Management (HRM) processes are considered the beating heart of any successful organization. Recently, several studies have highlighted how organizations can use commitment-oriented HR practices to generate organizational and individual effectiveness. The aim this study was verify whether perception HRM could be able elicit extra-role behaviors and, at same time, relationship medi...

Agent-oriented modeling is a top-down approach for modeling and simulating the behaviors of complex systems. This research addresses the application of agent-oriented modeling to eliciting and representing knowledge for social simulations. We provide an overview of agent-oriented modeling and describe a case study on conflict resolution that has an impact on winning “hearts and minds” of the oc...

A formal object-oriented speciication using Object-Z is given of an animal's environment which builds on previous work using formal descriptions in this area. The object framework provides a closer match between natural categories and speciied classes, and the formal speciication acts as a tool to explicitly state all assumptions, consequences and behaviors involved for a set of objects at hand...

The modeling and verification of real-time systems is a challenging task in the area of software engineering. This paper proposes a formal method for modeling and verification of real-time systems based on aspect-oriented timed statecharts and linear-time temporal logic. Behaviors of real-time systems are modeled by aspect-oriented timed statecharts, while key properties of systems are specifie...

In this paper, we present a data ow based unit testing approa h and its tool support for aspe t-oriented software. Our approa h tests two types of units for an aspe t-oriented program, i.e., aspe ts that are modular units of ross utting implementation of the program, and those lasses whose behaviors may be a e ted by one or more aspe ts. We use the ontrol ow graph as a basis to ompute def-use p...