LocalChecker plugin for the jABC

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	Steffen, Bernhard	-
dc.contributor.author	Neubauer, Johannes	-
dc.date.accessioned	2013-03-26T14:07:44Z	-
dc.date.available	2013-03-26T14:07:44Z	-
dc.date.issued	2013-03-26	-
dc.identifier.uri	http://hdl.handle.net/2003/30118	-
dc.identifier.uri	http://dx.doi.org/10.17877/DE290R-8519	-
dc.description.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.	en
dc.language.iso	en	de
dc.relation.ispartofseries	Student research project report;	en
dc.subject	Business process modeling	en
dc.subject	Validation	en
dc.subject	Verification	en
dc.subject.ddc	004	-
dc.title	LocalChecker plugin for the jABC	en
dc.type	Text	de
dc.contributor.referee	Nagel, Ralf	-
dc.date.accepted	2007-07-02	-
dc.type.publicationtype	StudyThesis	de
dcterms.accessRights	open access	-
Appears in Collections:	LS 05 Programmiersysteme

Files in This Item:

File	Description	Size	Format
Studienarbeit.pdf	DNB	229.17 kB	Adobe PDF	View/Open

This item is protected by original copyright

View License

Show simple item record

This item is protected by original copyright rightsstatements.org