scholarly journals Collaborative Reengineering and Modularization of Software Systems

2021 ◽  
Author(s):  
Christian Zirkelbach
Keyword(s):  
Virtual Reality ◽  
Source Code ◽  
Software Systems ◽  
Software Changes ◽  
Efficiency And Effectiveness ◽  
Code Understanding

Software systems evolve over their lifetime. Changing requirements make it inevitable to modify and extend the underlying source code. Understanding software systems embodies a crucial task, which needs to be addressed in an appropriate way to face inevitable challenges while performing software changes. In this thesis, we introduce three complementary approaches to support the evolution and particularly understanding of software systems in different aspects. Our main contributions are (i) an approach named CORAL for enabling collaborative reengineering and modularization of software systems, (ii) a gesture-based, collaborative, and multi-user-featuring Virtual Reality approach named ExplorViz VR for the software city metaphor, and (iii) a database behavior live-visualization approach named RACCOON for database comprehension of software systems. An extensive case study shows that our CORAL approach is capable of supporting reengineering and modularization processes. Furthermore, several evaluations demonstrate the high usability, and efficiency and effectiveness for solving comprehension tasks when using our multi-user VR approach ExplorViz VR.

Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets

2007 ◽  
pp. 28-54
Author(s):  
Hyggo Almeida ◽  
Leandro Silva ◽  
Glauber Ferreira ◽  
Emerson Loureiro ◽  
Angelo Perkusich
Keyword(s):  
Virtual Reality ◽  
Embedded System ◽  
Petri Nets ◽  
Formal Methods ◽  
Software Tool ◽  
Software Systems ◽  
Coloured Petri Nets ◽  
Validation And Verification ◽  
Verification Techniques

Validation and verification techniques have been identified as suitable mechanisms to determine if the software meets the needs of the user and to verify if the software works correctly. However, the existing verification techniques do not support friendly visualization. Also, validation techniques with friendly visualization mechanisms do not allow the verification of the system’s correctness. In this chapter, we present a method for the validation and verification of software systems through the integration of formal methods and virtual reality. Furthermore, a software tool associated with such a method is also described along with an embedded system case study.

REDESIGNING LEGACY SYSTEMS INTO THE OBJECT-ORIENTED PARADIGM

2004 ◽  
Vol 14 (03) ◽  
pp. 255-276
Author(s):  
W. ERIC WONG ◽  
JENNY LI
Keyword(s):  
Inventory Management ◽  
Source Code ◽  
Object Oriented ◽  
Original System ◽  
Software Systems ◽  
Legacy Systems ◽  
Dynamic Binding ◽  
Legacy Software ◽  
Original Program

Object-oriented languages support many modern programming concepts such as information hiding, inheritance, polymorphism, and dynamic binding. As a result, software systems implemented in OO languages are in general more reusable and reliable than others. Many legacy software systems, created before OO programming became popular, need to be redesigned and updated to OO programs. The process of abstracting OO designs from the procedural source code has often been done with limited assistance from program structural diagrams. Most reengineering focuses on the functionality of the original program, and the OO redesign often results in a completely new design based on the designers' understanding of the original program. Such an approach is not sufficient because it may take a significant amount of time and effort for designers to comprehend the original program. This paper presents a computer-aided semi-automatic method that abstracts OO designs from the original procedural source code. More specifically, it is a method for OO redesign based on program structural diagrams, visualization, and execution slices. We conducted a case study by applying this method to an inventory management software system. Results indicate that our method can effectively and efficiently abstract an appropriate OO design out of the original C code. In addition, some of the code from the original system can be automatically identified and reused in the new OO system.

Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets

2009 ◽  
pp. 3361-3380
Author(s):  
Hyggo Oliveira de Almeida ◽  
Leandro Silva ◽  
Glauber Ferreira ◽  
Emerson Loureiro ◽  
Angelo Perkusich
Keyword(s):  
Virtual Reality ◽  
Embedded System ◽  
Petri Nets ◽  
Formal Methods ◽  
Software Tool ◽  
Software Systems ◽  
Coloured Petri Nets ◽  
Validation And Verification ◽  
Verification Techniques

Validation and verification techniques have been identified as suitable mechanisms to determine if the software meets the needs of the user and to verify if the software works correctly. However, the existing verification techniques do not support friendly visualization. Also, validation techniques with friendly visualization mechanisms do not allow the verification of the system’s correctness. In this chapter, we present a method for the validation and verification of software systems through the integration of formal methods and virtual reality. Furthermore, a software tool associated with such a method is also described along with an embedded system case study.

Virtual Reality Treatment for Agoraphobia: A Mexican Case Study

2006 ◽  
Author(s):  
Georgina Cardenas-Lopez ◽  
Sandra Munoz ◽  
Maribel Gonzalez ◽  
Carmen Ramos
Keyword(s):  
Virtual Reality

Quality and Defect Management of Software in Real Time Software Systems � A Case Study

2007 ◽  
Vol 2 (2) ◽  
pp. 77-88
Author(s):  
K. Vijayalakshmi ◽  
◽  
N Ramaraj ◽  
Keyword(s):  
Real Time ◽  
Software Systems ◽  
Defect Management

Virtual reality in vocal training: a case study

2021 ◽  
pp. 1-11
Author(s):  
Sati Doganyigit ◽  
Omer Faruk Islim
Keyword(s):  
Virtual Reality ◽  
Vocal Training

scholarly journals A Personalized Machine-Learning-Enabled Method for Efficient Research in Ethnopharmacology. The Case of the Southern Balkans and the Coastal Zone of Asia Minor

2021 ◽  
Vol 11 (13) ◽  
pp. 5826
Author(s):  
Evangelos Axiotis ◽  
Andreas Kontogiannis ◽  
Eleftherios Kalpoutzakis ◽  
George Giannakopoulos
Keyword(s):  
Machine Learning ◽  
Coastal Zone ◽  
Extraction Process ◽  
Asia Minor ◽  
Efficiency And Effectiveness ◽  
Effectiveness And Efficiency ◽  
Intelligent Tools ◽  
Southern Balkans

Ethnopharmacology experts face several challenges when identifying and retrieving documents and resources related to their scientific focus. The volume of sources that need to be monitored, the variety of formats utilized, and the different quality of language use across sources present some of what we call “big data” challenges in the analysis of this data. This study aims to understand if and how experts can be supported effectively through intelligent tools in the task of ethnopharmacological literature research. To this end, we utilize a real case study of ethnopharmacology research aimed at the southern Balkans and the coastal zone of Asia Minor. Thus, we propose a methodology for more efficient research in ethnopharmacology. Our work follows an “expert–apprentice” paradigm in an automatic URL extraction process, through crawling, where the apprentice is a machine learning (ML) algorithm, utilizing a combination of active learning (AL) and reinforcement learning (RL), and the expert is the human researcher. ML-powered research improved the effectiveness and efficiency of the domain expert by 3.1 and 5.14 times, respectively, fetching a total number of 420 relevant ethnopharmacological documents in only 7 h versus an estimated 36 h of human-expert effort. Therefore, utilizing artificial intelligence (AI) tools to support the researcher can boost the efficiency and effectiveness of the identification and retrieval of appropriate documents.

Victoria Theatre virtual reality: A digital heritage case study and user experience design

2021 ◽  
Vol 21 ◽  
pp. e00176
Author(s):  
Gillian Arrighi ◽  
Zi Siang See ◽  
Donovan Jones
Keyword(s):  
Virtual Reality ◽  
User Experience ◽  
Experience Design ◽  
User Experience Design ◽  
Digital Heritage

scholarly journals Reservoir Sediment Management Using Artificial Neural Networks: A Case Study of the Lower Section of the Alpine Saalach River

Water ◽  
2021 ◽  
Vol 13 (6) ◽  
pp. 818
Author(s):  
Markus Reisenbüchler ◽  
Minh Duc Bui ◽  
Peter Rutschmann
Keyword(s):  
Real World ◽  
Close Correlation ◽  
Critical Issue ◽  
Management Tool ◽  
Lower Section ◽  
Reservoir Sediment ◽  
Efficiency And Effectiveness ◽  
Artificial Neural ◽  
Artificial Neural Network Ann

Reservoir sedimentation is a critical issue worldwide, resulting in reduced storage volumes and, thus, reservoir efficiency. Moreover, sedimentation can also increase the flood risk at related facilities. In some cases, drawdown flushing of the reservoir is an appropriate management tool. However, there are various options as to how and when to perform such flushing, which should be optimized in order to maximize its efficiency and effectiveness. This paper proposes an innovative concept, based on an artificial neural network (ANN), to predict the volume of sediment flushed from the reservoir given distinct input parameters. The results obtained from a real-world study area indicate that there is a close correlation between the inputs—including peak discharge and duration of flushing—and the output (i.e., the volume of sediment). The developed ANN can readily be applied at the real-world study site, as a decision-support system for hydropower operators.

Sign in / Sign up

Export Citation Format

Share Document