In this paper, we propose a framework for generating test data from software specifications. The selected specification is Unified Modeling Language (UML) state machine diagram. UML state machine ...

That Project implements idea of application "Tharwa" The idea about investing . That project the first trial for us to implement software from scratch and applying the cycle of the software ...

Abstract: We present, in this paper, a framework supporting a formal verification of UML diagrams using the Maude language. The approach considers both static and dynamic features of object-oriented ...