:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Jack Fitzpatrick, Hanumanthrao Kannan
Format:	Artículo Open Access
Veröffentlicht:	Wiley 2025
Schlagworte:	Systems Engineering
Online-Zugang:	https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.70028
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Theory-driven Interpretation and Elaboration of Verification and Validation
von: Kannan, Hanumanthrao, et al.
Veröffentlicht: (2025)

A formal theory on problem space as a semantic world model in systems engineering
von: SureshKumar, Mayuranath, et al.
Veröffentlicht: (2026)

A Model‐Based Design and Verification Method for Product System Architecture Optimization
von: Yunliang Huo, et al.
Veröffentlicht: (2025)

Quantifying Structural Complexity, Effort, and Performance: An Early Experiment Using Network Design Tasks
von: Alfonso Lanza, et al.
Veröffentlicht: (2025)

Systems Engineering With Architecture Modeling, Formal Verification, and Human Interactions for Learning‐Enabled Autonomous Agent
von: Parth Ganeriwala, et al.
Veröffentlicht: (2025)

Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems
von: Deantoni, Julien, et al.
Veröffentlicht: (2024)

The Epistemic Support-Point Filter (ESPF): A Bounded Possibilistic Framework for Ordinal State Estimation
von: Jah, Moriba, et al.
Veröffentlicht: (2025)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
von: Foster, Simon, et al.
Veröffentlicht: (2020)

Model Checking and Verification of Synchronisation Properties of Cobot Welding
von: Murray, Yvonne, et al.
Veröffentlicht: (2024)

Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging
von: Jayasuriya, Dinithi, et al.
Veröffentlicht: (2026)

Value deployment in set‐based design: Design space propagation to integrate manufacturing in the narrowing‐down process
von: Mayara Silvestre de Oliveira, et al.
Veröffentlicht: (2024)

SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification
von: Lewis, Charles, et al.
Veröffentlicht: (2026)

Beyond Task Completion: An Assessment Framework for Evaluating Agentic AI Systems
von: Akshathala, Sreemaee, et al.
Veröffentlicht: (2025)

Tokenomics: Quantifying Where Tokens Are Used in Agentic Software Engineering
von: Salim, Mohamad, et al.
Veröffentlicht: (2026)

Issue Information
Veröffentlicht: (2025)

Issue Information
Veröffentlicht: (2025)

Issue Information
Veröffentlicht: (2025)

Issue Information
Veröffentlicht: (2025)

Issue Information
Veröffentlicht: (2024)

Issue Information
Veröffentlicht: (2026)

Issue Information
Veröffentlicht: (2024)

Issue Information
Veröffentlicht: (2024)

Issue Information
Veröffentlicht: (2024)

Issue Information
Veröffentlicht: (2026)

Issue Information
Veröffentlicht: (2024)

An Approach to Include Web-based Interaction Into Systems of Systems
von: Miguel Angel, Barcelona, et al.
Veröffentlicht: (2016)

Formal Approach to Safety‐Driven Dynamic Procedure Modeling
von: Jean‐Charles Chaudemar, et al.
Veröffentlicht: (2026)

Multi-Agent Code Verification via Information Theory
von: Rajan, Shreshth
Veröffentlicht: (2025)

Spiral Approach for Non‐Software Product and Engineering System Development
von: Isha Amod Gujarathi, et al.
Veröffentlicht: (2025)

Model‐Based Modularization Approach for Reconfigurable System Architecture Design
von: Zhemei Fang, et al.
Veröffentlicht: (2026)

Model‐Based Approach for Civil Aviation Material Support System Modeling
von: Jie Chen, et al.
Veröffentlicht: (2025)

Lean Modeling and Simulation Approach for Improving CFB Boiler Start‐Up Capability
von: Timo Yli‐Fossi, et al.
Veröffentlicht: (2025)

Mitigating "Epistemic Debt" in Generative AI-Scaffolded Novice Programming using Metacognitive Scripts
von: Sankaranarayanan, Sreecharan
Veröffentlicht: (2026)

ORACLE-SWE: Quantifying the Contribution of Oracle Information Signals on SWE Agents
von: Li, Kenan, et al.
Veröffentlicht: (2026)

Advancing Human‐AI Collaboration in Small and Medium‐Sized Enterprises: A Systems Engineering Approach
von: Luis Flavio Ortolano, et al.
Veröffentlicht: (2025)

Design of Safety Pattern for eVTOL Aircraft Systems Based on MBSE—A Comprehensive Approach
von: Boyang Li, et al.
Veröffentlicht: (2025)

Quantifying Uncertainty in FMEDA Safety Metrics: An Error Propagation Approach for Enhanced ASIC Verification
von: Armato, Antonino, et al.
Veröffentlicht: (2026)

UCAgent: An End-to-End Agent for Block-Level Functional Verification
von: Wang, Junyue, et al.
Veröffentlicht: (2026)

Expected Revenue, Risk, and Grid Impact of Bitcoin Mining: A Decision-Theoretic Perspective
von: Cai, Yuting, et al.
Veröffentlicht: (2025)

New role of ionic liquid as accelerator activator in rubber compounds and its influence on curing and mechanical properties
von: Sushmitha Hanumanthrao, et al.
Veröffentlicht: (2024)