Home > Research > Publications & Outputs > Generating Hierarchical State Machines from Use...

Research

Text available via DOI:

View graph of relations

Generating Hierarchical State Machines from Use Case Charts.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

Generating Hierarchical State Machines from Use Case Charts. / Whittle, Jon; Jayaraman, P.
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference. IEEE Computer Society, 2006. p. 16-25.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Whittle, J & Jayaraman, P 2006, Generating Hierarchical State Machines from Use Case Charts. in RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference. IEEE Computer Society, pp. 16-25, 2006 IEEE International Conference on Requirements Engineering (RE2006), 1/01/00. https://doi.org/10.1109/RE.2006.25

APA

Whittle, J., & Jayaraman, P. (2006). Generating Hierarchical State Machines from Use Case Charts. In RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference (pp. 16-25). IEEE Computer Society. https://doi.org/10.1109/RE.2006.25

Vancouver

Whittle J, Jayaraman P. Generating Hierarchical State Machines from Use Case Charts. In RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference. IEEE Computer Society. 2006. p. 16-25 doi: 10.1109/RE.2006.25

Author

Whittle, Jon ; Jayaraman, P. / Generating Hierarchical State Machines from Use Case Charts. RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference. IEEE Computer Society, 2006. pp. 16-25

Bibtex

@inproceedings{69764717bbe346f58351d7bae3eebe5c,
title = "Generating Hierarchical State Machines from Use Case Charts.",
author = "Jon Whittle and P. Jayaraman",
note = "This paper extends previous work on synthesizing state machines from requirements scenarios. It presents an algorithm to generate highly structured state machines from requirements written in an intuitive yet formally specified language. It is the first algorithm capable of generating richly structured state machines and provides a new solution to a major drawback with synthesis algorithms ' that the scenarios do not contain enough semantic information for rich synthesis. The paper was published in one of the top software engineering conferences (acceptance rate 14%) and was followed up with an ICSE 2007 demonstration paper describing a tool implementing the algorithm. RAE_import_type : Conference contribution RAE_uoa_type : Computer Science and Informatics; 2006 IEEE International Conference on Requirements Engineering (RE2006) ; Conference date: 01-01-1900",
year = "2006",
month = sep,
day = "11",
doi = "10.1109/RE.2006.25",
language = "English",
isbn = "0-7695-2555-5",
pages = "16--25",
booktitle = "RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference",
publisher = "IEEE Computer Society",

}

RIS

TY - GEN

T1 - Generating Hierarchical State Machines from Use Case Charts.

AU - Whittle, Jon

AU - Jayaraman, P.

N1 - This paper extends previous work on synthesizing state machines from requirements scenarios. It presents an algorithm to generate highly structured state machines from requirements written in an intuitive yet formally specified language. It is the first algorithm capable of generating richly structured state machines and provides a new solution to a major drawback with synthesis algorithms ' that the scenarios do not contain enough semantic information for rich synthesis. The paper was published in one of the top software engineering conferences (acceptance rate 14%) and was followed up with an ICSE 2007 demonstration paper describing a tool implementing the algorithm. RAE_import_type : Conference contribution RAE_uoa_type : Computer Science and Informatics

PY - 2006/9/11

Y1 - 2006/9/11

U2 - 10.1109/RE.2006.25

DO - 10.1109/RE.2006.25

M3 - Conference contribution/Paper

SN - 0-7695-2555-5

SP - 16

EP - 25

BT - RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference

PB - IEEE Computer Society

T2 - 2006 IEEE International Conference on Requirements Engineering (RE2006)

Y2 - 1 January 1900

ER -