Buchumschlag

Transforming Natural Language Requirements to Formalism Using LLMs

Fuente: Wiley Open Access

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Baoluo Meng, Robert Lorch, Kit Siu, Michael Durling, Sarat Chandra Varanasi, Saswata Paul, Abha Moitra
Format:	Artículo Open Access
Veröffentlicht:	Wiley 2025
Schlagworte:	Systems Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
von: Vašíček, Ondřej, et al.
Veröffentlicht: (2024)

Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
von: Ma, Zhi, et al.
Veröffentlicht: (2025)

Exploring LLMs for Verifying Technical System Specifications Against Requirements
von: Reinpold, Lasse M., et al.
Veröffentlicht: (2024)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
von: Mandal, Udayan, et al.
Veröffentlicht: (2024)

Automated Formalization of Probabilistic Requirements from Structured Natural Language
von: Mavridou, Anastasia, et al.
Veröffentlicht: (2025)

Product Line Modeling Process to Manage Requirements Confidentiality and Variability
von: Michel Bourdellès, et al.
Veröffentlicht: (2026)

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

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

ARLO: A Tailorable Approach for Transforming Natural Language Software Requirements into Architecture using LLMs
von: Helmi, Tooraj
Veröffentlicht: (2025)

A Unified Requirements‐Architecture System Model—Development and Empirical Evaluation
von: Liat Katzir, et al.
Veröffentlicht: (2025)

Enhancing Holonic Architecture with Natural Language Processing for System of Systems
von: Ashfaq, Muhammad, et al.
Veröffentlicht: (2024)

Proposal of Maturity Assessment to Support Projects in Digital Transformation: Initiatives in the Brazilian Context
von: Gabrielly Araújo Cordeiro, et al.
Veröffentlicht: (2025)

Formalization of the AADL Run-Time Services with Time
von: Larson, Brian R, et al.
Veröffentlicht: (2025)

VeruSAGE: A Study of Agent-Based Verification for Rust Systems
von: Yang, Chenyuan, et al.
Veröffentlicht: (2025)

Improving System Architectures Using Multi‐Objective Particle Swarm Optimization
von: Ken Hampshire, et al.
Veröffentlicht: (2025)

Natural Language Processing for Requirements Traceability
von: Guo, Jin L. C., et al.
Veröffentlicht: (2024)

Semantic Technologies in Practical Demand Response: An Informational Requirement-based Roadmap
von: Mulayim, Ozan Baris, et al.
Veröffentlicht: (2025)

Towards Comprehensive Legislative Requirements for Cyber Physical Systems Testing in the European Union
von: Nguyen, Guillaume, et al.
Veröffentlicht: (2024)

Formalized Identification Of Key Factors In Safety-Relevant Failure Scenarios
von: Julitz, Tim Maurice, et al.
Veröffentlicht: (2024)

Coordinating Stakeholders in the Consideration of Performance Indicators and Respective Interface Requirements for Automated Vehicles
von: Schubert, Richard, et al.
Veröffentlicht: (2026)

An Architecture for Remote Container Builds and Artifact Delivery Using a Controller-Light Jenkins CI/CD Pipeline
von: Paul, Kawshik Kumar, et al.
Veröffentlicht: (2025)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
von: Krook, Jonas, et al.
Veröffentlicht: (2022)

Implementation of Formal Standard for Interoperability in M&S/System of Systems Integration with DEVS/SOA
von: Mittal, Saurabh, et al.
Veröffentlicht: (2024)

Improving Requirements Classification with SMOTE-Tomek Preprocessing
von: Or, Barak
Veröffentlicht: (2025)

Using Large Language Models for Natural Language Processing Tasks in Requirements Engineering: A Systematic Guideline
von: Vogelsang, Andreas, et al.
Veröffentlicht: (2024)

Towards a DSL to Formalize Multimodal Requirements
von: Gomez-Vazquez, Marcos, et al.
Veröffentlicht: (2025)

Requirements-driven Slicing of Simulink Models Using LLMs
von: Luitel, Dipeeka, et al.
Veröffentlicht: (2024)

Computational Foundations for Strategic Coopetition: Formalizing Interdependence and Complementarity
von: Pant, Vik, et al.
Veröffentlicht: (2025)

MBSE Co‐Pilot: A Research Roadmap
von: Wenheng Zhang, et al.
Veröffentlicht: (2025)

Using Large Language Models for Black-Box Testing of FMU-Based Simulations
von: Mughees, Abdullah, et al.
Veröffentlicht: (2026)

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
von: Endres, Madeline, et al.
Veröffentlicht: (2023)

Digital Engineering Transformation as a Sociotechnical Challenge: Categorization of Barriers and Their Mapping to DoD's Policy Goals
von: Md Doulotuzzaman Xames, et al.
Veröffentlicht: (2026)

Assessing Capability Complexity Using Enterprise Architecture Framework
von: Javad Bakhshi, et al.
Veröffentlicht: (2026)

Natural Language Requirements Testability Measurement Based on Requirement Smells
von: Zakeri-Nasrabadi, Morteza, et al.
Veröffentlicht: (2024)

Neurosymbolic Auditing of Natural-Language Software Requirements
von: Hall, Bethel, et al.
Veröffentlicht: (2026)

Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs
von: Kleijwegt, Alex, et al.
Veröffentlicht: (2025)

Managing Variations in Meaning: Guidance for Using “Complexity” and Related Terms
von: Joshua Sutherland, et al.
Veröffentlicht: (2025)

Requirements Coverage-Guided Minimization for Natural Language Test Cases
von: Pan, Rongqi, et al.
Veröffentlicht: (2025)

Using LLMs to Facilitate Formal Verification of RTL
von: Orenes-Vera, Marcelo, et al.
Veröffentlicht: (2023)

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