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: 62.

Article

Akehurst, David H. and Kent, S. 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. (The full text of this publication is not available from this repository)

Kent, S. and Smith, R.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 available from this repository)

Howse, J. and Molina, F. and Taylor, J. and Kent, S. and Gil, J. (2001) Spider Diagrams: A Diagrammatic Reasoning System. Journal of Visual Languages and Computing, 12 (3). pp. 299-324. ISSN 1045-926X . (Full text available)
[img]
Preview

Kent, S. 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. (Full text available)
[img]
Preview

Book section

Kent, S. and Lauder, A. (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 9780792371779. (The full text of this publication is not available from this repository)

Clark, A. and Evans, A. and Kent, S. (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 available from this repository)

Kent, S. (2001) The Unified Modeling Language. In: Bowman, H. and Derrick, J., eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, p. 126. ISBN 9780521771849. (Full text available)
[img]
Preview

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

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

Fiadeiro, J. and Goldsack, S.J. and Kent, S. 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 available from this repository)

Kent, S. 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 available from this repository)

Kent, S. (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 available from this repository)

Atkinson, W. and Cunningham, J. and Kent, S. (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 available from this repository)

Monograph

Smith, R.P. and Kent, S. (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, S. (1997) Constraint Diagrams: Visualizing Assertions in OO Modelling. Technical report. University of Brighton (Full text available)
[img]
Preview

Kent, S. (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 available from this repository)

Conference or workshop item

Lauder, Anthony and Kent, S. (2003) More Legacy System Patterns. In: Henderson, P.J., ed. Systems Engineering for Business Process Change New Directions - Collected Papers from the EPSRC Research Programme. Springer-Verlag, England pp. 225-240. ISBN 978-1852333997. (The full text of this publication is not available from this repository)

Hausmann, J.H. and Kent, S. (2003) Visualizing Model Mappings in UML. In: Proceedings of the ACM Symposium on Software Visualization, 2003; Jun, San Diego, CA. (The full text of this publication is not available from this repository)

Clark, A. and Evans, A. and Kent, S. (2002) A Metamodel for Package Extension with Renaming. In: The Unified Modeling Language 5th International Conference, September 30 – October 4, 2002 , Dresden, Germany. (The full text of this publication is not available from this repository)

Flower, J.E. and Howse, J. and Kent, S. and Taylor, J. (2002) A Visual Framework for Modelling with Heterogeneous Notations. In: IEE Symposium on Human Centric Computing Languages and Environments, Sept. 3-6, 2002, Arlington, VA, . (The full text of this publication is not available from this repository)

Clark, A. and Evans, A. and Kent, S. (2002) Engineering Modelling Languages: A Precise Metamodelling Approach. In: Weber, H., ed. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS. LNCS 2306, 2306. SPRINGER-VERLAG , Berlin, Germany pp. 159-173. ISBN 3-540-43353-8. (The full text of this publication is not available from this repository)

Clark, A. and Evans, A. and Kent, S. (2002) A Metamodel Facility for a Family of UML Constraint Languages. In: Clark, A. and Warmer, J., eds. Object Modeling with the OCL. LNCS 2263, 2263/2002. Springer-Verlag, Berlin pp. 440-443. ISBN 978-3-540-43169-5. (The full text of this publication is not available from this repository)

Kent, S. and Howse, J. (2002) Constraing Trees. In: Clark, A. and Warmer, J., eds. Object Modeling with the OCL. LNCS 2263, 2263/2002. Springer-Verlag, Berlin pp. 427-430. ISBN 978-3-540-43169-5. (The full text of this publication is not available from this repository)

Kent, S. (2002) Model Driven Engineering. In: Michael, J.Butler and Kaisa, Sere and Luigia, Petre, eds. Lecture Notes In Computer Science. LNCS 2335, 2335. Springer-Verlag pp. 286-298. ISBN 3-540-43703-7 . (The full text of this publication is not available from this repository)

Clark, A. and Evans, A. and Kent, S. (2001) The Meta-Modeling Language Calculus: Foundation Semantics for UML. In: Proceedings of ETAPS FASE Conference. (The full text of this publication is not available from this repository)

Gil, J. and Howse, J. and Kent, S. (2001) Towards a Formalization of Constraint Diagrams. In: Proceedings of IEEE Symposia on Human-Centric Computing. (The full text of this publication is not available from this repository)

Evans, A. and Kent, S. and Selic, B. (2000) Proceedings of UML 2000. In: LNCS, October 2-6, 2000, York, England. (The full text of this publication is not available from this repository)

Gill, J. and Howse, J. and Kent, S. and Taylor, J. (2000) Projections in Venn-Euler Diagrams. In: Proc. IEEE Symposium on Visual Languages (VL2000), 09/10/2000 - 09/13/2000, Seattle, WA, USA. (Full text available)
[img]
Preview

Lauder, A. and Kent, S. (2000) Statecharts for Business Process Modeling. In: Proceedings of the 2nd International Conference on Enterprise Information Systems (ICEIS 2000), 4-7 July 2000, Stafford, UK. (The full text of this publication is not available from this repository)

Cook, S. (2000) The UML Family: Profiles, Prefaces and Packages. In: Advancing the Standard Third International Conference, Proceedings, October 2–6, 2000, York, UK. (The full text of this publication is not available from this repository)

Gil, J. and Howse, J. and Kent, S. (1999) Constraint Diagrams: A Step Beyond UML. In: Technology of Object-Oriented Languages and Systems (TOOLS USA'99), August 01-05, 1999, Santa Barbara, California , USA. (Full text available)
[img]
Preview

Lauder, A. and Kent, S. (1999) EventPorts: Preventing Legacy Componentware. In: Proceedings of 3rd International Enterprise Distributed Object Computing Conference (EDOC 99), Sep 27-30, 1999, Mannheim, Germany. (Full text available)
[img]
Preview

Gil, J. and Howse, J. and Kent, S. (1999) Formalizing Spider Diagrams. In: Proceedings of IEEE Symposium on Visual Languages (VL99). IEEE Computer Society Press pp. 130-137. ISBN 0-7695-0216-4. (Full text available)
[img]
Preview

Howse, J. and Molina, F. and Taylor, J. and Kent, S. (1999) Reasoning with Spider Diagrams. In: Proceedings of IEEE Symposium on Visual Languages (VL99), Sep 13-16, 1999, Tokyo, Japan. (Full text available)
[img]
Preview

Lauder, A. and Kent, S. (1999) Two-Level Modeling. In: 31st International Conference on Technology of Object-Oriented Language and Systems, 1999, (TOOLS Asia 99), Sep 22-25, 1999, Nanjing, China. (Full text available)
[img]
Preview

Kent, S. and Evans, A. and Rumpe, B. (1999) UML Semantics FAQ. In: Moreira, A. and Demeyer, S., eds. Object-Oriented Technology ECOOP’99 Workshop Reader. Lecture Notes in Computer Science, 1743. Springer Verlag, LNCS pp. 33-56. ISBN 978-3-540-66954-8. (Full text available)
[img]
Preview

Evans, A. and Kent, S. (1999) Core Meta-Modelling Semantics of UML: The pUML Approach. In: Proceedings of UML'99, October 28-30, 1999, Ft Collins, Colorado, USA. (Full text available)
[img]
Preview

Evans, A. and Kent, S. (1999) Core meta-modelling semantics of UML: The pUML approach. In: France, R. and Rumpe, B., eds. «UML»’99 — The Unified Modeling Language. Lecture Notes in Computer Science, 1723. Springer-Verlag Berlin pp. 140-155. ISBN 3-540-66712-1. (The full text of this publication is not available from this repository)

Kent, S. and Howse, J. (1999) Mixing Visual and Textual Constraint Languages. In: 2nd International Conference on the Unified Modeling Language (UML 99), Oct 28-30, 1999, Ft Collins, Colorado. (Full text available)
[img]
Preview

Oliver, I. and Kent, S. (1999) Validation of Object-Oriented Models using Animation. In: Proceedings of the 25th EuroMicro'99 Conference, Sep 8-10, 1999, Milan, Italy. (Full text available)
[img]
Preview

Kent, S. and Howse, J. (1999) Mixing visual and textual constraint languages. In: France, R. and Rumpe, B., 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. (The full text of this publication is not available from this repository)

Gil, Y. and Kent, S. (1998) Three Dimensional Software Modelling. In: Proceedings of the 20th international conference on Software engineering. IEEE Press pp. 105-114. ISBN 0-8186-8368-6 . (Full text available)
[img]
Preview

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

Hamie, A. and Howse, J. and Kent, S. (1998) Modular Semantics for Object-Oriented Models. In: Proceedings of Northern Formal Methods Workshop. (Full text available)
[img]
Preview

Hamie, A. and Howse, J. and Kent, S. (1998) Interpreting the Object Constraint Language. In: Software Engineering Conference, 1998. Proceedings. 1998 Asia Pacific. IEEE Press pp. 288-295. ISBN 0-8186-9183-2. (Full text available)
[img]
Preview

Lauder, A. and Kent, S. (1998) Precise Visual Specification of Design Patterms. In: Proceedings of the 12th European Conference on Object-Oriented Programming. Springer Verlag pp. 114-134. ISBN 3-540-64737-6 . (Full text available)
[img]
Preview

Hamie, A. and Civello, F. and Howse, J. and Kent, S. and Mitchell, M. (1998) Reflections on the Object Constraint Language. In: Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation. Lecture Notes in Computer Science, 1618. Springer Verlag pp. 162-172. ISBN 3-540-66252-9 . (Full text available)
[img]
Preview

Kent, S. and Gil, Y. (1998) Visualising Action Contracts in OO Modelling. In: IEE Proceedings: Software. (Full text available)
[img]
Preview

Hamie, A. and Howse, J. and Kent, S. (1998) Navigation Expressions in OO Modelling. In: Proceedings of FASE98 at ETAPS98. (Full text available)
[img]
Preview

Kent, S. and Lano, K. and Bicarregui, J. and Hamie, A. and Howse, J. (1997) Component Composition in Business and System Modelling. In: Proceedings of OOPSLA97 Workshop on Object-Oriented Behavioural Semantics. (Full text available)
[img]
Preview

Kent, S. (1997) Constraint Diagrams: Visualizing Invariants in OO Modelling. In: Proceedings of OOPSLA97. (Full text available)
[img]
Preview

Kent, S. and Hamie, A. and Howse, J. and Civello, F. and Mitchell, R. (1997) Semantics through Pictures. In: Proceedings of the Workshops on Object-Oriented Technology. LNCS, 1357. Springer Verlag pp. 182-187. ISBN 3-540-64039-8 . (Full text available)
[img]
Preview

Lano, K. and Goldsack, S. and Bicarregui, J. and Kent, S. (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 available from this repository)

Kent, S. and Hamie, A. and Howse, J. and Civello, F. and Mitchell, R. (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. (Full text available)
[img]
Preview

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

Kent, S. and Howse, J. (1996) Value Types in Eiffel. In: Proceedings of TOOLS Europe'96 (TOOLS 19). (Full text available)
[img]
Preview

Kent, S. and Maung, I. (1995) Encapsulation and Aggregation. In: Proceedings of TOOLS PACIFIC 95 (TOOLS 18). (Full text available)
[img]
Preview

Kent, S. and Maung, I. (1995) Quantified Assertions in Eiffel. In: Proceedings of TOOLS PACIFIC 95 (TOOLS 18). (Full text available)
[img]
Preview

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

Kent, S. 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), 4-6 Jan 1993 , San Diego, CA. (The full text of this publication is not available from this repository)

Book

Goldsack, S.J. and Kent, S. (1996) Formal Methods and Object Technology. FACIT Series . Springer-Verlag, 368 pp. ISBN 978-3540199779 . (The full text of this publication is not available from this repository)

Thesis

Kent, S. (1993) Modelling Events from Natural Language. Doctor of Philosophy (Ph.D.) thesis, Department of Computing, Imperial College of Science, Technology and Medicine. (The full text of this publication is not available from this repository)

This list was generated on Wed Apr 23 21:42:23 2014 BST.