An algebra to represent task flow models

Fernández-y-Fernández, C.A. and Simons, A.J.H. orcid.org/0000-0002-5925-7148 (2018) An algebra to represent task flow models. Journal of Advance Computational Research, 3 (2). 1. pp. 63-74. ISSN 2277-5781

Abstract

Metadata

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

© Year The Author(s). This is an Open Access article distributed under the terms of the Creative Commons Attribution Licence (http://creativecommons.org/licenses/by/3.0)

Keywords: Formal specification; software modelling; lightweight formal methods
Dates:
  • Published: 1 December 2018
  • Published (online): 10 December 2018
  • Accepted: 22 April 2018
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 28 Jul 2023 13:35
Last Modified: 28 Jul 2023 13:35
Published Version: https://www.theaspd.com/resources/JACR/2018/JACR-3...
Status: Published
Publisher: Academic Science Publications and Distributions
Refereed: Yes
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Export

Statistics