Skip to main content
Kent Academic Repository

Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 64.

Article

Akehurst, David H. and Kent, Stuart and Patrascoiu, Octavian (2003) A Relational Approach to Defining and Implementing Transformations in Metamodels. Software and Systems Modeling, 2 (4). pp. 215-239. ISSN 1619-1366. (doi:https://doi.org/10.1007/s10270-003-0032-z) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Clark, Anthony and Evans, Andy and Kent, Stuart (2003) Aspect-Oriented Metamodelling. Computer Journal, 46 (5). pp. 566-577. ISSN 0010-4620. (doi:https://doi.org/10.1093/comjnl/46.5.566) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart and Smith, Robert P. (2003) The Bidirectional Mapping Problem. Electronic Notes in Theoretical Computer Science, 82 (7). pp. 1-15. ISSN 1571-0661. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Howse, John and Molina, Fernando and Taylor, John and Kent, Stuart and Gil, Joseph (2001) Spider Diagrams: A Diagrammatic Reasoning System. Journal of Visual Languages and Computing, 12 (3). pp. 299-324. ISSN 1045-926X. (doi:https://doi.org/10.1006/jvlc.2000.0210) (Full text available)
[img]
Preview

Kent, Stuart and Pitt, J.V. (1996) Feature-based and Model-based Semantics for English, French and German Verb Phrases. Language Sciences, 18 (1-2). pp. 339-362. ISSN 0388-0001. (Full text available)
[img]
Preview

Book section

Kent, Stuart and Lauder, Anthony (2001) Statecharts for Business Process Modeling. In: Sharp, Bernadette and Filipe, Joaquim and Cordeiro, Jose, eds. Enterprise Information Systems II: 2nd International Conference on Enterprise Information Systems (ICEIS). Kluwer Academic Publishers, Dordrecht, p. 121. ISBN 978-0-7923-7177-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Clark, A. and Evans, Andy and Kent, Stuart (2001) A Reference Implementation for UML. In: Henderson-Sellers, B. and Barbier, F., eds. Object Modelling with UML. Special Issue of L'Objet, 7 . Hermes Science, pp. 363-385. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart (2001) The Unified Modeling Language. In: Bowman, Howard and Derrick, John, eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, p. 126. ISBN 978-0-521-77184-9. (Full text available)
[img]
Preview

Lauder, Anthony and Kent, Stuart (2000) Legacy System Anti-Patterns and a Pattern-Oriented Migration Response. In: Henderson, Philip J., ed. Systems Engineering for Business Process Change. Springer Verlag. (Full text available)
[img]
Preview

Kent, Stuart and Gaito, S. and Ross, N. (1999) A Meta-model Semantics for Structural Constraints in UML. In: Kilov, Haim and Rumpe, Bernhard and Simmonds, Ian, eds. Behavioral specifications for businesses and systems. Kluwer Academic Publishers, Norwell, MA, pp. 123-141. (Full text available)
[img]
Preview

Fiadeiro, J. and Goldsack, Stephen J. and Kent, Stuart and Quirk, W. (1992) Design Issues in Structured MAL. In: FOREST Research Deliverable Report WP1.R2. Dept of Computing, Imp College, Department of Computing, Imperial College of Science, Technology and Medicine, London. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart and Mailbaum, T. and Quirk, W. (1992) Specifying Deontic Behaviour in Modal Action Logic. In: FOREST Research Deliverable Report WP1.R2. Imperial College, Department of Computing, Imperial College of Science, Technology and Medicine, London. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart (1991) A Deduction Calculus for Modal Action Logic with Action Combinators. In: FOREST Research Deliverable Report WP3.R2. Not known, Department of Computing, Imperial College of Science, Technology and Medicine, London. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Atkinson, Will and Cunningham, J. and Kent, Stuart (1990) Deduction with Modularity, Equality and Sortedness. In: FOREST Research Deliverable Report WP3.R1. , Department of Computing, Imperial College of Science, Technology and Medicine, London. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Monograph

Smith, Robert P. and Kent, Stuart (2002) An Experiment in Model Driven Architecture for e-Enterprise Systems. Technical report. Computing Laboratory, University of Kent at Canterbury (Full text available)
[img]
Preview

Kent, Stuart (1997) Constraint Diagrams: Visualizing Assertions in OO Modelling. Technical report. University of Brighton (Full text available)
[img]
Preview

Kent, Stuart (1993) An Axiomatic Semantics for VDM++: OO Aspects. Technical report. Imperial College of Science, Technology and Medicine, London (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Conference or workshop item

Lauder, Anthony and Kent, Stuart (2003) More Legacy System Patterns. In: Henderson, Philip J., ed. Systems Engineering for Business Process Change - New Directions. Springer-Verlag, England pp. 225-240. ISBN 978-1-85233-399-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hausmann, J.H. and Kent, Stuart (2003) Visualizing Model Mappings in UML. In: Proceedings of the ACM Symposium on Software Visualization. pp. 169-178. ISBN 1-58113-642-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Clark, Anthony and Evans, Andy and Kent, Stuart (2002) A Metamodel for Package Extension with Renaming. In: Jezequel, Jean-Marc and Hussmann, Heinrich and Cook, Stephen, eds. The Unified Modeling Language 5th International Conference. Lecture Notes in Computer Science, 2460. Springer, Dresden, Germany pp. 305-320. ISBN 978-3-540-44254-7. (doi:https://doi.org/10.1007/3-540-45800-X_24) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Flower, Jean and Howse, John and Kent, Stuart and Taylor, John (2002) A Visual Framework for Modelling with Heterogeneous Notations. In: IEE Symposium on Human Centric Computing Languages and Environments. Technical Note HCC02. ISBN 0-7695-1644-0. (doi:https://doi.org/10.1109/HCC.2002.1046350) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Akehurst, David H. and Kent, Stuart (2002) A Relational Approach to Defining Transformations in a Metamodel. In: Jezequel, Jean-Marc and Hussmann, Heinrich, eds. UML2002 - The Unified Modeling Language: Model Engineeing, Concepts, and Tools. Lecture notes in computer science, 2460. Springer pp. 243-258. ISBN 3-540-44254-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Clark, Anthony and Evans, Andy and Kent, Stuart (2002) Engineering Modelling Languages: A Precise Metamodelling Approach. In: Weber, H., ed. Fundamental Approaches to Software Engineering. LNCS 2306, 2306. SPRINGER-VERLAG, Berlin, Germany pp. 159-173. ISBN 3-540-43353-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart and Howse, John (2002) Constraing Trees. In: Clark, Anthony and Warmer, Jos, eds. Advances in Object Modelling with OCL. LNCS 2263, 2263/2. Springer-Verlag, Berlin pp. 427-430. ISBN 978-3-540-43169-5. (doi:https://doi.org/10.1007/3-540-45669-4_12) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Clark, Anthony and Evans, Andy and Kent, Stuart (2002) A Metamodel Facility for a Family of UML Constraint Languages. In: Clark, Anthony and Warmer, Jos, eds. Advances in Object Modelling with OCL. LNCS 2263, 2263/2. Springer-Verlag, Berlin pp. 440-443. ISBN 978-3-540-43169-5. (doi:https://doi.org/10.1007/3-540-45669-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart (2002) Model Driven Engineering. In: Michael, J.Butler and Kaisa, Sere and Luigia, Petre, eds. Proceedings of IFM 2002. LNCS 2335, 2335. Springer-Verlag pp. 286-298. ISBN 3-540-43703-7. (doi:https://doi.org/10.1007/3-540-47884-1_16) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Clark, Anthony and Evans, Andy and Kent, Stuart (2001) The Meta-Modeling Language Calculus: Foundation Semantics for UML. In: Proceedings of ETAPS FASE Conference. Springer-Verlag (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gil, Joseph and Howse, John and Kent, Stuart (2001) Towards a Formalization of Constraint Diagrams. In: Proceedings of IEEE Symposia on Human-Centric Computing. IEEE Computer Society Press, Stresa, Italy pp. 72-79. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Evans, Andy and Kent, Stuart and Selic, Bran (2000) Proceedings of UML 2000. In: LNCS. Lecture Notes in Computer Science, 1939. Springer Verlag (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gill, Jas and Howse, John and Kent, Stuart and Taylor, John (2000) Projections in Venn-Euler Diagrams. In: Proc. IEEE Symposium on Visual Languages (VL2000). IEEE Computer Society Press, Seattle pp. 119-126. ISBN 0-7695-0840-5. (doi:https://doi.org/10.1109/VL.2000.874375) (Full text available)
[img]
Preview

Lauder, Anthony and Kent, Stuart (2000) Statecharts for Business Process Modeling. In: Proceedings of the 2nd International Conference on Enterprise Information Systems (ICEIS 2000). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cook, Steve J. (2000) The UML Family: Profiles, Prefaces and Packages. In: Evans, Andy and Kent, Stuart and Selic, Bran, eds. «UML» 2000 — The Unified Modeling Language. Lecture Notes in Computer Science, 1939. (doi:https://doi.org/10.1007/3-540-40011-7_18) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gil, Joseph and Howse, John and Kent, Stuart (1999) Constraint Diagrams: A Step Beyond UML. In: Proceedings of TOOLS USA'99. IEEE Computer Society Press (doi:https://doi.org/10.1109/TOOLS.1999.10066) (Full text available)
[img]
Preview

Lauder, Anthony and Kent, Stuart (1999) EventPorts: Preventing Legacy Componentware. In: Proceedings of Third International Enterprise Distributed Object Computing Conference (EDOC 99). IEEE Press pp. 224-232. ISBN 0-7803-5784-1. (doi:https://doi.org/10.1109/EDOC.1999.792066) (Full text available)
[img]
Preview

Gil, Joseph and Howse, John and Kent, Stuart (1999) Formalizing Spider Diagrams. In: Proceedings of IEEE Symposium on Visual Languages (VL99), Sep 13-16, 1999, Tokyo, Japan. (doi:https://doi.org/10.1109/VL.1999.795884) (Full text available)
[img]
Preview

Howse, John and Molina, Fernando and Taylor, John and Kent, Stuart (1999) Reasoning with Spider Diagrams. In: Proceedings of IEEE Symposium on Visual Languages (VL99). IEEE Computer Society Press pp. 138-145. (doi:https://doi.org/10.1109/VL.1999.795885) (Full text available)
[img]
Preview

Lauder, Anthony and Kent, Stuart (1999) Two-Level Modeling. In: Proceedings of TOOLS Asia 99. IEEE Computer Society Press p. 108. (doi:https://doi.org/10.1109/TOOLS.1999.796473) (Full text available)
[img]
Preview

Kent, Stuart and Evans, Andy and Rumpe, Bernhard (1999) UML Semantics FAQ. In: ECOOP'99 Workshop Reader. (doi:https://doi.org/10.1007/3-540-46589-8_3) (Full text available)
[img]
Preview

Evans, Andy and Kent, Stuart (1999) Core Meta-Modelling Semantics of UML: The pUML Approach. In: Proceedings of UML'99. IEE Computer Society Press (Full text available)
[img]
Preview

Evans, Andy and Kent, Stuart (1999) Core meta-modelling semantics of UML: The pUML approach. In: France, Robert and Rumpe, Bernhard, eds. Lecture Notes in Computer Science. Lecture Notes in Computer Science, 1723. Springer-Verlag Berlin pp. 140-155. ISBN 3-540-66712-1. (doi:https://doi.org/10.1007/3-540-46852-8_11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart and Howse, John (1999) Mixing Visual and Textual Constraint Languages. In: Proceedings of UML'99. IEEE Computer Society Press (Full text available)
[img]
Preview

Oliver, Ian and Kent, Stuart (1999) Validation of Object-Oriented Models using Animation. In: Proceedings of EuroMicro'99. pp. 237-242. ISBN 0-7695-0321-7. (doi:https://doi.org/10.1109/EURMIC.1999.794786) (Full text available)
[img]
Preview

Kent, Stuart and Howse, John (1999) Mixing visual and textual constraint languages. In: France, Robert and Rumpe, Bernhard, eds. «UML»’99 — The Unified Modeling Language. Lecture Notes In Computer Science, 1723. Springer-Verlag Berlin, Berlin Germany pp. 384-398. ISBN 3-540-66712-1. (doi:https://doi.org/10.1007/3-540-46852-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gil, Y. and Kent, Stuart (1998) Three Dimensional Software Modelling. In: International Conference on Software Engineering. IEEE Press pp. 105-114. ISBN 0-8186-8368-6. (Full text available)
[img]
Preview

Kent, Stuart and Howse, John and Lauder, Anthony (1998) Modelling Components. In: Proceedings: International Workshop on Large-Scale Software Composition at DEXA98. IEEE Press (Full text available)
[img]
Preview

Hamie, Ali and Howse, John and Kent, Stuart (1998) Modular Semantics for Object-Oriented Models. In: Proceedings of Northern Formal Methods Workshop. eWics Series. Springer Verlag (Full text available)
[img]
Preview

Hamie, Ali and Howse, John and Kent, Stuart (1998) Interpreting the Object Constraint Language. In: Proceedings of Asia Pacific Conference in Software Engineering. IEEE Press pp. 288-295. ISBN 0-8186-9183-2. (doi:https://doi.org/10.1109/APSEC.1998.733731) (Full text available)
[img]
Preview

Lauder, Anthony and Kent, Stuart (1998) Precise Visual Specification of Design Patterms. In: Proceedings of ECOOP98. Springer Verlag pp. 114-134. ISBN 3-540-64737-6. (Full text available)
[img]
Preview

Hamie, Ali and Civello, Franco and Howse, John and Kent, Stuart and Mitchell, Richard (1998) Reflections on the Object Constraint Language. In: Post Workshop Proceedings of UML98. Lecture Notes in Computer Science, 1618. Springer Verlag pp. 162-172. ISBN 3-540-66252-9. (Full text available)
[img]
Preview

Kent, Stuart and Gil, Y. (1998) Visualising Action Contracts in OO Modelling. In: IEE Proceedings: Software. 145, 145 (2-3). pp. 70-78. (Full text available)
[img]
Preview

Hamie, Ali and Howse, John and Kent, Stuart (1998) Navigation Expressions in OO Modelling. In: Proceedings of FASE98 at ETAPS98. Springer Verlag pp. 123-137. (Full text available)
[img]
Preview

Kent, Stuart and Lano, Kevin and Bicarregui, Juan and Hamie, Ali and Howse, John (1997) Component Composition in Business and System Modelling. In: Proceedings of OOPSLA97 Workshop on Object-Oriented Behavioural Semantics. Technical Report TUM-I9737. University of Munich (Full text available)
[img]
Preview

Kent, Stuart (1997) Constraint Diagrams: Visualizing Invariants in OO Modelling. In: Proceedings of OOPSLA97. ACM SIGPLAN Notices, 32. ACM Press pp. 327-341. (Full text available)
[img]
Preview

Kent, Stuart and Hamie, Ali and Howse, John and Civello, Franco and Mitchell, Richard (1997) Semantics through Pictures. In: ECOOP'97 Workshop Reader. LNCS, 1357. Springer Verlag pp. 182-187. ISBN 3-540-64039-8. (Full text available)
[img]
Preview

Lano, Kevin and Goldsack, Stephen J. and Bicarregui, Juan and Kent, Stuart (1997) Integrating VDM++ and Real-time System Design. In: Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation. Lecture Notes In Computer Science, 1212. LNCS, Springer-Verlag pp. 188-219. ISBN 3-540-62717-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart and Hamie, Ali and Howse, John and Civello, Franco and Mitchell, Richard (1997) Semantics Through Pictures: towards a diagrammatic semantics for object-oriented modelling notations. In: Proceedings of ECOOP'97 Workshop on Precise Semantics for Object-Oriented Modelling Techniques. Technical Report TUM-I9725. University of Munich (Full text available)
[img]
Preview

Lano, Kevin and Bicarregui, Juan and Kent, Stuart (1996) A Real-time Action Logic of Objects. In: Proceedings of ECOOP'96 Workshop on Proof Theory of Concurrent Object-oriented Programming. Linz, Austria (Full text available)
[img]
Preview
[img]
Preview

Kent, Stuart and Howse, John (1996) Value Types in Eiffel. In: Proceedings of TOOLS Europe'96 (TOOLS 19). Prentice Hall pp. 145-160. (Full text available)
[img]
Preview

Kent, Stuart and Maung, Ian (1995) Encapsulation and Aggregation. In: Proceedings of TOOLS PACIFIC 95 (TOOLS 18). Prentice Hall pp. 227-238. (Full text available)
[img]
Preview

Kent, Stuart and Maung, Ian (1995) Quantified Assertions in Eiffel. In: Proceedings of TOOLS PACIFIC 95 (TOOLS 18). Prentice Hall pp. 349-364. (Full text available)
[img]
Preview

Kent, Stuart (1993) Towards a Modal Logic of Durative Actions. In: Proceedings of the first Imperial College Dept. of Computing Theory & Formal Methods Section Workshop. Springer Verlag pp. 183-194. (Full text available)
[img]
Preview

Kent, Stuart and Mailbaum, T.S.E. and Quirk, W. (1993) Formally Specifying Temporal Constraints and Error Recovery. In: Proceedings of IEEE First International Symposium on Requirements Engineering (RE93). IEEE Xplore, San Diego pp. 208-215. ISBN 0-8186-3120-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Book

Goldsack, Stephen J. and Kent, Stuart (1996) Formal Methods and Object Technology. FACIT Series . Springer-Verlag, 368 pp. ISBN 978-3-540-19977-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Thesis

Kent, Stuart (1993) Modelling Events from Natural Language. Doctor of Philosophy (PhD) thesis, Department of Computing, Imperial College of Science, Technology and Medicine. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

This list was generated on Sat May 25 15:12:13 2019 BST.