I assure that this thesis is the product of my own work and that it contains no plagiarism. I duly referenced all sources and marked all parts of this work that have been literally or analogously obtained from these sources. Finally, I assure that no work in this style or similar has previously been presented to any other board of examination.

Since their introduction use cases are one of the most widespread used techniques to specify functional requirements. Because low quality use cases often cause serious problems in later phases of the development process the simulation of use cases may be an important technique to assure the quality of use case descriptions. In this paper we present a model based use case simulation environment ...

The system is generated to use their friends to communicate with them within a LAN system and can be hosted on server throughout to the friend circle. The system is designed to use to determine the distance between the two users on Google maps. This system helps us to connect with our close ones .The traditional way of sharing things can be replaced by our new system. The history of data can be...

XML-based Metadata Interchange (XMI) is an interchange format for metadata defined in terms of the MOF standard. In addition to supporting the exchange of complete models, XMI supports the exchange of models in differential form. Our paper builds on this feature to examine the possibility of XMI-based generic transformations of UML models. A generic transformation can be configured to generate ...

Social networking sites such as MySpace and Facebook thrive on energetic social interaction, but the factors that assure this are not well understood. There is a lack of theory that can describe and predict the successful adoption of new social computing systems. This paper introduces the Social Software Performance Model, and uses it to interpret the evolution and usage of social networking si...

Applications for ubiquitous systems have to be designed to run in contextual environments and on a multitude of software and hardware platforms. To assure their quality in an adequate subset of these static as well as dynamic configurations, variability modeling and model-based testing can be used. In this paper, we present an approach applying Model-based Testing (MBT) and Dynamic Feature Petr...

Disproportionate collapse analysis aims to assure that frames, a common structural system of buildings, can survive unforeseen local events and a central modeling tool of such abnormal deterioration is the concept of column loss. This paper formulates an appropriate computational model on the basis of mathematical optimization, using the collapse load analysis problem of steel frames with pre-e...