Concepedia

Stuart Kent

SK

21

Publications

980

Citations

18

H-Index

1995

Active since

Affiliations

University of Brighton(Current)

University of Kent

Technion – Israel Institute of Technology

IBM Research - Thomas J. Watson Research Center

Stuart Kent is an author at University of Brighton specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated ReasoningSoftware DesignComputer ScienceSoftware EngineeringDesignSemanticsSoftware AnalysisProgram Analysis

Publications per year

1995–2011

21

Publications

21

Constraint diagrams

Stuart Kent · 1997 · 149 citations

Venn Diagrams, Formal Notation, Engineering +10

Core meta-modelling semantics of UML: the pUML approach

Andy Evans, Stuart Kent · Lecture notes in computer science · 1999 · 92 citations

Engineering, Automated Reasoning, Formal Methods +8

Spider Diagrams: A Diagrammatic Reasoning System

John Howse, Fernando Molina, John Taylor et al. · Journal of Visual Languages & Computing · 2001 · 76 citations · Full text

Engineering, Diagrammatic Reasoning, Spider Diagrams +7

Formalizing spider diagrams

J. Gil, John Howse, Stuart Kent · 1999 · 65 citations

Engineering, Visual Programming Language, Geometry +17

A relational approach to defining and implementing transformations between metamodels

David H. Akehurst, Stuart Kent, Octavian Patrascoiu · Software & Systems Modeling · 2003 · 58 citations

Engineering, Automated Reasoning, Relational Approach +11

Rows per page

1–5 of 21