Works matching DE "COMPUTER software correctness"
Results: 250
Theoretical foundations and implementation of business process diagrams' complexity management technique based on highlights.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1079, doi. 10.1007/s10270-017-0618-5
- By:
- Publication type:
- Article
Translation of ATL to AGT and application to a code generator for Simulink.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 1, p. 321, doi. 10.1007/s10270-017-0607-8
- By:
- Publication type:
- Article
Improved two-stage boost inverter with integrated control strategy.
- Published in:
- IET Power Electronics (Wiley-Blackwell), 2019, v. 12, n. 9, p. 2266, doi. 10.1049/iet-pel.2019.0112
- By:
- Publication type:
- Article
A comparative study on existing software quality models.
- Published in:
- Creative Mathematics & Informatics, 2016, v. 25, n. 1, p. 57, doi. 10.37193/cmi.2016.01.07
- By:
- Publication type:
- Article
Properties and numerical simulation for self-weight consolidation of the dredged material.
- Published in:
- European Journal of Environmental & Civil Engineering, 2020, v. 24, n. 7, p. 949, doi. 10.1080/19648189.2018.1432508
- By:
- Publication type:
- Article
PROGRAMMING C++ WITH PANACHE: A C++ STYLE MANUAL.
- Published in:
- Mathematics & Computer Education, 2000, v. 34, n. 2, p. 195
- By:
- Publication type:
- Article
A frequency method for dynamic uncertainty evaluation of measurement during modes of dynamic operation.
- Published in:
- International Journal of Metrology & Quality Engineering, 2015, v. 6, n. 2, p. 202-p1, doi. 10.1051/ijmqe/2015008
- By:
- Publication type:
- Article
An Intelligent Approach for Handling Complexity by Migrating from Conventional Databases to Big Data.
- Published in:
- Symmetry (20738994), 2018, v. 10, n. 12, p. 698, doi. 10.3390/sym10120698
- By:
- Publication type:
- Article
An Access Control Model of Web Services Based on Multifactor Trust Management.
- Published in:
- International Review on Computers & Software, 2013, v. 8, n. 10, p. 2460
- By:
- Publication type:
- Article
Backward Reachability Analysis Based on BPNs to Model-based Diagnosis with Relationships Among Symptoms.
- Published in:
- International Review on Computers & Software, 2007, v. 2, n. 4, p. 350
- By:
- Publication type:
- Article
Quality assessment of Major Trauma Registry of Navarra: completeness and correctness.
- Published in:
- 2019
- By:
- Publication type:
- journal article
Ten simple rules for delivering live distance training in bioinformatics across the globe using webinars.
- Published in:
- 2018
- By:
- Publication type:
- Editorial
热环境对基础激励作用下纤维增强树脂基复合薄板振动特性的影响.
- Published in:
- Acta Materiae Compositae Sinica, 2019, v. 36, n. 2, p. 380, doi. 10.13801/j.cnki.fhclxb.20180416.006
- By:
- Publication type:
- Article
Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging.
- Published in:
- IEEE Transactions on Software Engineering, 2011, v. 37, n. 1, p. 109, doi. 10.1109/TSE.2010.23
- By:
- Publication type:
- Article
State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models.
- Published in:
- IEEE Transactions on Software Engineering, 2009, v. 35, n. 2, p. 178, doi. 10.1109/TSE.2008.101
- By:
- Publication type:
- Article
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 8, p. 608, doi. 10.1109/TSE.2006.83
- By:
- Publication type:
- Article
Runtime Analysis of Atomicity for Multithreaded Programs.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 2, p. 93, doi. 10.1109/TSE.2006.1599419
- By:
- Publication type:
- Article
Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls.
- Published in:
- IEEE Transactions on Software Engineering, 2003, v. 29, n. 11, p. 1031, doi. 10.1109/TSE.2003.1245304
- By:
- Publication type:
- Article
Incremental Integration Testing of Concurrent Programs.
- Published in:
- IEEE Transactions on Software Engineering, 2002, v. 28, n. 6, p. 607, doi. 10.1109/TSE.2002.1010062
- By:
- Publication type:
- Article
Simplifying and Isolating Failure-Inducing Input.
- Published in:
- IEEE Transactions on Software Engineering, 2002, v. 28, n. 2, p. 183, doi. 10.1109/32.988498
- By:
- Publication type:
- Article
Test Case Prioritization: A Family of Empirical Studies.
- Published in:
- IEEE Transactions on Software Engineering, 2002, v. 28, n. 2, p. 159, doi. 10.1109/32.988497
- By:
- Publication type:
- Article
A Fractional Lower-order Bi-spectrum Estimation Method Based on Autoregressive Model.
- Published in:
- Instrumentation, Mesures, Métrologies, 2019, v. 18, n. 1, p. 31, doi. 10.18280/i2m.180105
- By:
- Publication type:
- Article
A bridge to systems thinking in engineering design: An examination of students’ ability to identify functions at varying levels of abstraction.
- Published in:
- AI EDAM, 2017, v. 31, n. 4, p. 535, doi. 10.1017/S0890060417000439
- By:
- Publication type:
- Article
An architecture refactoring approach to reducing software hierarchy complexity.
- Published in:
- Journal of Software: Evolution & Process, 2024, v. 36, n. 4, p. 1, doi. 10.1002/smr.2573
- By:
- Publication type:
- Article
Quantum software testing: State of the art.
- Published in:
- Journal of Software: Evolution & Process, 2023, v. 35, n. 4, p. 1, doi. 10.1002/smr.2419
- By:
- Publication type:
- Article
Research on Algorithms to Capture Drivers' Write Operations.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 3035, doi. 10.1093/comjnl/bxv035
- By:
- Publication type:
- Article
Reverse Execution of Java Bytecode.
- Published in:
- Computer Journal, 2002, v. 45, n. 6, p. 608, doi. 10.1093/comjnl/45.6.608
- By:
- Publication type:
- Article
A Formal Basis For Removing Goto Statements.
- Published in:
- Computer Journal, 1996, v. 39, n. 3, p. 203, doi. 10.1093/comjnl/39.3.203
- By:
- Publication type:
- Article
Correctness of compiling Occam to transputer code.
- Published in:
- Computer Journal, 1996, v. 39, n. 1, p. 52, doi. 10.1093/comjnl/39.1.52
- By:
- Publication type:
- Article
A Trust-Based Probabilistic Method for Efficient Correctness Verification in Database Outsourcing.
- Published in:
- ISeCure, 2019, v. 11, n. 1, p. 3
- By:
- Publication type:
- Article
Scenario-specific verification of system requirements consistency via time modeling.
- Published in:
- International Journal of Modeling, Simulation & Scientific Computing, 2024, v. 15, n. 2, p. 1, doi. 10.1142/S1793962324410162
- By:
- Publication type:
- Article
A Formal Approach for Consistency Management in UML Models.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2023, v. 33, n. 5, p. 733, doi. 10.1142/S0218194023500134
- By:
- Publication type:
- Article
Generation of C++ Code from Isabelle/HOL Specification.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2022, v. 32, n. 7, p. 1043, doi. 10.1142/S0218194022500401
- By:
- Publication type:
- Article
Localization of Linearizability Faults on the Coarse-Grained Level.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2017, v. 27, n. 9/10, p. 1483, doi. 10.1142/S0218194017400071
- By:
- Publication type:
- Article
PRST: A PageRank-Based Summarization Technique for Summarizing Bug Reports with Duplicates.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2017, v. 27, n. 6, p. 869, doi. 10.1142/S0218194017500322
- By:
- Publication type:
- Article
Utilization of Dependence and Weight to Improve Fault Localization Method of Regression Test Cases.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2017, v. 27, n. 3, p. 423, doi. 10.1142/S0218194017500152
- By:
- Publication type:
- Article
QTwig: A Structural Join Algorithm for Efficient Query Retrieval Based on Region-Based Labeling.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2017, v. 27, n. 2, p. 321, doi. 10.1142/S0218194017500115
- By:
- Publication type:
- Article
Formally Modeling and Analyzing the Reliability of Cloud Applications.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2016, v. 26, n. 2, p. 273, doi. 10.1142/S0218194016500121
- By:
- Publication type:
- Article
CODE-CHANGE IMPACT ANALYSIS USING COUNTERFACTUALS: THEORY AND IMPLEMENTATION.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2013, v. 23, n. 10, p. 1459, doi. 10.1142/S0218194013500460
- By:
- Publication type:
- Article
What Do Spelling Lessons, Productive Dialogue, Civil Debate, and Etiquette Have in Common?
- Published in:
- Vocabula Review, 2010, v. 12, n. 8, p. 1
- By:
- Publication type:
- Article
Investigation of Continuous Assessment of Correctness in Introductory Programming.
- Published in:
- Educational Technology & Society, 2017, v. 20, n. 3, p. 182
- By:
- Publication type:
- Article
Expert and Novice End-User Spreadsheet Debugging: A Comparative Study of Performance and Behaviour.
- Published in:
- Journal of Organizational & End User Computing, 2011, v. 23, n. 2, p. 57, doi. 10.4018/joeuc.2011040104
- By:
- Publication type:
- Article
Solving the parity problem in one-dimensional cellular automata.
- Published in:
- Natural Computing, 2013, v. 12, n. 3, p. 323, doi. 10.1007/s11047-013-9374-9
- By:
- Publication type:
- Article
Decentralized tube‐based model predictive control of uncertain nonlinear multiagent systems.
- Published in:
- International Journal of Robust & Nonlinear Control, 2019, v. 29, n. 10, p. 2799, doi. 10.1002/rnc.4522
- By:
- Publication type:
- Article
Reply to the paper: Misunderstood parameters of NCBI BLAST impacts the correctness of bioinformatics workflows.
- Published in:
- Bioinformatics, 2019, v. 35, n. 15, p. 2699, doi. 10.1093/bioinformatics/bty1026
- By:
- Publication type:
- Article
poreTally: run and publish de novo nanopore assembler benchmarks.
- Published in:
- Bioinformatics, 2019, v. 35, n. 15, p. 2663, doi. 10.1093/bioinformatics/bty1045
- By:
- Publication type:
- Article
MCS 2 : minimal coordinated supports for fast enumeration of minimal cut sets in metabolic networks.
- Published in:
- Bioinformatics, 2019, v. 35, n. 14, p. i615, doi. 10.1093/bioinformatics/btz393
- By:
- Publication type:
- Article
Cryptanalysis of NORX v2.0.
- Published in:
- Journal of Cryptology, 2019, v. 32, n. 4, p. 1423, doi. 10.1007/s00145-018-9297-9
- By:
- Publication type:
- Article
On the Impossibility of Structure-Preserving Deterministic Primitives.
- Published in:
- Journal of Cryptology, 2019, v. 32, n. 1, p. 239, doi. 10.1007/s00145-018-9292-1
- By:
- Publication type:
- Article
Fairness Versus Guaranteed Output Delivery in Secure Multiparty Computation.
- Published in:
- Journal of Cryptology, 2017, v. 30, n. 4, p. 1157, doi. 10.1007/s00145-016-9245-5
- By:
- Publication type:
- Article