Stralsund University of Applied Sciences

www.fh-stralsund.de
Stralsund, Germany
SEARCH FILTERS
Time filter
Source Type

Ahsanullah T.M.G.,King Saud University | Jager G.,Stralsund University of Applied Sciences
Fuzzy Sets and Systems | Year: 2017

If L and M are frames, and N is a quantale, then using stratification mappings between frames, we introduce a category of stratified LMN-convergence tower groups - a topological category. We then prove that every stratified LMN-limit tower group induces a stratified LMN-uniform convergence tower space. Also, we introduce a category of stratified LMN-Cauchy tower groups, and show that the category of strongly normal stratified LMN-limit tower groups, is isomorphic to the category of stratified LMN-Cauchy tower groups. We provide various examples in support of our theories so far developed herein the text. © 2017 Elsevier B.V.


Jager G.,Stralsund University of Applied Sciences
Iranian Journal of Fuzzy Systems | Year: 2017

We develop a general framework for various lattice-valued, probabilistic and approach uniform convergence spaces. To this end, we use the concept of s-stratified LM-filter, where L and M are suitable frames. A stratified LMN-uniform convergence tower is then a family of structures indexed by a quantale N. For different choices of L, M and N we obtain the lattice-valued, probabilistic and approach uniform convergence spaces as examples. We show that the resulting category sLMN-UCT S is topological, well-fibred and Cartesian closed. We furthermore define stratified LMN-uniform tower spaces and show that the category of these spaces is isomorphic to the subcategory of stratified LMN-principal uniform convergence tower spaces. Finally we study the underlying stratified LMN-convergence tower spaces. © 2017, University of Sistan and Baluchestan. All rights reserved.


Pieper J.,Stralsund University of Applied Sciences
IEEE Global Engineering Education Conference, EDUCON | Year: 2015

Software processes and Software Engineering (SE) methods belong to those knowledge areas which are challenging to be taught intuitively accessible. The specification 'Kernel and Language for Software Engineering Methods (Essence)' [1] claims to deliver an approach to consolidate all essential dimensions of SE-endeavors into an universal compact and actionable kernel. This paper describes the characteristics of the Essence specification with respect to its suitability for use in academic SE education where students get introduced to the world of SE methods and software processes. To enable a deep understanding of the Essence concepts in an academic setting a suitable approach is needed. The integrated approach presented in this paper introduces students stepwise into the concepts of Essence. It lets them explore the concepts in a virtual simulated game environment and finally deploy them in real world SE endeavors. Thereby an efficient and engaging learning arrangement supports the active construction of knowledge. It encourages active exploration, enables the viewing of the learning object from different perspectives and promotes articulation and reflection in social interchange early in the learning process. Key objectives of this approach are to sensitize students for the diversity of dimensions that have to be taken into account in a SE endeavor, to provide a valuable guidance for using SE methods inside and outside of their curriculum and to enable students to transfer their newly acquired knowledge to other contexts. © 2015 IEEE.


Jager G.,Stralsund University of Applied Sciences
Fuzzy Sets and Systems | Year: 2016

We develop a general theory of convergence for lattice-valued spaces based on the concept of s-stratified LM-filters. For different choices of the frames L and M, different kinds of filters arise, and suitable choices of the lattice N allow to view many existing fuzzy and probabilistic convergence spaces as special examples of our stratified LMN-convergence tower spaces. The stratification requires a certain relation between the frames L and M and we use a so-called stratification mapping to this end. The stratification condition is used to show that the resulting category is fiber-small and hence Cartesian closedness is equivalent to the existence of natural function spaces. We give several examples for our spaces for different choices of the lattices L, M and N with a special focus on enriched LM-fuzzy topological spaces. Finally, we study diagonal axioms and regularity. © 2015 Elsevier B.V.


Falkowski B.-J.,Stralsund University of Applied Sciences
World Scientific Proc. Series on Computer Engineering and Information Science 7; Uncertainty Modeling in Knowledge Engineering and Decision Making - Proceedings of the 10th International FLINS Conf. | Year: 2012

A solution of the ranking problem using kernels is described. As a consequence an elegant probabilistic ranking algorithm is obtained from the pocket algorithm. This removes a restriction from a former paper and simplifies proofs considerably. In addition results concerning class probabilities are exhibited. Some preliminary experimental results are reported and briefly discussed.


Jager G.,Stralsund University of Applied Sciences
Fuzzy Sets and Systems | Year: 2016

We generalize Preuss' E-connectedness to lattice-valued convergence spaces and prove the basic theory for connected sets, including the product theorem. We further give a suitable definition of local E-connectedness and study its properties. © 2015 Elsevier B.V.


Pieper J.,Stralsund University of Applied Sciences
2012 2nd International Workshop on Games and Software Engineering: Realizing User Engagement with Game Engineering Techniques, GAS 2012 - Proceedings | Year: 2012

Software Processes belong to those knowledge areas of software engineering that are less suitable to be taught classically in lectures. Class projects which frequently complement lectures are limited by academic settings in various ways too. Simulation and digital game-based learning are considered to have great potential to extend the learning experiences beyond lectures and class projects, help to develop insight into the necessity of software processes and to widen the perspective of software engineering students in a virtual and efficient way. Several efforts made by different research groups show encouraging results. This research gathers preliminary findings, develops new ideas and gives suggestions to exhaust the potential further and to encourage the wider application of digital game-based learning in software engineering education. These suggestions are the foundation for building blocks of a new framework for simulation based digital learning games aiming to teach software engineering processes more effectively and efficiently. © 2012 IEEE.


Torsel A.-M.,Stralsund University of Applied Sciences
Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013 | Year: 2013

Test case generation from formal models using model checking software is an established method. This paper presents a model-based testing approach for web applications based on a domain-specific language model. It is shown how the domain-specific language is transformed into the input language of the NuSMV model checker and how the resulting traces are converted into executable test scripts for various test automation tools. The presented approach has been implemented with comprehensive automation in a research tool which architecture is outlined. © 2013 IEEE.


Torsel A.-M.,Stralsund University of Applied Sciences
Proceedings - International Computer Software and Applications Conference | Year: 2011

Model-based testing is a promising technique for test case design that is used in an increasing number of application domains. However, to fully gain efficiency advantages, intuitive domain-specific notations with comfortable tool support as well as a high degree of automation in the whole testing process are required. In this paper, a model-based testing approach for web application black box testing is presented. A notation for web application control flow models augmented with data flow information is introduced. The described research prototype demonstrates the fully automated generation of ready to use test case scripts for common test automation tools including test oracles from the model. © 2011 IEEE.


Jager G.,Stralsund University of Applied Sciences
Fuzzy Sets and Systems | Year: 2015

We define and study diagonal axioms for lattice-valued Cauchy spaces. A completion of a weakly diagonal lattice-valued Cauchy space is constructed, which is weakly diagonal and the coarsest among such completions. It is at the same time at least as fine as any weakly regular completion. © 2014 Elsevier B.V. All rights reserved.

Loading Stralsund University of Applied Sciences collaborators
Loading Stralsund University of Applied Sciences collaborators