LocalChecker plugin for the jABC

Simple item page
dc.contributor.advisorSteffen, Bernhard
dc.contributor.authorNeubauer, Johannes
dc.contributor.refereeNagel, Ralf
dc.date.accepted2007-07-02
dc.date.accessioned2013-03-26T14:07:44Z
dc.date.available2013-03-26T14:07:44Z
dc.date.issued2013-03-26
dc.description.abstractThe 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.en
dc.identifier.urihttp://hdl.handle.net/2003/30118
dc.identifier.urihttp://dx.doi.org/10.17877/DE290R-8519
dc.language.isoende
dc.relation.ispartofseriesStudent research project report;en
dc.subjectBusiness process modelingen
dc.subjectValidationen
dc.subjectVerificationen
dc.subject.ddc004
dc.titleLocalChecker plugin for the jABCen
dc.typeTextde
dc.type.publicationtypeStudyThesisde
dcterms.accessRightsopen access

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Studienarbeit.pdf
Size:
229.17 KB
Format:
Adobe Portable Document Format
Description:
DNB
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.85 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

LS 05 Programmiersysteme