This paper presents an application of Continuum (i.e. Lagrangian) and Finite Element Techniques to flexible manipulator arms for derivation of the corresponding Dynamic Equations of Motion. Specifically a one-link flexible arm is considered for detailed analysis, and the results are extended for the case of a two - link flexible manipulator. Numerical examples are given for the case of both one...

We present an original approach for the automated computation of model-based test cases from specifications written in Java Modeling Language (JML). We aim at activating all the behaviors from the JML method specifications. Therefore, we extract each behavior and we compute the pertinent test data for the input parameters; we select the boundary values of the ordered domains, and we consider sp...

In this paper, we present a set of Eclipse plug-ins which adapts the idea of regression testing for the area of visual modelling in software engineering: Expected properties of models in languages such as UML, BPMN, etc. are stored together with the model (comparable with test cases added to software). With each change of the model, these properties can be checked. The solution should work with...

Use Case modeling is a popular technique for representing the functional requirements of an information system. The simple graphical notation of Use Case Diagrams, accompanied by well-structured narrative descriptions, makes Use Case models fairly easy to read and understand. This simplicity, however, belies the challenges associated with creating Use Case models. There is little, if any, theor...

In this paper, driven by industrial needs, we present a change management approach for product lines within the context of use case-driven development and testing. As part of the approach, we first provide a modeling method to support variability modeling in Product Line (PL) use case diagrams, specifications, and domain models, intentionally avoiding any reliance on feature models and thus avo...

For incremental iterative software development processes, automated testing is necessary to enable evolution not only in terms of functionality, but in terms of software quality as well. Automation requires models to provide the necessary information. Scenarios and use cases do not only feed requirements engineering, they may also be the basis for testing. They have to be enriched by detailed b...

This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Java which allows one to write invariants for classes, and preand postconditions for operations. As in the JML-JUnit tool, we use JML specifications on the one hand to eliminate irrelevant test cases, and on the other ha...