Stuart Kent

According to our database, Stuart Kent authored at least 49 papers between 1993 and 2003.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2003

A relational approach to defining and implementing transformations between metamodels.

David H. Akehurst, Stuart Kent, Octavian Patrascoiu

Softw. Syst. Model., 2003

The Bidirectional Mapping Problem.

Stuart Kent, Robert Smith

Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003

Aspect-oriented Metamodelling.

Tony Clark, Andy Evans, Stuart Kent

Comput. J., 2003

Visualizing Model Mappings in UML.

Jan Hendrik Hausmann, Stuart Kent

Proceedings of the Proceedings ACM 2003 Symposium on Software Visualization, 2003

2002

Model Driven Language Engineering.

Stuart Kent

Proceedings of the Workshop on Software Evolution Through Transformations 2002, 2002

A Visual Framework for Modelling with Heterogeneous Notations.

Jean Flower, John Howse, John Taylor, Stuart Kent

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 2002

A Metamodel for Package Extension with Renaming.

Tony Clark, Andy Evans, Stuart Kent

Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

A Relational Approach to Defining Transformations in a Metamodel.

David H. Akehurst, Stuart Kent

Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

Constraint Trees.

Stuart Kent, John Howse

Proceedings of the Object Modeling with the OCL, 2002

A Meta-model Facility for a Family of UML Constraint Languages.

Tony Clark, Andy Evans, Stuart Kent

Proceedings of the Object Modeling with the OCL, 2002

Model Driven Engineering.

Stuart Kent

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

Advanced visual modelling: beyond UML.

Joseph Gil, John Howse, Stuart Kent

Proceedings of the 24th International Conference on Software Engineering, 2002

Engineering Modelling Languages: A Precise Meta-Modelling Approach.

Tony Clark, Andy Evans, Stuart Kent

Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001

Spider Diagrams: A Diagrammatic Reasoning System.

John Howse, Fernando Molina, John Taylor, Stuart Kent, Joseph Gil

J. Vis. Lang. Comput., 2001

The specification of a reference implementation for the Unified Modeling Language.

Tony Clark, Andy Evans, Stuart Kent

Obj. Logiciel Base données Réseaux, 2001

Towards a Formalization of Constraint Diagrams.

Joseph Gil, John Howse, Stuart Kent

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

The Metamodelling Language Calculus: Foundation Semantics for UML.

Tony Clark, Andy Evans, Stuart Kent

Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000

Projections in Venn-Euler Diagrams.

Joseph Gil, John Howse, Stuart Kent, John Taylor

Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000

Advanced Visual Modeling: Beyond UML.

Joseph Gil, John Howse, Stuart Kent

Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000

Advanced visual modeling (tutorial session): beyond UML.

Joseph Gil, John Howse, Stuart Kent

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Statecharts for Business Process Modelling.

Anthony Lauder, Stuart Kent

Proceedings of the ICEIS 2000, 2000

1999

Reasoning with Spider Diagrams.

John Howse, Fernando Molina, John Taylor, Stuart Kent

Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

Formalizing Spider Diagrams.

Joseph Gil, John Howse, Stuart Kent

Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

Mixing Visual and Textual Constraint Languages.

Stuart Kent, John Howse

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Core Meta-Modelling Semantics of UML: The pUML Approach.

Andy Evans, Stuart Kent

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Two-Level Modeling.

Anthony Lauder, Stuart Kent

Proceedings of the TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 1999

Constraint Diagrams: A Step Beyond UML.

Joseph Gil, John Howse, Stuart Kent

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

Validation of Object Oriented Models using Animation.

Ian Oliver, Stuart Kent

Proceedings of the 25th EUROMICRO '99 Conference, 1999

EventPorts: preventing legacy componentware.

Anthony Lauder, Stuart Kent

Proceedings of the Third International Enterprise Distributed Object Computing Conference, 1999

What Does the Term <i>Semantics</i> Mean in the Context of UML.

Bernhard Rumpe, Stuart Kent, Andy Evans, Robert B. France

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Is a Precise Semantics Desirable? For What Purpose?

Stuart Kent, Bernhard Rumpe, Andy Evans, Robert B. France

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

UML Semantics FAQ.

Stuart Kent, Andy Evans, Bernhard Rumpe

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Is It Possible to Express a Semantics of UML in UML? (The Meta-modelling Approach).

Martin Gogolla, Stuart Kent, Tom Mens, Mark Richters, Oliver Radfelder

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

A Meta-Model Semantics for Structural Constraints In UML.

Stuart Kent, Stephen Gaito, Niall Ross

Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1998

Visualising action contracts in object-oriented modelling.

Stuart Kent, Joseph Gil

IEE Proc. Softw., 1998

Reflections on the Object Constraint Language.

Ali Hamie, Franco Civello, John Howse, Stuart Kent, Richard Mitchell

Proceedings of the Unified Modeling Language, 1998

Formalizing UML. Why? How?

Ana Moreira, Luís Filipe Andrade, Akash Deshpande, Stuart Kent

Proceedings of the Addendum to the 1998 Proceedings of the Conference on Object-Oriented Programming, 1998

Three Dimensional Software Modeling.

Joseph Gil, Stuart Kent

Proceedings of the Forging New Links, 1998

Navigation Expresion in Object-Oriented Modelling.

Ali Hamie, John Howse, Stuart Kent

Proceedings of the Fundamental Approaches to Software Engineering, 1998

Precise Visual Specification of Design Patterns.

Anthony Lauder, Stuart Kent

Proceedings of the ECOOP'98, 1998

Modeling Software Components.

Stuart Kent, John Howse, Anthony Lauder

Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998

Interpreting the Object Constraint Language.

Ali Hamie, John Howse, Stuart Kent

Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1997

Integrating VDM++ and Real-Time System Design.

Kevin Lano, Stephen J. Goldsack, Juan Bicarregui, Stuart Kent

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

Constraint Diagrams: Visualizing Assertions in Object-Oriented Models.

Stuart Kent

Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

Semantics Through Pictures.

Stuart Kent, Ali Hamie, John Howse, Franco Civello, Richard Mitchell

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1996

Formal Methods and Object Technology

Stephen J. Goldsack, Stuart J. H. Kent

FACIT : formal approaches to computing and information technology, Springer, ISBN: 978-3-540-19977-9, 1996

1993

Modelling events from natural language.

Stuart John Harding Kent

PhD thesis, 1993

Formally specifying temporal constraints and error recovery.

Stuart Kent, T. S. E. Maibaum, William J. Quirk

Proceedings of IEEE International Symposium on Requirements Engineering, 1993

Towards a Modal Logic of Durative Actions.

Stuart Kent

Proceedings of the Theory and Formal Methods 1993, 1993