Helping software designers in their task implies the development of tools with intelligent reasoning capabilities. One such capability is the integration of Natural Language Processing (NLP) in Computer Aided Software Engineering (CASE) tools, thus improving the designer/tool interface. In this paper, we present a Case Based Reasoning (CBR) approach that enables the generation of Unified Modeli...

A recent paper by Grutters et al makes the case for early health economic modeling in the development of health technologies. A number of examples of the value of early modeling are given, with analyses being performed at different stages in the development of several non-drug health technologies. This commentary acknowledges the contribution of the paper by Grutters et...

The Unified Modeling Language (UML) is a well known and widely used standard for building software models. While it is familiar to many software engineers, it lacks standardized formal semantics. In this paper, we extend on the formalism of object-oriented action systems (OOAS) and describe a mapping of a selected UML-subset to OOAS by choosing one of the several possible semantics of UML. This...

Model-based testing is a promising approach to cope with the complexity of nowadays systems. It shifts the effort from manual test case specification to the modeling of the system’s behavior and enables automated test case generation. System behavior is often modeled by state machines. However, state machines are not appropriate to model all kinds of behavior. This work combines state machines ...

Mathematical, graphical and intuitive models are often constructed in the development process of computational systems. The Unified Modeling Language (UML) is one of the most popular modeling languages used by practicing software engineers. This paper critically examines UML models and suggests an augmented use case view with the addition of new constructs for modeling software. It also shows h...

the paper presents a mathematical base modeling combined to modified-winding -function-approach (mwfa) for eccentricity fault detection of a round-rotor synchronous machine. for this aim, a 6-pole machine is considered, and the machine inductances are computed by mwfa in healthy and also under eccentricity fault. a numerical discrete-time method has been proposed to machine modeling in voltage-...