全部 |
  • 全部
  • 题名
  • 作者
  • 机构
  • 关键词
  • NSTL主题词
  • 摘要
检索 二次检索 AI检索
外文文献 中文文献
筛选条件:

1. Consistency Naming Between Requirements Analysis and Specifications NSTL国家科技图书文献中心

Fumiko Nagoya -  《Software Fault Prevention,Verification,and Validation》 -  International Symposium on Software Fault Prevention,Verification,and Validation - 2025, - 131~140 - 共10页

摘要: specifications. The case study evaluated the similarity of the |  requirements analysis and the specifications, and analyzed | Many studies on software development have made |  it clear that naming identifiers consistently and |  concisely is challenging. Verification of software using
关键词: Identifier naming |  Requirements analysis |  Specifications

2. VeriCode: Correct Translation of Abstract Specifications to C Code NSTL国家科技图书文献中心

Gerhard Schellhorn |  Stefan Bodenmuller... -  《Integrated Formal Methods》 -  International Conference on Integrated Formal Methods - 2025, - 53~74 - 共22页

摘要: specifications and executable programs is to translate |  C programs from the specifications, which have a |  memory on the heap. Formal specifications are given for | The semantics of logics is based on valuations |  that map variables to values, while programming
关键词: Code generation |  Algebraic specifications |  Efficient c code |  Pointer semantics |  Small-Step semantics |  Separation logic

3. Towards an efficient implementation of a tableau method for reactive safety specifications NSTL国家科技图书文献中心

Alonso, Ander |  Hermo, Montserrat... -  《The journal of logical and algebraic methods in programming》 - 2025,142(Jan.) - 1.1~1.17 - 共17页

摘要: specifications expressed in a safety fragment of LTL. The | In this paper, we will show how to handle a |  new normal form called terse normal form (TNF), TNF | ), which is crucial to the development of a novel tableau |  method that solves realizability and synthesis
关键词: Temporal logic |  Realizability |  Synthesis |  Safety specifications |  Tableaux

4. Effect of noodle specifications on the quality characteristics of fermented hollow noodles NSTL国家科技图书文献中心

Yang, Hanrui |  Shang, Jiaying... -  《Journal of Cereal Science》 - 2025,121 - 共10页

摘要:The effect of noodle specifications (width |  manufacturers in selecting optimal specifications for | , thickness, and shape) on the quality characteristics of |  fermented hollow noodles was investigated in this study | . Results showed that the increase in width and thickness
关键词: Noodle specifications |  Cross-section area |  Quality characteristics |  Fermented hollow noodles

5. Model-based safety analysis of requirement specifications NSTL国家科技图书文献中心

Konstantinos Mokos |  Panagiotis Katsaros... -  《The Journal of Systems and Software》 - 2025,219(Jan.) - 112231.1~112231.22 - 共22页

摘要: specifications. Our approach has been implemented into a |  specification of system requirements with ontological |  requirements specification. Finally, we provide results on | Model-based design primarily aims to establish |  a communication framework throughout a system's
关键词: Model-based design |  Requirements formalization |  Ontology-based specification |  Formal verification |  Safety analysis

6. Accelerated Infrastructure Rehabilitation Using Low-Carbon Belitic Calcium Sulfoaluminate(BCSA)Concrete:Recent Advances,Specifications and Prospects NSTL国家科技图书文献中心

Eric Pascal Bescher -  《Proceedings of the 7th International Conference on Concrete Repair, Rehabilitation and Retrofitting》 -  International Conference on Concrete Repair, Rehabilitation and Retrofitting - 2025, - 310~319 - 共10页

摘要: durability and standard specifications. | Rapid-setting binders such as Belitic Calcium |  Sulfoaluminate(BCSA)are increasingly in demand as the need for |  rehabilitation and fast return to service of roads,bridges,and |  airport pavement grows.Speed of construction,low
关键词: Belitic calcium sulfoaluminate |  BCSA |  Rapid strength concrete |  Low carbon concrete |  BCSA specifications

7. A Methodology for Rating Maintainability Metrics of SOFL Formal Specifications NSTL国家科技图书文献中心

Yu Du |  Shaoying Liu -  《Software Fault Prevention,Verification,and Validation》 -  International Symposium on Software Fault Prevention,Verification,and Validation - 2025, - 1~14 - 共14页

摘要: Object-oriented Formal Language (SOFL) specifications |  for formal specifications compared to source code |  specification and establishing a basis for pinpointing | In this work, we present a novel methodology |  to evaluate the maintainability of Structured
关键词: SOFL |  Software maintainability |  Formal specification

8. Regular Clocks for Temporal Task Specifications in Reinforcement Learning NSTL国家科技图书文献中心

Giuseppe De Giacomo |  Marco Favorito... -  《AIxIA 2024 - Advances in Artificial Intelligence》 -  International Conference of the Italian Association for Artificial Intelligence - 2025, - 147~160 - 共14页

摘要: clock and the high-level specifications are expressed | , we can combine the two specifications in polynomial | Several recent approaches in reinforcement |  learning are studying a conceptual architecture where the |  environment is simultaneously represented at two (or more
关键词: Clock specification |  Reinforcement learning |  Temporal tasks

9. Cathodic Protection Specifications from Specific to General and Back NSTL国家科技图书文献中心

Anthony W.M.van den ... |  Rob B.Polder -  《Proceedings of the 7th International Conference on Concrete Repair, Rehabilitation and Retrofitting》 -  International Conference on Concrete Repair, Rehabilitation and Retrofitting - 2025, - 187~194 - 共8页

摘要: specific CP specifications and emphasizes the necessity |  of modifying these general specifications to | Cathodic protection(CP)designs are crucial for |  the successful implementation of fully functional |  cathodic protection systems.Over the past 30 years
关键词: reinforcement corrosion |  reinforced concrete |  durability |  specification |  cathodic protection

10. Energy requirement analysis on carbon capture plants satisfying impurity specifications NSTL国家科技图书文献中心

Kenneth R. Simonsen |  Dennis S. Hansen... -  《Journal of cleaner production》 - 2025,499(Mar.25) - 145129.1~145129.16 - 共16页

摘要: specific quality specifications. Based on the sensitivity |  both considered specifications and the N_2 |  a specification before transportation, preventing |  specification for NO_x, O_2, NH_3, Ar, CO, SO_2. However | Simulation-based analysis estimating both the
关键词: CO_2 capture |  Monoethanolamine absorption |  Process simulation |  Energy requirement analysis |  CO_2 impurities
检索条件Specifications
  • 检索词扩展

NSTL主题词

  • NSTL学科导航