Modelling Timed Reactive Systems from Natural-Language Requirements

Carvalho, G., Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976 and Sampaio, A. C. A. (2016) Modelling Timed Reactive Systems from Natural-Language Requirements. Formal Aspects of Computing. pp. 725-765. ISSN: 1433-299X

Metadata

Item Type: Article
Authors/Creators:
Copyright, Publisher and Additional Information:

© British Computer Society 2016. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.
Dates:
  • Accepted: 1 July 2016
  • Published (online): 26 July 2016
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 29 Jul 2016 23:03
Last Modified: 19 Sep 2025 23:54
Published Version: https://doi.org/10.1007/s00165-016-0387-x
Status: Published online
Refereed: Yes
Identification Number: 10.1007/s00165-016-0387-x
Open Archives Initiative ID (OAI ID):

Download

Export

Statistics


CORE (COnnecting REpositories)