Cover Image

An Agile Formal Specification Language Design Based on K Framework

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Jianyu, Zhang, Long, Wu, Yixuan, Yang, Feng
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
by: Zhang, Jianyu, et al.
Published: (2024)

Formalizing Regression Testing for Agile and Continuous Integration Environments
by: Das, Suddhasvatta, et al.
Published: (2025)

Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation
by: Chen, Zehan, et al.
Published: (2026)

Formalizing Operational Design Domains with the Pkl Language
by: Skoglund, Martin, et al.
Published: (2025)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
by: Huang, Zhechong, et al.
Published: (2026)

Extracting Formal Specifications from Documents Using LLMs for Automated Testing
by: Li, Hui, et al.
Published: (2025)

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
by: Alhanahnah, Mohannad, et al.
Published: (2024)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
by: Ma, Lezhi, et al.
Published: (2024)

RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation
by: Zhang, Yifan, et al.
Published: (2026)

Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion
by: Chen, Zehan, et al.
Published: (2025)

Agile and Student-Centred Teaching of Agile/Scrum Concepts
by: Spichkova, Maria
Published: (2025)

Modelling Interrelations Between Agile Practices: The Agile Map
by: Hansper, Thomas, et al.
Published: (2025)

The Agile Coach Role: Coaching for Agile Performance Impact
by: Stray, Viktoria, et al.
Published: (2020)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
by: Zhang, Liao, et al.
Published: (2026)

Defining Requirements Strategies in Agile: A Design Science Research Study
by: Muhammad, Amna Pir, et al.
Published: (2024)

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

Knowledge-Based Multi-Agent Framework for Automated Software Architecture Design
by: Zhang, Yiran, et al.
Published: (2025)

Agile Culture Clash: Unveiling Challenges in Cultivating an Agile Mindset in Organizations
by: Neumann, Michael, et al.
Published: (2024)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
by: Ma, Lezhi, et al.
Published: (2026)

AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs
by: Zhou, Xiaofeng, et al.
Published: (2026)

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo
by: Zitouni, Mounira Nihad, et al.
Published: (2024)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
by: Liu, Ye, et al.
Published: (2024)

Can Large Language Models Model Programs Formally?
by: Chen, Zhiyong, et al.
Published: (2026)

A Practical Implementation of Customized Scrum-Based Agile Framework in Aerospace Software Development Under DO-178C Constraints
by: Umer, Malik Muhammad
Published: (2025)

Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
by: Faria, João Pascoal, et al.
Published: (2026)

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
by: Tagliaferro, Alberto, et al.
Published: (2026)

Automated Detection of Inter-Language Design Smells in Multi-Language Deep Learning Frameworks
by: Li, Zengyang, et al.
Published: (2024)

Use of Agile Practices in Start-ups
by: Klotins, Eriks, et al.
Published: (2024)

Prototypical Leadership in Agile Software Development
by: Dawood, Jina, et al.
Published: (2024)

Quality Assurance Practices in Agile Methodology
by: Wakili, Almustapha A., et al.
Published: (2024)

Formalisms for Robotic Mission Specification and Execution: A Comparative Analysis
by: Filippone, Gianluca, et al.
Published: (2026)

Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
by: Hasan, Mohammad Saqib, et al.
Published: (2025)

Using Agile Story Points and Game Theory Together: Better Software Planning and Development in Agile Software Development
by: Bildirici, Fatih, et al.
Published: (2024)

CITYWALK: Enhancing LLM-Based C++ Unit Test Generation via Project-Dependency Awareness and Language-Specific Knowledge
by: Zhang, Yuwei, et al.
Published: (2025)

Enhancing Formal Software Specification with Artificial Intelligence
by: Nassar, Antonio Abu, et al.
Published: (2026)

Fixing Large Language Models' Specification Misunderstanding for Better Code Generation
by: Tian, Zhao, et al.
Published: (2023)

FASTRIC: Prompt Specification Language for Verifiable LLM Interactions
by: Jin, Wen-Long
Published: (2025)

FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols
by: Shih, Yu-An, et al.
Published: (2025)

Collaboration Tools and their Role in Agile Software Projects
by: Hussein, Raman Mohammed, et al.
Published: (2025)

Non Technical Debt in Agile Software Development
by: Ahmad, Muhammad Ovais, et al.
Published: (2025)