The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for ide with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1967-1990 (26) 1991-1992 (29) 1993-1994 (23) 1995-1996 (23) 1997-1998 (29) 1999-2000 (32) 2001 (20) 2002 (19) 2003 (32) 2004 (57) 2005 (70) 2006 (78) 2007 (83) 2008 (80) 2009 (90) 2010 (51) 2011 (41) 2012 (68) 2013 (47) 2014 (82) 2015 (79) 2016 (77) 2017 (88) 2018 (79) 2019 (75) 2020 (56) 2021 (73) 2022 (114) 2023 (81) 2024 (33)
Publication types (Num. hits)
article(502) book(5) incollection(7) inproceedings(1186) phdthesis(7) proceedings(28)
Venues (Conferences, Journals, ...)
CoRR(99) J. Robotics Mechatronics(82) LREC(32) SEFM Workshops(32) OOPSLA Companion(23) ETX(20) SIGCSE(20) ITiCSE(19) F-IDE@FM(18) ICSE(17) F-IDE(16) ICPR(15) IEICE Trans. Inf. Syst.(15) MSR(14) ITSC(13) Lang. Resour. Evaluation(13) More (+10 of total 747)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 677 occurrences of 414 keywords

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