Often in modeling the engineering optimization design problems, the value of objective function(s) is not clearly defined in terms of design variables. Instead it is obtained by some numerical analysis such as FE structural analysis, fluid mechanic analysis, and thermodynamic analysis, etc. Yet, the numerical analyses are considerably time consuming to obtain the final value of objective functi...

Moving from code-centric to model-centric development seems to be a promising way to cope with the increasing complexity of real-time embedded systems (RT/ES). These systems have various critical requirements that must be validated. Validation is then one of the key-point of their development. Relating to this goal, schedulability analysis methods are usually used to validate the system’s real-...

Security testing is one of the most important security practices today. To secure an application it’s important to go for a security testing phase during the development life cycle. Many useful enhancements are done using UML diagrams to model security like Misuse cases, Mis-sequence diagrams and Misuse deployment diagrams etc. Misuse deployment diagrams can be used to model a client server env...

This research group has been working towards building an environment which helps software development, providing support to some activities based on use case model. Prior to our enrollment in this research, the environment supported use case construction, requirements document analysis, requirements traceability and use case points estimation. In this paper it is presented a strategy to generat...

Organizations continuously accumulate data, often according to some business processes. If one poses a query over such data for decision support, it is important to know whether the query is stable, that is, whether the answers will stay the same or may change in the future because business processes may add further data. We investigate query stability for conjunctive queries. To this end, we d...

geographic information and analysis provide a wide range of data and techniques to monitor and manage natural resources. as an important case, in arid and semi-arid areas, water management is critical for both local governance and citizens. as a result, the estimation of water potential brought by snowmelt runoff and rainfalls seems to be very useful and important for these areas. hydrological ...

Unified Modeling Language (UML) is a modeling language for specifying, constructing and documenting the artifacts of the systems. Similar to programming language such as C++ and Java, UML also consists of syntax and semantics. The UML syntax is the graphical notations to draw the UML diagrams and the semantics is the meaning of the notations. The semantics is grouped into two, static or well-fo...