8,808 Hits in 4.3 sec

An eclipse plug-in for model checking

D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar
Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004.  
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

Ralf Laue, Arian Storch
2017 International i* Workshop  
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

Michael J. A. Smith
2010 2010 Seventh International Conference on the Quantitative Evaluation of Systems  
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]

Jens Bendisposto, Michael Leuschel
2006 Lecture Notes in Computer Science  
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]

Bob de Vos, Lennart C. L. Kats, Cornelis Pronk
2011 Lecture Notes in Computer Science  
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

Anton Michlmayr, Pascal Fenkam, Schahram Dustdar
2006 30th Annual International Computer Software and Applications Conference (COMPSAC'06)  
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]

Carlos Alberto Fernandez-y-Fernandez, Jose Angel Quintanar Morales and Hermenegildo Fernandez Santos
2011 arXiv   pre-print
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

Ralf Laue, Arian Storch, Markus Schnädelbach
2017 International Conference on Advanced Information Systems Engineering  
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

Zhihui Yang, Michael Jiang
2007 IEEE Software  
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

Hilman Nuril Hadi, Tri Astoto Kurniawan, Ismiarta Aknuranda
2019 Journal of Information Technology and Computer Science  
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


Marcel Bruch, Christoph Bockisch, Thorsten Schäfer, Mira Mezini
2005 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange - eclipse '05  
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

Ralf Laue, Arian Storch, Felix Höß
2015 International Conference on Business Process Management  
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

Zmago Brezočnik, Boštjan Vlaovič, Aleksander Vreže
2014 Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014  
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

Thomas Thüm, Christian Kästner, Fabian Benduhn, Jens Meinicke, Gunter Saake, Thomas Leich
2014 Science of Computer Programming  
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

Catarina Almeida, Miguel Goulão, João Araújo
2013 International i* Workshop  
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