Applying string-rewriting to sequence-based specification
From MaRDI portal
Publication:2248084
DOI10.1007/s10703-013-0185-5zbMath1291.68255OpenAlexW2022085385MaRDI QIDQ2248084
Robert Eschbach, Lan Lin, Jesse H. Poore
Publication date: 30 June 2014
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-013-0185-5
requirements elicitationstring-rewritingsoftware specificationrequirements engineeringsequence-based specificationabstract reduction systemprefix string-rewriting
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An axiom system for sequence-based specification
- Applying string-rewriting to sequence-based specification
- REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES, PART II: SPECIFICATION OF SOFTWARE MODULES
- The trace specification of communications protocols
- A Formal Method for the Abstract Specification of Software
- The new math of computer programming
- Derivatives of Regular Expressions
- REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES
