Search Results - "Software and its engineering Software notations and tools"

Determinacy Race Detector for Promises (Artifact)

Authors: Jin, Feiyang Yu, Lechen Feiyang Jin and Lechen Yu

Contributors: Jin, Feiyang Yu, Lechen Feiyang Jin and Lechen Yu

Subject Terms: Software and its engineering → Software testing and debugging, Determinism, Software and its engineering → Software verification and validation, Software and its engineering → Software notations and tools, Race detection, ddc:004, Determinacy-race, Software and its engineering → Software creation and management, Software and its engineering → Software defect analysis, Promise, Software and its engineering → Concurrent programming languages, Software and its engineering → General programming languages

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.24

Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact)

Authors: Olivieri, Luca Negrini, Luca Arceri, Vincenzo et al.

Contributors: Olivieri, Luca Negrini, Luca Arceri, Vincenzo et al.

Subject Terms: Program Verification, Blockchain, Software and its engineering → Software notations and tools, Static Analysis, DApps, Theory of computation → Program verification, Theory of computation → Program analysis, ddc:004, Go language, Security and privacy → Distributed systems security, Non-determinism, Smart contracts

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.23

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3

Authors: Cledou, Guillermina Edixhoven, Luc Jongmans, Sung-Shik et al.

Contributors: Cledou, Guillermina Edixhoven, Luc Jongmans, Sung-Shik et al.

Source: Cledou, G, Edixhoven, L, Jongmans, S-S & Proença, J 2022, API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. in K A & J V (eds), 36th European Conference on Object-Oriented Programming : ECOOP 2022. vol. 222, 27, Schloss Dagstuhl-LZI GmbH, Leibniz International Proceedings in Informatics, LIPIcs, vol. 222, pp. 27:1-27:28, European Conference on Object Oriented Programming, Berlin, Germany, 6/06/22. https://doi.org/10.4230/LIPIcs.ECOOP.2022.27

Subject Terms: Scala 3, Software and its engineering → Software notations and tools, Pomsets (partially ordered multisets), Concurrency, match types, ddc:004, Match types, pomsets (partially ordered multisets)

File Description: application/pdf; text/plain; charset=utf-8

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.27
https://hdl.handle.net/10400.22/20633
https://dblp.org/db/conf/ecoop/ecoop2022.html#CledouEJP22
https://doi.org/10.4230/LIPIcs.ECOOP.2022.27
https://www.scopus.com/pages/publications/85134302572
https://research.ou.nl/en/publications/51fb3d30-72be-4579-b255-21191871c6f2

OASIcs, Volume 67, PLATEAU'18, Complete Volume

Authors: Barik, Titus Sunshine, Joshua Chasins, Sarah et al.

Contributors: Barik, Titus Sunshine, Joshua Chasins, Sarah et al.

Subject Terms: Software notations and tools, Human-centered computing, Software and its engineering, ddc:004, Software and its engineering, Software notations and tools, Human-centered computing, Human computer interaction (HCI), Human computer interaction (HCI)

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PLATEAU.2018

Developer Dynamics and Syntactic Quality of Commit Messages in OSS Projects

Authors: Chahal, Kuljit, Kaur Saini, Munish Guru Nanak Dev University et al.

Contributors: Chahal, Kuljit, Kaur Saini, Munish Guru Nanak Dev University et al.

Source: IFIP Advances in Information and Communication Technology ; 14th IFIP International Conference on Open Source Systems (OSS) ; https://inria.hal.science/hal-01875491 ; 14th IFIP International Conference on Open Source Systems (OSS), Jun 2018, Athens, Greece. pp.61-76, ⟨10.1007/978-3-319-92375-8_6⟩

Subject Terms: CCS → Software and its engineering → Software notations and tools → Software configuration management and version control systems, Open Source Software (OSS), Software evolution, Source code management, Commit activity, Commit message quality, [INFO]Computer Science [cs]

Subject Geographic: Athens, Greece

Availability: https://inria.hal.science/hal-01875491
https://inria.hal.science/hal-01875491v1/document
https://inria.hal.science/hal-01875491v1/file/468158_1_En_6_Chapter.pdf
https://doi.org/10.1007/978-3-319-92375-8_6

Diagrammatic notations for interactive theorem proving

Authors: Chiplunkar, Shardul Pit-Claudel, Clément

Subject Terms: Software and its engineering → Software notations and tools, Human-centered computing → Visualization systems and tools, diagrams, interactive theorem proving, diagramming languages

Relation: https://infoscience.epfl.ch/record/305144/files/hatra23.pdf; 4th International Workshop on Human Aspects of Types and Reasoning Assistants; https://infoscience.epfl.ch/handle/20.500.14299/200686

Availability: https://doi.org/10.5075/epfl-SYSTEMF-305144
https://infoscience.epfl.ch/handle/20.500.14299/200686
https://hdl.handle.net/20.500.14299/200686

Model-Driven Engineering of Digital Twins (Dagstuhl Seminar 22362)

Authors: Cleophas, Loek Godfrey, Thomas Khelladi, Djamel Eddine et al.

Source: Dagstuhl Reports 12, 20-40 (2023). doi:10.4230/DagRep.12.9.20

Subject Terms: Data Management, Digital Twins, Model Management, Model-Driven Engineering, Models@runtime, Software Engineering, Software and its engineering → Software notations and tools

Subject Geographic: DE

Relation: info:eu-repo/semantics/altIdentifier/issn/2192-5283

Availability: https://publications.rwth-aachen.de/record/955669
https://publications.rwth-aachen.de/search?p=id:%22RWTH-2023-03648%22

Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems

Authors: Belloir, Nicolas Chiprianov, Vanea Ahmad, Manzoor et al.

Contributors: Belloir, Nicolas Chiprianov, Vanea Ahmad, Manzoor et al.

Source: ECSA 2nd International Workshop on Software Engineering for Systems-of-Systems (SESoS'2014) ; https://hal.science/hal-01082400 ; ECSA 2nd International Workshop on Software Engineering for Systems-of-Systems (SESoS'2014), Aug 2014, Vienna, Austria. pp.32

Subject Terms: systems of systems, D21 [Software Engineering]: System modeling languages- Software development methods, Requirements anal- ysis, Software and its engineering [Software notations and tools]: System description languages-System mod- eling languages, Security and privacy [Software and ap- plication security]: [Software security engineering] Keywords Systems of Systems, Requirement Engineering, Security, MDE, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Subject Geographic: Vienna, Austria

Availability: https://hal.science/hal-01082400
https://hal.science/hal-01082400v1/document
https://hal.science/hal-01082400v1/file/SeSos2014-VFinal.pdf

Enhancing Android Malware Detection: The Influence of ChatGPT on Decision-centric Task.

Authors: Li, Yao Fang, Sen Zhang, Tao et al.

Source: ACM Transactions on Software Engineering & Methodology; Nov2025, Vol. 34 Issue 8, p1-30, 30p

Subject Terms: CHATGPT, MALWARE, DECISION making, STATISTICAL correlation, STATISTICAL models

Reviews & Products: ANDROID (Operating system)

Software Engineering for OpenHarmony: A Research Roadmap.

Authors: Li, Li Gao, Xiang Sun, Hailong et al.

Source: ACM Computing Surveys; Feb2026, Vol. 58 Issue 2, p1-36, 36p

Subject Terms: SOFTWARE engineering, ROAD maps, COMPUTER operating systems

Assessing and Analyzing the Correctness of GitHub Copilot's Code Suggestions.

Authors: Mo, Ran Wang, Dongyu Zhan, Wenjing et al.

Source: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-32, 32p

Subject Terms: PROGRAMMING languages, CODE generators, STATISTICAL accuracy, FAILURE analysis, EMPIRICAL research, COMPUTER software development

Company/Entity: GITHUB Inc.

Approximate Computing Survey, Part I: Terminology and Software & Hardware Approximation Techniques.

Authors: Leon, Vasileios Hanif, Muhammad Abdullah Armeniakos, Giorgos et al.

Source: ACM Computing Surveys; Jul2025, Vol. 57 Issue 7, p1-36, 36p

Subject Terms: ARTIFICIAL neural networks, COMPOUND annual growth rate, DIGITAL signal processing, ARTIFICIAL intelligence, TECHNOLOGICAL innovations, COMPILERS (Computer programs)

Approximate Computing Survey, Part II: Application-Specific & Architectural Approximation Techniques and Applications.

Authors: Leon, Vasileios Hanif, Muhammad Abdullah Armeniakos, Giorgos et al.

Source: ACM Computing Surveys; Jul2025, Vol. 57 Issue 7, p1-36, 36p

Subject Terms: ARTIFICIAL neural networks, DIGITAL signal processing, ARTIFICIAL intelligence, ARCHITECTURAL details, COMPUTER systems

Deep Code Search with Naming-Agnostic Contrastive Multi-View Learning.

Authors: Feng, Jiadong Li, Wei Wu, Suhuang et al.

Source: ACM Transactions on Knowledge Discovery from Data; Jul2025, Vol. 19 Issue 6, p1-26, 26p

Subject Terms: COMPUTER software development, SOURCE code, MACHINE learning, DATA structures, NICKNAMES

SimTrace: Exploiting Spatial and Temporal Sampling for Large-Scale Performance Analysis.

Authors: XUAN, ZHIBO YOU, XIN FENG, TIANYU et al.

Source: ACM Transactions on Architecture & Code Optimization; Jun2025, Vol. 22 Issue 2, p1-26, 26p

Morescient GAI for Software Engineering.

Authors: Kessel, Marcus Atkinson, Colin

Source: ACM Transactions on Software Engineering & Methodology; Jun2025, Vol. 34 Issue 5, p1-17, 17p

Subject Terms: GENERATIVE artificial intelligence, OPEN scholarship, TRUST, COMPUTER software, SEMANTICS

qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking.

Authors: Kole, Abhoy Djeridane, Mohammed Elkacem Weingarten, Lennart et al.

Source: ACM Journal on Emerging Technologies in Computing Systems; Apr2025, Vol. 21 Issue 2, p1-15, 15p

Subject Terms: LOGIC circuits, INTEGRATED circuit verification, QUANTUM computing, CIRCUIT complexity, QUBITS, QUANTUM gates

Not all Dockerfile Smells are the Same: An Empirical Evaluation of Hadolint Writing Practices by Experts

Authors: Giovanni Rosa Simone Scalabrino Gregorio Robles et al.

Source: Proceedings of the 21st International Conference on Mining Software Repositories. :231-241

Subject Terms: Code Smells, Docker, Empirical Software Engineering

Access URL: https://hdl.handle.net/11695/150236
https://doi.org/10.1145/3643991.3644905

DSHGT: Dual-Supervisors Heterogeneous Graph Transformer—A Pioneer Study of Using Heterogeneous Graph Learning for Detecting Software Vulnerabilities.

Authors: Zhang, Tiehua Xu, Rui Zhang, Jianping et al.

Source: ACM Transactions on Software Engineering & Methodology; Nov2024, Vol. 33 Issue 8, p1-31, 31p

Subject Terms: GRAPH neural networks, COMPUTER security vulnerabilities, COMPUTER software security, REPRESENTATIONS of graphs, DEEP learning

Exploiting the Extended Neighborhood of Hexagonal Qubit Architecture for Mapping Quantum Circuits.

Authors: Kole, Abhoy Datta, Kamalika Sengupta, Indranil et al.

Source: ACM Journal on Emerging Technologies in Computing Systems; Oct2024, Vol. 20 Issue 4, p1-19, 19p

Subject Terms: GRIDS (Cartography), QUBITS, NEIGHBORHOODS