Ein Model Checker verifiziert, ob ein Modell bestimmte Anforderungen erfüllt. Eine Möglichkeit, das Verhalten von Softwaresystemen zu modellieren, sind endliche Automaten. Diese finden Einzug in die Unified Modelling Language in Form von Statecharts. UML-Statecharts können ein hohes Maß an Komplexität erreichen, so dass sich ihr Zustandsraum nicht mehr komplett in den Hauptspeicher abbilden läs...

as cited in the constitution of the islamic republic of iran, it's one of the responsibilities of the government to provide appropriate housing for the people of iran. the main aim of current study was to assess satisfaction rate of a mehr housing residents in fars province, southwest of iran. randomly selected heads of 100 households residents of abadeh mehr housing for at least 1 year were as...

As cited in the constitution of the Islamic republic of Iran, it's one of the responsibilities of the government to provide appropriate housing for the people of Iran. The main aim of current study was to assess satisfaction rate of a Mehr housing residents in Fars province, southwest of Iran. Randomly selected heads of 100 households residents of Abadeh Mehr housing for at least 1 year were as...

Environmentally and technologically sulphur is a deleterious constitute in coal which makes it unsuitable for use in metallurgical industries unless the sulphur level can be reduced to the tolerable limit. Characterization of the various forms of sulphur and their associations in coal is an essential issue to find and propose a suitable desulphurization method. In this research, to evaluate sul...

considering long term impacts of mehr housing plan on appearance and performances of cities, it is necessary that their construction will be done on the basis of geographical elements and criteria of urban planning in order to have positive impacts on urban quality and performance and reduce the ecological, social, and economical costs. therefore, this research analyzes and evaluates appropriat...

Zusammenfassung: In jüngster Zeit werden mehr und mehr objektorientierte Modellierungssprachen, Werkzeuge und Methoden für die Entwicklung eingebetteter Systeme in Betracht gezogen, die Varianten der Standardmodellierungssprache UML darstellen. In diesem Papier werden mit Realtime UML und UML/Realtime zwei solcher UML-Varianten kurz präsentiert. Im Anschluß daran wird ein neuer Vorschlag zur „n...

Unter dem Begriff Open Government wird seit geraumer Zeit die systema tische Öffnung von Staat und Verwaltung verstanden. Ziel ist unter intensiver Nut zung von Web 2.0, Communities und Plattformen mehr Transparenz, mehr Teilhabe und eine intensive Zusammenarbeit mit den verschiedenen Stakeholdern des öffentli chen Sektors zu erreichen. Im Folgenden soll ein Überblick gegeben werden, wie durch ...

Der Einsatz kollaborativer Lernumgebungen verfolgt oft auch das Ziel, die Lernenden zu aktivieren und zu involvieren. Damit einhergehend bedeutet der Einsatz solcher E-Learning-Plattformen einen Mehraufwand für die Lernenden, die mit mehr Eigenverantwortlichkeit ihren eigenen Lernprozess steuern (vgl. Greif 1996). Dies gilt auch für die aktuell vermehrt im E-Learning eingesetzten Social Softwar...