Qiao Yu, Shujuan Jiang, Junyan Qian, Lili Bo, Li Jiang, Gongjie Zhang,
... 6 1.6 965 188 777 19.5 Jedit 3.2 272 90 182 33.1 4. ... 6 1.6* 857 171 686 20.0 Jedit 4.0* 265 62 203 23.4 4. ... 1.4 versus 1.6 108 0.493 Jedit 3.
Tópico(s): Software System Performance and Reliability
2020 - Institution of Engineering and Technology | IET Software
... platform complexity, our current experiments are focused on jEdit, which is a powerful editor framework written in ... Thanks to the Isabelle/Scala layer, the Isabelle/jEdit implementation is very small and simple.
Tópico(s): Parallel Computing and Optimization Techniques
2012 - Elsevier BV | Electronic Notes in Theoretical Computer Science
Archana Patnaik, Neelamadhab Padhy,
... by the developer. Different open source systems like JEdit, Eclipse, and ArgoUML are evaluated in this work. ... having better performance as compared to Eclipse and JEdit projects.
Tópico(s): Software Reliability and Analysis Research
2021 - IGI Global | International Journal of Open Source Software and Processes
Wang Wei, Yun He, Tong Li, Jiajun Zhu, Jinzhuo Liu,
... of the changes of three open source systems: jEdit, muCommander, and JabRef. The impact sets obtained are ... 3% are obtained over a baseline technique for jEdit, muCommander, and JabRef, respectively.
Tópico(s): Software System Performance and Reliability
2018 - Hindawi Publishing Corporation | Scientific Programming
Reinhold Plösch, Johannes Bräuer, Christian Körner, Matthias Saft,
... data from six versions of the Java tool jEdit shows that MUSE is better suited to guide ... by MUSE highlights that the encapsulation property of jEdit became worse over time.These first promising results ...
Tópico(s): BIM and Construction Integration
2016 - EtH Zurich | The Journal of Object Technology
Eva Lindgren, Kirk P. H. Sullivan,
... English using the computer key-stroke logging program, JEdit. This program registers each key-stroke and its time of occurrence. JEdit includes a replay facility. Half of the writing ...
Tópico(s): Reading and Literacy Development
2003 - Taylor & Francis | Language Awareness
Jørgen Villadsen, Frederik Krogsdal Jacobsen,
... verified in Isabelle/HOL and integrated in Isabelle/jEdit using Isabelle/ML.
Tópico(s): Formal Methods in Verification
2021 - Springer Science+Business Media | Lecture notes in computer science
Rui Zhu, Yichao Dai, Tong Li, Zifei Ma, Ming Zheng, Yahui Tang, Jiayi Yuan, Y. Huang,
... real-world software development process logs, ArgoUML and jEdit, consisting of more than 80,000 events, covering ...
Tópico(s): Software Engineering Techniques and Practices
2019 - Institute of Electrical and Electronics Engineers | IEEE Access
Mouna Hadj-Kacem, Nadia Bouassida,
... are JHotDraw, Apache Karaf, Freemind, Apache Nutch and JEdit. In order to optimize our performance results, we ...
Tópico(s): Advanced Malware Detection Techniques
2019 - Springer Science+Business Media | Communications in computer and information science
Jinting Lu, Weiqin Ying, Xiaobing Sun, Bin Li, Wanzhi Wen, Cheng Zhou,
... INQRES, we perform an empirical study on the jEdit project. Empirical results show that INQRES can effectively ...
Tópico(s): Software Testing and Debugging Techniques
2018 - Institute of Electrical and Electronics Engineers | IEEE Access
Everton da S. Maldonado, Emad Shihab, Nikolaos Tsantalis,
... open source projects: Ant, ArgoUML, Columba, EMF, Hibernate, JEdit, JFreeChart, JMeter, JRuby and SQuirrel SQL and find ...
Tópico(s): Software Engineering Techniques and Practices
2017 - IEEE Computer Society | IEEE Transactions on Software Engineering
Ezgi Erturk, Ebru Akçapınar Sezer,
... in this paper comprise different versions of Ant, jEdit, Camel, Xalan, Log4j and Lucene projects from the ...
Tópico(s): Software Reliability and Analysis Research
2016 - Elsevier BV | Applied Soft Computing
Xiaobing Sun, Bixin Li, Hareton Leung, Bin Li, Yun Li,
... which are based on four subject systems, namely jEdit, ArgoUML, Rhino and KOffice. The empirical results show ...
Tópico(s): Software System Performance and Reliability
2015 - Elsevier BV | Information and Software Technology
... of the Genetic Algorithm using open source software jEdit is done.The results are measured in terms ...
Tópico(s): Software Testing and Debugging Techniques
2014 - | International Journal of Computer Science & Engineering Survey
Diomidis Papas, Christos Tjortjis,
... with two well known open source software systems, Jedit and Apache Geronimo. Results have consolidated key findings ...
Tópico(s): Advanced Malware Detection Techniques
2014 - Springer Science+Business Media | Lecture notes in computer science
Ruchika Malhotra, Ankita Bansal,
... and two open source, Promise datasets, IVY and JEdit using various machine learning methods and data mining ...
Tópico(s): Software Engineering Techniques and Practices
2014 - Wiley | Expert Systems
Ah‐Rim Han, Doo‐Hwan Bae, Sungdeok Cha,
... several large-scale open source projects such as jEdit, Columba, and JGit. The results show that our ...
Tópico(s): Software System Performance and Reliability
2014 - Elsevier BV | Information and Software Technology
... for Isabelle such as Proof General or Isabelle/jEdit.
Tópico(s): Polynomial and algebraic computation
2013 - Springer Science+Business Media | Lecture notes in computer science
Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad, Kwang H. Kim, Michael Lowry,
... realized with a plugin for the Java editor jEdit, where the WCET values are back-annotated to ...
Tópico(s): Embedded Systems Design Techniques
2012 - Institute of Electrical and Electronics Engineers | IEEE Transactions on Industrial Informatics
Stephen W. Thomas, Bram Adams, Ahmed E. Hassan, Dorothea Blostein,
... well-known and well-documented systems, JHotDraw and jEdit. We define and compute various metrics on the ...
Tópico(s): Advanced Software Engineering Methodologies
2012 - Elsevier BV | Science of Computer Programming
Andrea Capiluppi, Klaas-Jan Stol, Cornelia Boldyreff,
... different Open Source (OSS) projects — the Eclipse and jEdit IDEs and the Moodle e-learning system — looking ...
Tópico(s): Wikis in Education and Collaboration
2012 - Springer Science+Business Media | IFIP advances in information and communication technology
Vinay Singh, Vandana Bhattacherjee,
... metrics upon three open source projects i.e.Jedit, FreeCS and Llamma chart.Data extraction has been ...
Tópico(s): Software Testing and Debugging Techniques
2012 - | International Journal of Computer Applications
PIDE is a general framework for document-oriented prover interaction and integration, based on a bilingual architecture that combines ML and Scala [2]. The overall aim is to connect LCF-style provers like Isabelle [5, §6] (or Coq [5, §4] or HOL [5, §1]) with sophisticated front-end technology on the JVM platform, overcoming command-line interaction at last.
Tópico(s): Library Science and Information Systems
2012 - Springer Science+Business Media | Lecture notes in computer science
... and manually categorized throughout many versions of the jEdit system. The findings suggest that roughly half of ...
Tópico(s): Advanced Malware Detection Techniques
2011 - Springer Science+Business Media | Lecture notes in computer science
Sergio Di Martino, Filomena Ferrucci, Carmine Gravino, Federica Sarro,
... assessed carrying out an empirical analysis based on jEdit data from the PROMISE repository. We analyzed both ...
Tópico(s): Software System Performance and Reliability
2011 - Springer Science+Business Media | Lecture notes in computer science
Benjamin Livshits, Thomas Zimmermann,
... effort behind them. We have analyzed Eclipse and jEdit, two widely-used, mature, highly extensible applications consisting ...
Tópico(s): Software Reliability and Analysis Research
2005 - Association for Computing Machinery | ACM SIGSOFT Software Engineering Notes
D. Juliet Thessalonica, H. Khanna Nehemiah, S. Sreejith, A. Kannan,
... Experiments are carried out on Java software, namely jEdit, Nutch, Lucene, and Rhino. The proposed work detects ... and feature envy, with 98.78% accuracy for jEdit, 97.45% for Nutch, 95.58% for Lucene, ...
Tópico(s): Advanced Malware Detection Techniques
2023 - Hindawi Publishing Corporation | Scientific Programming
Ochin Sharma, Suresh Kumar, Nisheeth Joshi,
... many existing interest measures. We have used WEKA, JEDIT, ANT open source tools to conduct experiments. Through ...
Tópico(s): Data Management and Algorithms
2017 - Springer Nature | Smart innovation, systems and technologies
István Kádár, Péter Hegedűs, Rudolf Ferenć,
... evaluated our algorithm on three open source systems: jEdit, ArgoUML, and log4j. We found multiple errors in ...
Tópico(s): Software Testing and Debugging Techniques
2014 - University of Szeged | Acta Cybernetica
Shadi Banitaan, Mamdouh Alenezi,
... software evolution of two large open-source projects, JEdit and JHotDraw, over twelve versions. The results show ...
Tópico(s): Open Source Software Innovations
2015 - | International Journal of Software Engineering and Its Applications