|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 485-488, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2003, Thessaloniki, Greece, June 30 - July 2, 2003, pp. 223, 2003, ACM, 1-58113-672-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 203-206, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA, pp. 160, 2007, IEEE Computer Society, 0-7695-2755-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 191-206, 2009, ACM, 978-1-60558-766-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
meta-tooling, generation, eclipse, IDE |
74 | Simon Lynch, Keerthi Rajendran |
Providing Integrated Development Environments for Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings, pp. 123-134, 2008, Springer, 978-3-540-87804-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, ICALT 2006, Kerkrade, The Netherlands, July 5-7, 2006, pp. 573-577, 2006, IEEE Computer Society, 0-7695-2632-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 473-480, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: Groupware: Design, Implementation, and Use, 14th International Workshop, CRIWG 2008, Omaha, NE, USA, September 14-18, 2008, Revised Selected Papers, pp. 107-120, 2008, Springer, 978-3-540-92830-0. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
eScience ![In: Third International Conference on e-Science and Grid Computing, e-Science 2007, 10-13 December 2007, Bangalore, India, pp. 499-507, 2007, IEEE Computer Society, 0-7695-3064-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
60 | Steven J. Vaughan-Nichols |
The Battle over the Universal Java IDE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 36(4), pp. 21-23, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
60 | Makarius Wenzel |
Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FLoC ![In: Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018., pp. 71-84, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
60 | Stefan Mitsch, André Platzer |
The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FM ![In: Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016., pp. 67-81, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE ![In: Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015., pp. 56-71, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
60 | Dipak L. Chaudhari, Om P. Damani |
Building an IDE for the Calculational Derivation of Imperative Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE ![In: Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015., pp. 1-13, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
60 | David R. Cok, Scott C. Johnson |
SPEEDY: An Eclipse-based IDE for invariant inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE ![In: Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014., pp. 44-57, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
60 | François Pessaux |
FoCaLiZe: Inside an F-IDE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE ![In: Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014., pp. 64-78, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
59 | Li Xu |
RobotStudio: a modern IDE-based approach to reality computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2007, Covington, Kentucky, USA, March 7-11, 2007, pp. 440-444, 2007, ACM, 1-59593-361-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: The 17th IEEE International Conference on Program Comprehension, ICPC 2009, Vancouver, British Columbia, Canada, May 17-19, 2009, pp. 291-292, 2009, IEEE Computer Society, 978-1-4244-3998-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28 - November 2, 2006, Papeete, Tahiti, French Polynesia, pp. 55, 2006, IEEE Computer Society, 0-7695-2703-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, pp. 53-68, 2008, Springer, 978-3-540-78790-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
50 | David Röthlisberger, Orla Greevy, Oscar Nierstrasz |
Exploiting Runtime Information in the IDE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: The 16th IEEE International Conference on Program Comprehension, ICPC 2008, Amsterdam, The Netherlands, June 10-13, 2008, pp. 63-72, 2008, IEEE Computer Society, 978-0-7695-3176-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Jim Goodwin, Richard Jones, Garry Morissette |
CROSSFIRE: an IDE for operational training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (3) ![In: Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 3, pp. 207-214, 2007, SCS/ACM, 1-56555-314-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2008, Madrid, Spain, June 30 - July 2, 2008, pp. 327, 2008, ACM, 978-1-60558-078-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPT ![In: Advanced Parallel Processing Technologies, 7th International Symposium, APPT 2007, Guangzhou, China, November 22-23, 2007, Proceedings, pp. 666-675, 2007, Springer, 978-3-540-76836-4. The full citation details ...](Pics/full.jpeg) |
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++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eTX ![In: Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, ETX 2005, San Diego, California, USA, October 16-17, 2005, pp. 100-104, 2005, ACM, 1-59593-342-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 445-464, 2009, ACM, 978-1-60558-766-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTVIS ![In: Proceedings of the ACM 2006 Symposium on Software Visualization, Brighton, UK, September 4-5, 2006, pp. 27-36, 2006, ACM, 1-59593-464-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@NFM ![The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
43 | Gidon Ernst, Johannes Blau, Toby Murray |
Deductive Verification via the Debug Adapter Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@NFM ![In: Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021., pp. 89-96, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
43 | Shiri Morshtein, Ran Ettinger, Shmuel S. Tyszberowicz |
Verifying Time Complexity of Binary Search using Dafny. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@NFM ![In: Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021., pp. 68-81, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
43 | Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen |
Analysis of Source Code Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@NFM ![In: Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021., pp. 31-38, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
43 | Benedikt F. H. Becker, Cláudio Belo Lourenço, Claude Marché |
Explaining Counterexamples with Giant-Step Assertion Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@NFM ![In: Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021., pp. 82-88, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
43 | Yannick Moy |
How the Analyzer can Help the User Help the Analyzer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@NFM ![In: Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021., pp. 97-104, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@NFM ![In: Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021., pp. 3-18, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
43 | Guillaume Melquiond |
Plotting in a Formally Verified Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@NFM ![In: Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021., pp. 39-45, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
43 | Andrea Domenici, Cinzia Bernardeschi |
A Logic Theory Pattern for Linearized Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@NFM ![In: Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021., pp. 46-52, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@NFM ![In: Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021., pp. 19-30, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
43 | Stefan Mitsch |
Implicit and Explicit Proof Management in KeYmaera X. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@NFM ![In: Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021., pp. 53-67, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FM ![The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FM ![In: Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., pp. 1-6, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
43 | Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo |
Simulation under Arbitrary Temporal Logic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FM ![In: Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., pp. 63-69, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
43 | Paolo Masci 0001, César A. Muñoz |
An Integrated Development Environment for the Prototype Verification System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FM ![In: Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., pp. 35-49, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
43 | Frédéric Tuong, Burkhart Wolff |
Deeply Integrating C11 Code Support into Isabelle/PIDE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FM ![In: Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., pp. 13-28, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
43 | Markus Alexander Kuppe, Leslie Lamport, Daniel Ricketts 0001 |
The TLA+ Toolbox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FM ![In: Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., pp. 50-62, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
43 | Peter D. Mosses |
A Component-Based Formal Language Workbench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FM ![In: Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., pp. 29-34, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
43 | Eduard Kamburjan, Jonas Stromberg |
Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FM ![In: Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., pp. 70-85, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
43 | Denis Cousineau 0002, David Mentré, Hiroaki Inoue |
Automated Deductive Verification for Ladder Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FM ![In: Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., pp. 7-12, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FLoC ![The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
43 | Rui Couto, José Creissac Campos, Nuno Macedo, Alcino Cunha |
Improving the Visualization of Alloy Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FLoC ![In: Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018., pp. 37-52, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
43 | Paolo Arcaini, Riccardo Melioli, Elvinia Riccobene |
AsmetaF: A Flattener for the ASMETA Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FLoC ![In: Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018., pp. 26-36, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
43 | Jan Bessai, Anna Vasileva |
User Support for the Combinator Logic Synthesizer Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FLoC ![In: Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018., pp. 16-25, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
43 | Sylvain Dailler, Claude Marché, Yannick Moy |
Lightweight Interactive Proving inside an Automatic Program Verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FLoC ![In: Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018., pp. 1-15, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FLoC ![In: Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018., pp. 53-70, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
43 | Nathaniel Watson, Steve Reeves, Paolo Masci 0001 |
Integrating User Design and Formal Models within PVSio-Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FLoC ![In: Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018., pp. 95-104, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
43 | Spencer Park, Emil Sekerinski |
A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FLoC ![In: Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018., pp. 85-94, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FM ![The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
43 | Lilian Burdy, David Déharbe, Étienne Prun |
Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa". ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FM ![In: Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016., pp. 82-90, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
43 | Andrew Healy, Rosemary Monahan, James F. Power |
Predicting SMT Solver Performance for Software Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FM ![In: Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016., pp. 20-37, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FM ![In: Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016., pp. 1-19, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FM ![In: Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016., pp. 38-52, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
43 | Frank Hilken, Martin Gogolla |
User Assistance Characteristics of the USE Model Checking Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FM ![In: Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016., pp. 91-97, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FM ![In: Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016., pp. 53-66, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FM ![The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE ![In: Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015., pp. 28-41, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Julien Signoles |
Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE ![In: Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015., pp. 86-96, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Bojan Nokovic, Emil Sekerinski |
A Holistic Approach in Embedded System Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE ![In: Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015., pp. 72-85, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE ![In: Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015., pp. 14-27, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE ![In: Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015., pp. 42-55, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE ![The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
43 | David R. Cok |
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE ![In: Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014., pp. 79-92, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
43 | John Witulski, Michael Leuschel |
Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE ![In: Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014., pp. 93-105, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE ![In: Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014., pp. 58-63, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
43 | K. Rustan M. Leino, Valentin Wüstholz |
The Dafny Integrated Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE ![In: Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014., pp. 3-15, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
43 | Jens Bendisposto, Sebastian Krings, Michael Leuschel |
Who watches the watchers: Validating the ProB Validation Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE ![In: Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014., pp. 16-29, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
43 | Mathieu Jaume, Théo Laurent |
Teaching Formal Methods and Discrete Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE ![In: Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014., pp. 30-43, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHM ![In: Proceedings of the 21st International Conference of the Association Francophone d'Interaction Homme-Machine, Grenoble, France, October 13-16, 2009, pp. 111-117, 2009, ACM, 978-1-60558-461-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Robotics Mechatronics ![In: J. Robotics Mechatronics 17(1), pp. 17-21, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Hideto Ide, Yoshinori Ide |
Quantitative Evaluating Reactions to Gustatory Stimuli. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Robotics Mechatronics ![In: J. Robotics Mechatronics 17(1), pp. 22-26, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Hideto Ide, Yoshinori Ide |
Discrimination Threshold of Tactility to ERP-Modulated Vibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Robotics Mechatronics ![In: J. Robotics Mechatronics 16(6), pp. 622-625, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Kenneth Scerri, Michael Dewar, Visakan Kadirkamanathan |
Estimation and Model Selection for an IDE-Based Spatio-Temporal Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 57(2), pp. 482-492, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings, pp. 559-562, 2009, IEEE, 978-1-4244-3452-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings, pp. 607-610, 2009, IEEE, 978-1-4244-3452-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Erdene-Ochir Tuguldur, Axel Hessler, Benjamin Hirsch, Sahin Albayrak |
Toolipse: An IDE for Development of JIAC Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ProMAS ![In: Programming Multi-Agent Systems, 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers, pp. 184-196, 2008, Springer, 978-3-642-03277-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Donny Kurniawan, David Abramson 0001 |
An IDE framework for grid application development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRID ![In: 9th IEEE/ACM International Conference on Grid Computing (Grid 2008), Tsukuba, Japan, September 29 - October 1, 2008, pp. 184-191, 2008, IEEE Computer Society, 978-1-4244-2578-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Leif Frenzel |
Experience report: building an eclipse-based IDE for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 220-222, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETX ![In: Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, ETX 2007, Montreal, Quebec, Canada, October 21, 2007, pp. 16-20, 2007, ACM, 978-1-60558-015-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 722-723, 2006, ACM, 1-59593-491-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2006, Bologna, Italy, June 26-28, 2006, pp. 280-284, 2006, ACM, 1-59593-055-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHINZ ![In: Proceedings of the 7th ACM SIGCHI New Zealand Chapter's International Conference on Computer-Human Interaction: Design Centered HCI, 2006, Christchurch, New Zealand, July 6-7, 2006, pp. 61-66, 2006, ACM, 1-59593-473-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
evaluation toolkit, heuristic evaluation, evaluation methods |
39 | Richard Priest, Beryl Plimmer |
RCA: experiences with an IDE annotation tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHINZ ![In: Proceedings of the 7th ACM SIGCHI New Zealand Chapter's International Conference on Computer-Human Interaction: Design Centered HCI, 2006, Christchurch, New Zealand, July 6-7, 2006, pp. 53-60, 2006, ACM, 1-59593-473-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), CD-ROM / Abstracts Proceedings, 4-7 January 2006, Kauai, HI, USA, 2006, IEEE Computer Society, 0-7695-2507-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | James H. Paterson, John Haddow, Miriam Birch, Alex Monaghan |
Using the BlueJ IDE in a data structures course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal, June 27-29, 2005, pp. 349, 2005, ACM, 1-59593-024-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 281-297, 2004, Springer, 3-540-21297-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Yinsheng Li, Weiming Shen 0001, Hamada H. Ghenniwa, Xiaohua Lu |
Model-Driven Agent-Based Web Services IDE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Conceptual Modeling for Advanced Application Domains, ER 2004 Workshops CoMoGIS, COMWIM, ECDM, CoMoA, DGOV, and ECOMO, Shanghai, China, November 8-12, 2004, Proceedings, pp. 518-528, 2004, Springer, 3-540-23722-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
39 | James H. Paterson, John Haddow |
A proposed design patterns extension for the blueJ IDE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2004, Leeds, UK, June 28-30, 2004, pp. 279, 2004, ACM, 1-58113-836-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 7th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2002, Aarhus, Denmark, June 24-28, 2002, pp. 224, 2002, ACM, 1-58113-499-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Anneke Kleppe |
Towards the Generation of a Text-Based IDE from a Language Metamodel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 3rd European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings, pp. 114-129, 2007, Springer, 978-3-540-72900-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERVICES ![In: World Congress on Services, SERVICES 2011, Washington, DC, USA, July 4-9, 2011, pp. 45-52, 2011, IEEE Computer Society, 978-1-4577-0879-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHASE ![In: Proceedings of the 2008 International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2008, Leipzig, Germany, Tuesday, May 13, 2008, pp. 73-76, 2008, ACM, 978-1-60558-039-5. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|