60 citations · 140 across the 5 of their papers we have counts for
8 papers
Requirement Formalisation using Natural Language Processing and Machine Learning: A Systematic Review
Shekoufeh Kolahdouz-Rahimi, Kevin Lano, Chenghua Lin
Improvement of software development methodologies attracts developers to automatic Requirement Formalisation (RF) in the Requirement Engineering (RE) field. The potential advantage…
Developing the UML as a Formal Modelling Notation
Andy Evans, Robert France, Kevin Lano +1
The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML have a well- defined, fully…
The UML as a Formal Modeling Notation
Andy Evans, Robert France, Kevin Lano +1
The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-defined, fully…
Meta-Modeling Semantics of UML
Andy Evans, Kevin Lano, Robert France +1
The Unified Modelling Language is emerging as a de-facto standard for modelling object-oriented systems. However, the semantics document that a part of the standard definition prim…
Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS
K. Lano, S. Kolahdouz-Rahimi, K. Maroukian
This paper provides a solution to the Petri-Nets to statecharts case using UML-RSDS. We show how a highly declarative solution which is confluent and invertible can be given using…
Case study: Class diagram restructuring
K. Lano, S. Kolahdouz Rahimi
This case study is an update-in-place refactoring transformation on UML class diagrams. Its aim is to remove clones of attributes from a class diagram, and to identify new classes…