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

Hyggo Oliveira de Almeida; Leandro Silva; Glauber Ferreira; Emerson Loureiro; Angelo Perkusich

doi:10.4018/978-1-60566-060-8.ch194

10% Discount on All IGI Global published Book, Chapter, and Article Products through the Online Bookstore(10% discount on all IGI Global published Book, Chapter, and Article Products cannot be combined with most offers. Discount is valid on purchases made directly through IGI Global Online Bookstore (www.igi-global.com)
and may not be utilized by booksellers and distributors. Offer does not apply to e-Collections and exclusions of select titles may apply. Offer expires December 31, 2022.)Browse Titles

Special Offers
- 10% Discount on All IGI Global published Book, Chapter and Article Products through the Online Bookstore
  In response to rapid inflation and global currency fluctuations, and in our continued effort to make diverse, equitable, and inclusive research more accessible, IGI Global is now offering a 10% discount on our hardcover print books, e-books, and article and chapter (OnDemand) purchases through December 31st, 2022 directly on IGI Global’s Online Bookstore. Hosted on the InfoSci^® platform, these titles feature no DRM, no additional cost for multi-user licensing, no embargo of content, full-text PDF & HTML format, and more. Discount is automatically added at checkout.
  Browse Titles
- All IGI Global Scholarly Journals Shift to Open Access
  Following the first conversion of a portion of IGI Global’s hybrid open access/subscription-based journals to gold open access (OA) in 2021, and then again in 2022, IGI Global is pleased to announce that the remainder of their hybrid open access/subscription-based journal collection will officially convert to gold OA beginning January 1st, 2023.
  Learn More
- IGI Global’s New Emerging Topic e-Book Collections
  Acquire highly focused and affordable Cutting-Edge Peer-Reviewed Research Content through a selection of 17 topic-focused e-Book Collections discounted up to 90%, compared to list prices. Collection topics include Diversity, Equity, and Inclusion (DEI), Artificial Intelligence, Language Learning, Marketing and Customer Relations, Religious and Indigenous Studies, and more. Hosted on the InfoSci^® platform, these collections feature no DRM, no additional cost for multi-user licensing, no embargo of content, full-text PDF & HTML format, and more.
  Learn More
- 10% Discount on all IGI Global e-Book Purchases through GOBI
  One of our trusted partners, GOBI, is currently offering a 10% discount on IGI Global e-Book purchases on GOBI PubDirect, through December 31st, 2022. A direct link to GOBI can be found on each book's webpage of the IGI Global Online Bookstore.
  Browse GOBI
- 10% Discount on all IGI Global e-Book Purchases through OASIS
  One of our trusted partners, OASIS, is currently offering a 10% discount on IGI Global e-Book purchases until December 31st, 2022. A direct link to OASIS can be found on each book's webpage of the IGI Global Online Bookstore.
  Browse OASIS
- IGI Global e-Book Offer through ProQuest e-Book Central
  Right now, receive Unlimited Multi-User Licensing at the Single User price with no mark-up for all IGI Global e-books acquired on ProQuest's e-Book Central platform until December 31st, 2022.
  Browse e-Book Central
- IGI Global e-Book Offer through EBSCO host
  Right now, receive Unlimited Multi-User Licensing at the Single User price with no mark-up for all IGI Global e-books acquired on EBSCO host until December 31st, 2022.
  Browse EBSCO host
Books
Journals
e-Collections
Open Access
Publish with Us
Resources
- - Instructors
  - Course Adoption
  - Teaching Cases
  - K-12 Online Learning Collection
  - Authors and Editors
  - eEditorial Discovery^® System
  - Peer Review Process
  - Ethics and Malpractice
  - COPE Membership
  - Fair Use Policy
  - Open Access Publishing
  - FAQ
Catalogs
About Us
Newsroom

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

Hyggo Oliveira de Almeida (Federal University of Campina Grande, Brazil), Leandro Silva (Federal University of Campina Grande, Brazil), Glauber Ferreira (Federal University of Campina Grande, Brazil), Emerson Loureiro (Federal University of Campina Grande, Brazil) and Angelo Perkusich (Federal University of Campina Grande, Brazil)

Source Title: Software Applications: Concepts, Methodologies, Tools, and Applications

DOI: 10.4018/978-1-60566-060-8.ch194

OnDemand PDF Download:

Available

$33.75

List Price: $37.50

Current Special Offers

10% Discount:-$3.75

TOTAL SAVINGS: $3.75

Abstract

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.

Complete Chapter List

Search this Book:

Reset

MLA

APA

Chicago

Export Reference

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

Abstract

Complete Chapter List