IslandViz: A Tool for Visualizing Modular Software Systems in Virtual Reality

2018 ◽  
Author(s):  
Martin Misiak ◽  
Andreas Schreiber ◽  
Arnulph Fuhrmann ◽  
Sascha Zur ◽  
Doreen Seider ◽  
...  
Keyword(s):  
Virtual Reality ◽  
Software Systems ◽  
Modular Software

Virtual Assembly Design Environment

1995 ◽  
Author(s):  
Hugh I. Connacher ◽  
Sankar Jayaram ◽  
Kevin Lyons
Keyword(s):  
Virtual Reality ◽  
Research Effort ◽  
New Technology ◽  
Natural Extension ◽  
Virtual Assembly ◽  
Software Systems ◽  
Design Environment ◽  
Cad System ◽  
Assembly Design ◽  
Design And Manufacturing

Abstract Virtual reality is a technology which is often regarded as a natural extension to 3D computer graphics with advanced input and output devices. This technology has only recently matured enough to warrant serious engineering applications. The integration of this new technology with software systems for engineering, design and manufacturing will provide a new boost to the field of computer-aided engineering. One aspect of design and manufacturing which may be significantly affected by virtual reality is design for assembly. This paper presents the ideas behind a current research effort aimed at creating a virtual assembly design environment and integrating that environment with a commercial, parametric CAD system.

A MULTI-CHOICE GOAL PROGRAMMING APPROACH FOR COTS PRODUCTS SELECTION OF MODULAR SOFTWARE SYSTEMS

2013 ◽  
Vol 20 (06) ◽  
pp. 1350026 ◽  
Author(s):  
MUKESH KUMAR MEHLAWAT
Keyword(s):  
Goal Programming ◽  
Execution Time ◽  
Selection Problem ◽  
Software Systems ◽  
Programming Approach ◽  
Delivery Time ◽  
Modular Software ◽  
Proposed Model ◽  
Aspiration Levels ◽  
Cots Products

In this paper, we propose a multi-choice goal programming (MCGP) model of the multi-objective commercial-off-the-shelf (COTS) products selection problem. The proposed model simultaneously minimize the total cost, size, execution time and delivery time and maximize the system reliability of a modular software system subject to many realistic constraints including incompatibility among COTS products. We assume that the decision maker provides multiple aspiration levels regarding cost, size, execution time, delivery time and reliability objectives using discrete choices. To obtain efficient COTS selection plans, we use MCGP methodology to solve the COTS products selection problem. A real-world case study is discussed to demonstrate the effectiveness of the proposed model and methodology.

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.

Formal manipulation of modular software systems

1990 ◽  
Vol 15 (4) ◽  
pp. 90-99 ◽  
Author(s):  
Robert L. Nord ◽  
Peter Lee ◽  
William L. Scherlis
Keyword(s):  
Software Systems ◽  
Modular Software
Sign in / Sign up

Export Citation Format

Share Document