Authors: Neubauer, Johannes
Title: LocalChecker plugin for the jABC
Language (ISO): en
Abstract: The LocalChecker plugin is a robust tool informing the application expert about incorrect usage of SIBs. In continous check mode, the plugin gives direct information about the status of a SIB via the overlay icon. For the actual selection, more details are available in the plugin inspector. The info window provides information about the status of all SIBs in a model. The LocalChecker is a powerful and easy to use addition to the model checking plugin GEAR.
Subject Headings: Business process modeling
Validation
Verification
URI: http://hdl.handle.net/2003/30118
http://dx.doi.org/10.17877/DE290R-8519
Issue Date: 2013-03-26
Appears in Collections:LS 05 Programmiersysteme und Übersetzerbau

Files in This Item:
File Description SizeFormat 
Studienarbeit.pdfDNB229.17 kBAdobe PDFView/Open


This item is protected by original copyright



All resources in the repository are protected by copyright.