Search results for "Ide"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
115	Philippe Charles, Robert M. Fuhrer, Stanley M. Sutton Jr.	IMP: a meta-tooling platform for creating language-specific ides in eclipse.	ASE	2007	DBLP DOI BibTeX RDF	IDE workbench, meta-tooling, generation, eclipse, IDE
97	Mark A. Boshart, Martha J. Kosa	Growing a GUI from an XML tree.	ITiCSE	2003	DBLP DOI BibTeX RDF	XML
92	Arie van Deursen, Ali Mesbah 0001, Bas Cornelissen, Andy Zaidman, Martin Pinzger 0001, Anja Guzzi	Adinda: a knowledgeable, browser-based IDE.	ICSE (2)	2010	DBLP DOI BibTeX RDF	interaction mining, collaboration, Web 2.0, programming environments, IDE
88	Greg D. Moody, Taylor Wells, Paul Benjamin Lowry	The Interactive Digital Entertainment (IDE) Unification Framework: Creating a Taxonomy of IDE and Lifestyle Computing.	HICSS	2007	DBLP DOI BibTeX RDF
74	Philippe Charles, Robert M. Fuhrer, Stanley M. Sutton Jr., Evelyn Duesterwald, Jurgen J. Vinju	Accelerating the creation of customized, language-Specific IDEs in Eclipse.	OOPSLA	2009	DBLP DOI BibTeX RDF	meta-tooling, generation, eclipse, IDE
74	Simon Lynch, Keerthi Rajendran	Providing Integrated Development Environments for Multi-Agent Systems.	MATES	2008	DBLP DOI BibTeX RDF	MAS, software architectures, debugging, deployment, IDE
71	Ana M. Gonzalez de Miguel	IDE-LVO: An Intelligent Delivery Engine of Learning Virtual Objects for Complex Cooperative Environments.	ICALT	2006	DBLP DOI BibTeX RDF	eLearning Analysis Methodology, Intelligent Delivery Engine, Software Architecture Design, Cooperative Models, Levels of Abstraction
70	Ying Zhang 0012, Gang Huang 0001, Nuyun Zhang, Hong Mei 0001	Editable Replay of IDE-Based Repetitive Tasks.	COMPSAC	2008	DBLP DOI BibTeX RDF	Editable Visual Replay, Repetitive Tasks, IDE, Automatic
63	Hani Bani-Salameh, Clinton L. Jeffery, Ziad Al-Sharif, Iyad Abu Doush	Integrating Collaborative Program Development and Debugging within a Virtual Environment.	CRIWG	2008	DBLP DOI BibTeX RDF	run-time debugging, Integrated Development Environment (IDE), collaborative environment, debugger
60	Sukeshini, Kalaiselvan K., Vallinayagam P., Vijaya Nagamani M. S., N. Mangala, B. B. Prahlada Rao, N. Mohanram	Integrated Development Environment for GARUDA Grid (G-IDE).	eScience	2007	DBLP DOI BibTeX RDF
60	Steven J. Vaughan-Nichols	The Battle over the Universal Java IDE.	Computer	2003	DBLP DOI BibTeX RDF
60	Makarius Wenzel	Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents.	F-IDE@FLoC	2018	DBLP DOI BibTeX RDF
60	Stefan Mitsch, André Platzer	The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving.	F-IDE@FM	2016	DBLP DOI BibTeX RDF
60	Nabil M. Kabbani, Daniel Welch 0001, Caleb H. Priester, Stephen Schaub, Blair Durkee, Yu-Shan Sun, Murali Sitaraman	Formal Reasoning Using an Iterative Approach with an Integrated Web IDE.	F-IDE	2015	DBLP DOI BibTeX RDF
60	Dipak L. Chaudhari, Om P. Damani	Building an IDE for the Calculational Derivation of Imperative Programs.	F-IDE	2015	DBLP DOI BibTeX RDF
60	David R. Cok, Scott C. Johnson	SPEEDY: An Eclipse-based IDE for invariant inference.	F-IDE	2014	DBLP DOI BibTeX RDF
60	François Pessaux	FoCaLiZe: Inside an F-IDE.	F-IDE	2014	DBLP DOI BibTeX RDF
59	Li Xu	RobotStudio: a modern IDE-based approach to reality computing.	SIGCSE	2007	DBLP DOI BibTeX RDF	eclipse, IDE, compiler construction, educational robotics
54	Glauco de Figueiredo Carneiro, Manoel G. Mendonça, Rodrigo Chaves Magnavita	Proposing a visual approach to support the characterization of software comprehension activities.	ICPC	2009	DBLP DOI BibTeX RDF
54	Juha Järvensivu, Matti Kosola, Mikko Kuusipalo, Pekka Reijula, Tommi Mikkonen	Developing an Open Source Integrated Development Environment for a Mobile Device.	ICSEA	2006	DBLP DOI BibTeX RDF	open source, integrated development environment
50	Atanas Rountev, Mariana Sharp, Guoqing Xu 0001	IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries.	CC	2008	DBLP DOI BibTeX RDF
50	David Röthlisberger, Orla Greevy, Oscar Nierstrasz	Exploiting Runtime Information in the IDE.	ICPC	2008	DBLP DOI BibTeX RDF
50	Jim Goodwin, Richard Jones, Garry Morissette	CROSSFIRE: an IDE for operational training.	SpringSim (3)	2007	DBLP BibTeX RDF	cognitive readiness, operational training, intelligent agents, integrated development environment
48	Michael Kölling	Greenfoot: a highly graphical ide for learning object-oriented programming.	ITiCSE	2008	DBLP DOI BibTeX RDF	java, computing education, ide, greenfoot
48	Ce Yu, Jizhou Sun, Yanyan Huang, Huabei Wu, Xu Zhen, Min Sun	EasyPAB: An Extensible IDE Framework for Parallel Applications.	APPT	2007	DBLP DOI BibTeX RDF	Architectural Skeleton, EasyPAB, Parallel Computing, Design Pattern, Eclipse, IDE
47	Anthony Allowatt, Stephen Edwards	IDE Support for test-driven development and automated grading in both Java and C++.	eTX	2005	DBLP DOI BibTeX RDF	electronic assignment submission, electronic grading, test-first coding, C++, extreme programming, test-driven development, Eclipse IDE
43	Lennart C. L. Kats, Maartje de Jonge, Emma Nilsson-Nyman, Eelco Visser	Providing rapid feedback in generated modular language environments: adding error recovery to scannerless generalized-LR parsing.	OOPSLA	2009	DBLP DOI BibTeX RDF	composable languages, permissive grammars, sglr, error recovery, language extensions, embedded languages, sdf
43	Jhilmil Jain, James H. Cross II, T. Dean Hendrix, Larry A. Barowski	Experimental evaluation of animated-verifying object viewers for Java.	SOFTVIS	2006	DBLP DOI BibTeX RDF	data structures, program visualization, algorithm animation
43	José Proença, Andrei Paskevich (eds.)	Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021.	F-IDE@NFM	2021	DBLP DOI BibTeX RDF
43	Gidon Ernst, Johannes Blau, Toby Murray	Deductive Verification via the Debug Adapter Protocol.	F-IDE@NFM	2021	DBLP DOI BibTeX RDF
43	Shiri Morshtein, Ran Ettinger, Shmuel S. Tyszberowicz	Verifying Time Complexity of Binary Search using Dafny.	F-IDE@NFM	2021	DBLP DOI BibTeX RDF
43	Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen	Analysis of Source Code Using UPPAAL.	F-IDE@NFM	2021	DBLP DOI BibTeX RDF
43	Benedikt F. H. Becker, Cláudio Belo Lourenço, Claude Marché	Explaining Counterexamples with Giant-Step Assertion Checking.	F-IDE@NFM	2021	DBLP DOI BibTeX RDF
43	Yannick Moy	How the Analyzer can Help the User Help the Analyzer.	F-IDE@NFM	2021	DBLP DOI BibTeX RDF
43	Jonas Kjær Rask, Frederik Palludan Madsen, Nick Battle, Hugo Daniel Macedo, Peter Gorm Larsen	The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions.	F-IDE@NFM	2021	DBLP DOI BibTeX RDF
43	Guillaume Melquiond	Plotting in a Formally Verified Way.	F-IDE@NFM	2021	DBLP DOI BibTeX RDF
43	Andrea Domenici, Cinzia Bernardeschi	A Logic Theory Pattern for Linearized Control Systems.	F-IDE@NFM	2021	DBLP DOI BibTeX RDF
43	Rutger van Beusekom, Bert de Jonge, Paul F. Hoogendijk, Jan Nieuwenhuizen	Dezyne: Paving the Way to Practical Formal Software Engineering.	F-IDE@NFM	2021	DBLP DOI BibTeX RDF
43	Stefan Mitsch	Implicit and Explicit Proof Management in KeYmaera X.	F-IDE@NFM	2021	DBLP DOI BibTeX RDF
43	Rosemary Monahan, Virgile Prevosto, José Proença (eds.)	Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019.	F-IDE@FM	2019	DBLP DOI BibTeX RDF
43	Jan Bessai, Moritz Roidl, Anna Vasileva	Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis.	F-IDE@FM	2019	DBLP DOI BibTeX RDF
43	Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo	Simulation under Arbitrary Temporal Logic Constraints.	F-IDE@FM	2019	DBLP DOI BibTeX RDF
43	Paolo Masci 0001, César A. Muñoz	An Integrated Development Environment for the Prototype Verification System.	F-IDE@FM	2019	DBLP DOI BibTeX RDF
43	Frédéric Tuong, Burkhart Wolff	Deeply Integrating C11 Code Support into Isabelle/PIDE.	F-IDE@FM	2019	DBLP DOI BibTeX RDF
43	Markus Alexander Kuppe, Leslie Lamport, Daniel Ricketts 0001	The TLA+ Toolbox.	F-IDE@FM	2019	DBLP DOI BibTeX RDF
43	Peter D. Mosses	A Component-Based Formal Language Workbench.	F-IDE@FM	2019	DBLP DOI BibTeX RDF
43	Eduard Kamburjan, Jonas Stromberg	Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability.	F-IDE@FM	2019	DBLP DOI BibTeX RDF
43	Denis Cousineau 0002, David Mentré, Hiroaki Inoue	Automated Deductive Verification for Ladder Programming.	F-IDE@FM	2019	DBLP DOI BibTeX RDF
43	Paolo Masci 0001, Rosemary Monahan, Virgile Prevosto (eds.)	Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018.	F-IDE@FLoC	2018	DBLP DOI BibTeX RDF
43	Rui Couto, José Creissac Campos, Nuno Macedo, Alcino Cunha	Improving the Visualization of Alloy Instances.	F-IDE@FLoC	2018	DBLP DOI BibTeX RDF
43	Paolo Arcaini, Riccardo Melioli, Elvinia Riccobene	AsmetaF: A Flattener for the ASMETA Framework.	F-IDE@FLoC	2018	DBLP DOI BibTeX RDF
43	Jan Bessai, Anna Vasileva	User Support for the Combinator Logic Synthesizer Framework.	F-IDE@FLoC	2018	DBLP DOI BibTeX RDF
43	Sylvain Dailler, Claude Marché, Yannick Moy	Lightweight Interactive Proving inside an Automatic Program Verifier.	F-IDE@FLoC	2018	DBLP DOI BibTeX RDF
43	Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer	Experience Report on Formally Verifying Parts of OpenJDK's API with KeY.	F-IDE@FLoC	2018	DBLP DOI BibTeX RDF
43	Nathaniel Watson, Steve Reeves, Paolo Masci 0001	Integrating User Design and Formal Models within PVSio-Web.	F-IDE@FLoC	2018	DBLP DOI BibTeX RDF
43	Spencer Park, Emil Sekerinski	A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper).	F-IDE@FLoC	2018	DBLP DOI BibTeX RDF
43	Catherine Dubois, Paolo Masci 0001, Dominique Méry (eds.)	Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016.	F-IDE@FM	2017	DBLP DOI BibTeX RDF
43	Lilian Burdy, David Déharbe, Étienne Prun	Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa".	F-IDE@FM	2016	DBLP DOI BibTeX RDF
43	Andrew Healy, Rosemary Monahan, James F. Power	Predicting SMT Solver Performance for Software Verification.	F-IDE@FM	2016	DBLP DOI BibTeX RDF
43	Camille Fayollas, Célia Martinie, Philippe A. Palanque, Paolo Masci 0001, Michael D. Harrison, José Creissac Campos, Saulo Rodrigues e Silva	Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web.	F-IDE@FM	2016	DBLP DOI BibTeX RDF
43	Gurvan Le Guernic, Benoît Combemale, José Angel Galindo	Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework.	F-IDE@FM	2016	DBLP DOI BibTeX RDF
43	Frank Hilken, Martin Gogolla	User Assistance Characteristics of the USE Model Checking Tool.	F-IDE@FM	2016	DBLP DOI BibTeX RDF
43	Gioacchino Mauro, Harold Thimbleby, Andrea Domenici, Cinzia Bernardeschi	Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation.	F-IDE@FM	2016	DBLP DOI BibTeX RDF
43	Catherine Dubois, Paolo Masci 0001, Dominique Méry (eds.)	Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015.	F-IDE@FM	2015	DBLP DOI BibTeX RDF
43	Frank Dordowsky	An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project.	F-IDE	2015	DBLP DOI BibTeX RDF
43	Julien Signoles	Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example.	F-IDE	2015	DBLP DOI BibTeX RDF
43	Bojan Nokovic, Emil Sekerinski	A Holistic Approach in Embedded System Development.	F-IDE	2015	DBLP DOI BibTeX RDF
43	Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagic, Georgios Kanakis, Kenneth Lausdahl, Peter W. V. Tran-Jørgensen	Towards Enabling Overture as a Platform for Formal Notation IDEs.	F-IDE	2015	DBLP DOI BibTeX RDF
43	Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen	The AutoProof Verifier: Usability by Non-Experts and on Standard Code.	F-IDE	2015	DBLP DOI BibTeX RDF
43	Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry (eds.)	Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014.	F-IDE	2014	DBLP DOI BibTeX RDF
43	David R. Cok	OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse.	F-IDE	2014	DBLP DOI BibTeX RDF
43	John Witulski, Michael Leuschel	Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB.	F-IDE	2014	DBLP DOI BibTeX RDF
43	Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek	Experience in using a typed functional language for the development of a security application.	F-IDE	2014	DBLP DOI BibTeX RDF
43	K. Rustan M. Leino, Valentin Wüstholz	The Dafny Integrated Development Environment.	F-IDE	2014	DBLP DOI BibTeX RDF
43	Jens Bendisposto, Sebastian Krings, Michael Leuschel	Who watches the watchers: Validating the ProB Validation Tool.	F-IDE	2014	DBLP DOI BibTeX RDF
43	Mathieu Jaume, Théo Laurent	Teaching Formal Methods and Discrete Mathematics.	F-IDE	2014	DBLP DOI BibTeX RDF
42	André Jodoin, Michel C. Desmarais	L'environnement de développement dynamique (EDD) pour le prototypage rapide d'interfaces graphiques.	IHM	2009	DBLP DOI BibTeX RDF	interface description languages, XML, visual programming, IDE, distributed environments, UIML
39	Hideto Ide, Yoshinori Ide	Modulated Vibrations Used to Display Tactile Sense.	J. Robotics Mechatronics	2005	DBLP DOI BibTeX RDF
39	Hideto Ide, Yoshinori Ide	Quantitative Evaluating Reactions to Gustatory Stimuli.	J. Robotics Mechatronics	2005	DBLP DOI BibTeX RDF
39	Hideto Ide, Yoshinori Ide	Discrimination Threshold of Tactility to ERP-Modulated Vibration.	J. Robotics Mechatronics	2004	DBLP DOI BibTeX RDF
39	Kenneth Scerri, Michael Dewar, Visakan Kadirkamanathan	Estimation and Model Selection for an IDE-Based Spatio-Temporal Model.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
39	Ying Zhang 0012, Gang Huang 0001, Nuyun Zhang, Hong Mei 0001	SmartTutor: Creating IDE-based interactive tutorials via editable replay.	ICSE	2009	DBLP DOI BibTeX RDF
39	Séverine Sentilles, Anders Pettersson, Dag Nyström, Thomas Nolte, Paul Pettersson, Ivica Crnkovic	Save-IDE - A tool for design, analysis and implementation of component-based embedded systems.	ICSE	2009	DBLP DOI BibTeX RDF
39	Erdene-Ochir Tuguldur, Axel Hessler, Benjamin Hirsch, Sahin Albayrak	Toolipse: An IDE for Development of JIAC Applications.	ProMAS	2008	DBLP DOI BibTeX RDF
39	Donny Kurniawan, David Abramson 0001	An IDE framework for grid application development.	GRID	2008	DBLP DOI BibTeX RDF
39	Leif Frenzel	Experience report: building an eclipse-based IDE for Haskell.	ICFP	2007	DBLP DOI BibTeX RDF
39	Patricia Jablonski, Daqing Hou	CReN: a tool for tracking copy-and-paste code clones and renaming identifiers consistently in the IDE.	ETX	2007	DBLP DOI BibTeX RDF	consistent renaming, copy-and-paste programming, intent inference, Java, error detection, code clone, abstract syntax tree, Eclipse integrated development environment
39	Philippe Charles, Julian Dolby, Robert M. Fuhrer, Stanley M. Sutton Jr., Mandana Vaziri	SAFARI: a meta-tooling framework for generating language-specific IDE's.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	SAFARI, environment framework, Eclipse
39	James H. Paterson, John Haddow, Michael Nairn	A design patterns extension for the BlueJ IDE.	ITiCSE	2006	DBLP DOI BibTeX RDF	java, design patterns, teaching, BlueJ
39	Elizabeth A. Kemp, D. T. Setungamudalige	A resource support toolkit (R-IDE): supporting the DECIDE framework.	CHINZ	2006	DBLP DOI BibTeX RDF	evaluation toolkit, heuristic evaluation, evaluation methods
39	Richard Priest, Beryl Plimmer	RCA: experiences with an IDE annotation tool.	CHINZ	2006	DBLP DOI BibTeX RDF	code review support, ink annotation, pen-base interaction
39	Naveen Srinivasan, Massimo Paolucci 0001, Katia P. Sycara	Semantic Web Service Discovery in the OWL-S IDE.	HICSS	2006	DBLP DOI BibTeX RDF
39	James H. Paterson, John Haddow, Miriam Birch, Alex Monaghan	Using the BlueJ IDE in a data structures course.	ITiCSE	2005	DBLP DOI BibTeX RDF	java, data structures, teaching
39	Jennifer Lhoták, Ondrej Lhoták, Laurie J. Hendren	Integrating the Soot Compiler Infrastructure into an IDE.	CC	2004	DBLP DOI BibTeX RDF
39	Yinsheng Li, Weiming Shen 0001, Hamada H. Ghenniwa, Xiaohua Lu	Model-Driven Agent-Based Web Services IDE.	ER (Workshops)	2004	DBLP DOI BibTeX RDF
39	James H. Paterson, John Haddow	A proposed design patterns extension for the blueJ IDE.	ITiCSE	2004	DBLP DOI BibTeX RDF	java, design patterns, teaching, BlueJ
39	Jason N. Wyatt, Martha J. Kosa, Mark A. Boshart	Implementing student ideas in CS2: a simple IDE.	ITiCSE	2002	DBLP DOI BibTeX RDF
38	Anneke Kleppe	Towards the Generation of a Text-Based IDE from a Language Metamodel.	ECMDA-FA	2007	DBLP DOI BibTeX RDF	text-based languages, compilers, generation, domain specific languages, metamodeling, parsing, IDE
37	Ling Wu, Guangtai Liang, Shi Kui, Qianxiang Wang	CEclipse: An Online IDE for Programing in the Cloud.	SERVICES	2011	DBLP DOI BibTeX RDF	Online IDE, Cloud Computing, Program Analysis, Service Composition, Program Behavior
37	Lucas Layman, Laurie A. Williams, Robert St. Amant	MimEc: intelligent user notification of faults in the eclipse IDE.	CHASE	2008	DBLP DOI BibTeX RDF	intelligent IDE, psychology of programming