|
|
Venues (Conferences, Journals, ...)
|
|
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 |
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 |
Displaying result #1 - #100 of 1735 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|