A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
Filters
An eclipse plug-in for model checking
Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004.
Preserved Fulltext
While model checking has been successful in uncovering subtle bugs in code, its adoption in software engineering practice has been hampered by the absence of a simple interface to the programmer in an ...
We describe an integration of the software model checker BLAST into the Eclipse development environment. ...
To overcome this problem, we have designed a plug-in for the model checker BLAST [6] into the Eclipse Development Environment 1 , which allows the engineer to apply sophisticated techniques for assuring ...
doi:10.1109/wpc.2004.1311069
dblp:conf/iwpc/BeyerHJM04
fatcat:zcobuowkijdg5aajsmgmmsh64q
Regression Testing for Properties of Evolving i* Models
2017
International i* Workshop
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present a tool that transfers this idea to the area of visual modelling, in particular to i * modelling. ...
The modeller can select typical properties (expressed in natural language) from a menu. ...
Previously developed plug-ins are already part of the i * modelling tool openOME 2 . Unfortunately, openOME is based on an older Eclipse version than the one we used for our plug-ins. ...
dblp:conf/istar/0001S17
fatcat:rd22tr4hurcrtdy6ulmakkdqmy
Abstraction and Model Checking in the PEPA Plug-In for Eclipse
2010
2010 Seventh International Conference on the Quantitative Evaluation of Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
We present an extension to the PEPA plug-in for Eclipse that enables abstracting and model checking of PEPA models. This implements two new features. ...
The model checking view provides an interface for constructing CSL properties, which are then verified with respect to the specified abstraction. ...
ACKNOWLEDGEMENTS We would like to thank Jane Hillston and Stephen Gilmore for their feedback and support while developing the tool, and Mirco Tribastone for his advice on Eclipse development. ...
doi:10.1109/qest.2010.27
dblp:conf/qest/Smith10
fatcat:4rgzzpn2nfgh7k75lqqigsnyrm
BE4: The B Extensible Eclipse Editing Environment
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
Introduction The open-source Eclipse platform 1 has become hugely popular as an integrated development environment for Java, and a considerable number of plug-ins have been developed for other programming ...
In this paper we present a new plug-in for Eclipse, supporting the B-method and B's abstract machine notation (AMN) [?] . ...
doi:10.1007/11955757_27
fatcat:vczp3rnmmnbchdpizsf2rmad5e
EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
This paper presents EpiSpin: an Eclipse plug-in for editing Promela models. ...
It provides error markers as you type, various editor services and an interface to perform verification and simulation runs using Spin. ...
In this paper, we introduce EpiSpin 1 , an Eclipse plug-in for editing Promela programs and starting Spin verification and simulation runs. ...
doi:10.1007/978-3-642-22306-8_12
fatcat:2agbfl55enfq3oui4auprfyolm
Architecting a Testing Framework for Publish/Subscribe Applications
2006
30th Annual International Computer Software and Applications Conference (COMPSAC'06)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
We have constructed a framework called RAY for testing publish/subscribe applications. This framework is implemented as an Eclipse plug-in. ...
The publish/subscribe style is an emerging paradigm for the construction of loosely coupled systems. Yet, the verification of such systems remains difficult. ...
Figure 2 . 2 Eclipse Extension Model may be used for the communication between host and extender plug-in. ...
doi:10.1109/compsac.2006.28
dblp:conf/compsac/MichlmayrFD06
fatcat:rjv6lt2j7zfa5gmoxbitufirbe
An IDE to Build and Check Task Flow Models
[article]
2011
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
This paper presents the Eclipse plug-ins for the Task Flow model in the Discovery Method. These plug-ins provide an IDE for the Task Algebra compiler and the model-checking tools. ...
The model-checking techniques were developed to validate Task Models represented in the algebra. ...
Our research presented the Eclipse plug-ins for the Task Flow model in the Discovery Method. ...
arXiv:1107.2683v1
fatcat:rosocasja5hnne3ewktywpex4m
Regression Testing for Visual Models
2017
International Conference on Advanced Information Systems Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present a set of Eclipse plug-ins which adapts the idea of regression testing for the area of visual modelling in software engineering: Expected properties of models in languages such ...
The solution should work with any visual modelling language included into Eclipse -both for standardised as for domain-specific languages. ...
Originally the plug-ins have been developed for the bflow* Toolbox [2] , an Eclipse-based open-source tool for business process modelling with Event-Driven Process Chains. ...
dblp:conf/caise/0001SS17
fatcat:eucipledkjcevl762tdwipgblu
Using Eclipse as a Tool-Integration Platform for Software Development
2007
IEEE Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We developed the second tier, the domain model layer, on top of an EMF plug-in to specify the service-creation domain rules and constraints. ...
You can get new plug-ins and update existing ones by creating an "update site project" through the Eclipse Plug-in Development Environment. ...
doi:10.1109/ms.2007.58
fatcat:vnvzeiukfvbsrhgl3i3eedojaa
Plug-in for Annotating Semantic Efferct on BPMN Business Process Models
2019
Journal of Information Technology and Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The outcomes of plugin development of eclipse BPMN2 modeler for representing semantic effect arealso described in this paper. ...
In practice, several modeling tools stilldo not provide a feature for managing information regarding the effects/resultsin the business process model. ...
In Figure 3 , the Eclipse Modeling Platform becomes the main platform for running a BPMN2 Modeler and plug-in effect annotation. ...
doi:10.25126/jitecs.20194255
fatcat:fkh6f54wcrhyplunmkqghbhuia
eAssignment
2005
Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange - eclipse '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Developing Eclipse plug-ins often involves the creation of data structures and corresponding data processing code. ...
In developing eAssignment, an Eclipse-bases application to support electronic programming exercises, we identified several issues with implicit models of data structures and handwritten code needed to ...
Acknowledgements We thank Matthias Merz who is implementing the automated test feature for the eAssignment plug-in. ...
doi:10.1145/1117696.1117719
dblp:conf/eclipse/BruchBSM05
fatcat:vdiiijuomfgozmz5wsqm6xbnre
The bflow* Hive - Adding Functionality to Eclipse-based Modelling Tools
2015
International Conference on Business Process Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The bflow* Hive is a collection of Eclipse plug-ins that can be integrated into various Eclipse-based modeling tools. ...
It adds several features that are useful in particular for model analysis and model exchange. ...
Therefore we refactored our code which resulted in Eclipse plug-ins that can be used with other modelling tools based on Eclipse using EMF and GMF or Graphiti. ...
dblp:conf/bpm/0001SH15
fatcat:m52w2dtshfgzvbvtk4tr7rfkde
SpinRCP: the eclipse rich client platform integrated development environment for the spin model checker
2014
Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
SpinRCP is implemented in Java as an Eclipse Rich Client Platform (RCP) product. ...
SpinRCP is an integrated development environment (IDE) for the Spin model checker that is used for verifying the correctness of concurrent and distributed systems. ...
, we developed an Eclipse Plug-in for Spin in Java [7] . iSpin [6] is the graphical user interface that has replaced Xspin since Spin Version 6.0.0. ...
doi:10.1145/2632362.2632380
dblp:conf/spin/BrezocnikVV14
fatcat:eye2di6hynesvnlqnuhjhphjp4
FeatureIDE: An extensible framework for feature-oriented software development
2014
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
FeatureIDE is an open-source framework for feature-oriented software development (FOSD) based on Eclipse. FOSD is a paradigm for construction, customization, and synthesis of software systems. ...
All phases of FOSD are supported in FeatureIDE, namely domain analysis, requirements analysis, domain implementation, and software generation. ...
Acknowledgments We like to thank Marko Rosenmüller for comments on an earlier draft of this paper. FeatureIDE is supported by the METOP GmbH. ...
doi:10.1016/j.scico.2012.06.002
fatcat:2wgchpvcf5amnbm724qdzn4rfa
A Systematic Comparison of i* Modelling Tools Based on Syntactic and Well-formedness Rules
2013
International i* Workshop
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Choosing the most adequate tool for a specific modelling situation can be a challenge. ...
In addition, this comparison also helps identifying opportunities for further evolution of the surveyed tools. ...
an Eclipse plug-in for modelling, analysis and transformation in both GRL and UCM (Use Case Map) notation. ...
dblp:conf/istar/AlmeidaG013
fatcat:lukyyffsqvdsnoimgu7jqibtfu
« Previous
Showing results 1 — 15 out of 8,808 results