A. Yonezawa. ABCL/onEM-4: a new software/hardware architecture for object-oriented concurrent computing on an extended data-flow computer. In

Efficiently development of enterprise innovation networks is inseparable from integrated processes such as knowledge sharing and transfer. Knowledge flow a core network activity that highly dependent on the cultural structural environment. As an informal governance mechanism, cooperative culture affects stability durability relationship between members. Perfectly mechanism key to promoting in n...

A method and tool for logic design with data-flow and state-transition diagrams is presented. The method is based on object-oriented characterization and encapsulation of the control and timing requirements of combinational and sequential data-path units. The method makes it possible to use CASE (computer-aided software engineering) methods based on system-level semantics in conjunction with cu...

In LOTOS, a system is specified as a behaviour expression describing the externally observable behaviour of the system in terms of possible sequences of interactions between the system and its environment. The desired control flow and data flow that must be established by a possible implementation of the system are specified in the behaviour expression as implicit enumarations of allowed sequen...

We formulate a new security property, called “Operation Execution Integrity” or OEI, tailored for embedded devices. Inspired by the operation-oriented design of embedded programs and considering the limited hardware capabilities of embedded devices, OEI attestation enables selective and practical verification of both control-flow integrity and critical-variable integrity for an operation being ...

Previous researchers have developed ways of managing forward-oriented supply chains, and gave insight to solve single-stage inventory systems. In this study, we analyze an inventory system with traditional forward-oriented material flow as well as a reverse material flow supply chain. In the reverse material flow, the used products are returned, remanufactured and shipped to the retailer for re...

This paper presents an approach to generating tests for adequately exercising interaction between aspects and classes based on aspect-oriented UML models. In this approach, an aspect-oriented model consists of class diagrams, aspect diagrams, and sequence diagrams. Since methods of classes and advices of aspects are both specified by sequence diagrams, the advices on a given method can be weave...

A hybrid testing method, discussed in this research, combines state-based testing with data flow analysis to test classes at the intra-class level. Employing state-based testing, the method can generate all possible test message sequences. Using data flow analysis, the method can also detect whether data anomalies exist in those generated sequences, and then compute data flow test cases, which ...

Dynamic impact of flow-like landslides against protection structures calls for a sound understanding the interaction mechanisms. In fact, despite large variety flow-landslides, there is also significant availability several types works and many different modelling approaches, which have been customized to specific classes flow-landslides structurers. Some remarks are reported below in design-or...

Aspect-Oriented Programming (AOP) is a new technique proposed for improving separation of concerns in software development. Although it is claimed that AOP increases understandability and eases the maintenance burden, the technology cannot provide correctness by itself, and thus it also requires systematic verification, validation and testing (VV&T) approaches to improve software quality. One o...