Buchumschlag

From B Specifications to $\{log$\}$ Forgrams

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Cristiá, Maximiliano
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Verification of Quantitative Temporal Properties in RealTime-DEVS
von: González, Ariel, et al.
Veröffentlicht: (2024)

A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
von: Cristiá, Maximiliano, et al.
Veröffentlicht: (2021)

Reusability and Modifiability in Robotics Software (Extended Version)
von: Pomponio, Laura, et al.
Veröffentlicht: (2024)

From Specifications to Prompts: On the Future of Generative LLMs in Requirements Engineering
von: Vogelsang, Andreas
Veröffentlicht: (2024)

From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing
von: Xiong, Yiheng, et al.
Veröffentlicht: (2026)

From Specification to Service: Accelerating API-First Development Using Multi-Agent Systems
von: Chauhan, Saurabh, et al.
Veröffentlicht: (2025)

An object-centric core metamodel for IoT-enhanced event logs
von: Bertrand, Yannis, et al.
Veröffentlicht: (2025)

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
von: Granberry, George, et al.
Veröffentlicht: (2025)

From Online User Feedback to Requirements: Evaluating Large Language Models for Classification and Specification Tasks
von: Mallya, Manjeshwar Aniruddh, et al.
Veröffentlicht: (2025)

Computer-Orchestrated Design of Algorithms: From Join Specification to Implementation
von: Hu, Zeyuan
Veröffentlicht: (2026)

Adventures in FRET and Specification
von: Farrell, Marie, et al.
Veröffentlicht: (2025)

ML Code Smells: From Specification to Detection
von: Mahmoudi, Brahim, et al.
Veröffentlicht: (2025)

Predictive Process Monitoring: a comparison survey between different type of event logs
von: Fioretto, Simona, et al.
Veröffentlicht: (2025)

Specification Slicing for VDM-SL
von: Oda, Tomohiro, et al.
Veröffentlicht: (2024)

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

From Law to Gherkin: A Human-Centred Quasi-Experiment on the Quality of LLM-Generated Behavioural Specifications from Food-Safety Regulations
von: Hassani, Shabnam, et al.
Veröffentlicht: (2025)

Specification Vibing for Automated Program Repair
von: Zhu, Taohong, et al.
Veröffentlicht: (2026)

From Generalist to Specialist: Exploring CWE-Specific Vulnerability Detection
von: Atiiq, Syafiq Al, et al.
Veröffentlicht: (2024)

Semistructured Merge with Language-Specific Syntactic Separators
von: Cavalcanti, Guilherme, et al.
Veröffentlicht: (2024)

A Graphics Function Standard Specification Validator
von: Fraser, Steven D., et al.
Veröffentlicht: (2024)

LAPIS: Lightweight API Specification for Intelligent Systems
von: Garcia, Daniel
Veröffentlicht: (2026)

Re-evaluation of Logical Specification in Behavioural Verification
von: Klimek, Radoslaw, et al.
Veröffentlicht: (2025)

Orchestrating Human-AI Software Delivery: A Retrospective Longitudinal Field Study of Three Software Modernization Programs
von: Armesto, Maximiliano, et al.
Veröffentlicht: (2026)

Toward a Science of Intent: Closure Gaps and Delegation Envelopes for Open-World AI Agents
von: Armesto, Maximiliano, et al.
Veröffentlicht: (2026)

Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems
von: Karakaya, Kadiray, et al.
Veröffentlicht: (2024)

Quality Requirements for Code: On the Untapped Potential in Maintainability Specifications
von: Borg, Markus
Veröffentlicht: (2024)

An Interactive Empirical Approach to the Validation of Software Package Specifications
von: Fraser, S. D., et al.
Veröffentlicht: (2024)

Automated Validation of Insurance Applications against Calculation Specifications
von: Datar, Advaita, et al.
Veröffentlicht: (2022)

Counterexample Classification against Signal Temporal Logic Specifications
von: Zhang, Zhenya, et al.
Veröffentlicht: (2026)

LLM Assisted Coding with Metamorphic Specification Mutation Agent
von: Akhond, Mostafijur Rahman, et al.
Veröffentlicht: (2025)

Diagnosing Violations of State-based Specifications in iCFTL
von: Stratan, Cristina, et al.
Veröffentlicht: (2025)

Exploring the Use of LLMs for Requirements Specification in an IT Consulting Company
von: Pasquale, Liliana, et al.
Veröffentlicht: (2025)

LRASGen: LLM-based RESTful API Specification Generation
von: Deng, Sida, et al.
Veröffentlicht: (2025)

Improving Dynamic Specification Inference with LLM-Generated Counterexamples
von: Balestra, Agustín, et al.
Veröffentlicht: (2026)

An Agile Formal Specification Language Design Based on K Framework
von: Zhang, Jianyu, et al.
Veröffentlicht: (2024)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
von: Liu, Ye, et al.
Veröffentlicht: (2024)

Automated LTL Specification Generation from Industrial Aerospace Requirements
von: Ma, Zhi, et al.
Veröffentlicht: (2026)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
von: Yang, Fanpeng, et al.
Veröffentlicht: (2025)

How Effective are Large Language Models in Generating Software Specifications?
von: Xie, Danning, et al.
Veröffentlicht: (2023)

On the Effectiveness of Large Language Models in Domain-Specific Code Generation
von: Gu, Xiaodong, et al.
Veröffentlicht: (2023)