Výsledky vyhledávání - Testing and Debugging—Error handling and recovery General Terms Design

Discovering faults in idiom-based exception handling

Autoři: Magiel Bruntink The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Magiel Bruntink The Pennsylvania State University CiteSeerX Archives

Zdroj: http://homepages.cwi.nl/~arie/papers/exceptions/icse2006.pdf.

Témata: Reliability, D.2.5 [Software Engineering, Testing and Debugging—Error handling and recovery General Terms Design, Verification Keywords Exception handling, fault model, program analysis

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.7709; http://homepages.cwi.nl/~arie/papers/exceptions/icse2006.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.7709
http://homepages.cwi.nl/~arie/papers/exceptions/icse2006.pdf

A framework for command processing in Java/Swing programs based on the MVC pattern

Autoři: Andreas Naderlinger Josef Templ The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Andreas Naderlinger Josef Templ The Pennsylvania State University CiteSeerX Archives

Zdroj: http://softwareresearch.net/fileadmin/src/docs/teaching/WS08/SE/PPPJ_2008_CommandFramework.pdf.

Témata: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Constructs and Features – Frameworks, Patterns. D.2.5 [Software Engineering, Testing and debugging – Error handling and recovery. D.2.13 [Software Engineering, Reusable Software – Reusable libraries. General Terms Design, Reliability, Languages. Keywords Framework, MVC, Command, Pattern, Exception, Undo, Redo, Java, Swing

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.628.1343; http://softwareresearch.net/fileadmin/src/docs/teaching/WS08/SE/PPPJ_2008_CommandFramework.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.628.1343
http://softwareresearch.net/fileadmin/src/docs/teaching/WS08/SE/PPPJ_2008_CommandFramework.pdf

The process and value of reprogramming a legacy global hydrological model.

Autoři: Nyenah, Emmanuel Döll, Petra Flörke, Martina a další

Zdroj: Geoscientific Model Development; 2025, Vol. 18 Issue 17, p5635-5653, 19p

Témata: HYDROLOGIC models, PYTHON programming language, AGILE software development, REPRODUCIBLE research, MAINTAINABILITY (Engineering), SOFTWARE refactoring, SYSTEMS design

A Comprehensive Review of Remote Sensing and Artificial Intelligence Integration: Advances, Applications, and Challenges.

Autoři: Kazanskiy, Nikolay Khabibullin, Roman Nikonorov, Artem a další

Zdroj: Sensors (14248220); Oct2025, Vol. 25 Issue 19, p5965, 42p

Témata: REMOTE sensing, ARTIFICIAL intelligence, DEEP learning, AUTOMATION software, ENVIRONMENTAL monitoring, INFORMATION processing, MACHINE learning

Do We Need to Handle Every Temporal Violation in Scientific Workflow Systems?

Autoři: XIAO LIU YUN YANG DONG YUAN a další

Zdroj: ACM Transactions on Software Engineering & Methodology; Feb2014, Vol. 23 Issue 1, p1-34, 34p

Témata: QUALITY of service, WORKFLOW management systems, CONFORMANCE testing, COST effectiveness, RADIO telescopes, PARKES process

ASSIST-IoT: A Modular Implementation of a Reference Architecture for the Next Generation Internet of Things.

Autoři: Szmeja, Paweł Fornés-Leal, Alejandro Lacalle, Ignacio a další

Zdroj: Electronics (2079-9292); Feb2023, Vol. 12 Issue 4, p854, 33p

Témata: INTERNET of things, SMART cities, INTEGRATED software, MODULAR design, GROUPOIDS, AUTOMOBILE software

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p

Témata: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

A qualitative assessment of using ChatGPT as large language model for scientific workflow development.

Autoři: Sänger, Mario De Mecquenem, Ninon Lewińska, Katarzyna Ewa a další

Zdroj: GigaScience; 2024, Vol. 13 Issue 1, p1-19, 19p

Témata: LANGUAGE models, CHATGPT, PROGRAMMING languages, SCIENTIFIC language, COMPUTER workstation clusters, WORKFLOW management systems, WORKFLOW

Ensuring scientific reproducibility in bio-macromolecular modeling via extensive, automated benchmarks.

Autoři: Koehler Leman, Julia Lyskov, Sergey Lewis, Steven M. a další

Zdroj: Nature Communications; 11/29/2021, Vol. 12 Issue 1, p1-15, 15p

Témata: HIGH performance computing, ENGINEERING standards, SOFTWARE engineering, COMPUTER workstation clusters, APPLICATION software, SCIENTIFIC community

Machine Systems—Human factors

Autoři: Richard P. Gabriel The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Richard P. Gabriel The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.dreamsongs.com/Files/ConscientiousSoftwareCC.pdf.

Témata: General Terms Design, Human Factors, Languages, Reliability Keywords Robustness, software, self-sustaining systems, emergence, autopoiesis, stigmergy, continuous (re)design, self-testing, feedback

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.5210; http://www.dreamsongs.com/Files/ConscientiousSoftwareCC.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.5210
http://www.dreamsongs.com/Files/ConscientiousSoftwareCC.pdf

Extending ACID Semantics to the File System

Autoři: Charles P. Wright Richard Spillane Gopalan Sivathanu a další

Přispěvatelé: Charles P. Wright Richard Spillane Gopalan Sivathanu a další

Zdroj: http://www.fsl.cs.sunysb.edu/docs/amino-tos06/amino.pdf.

Témata: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging— Error handling and recovery, Testing and Debugging—Tracing, D.4.3 [Operating Systems, File Systems Management—Access methods, Directory structures, File organization, D.4.5 [Operating Systems, Reliability—Fault-tolerance, H.2 [Database management, Database Applications General Terms, Design, Experimentation, Performance, Reliability Additional Key Words and Phrases, File system transactions, Recoverable memory, Databases, File systems, ptrace monitors

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.120.685

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.120.685
http://www.fsl.cs.sunysb.edu/docs/amino-tos06/amino.pdf

Managing Inconsistent Specifications: Reasoning, Analysis, and Action

Autoři: Anthony Hunter Bashar Nuseibeh The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Anthony Hunter Bashar Nuseibeh The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www-dse.doc.ic.ac.uk/%7Eban/pubs/tosem98.pdf.

Témata: Program Verification—validation, D.2.5 [Software Engineering, Testing and Debugging—error handling and recovery, D.2.7 [Software Engineering, Distribution and Maintenance—restructuring, D.2.10 [Software Engineering, Design—representation, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—proof theory General Terms, Design, Theory, Languages, Verification Additional Key Words and Phrases, Managing inconsistency, paraconsistent logics, requirements specification, viewpoints

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.8130

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.8130
http://www-dse.doc.ic.ac.uk/%7Eban/pubs/tosem98.pdf

Integrating Automatic Backward Error Recovery in Asynchronous Rich Clients.

Autoři: Quintela-Pumares, Manuel Cabral, Bruno Fernandez-Lanvin, Daniel a další

Zdroj: Proceedings of the 38th International Conference on Software Engineering Companion; 2016, p192-201, 10p

Automatic Detection and masking of Nonatomic Exception Handling.

Autoři: Fetzer, Christof Felber, Pascal Hägstedt, Karin

Zdroj: IEEE Transactions on Software Engineering; Aug2004, Vol. 30 Issue 8, p547-560, 14p, 2 Diagrams, 8 Charts, 7 Graphs

Témata: COMPUTER software, PROGRAMMING languages, COMPUTER systems, ELECTRONIC systems, COMPUTER networks

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Autoři: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

Témata: Artificial intelligence, System analysis--Congresses, System design--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Logic Design, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

Exception Handlers for Healing Component-Based Systems.

Autoři: CHANG, HERVÉ MARIANI, LEONARDO PEZZÈ, MAURO

Zdroj: ACM Transactions on Software Engineering & Methodology; Oct2013, Vol. 22 Issue 4, p30:1-30:40, 40p

Témata: COMPUTER software development, COMPUTER software developers, SOFTWARE engineering, FAULT-tolerant computing, COMPUTER programming

On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software.

Autoři: Choi, Eu-teum Kim, Tae-hyung Jun, Yong-Kee a další

Zdroj: Applied Sciences (2076-3417); Feb2022, Vol. 12 Issue 4, p2014, 22p

Témata: COMPUTER access control software, COMPUTER software correctness, COMPUTER software

Self-Healing by Means of Automatic Workarounds.

Autoři: Carzaniga, Antonio Gorla, Alessandra Pezzè, Mauro

Zdroj: ICSE: International Conference on Software Engineering; 2008, p17-24, 8p, 4 Diagrams, 2 Charts

Témata: COMPUTER software development, ELECTRONIC data processing, ARTIFICIAL intelligence, SOFTWARE engineering, CASE studies

ERROR MESSAGES: THE NEGLECTED AREA OF THE MAN/MACHINE INTERFACE?

Autoři: Brown, P. J.

Zdroj: Communications of the ACM; Apr1983, Vol. 26 Issue 4, p246-249, 4p

Témata: ERROR messages (Computer science), HUMAN-computer interaction, USER interfaces, DEBUGGING, COMPUTER software, COMPUTER systems

BigDebug: Debugging Primitives for Interactive Big Data Processing in Spark.

Autoři: Gulzar, Muhammad Ali Interlandi, Matteo Seunghyun Yoo a další

Zdroj: ICSE: International Conference on Software Engineering; 5/14/2016, p784-795, 12p

Témata: DEBUGGING, COMPUTER software developers, BIG data, DATA analytics

Korporace: DATA Center (Oakland, Calif.)