Due to their asynchronous interactions, testing reactive systems is a laborious activity present in any software development project.
 In this setting, the finite memory formalism of Labeled Transition Systems has been used generate test suites that can be applied check ioco conformance implementations given specification.
 work we turn more complex scenario where stronger considered,...

The strong impulse to digitize processes and operations in companies enterprises have resulted the creation automatic recording of an increasingly large amount process data information systems. These are made available form event logs. Process mining techniques enable process-centric analysis data, including automatically discovering models checking if conform a given model. In this paper, we a...

During modern model-driven development processes, generators and higherorder transformations are used to create metamodels with short life cycles. Since these metamodels often differ from each other only in small parts, instances as well as metamodels may be re-used if the difference between them does not lead to a violation of instance conformance. Existing co-evolution approaches describe thi...

The architecture of a system expresses the structural aspects of the system | the modules, the control structure, communication patterns , sharing of data and composition of modules. The architecture of a complex software system is a signiicant issue in the proper design, analysis and possibility of reuse of the software system. This paper describes how the architecture of an Ada program may be...

We present a novel refinement relation (stuck-free conformance) for CCS processes, which satisfies the substitutability property: If I conforms to S, and P is any environment such that P | S is stuckfree, then P | I is stuck-free. Stuck-freedom is related to the CSP notion of deadlock, but it is more discriminative by taking orphan messages in asynchronous systems into account. We prove that co...

Largest branch diameter in the breast-height region (LLBH) and acoustic velocity on lower bole were measured on trees in a 20-year-old Douglas fir (Pseudotsuga menziesii (Mirb.) Franco) experiment comparing seven density management/fertiliser regimes. The less dense regimes tended to have larger mean branch diameter at breast height, with fertiliser increasing the mean even further. However, ex...