Modelling timed reactive systems from natural-language requirements

DOI10.1007/S00165-016-0387-XMaRDI QIDQ315301zbMATH OpenOpenAlexFDO

Authors Gustavo Carvalho, Ana Cavalcanti, Augusto Sampaio

Publication date 20 September 2016

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://eprints.whiterose.ac.uk/103139/1/fac.pdf

zbMATH Keywords

formal modelmodel mappingnatural-language requirementsTIOTS

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 683359
• Reactive synthesis from interval temporal logic specifications
• scientific article; zbMATH DE number 52331
• scientific article; zbMATH DE number 3982506
• Logical specification of reactive and real-time systems
• scientific article; zbMATH DE number 1949604
• Temporal verification of reactive systems: response
• scientific article; zbMATH DE number 1070625

Cites work

• scientific article; zbMATH DE number 2102731 (Why is no real title available?)
• scientific article; zbMATH DE number 839565 (Why is no real title available?)
• Formal Approaches to Software Testing
• Program synthesis from formal requirements specifications using APTS
• Test generation from state based use case models
• The B-Book
• Understanding concurrent systems

Cited in

(1)

• Generation of executable testbenches from natural language requirement specifications for embedded real-time systems

Describes a project that uses

Uses Software

• NAT2TEST
• PAT
• NuSMV
• PVS
• APTS

This page was built for publication: Modelling timed reactive systems from natural-language requirements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q315301)