Items where division is "Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group"
Number of items at this level: 638. 2009
|
Ritson, Carl G. and Sampson, Adam T. and Barnes, Frederick R.M.
(2009)
Multicore Scheduling for Lightweight Communicating Processes.
In: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, Jun 09-12, 2009, Lisbon, Portugal.
|
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)  Preview |
|
2008
|
Chadwick, David and Beitis, George and Owen, Gareth
(2008)
Adding Authorisation to EduRoam.
In: TERENA Networking Conference, May, 2008, Brugge, Belgium.
The full text of this publication is not available from this repository.
|
|
|
Fisker, Kasper and McCall, Davin and Kölling, Michael and Quig, Bruce
(2008)
Group work support for the BlueJ IDE.
In: Proceedings of the 13th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE '08), JUN 30-JUL 02, 2008, Madrid, SPAIN.
|
 Preview |
|
|
Jadud, Matthew C. and Simpson, Jonathan and Jacobsen, Christian L.
(2008)
Patterns for programming in parallel, pedagogically.
In: SIGCSE '08: Proceedings of the 39th SIGCSE technical symposium on Computer science education.
The full text of this publication is not available from this repository.
|
|
|
Jadud, Matthew C. and Jacobsen, Christian L. and Ritson, Carl G. and Simpson, Jonathan
(2008)
Safe Parallelism for Behavioral Control.
In: 2008 IEEE International Conference on Technologies for Practical Robot Applications (TePRA), NOV 10-11, 2008, Woburn, MA.
|
 Preview |
|
|
Jones, Richard and Ryder, Chris
(2008)
A Study of Java Demographics.
In: Proceedings of the 2008 International Symposium on Memory Management (ISMM'08), Jun 07-08, 2008, Tucson, AZ.
|
 Preview |
|
|
Owen, G. and Adda, M.
(2008)
Storing Data in Ad Hoc Networks.
In: Challenges in Higher Education & Research.
The full text of this publication is not available from this repository.
|
|
|
Polack, Fiona A.C. and Hoverd, Tim and Sampson, Adam T. and Stepney, Susan and Timmis, Jon
(2008)
Complex systems models: engineering simulations.
In: Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems.
|
 Preview |
|
|
Welch, P.H. and Pedersen, Jan B.
(2008)
Santa Claus - with Mobile Reindeer and Elves.
In: Communicating Process Architectures 2008, Sept 07-10, 2008, York, England.
The full text of this publication is not available from this repository.
|
|
|
Welch, P.H. and Barnes, Frederick R.M.
(2008)
A CSP Model for Mobile Channels.
In: Communicating Process Architectures 2008, SEP 07-10, 2008, York, England.
|
 Preview |
|
2007
|
Barnes, David J. and Hopkins, Tim
(2007)
Improving Test Coverage of Lapack.
Applicable Algebra in Engineering Communication and Computing, 18
(3).
pp. 209-222.
ISSN 0938-1279.
The full text of this publication is not available from this repository.
|
|
|
Brito, P.H.S. and de Lemos, R. and Martins, E. and Rubira, C.M.F.
(2007)
Verification and Validation of a Fault-Tolerant Architectural Abstraction.
In: Supplemental Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), June 2007, Edinburgh, Scotland.
The full text of this publication is not available from this repository.
|
|
|
Chadwick, David W.
(2007)
Operational Models for Reputation Servers.
In: Herrmann, Peter and Issarny, Valerie and Shiu, Simon, eds.
Trust Management: Third International Conference, iTrust 2005.
Lecture Notes in Computer Science, 3477
.
Springer, Berlin, pp. 108-115.
ISBN 9783540260424.
|
 Preview |
|
|
Jacobsen, Christian L. and Jadud, Matthew C.
(2007)
Concurrency, Robotics, and RoboDeb.
In: Proceedings of AAAI Robotics and Education.
The full text of this publication is not available from this repository.
|
|
|
Köllmann, C. and Kutvonen, L. and Linington, P.F. and Solberg, A.
(2007)
An Aspect-oriented Approach to Manage QoS Dependability Dimensions in Model Driven Development.
In: Pires, L.Ferreira and Hammoudi, S., eds.
Model-Driven Enterprise Information Systems Proceedings of the 3rd International Workshop on Model-Driven Enterprise Information Systems - MDEIS 2007 Funchal, Portugal.
INSTICC Press, Portugal
pp. 85-94.
ISBN 978-989-8111-00-5.
The full text of this publication is not available from this repository.
|
|
|
Ritson, Carl G. and Welch, P.H.
(2007)
A Process-Oriented Architecture for Complex System Modelling.
In: McEwan, A.A. and Schneider, S.A. and Ifill, W. and Welch, P.H., eds.
Communicating Process Architectures 2007.
Concurrent Systems Engineering Series, 65.
IOS Press, Amsterdam, The Netherlands
pp. 249-266.
ISBN 978-1-58603-767-3.
|
 Preview |
|
|
Welch, P.H. and Brown, N.C.C. and Moores, J. and Chalmers, K. and Sputh, B.
(2007)
Integrating and Extending JCSP.
In: Communicating Process Architectures 2007, Jul, 2007, Guildford.
|
 Preview |
|
2006
|
Barnes, David J. and Hopkins, Tim
(2006)
Applying Software Testing Metrics to Lapack.
In: Dongarra, Jack and Madsen, Kaj and Wasniewski, Jerzy, eds.
Applied Parallel Computing: State of the Art in Scientific Computing.
Lecture Notes in Computer Science, 3732.
Springer, Berlin
pp. 228-236.
ISBN 9783540290674.
The full text of this publication is not available from this repository.
|
|
|
Barnes, F.R.M.
(2006)
Compiling CSP.
In: Proceedings of Communicating Process Architectures 2006 (CPA-2006), Edinburgh, Scotland.
|
 Preview |
|
|
Dimmich, Damian J. and Jacobsen, Christian L. and Jadud, Matthew C.
(2006)
A Cell Transterpreter.
In: Communicating Process Architectures 2006: WoTUG-29.
|
 Preview |
|
|
Gacek, C. and de Lemos, R.
(2006)
Architectural Description of Dependable Software Systems.
In: Besnard, D. and Gacek, C. and Jones, C., eds.
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective.
Springer London, pp. 127-142.
ISBN 978-1-84628-110-5.
|
 Preview |
|
|
Jones, Richard and Ryder, Chris
(2006)
Garbage Collection Should Be Lifetime Aware.
In: International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006), 3 July 2006, Nantes, France.
|
 Preview |
|
|
Ritson, Carl G. and Sampson, Adam T. and Barnes, Frederick R.M.
(2006)
Video Processing in occam-pi.
In: Communicating Process Architectures 2006.
|
 Preview |
|
|
Welch, P.H. and Barnes, F.R.M. and Polack, F.A.C.
(2006)
Communicating Complex Systems.
In: 11th International Conference on Engineering of Complex Computer Systems, 15-17 August 2006, Stanford, California (USA).
|
 Preview |
|
|
de Lemos, R.
(2006)
Idealised Fault Tolerant Architectural Element.
In: The International Conference on Dependable Systems and Networks (DSN-2006), 25-28 June 2006, Philadelphia, Pennsylvania (USA).
The full text of this publication is not available from this repository.
|
|
|
de Lemos, R. and Gacek, C. and Romanovsky, A.
(2006)
Architecting Dependable Systems.
JOURNAL OF SYSTEMS AND SOFTWARE , 79
(10).
pp. 1359-1360.
ISSN 0164-1212.
The full text of this publication is not available from this repository.
|
|
2005
|
Aagedal, J.O. and Bezivin, J. and Linington, P.F.
(2005)
Model-Driven Development.
In: Malenfant, J. and Ostvold, B.M., eds.
ECOOP 2004 Workshop Reader.
LNCS, 3344
.
Springer-Verlag, pp. 148-157.
ISBN 3-540-23988-X.
The full text of this publication is not available from this repository.
|
|
|
Barnes, F.R.M.
(2005)
Interfacing C and occam-pi.
In: Broenink, Jan F. and Roebbers, H.W. and Sunter, J.P.E. and Welch, P.H. and Wood, D.C., eds.
Communicating Process Architectures 2005.
Concurrent Systems Engineering Series
.
IOS Press, Amsterdam, pp. 249-260.
ISBN 9781586035617.
The full text of this publication is not available from this repository.
|
|
|
Barnes, Frederick R.M. and Welch, Peter H. and Sampson, Adam T.
(2005)
Barrier Synchronisation for occam-pi.
In: Arabnia, Hamid R., ed.
Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications.
CSREA Press, Las Vegas, Nevada, USA
pp. 173-179.
ISBN 1-932415-58-0.
The full text of this publication is not available from this repository.
|
|
|
Chadwick, David W.
(2005)
The X.509 Privilege Management Standard.
UPGRADE: The European Journal for the Informatics Professional, VI
(4).
pp. 41-46.
ISSN 1684-5285.
The full text of this publication is not available from this repository.
|
|
|
Lopez, Gabriel and Canovas, Oscar and Gomez-Skarmeta, Antonio F. and Otenko, Sassa and Chadwick, David W.
(2005)
A Heterogeneous Network Access Service based on PERMIS and SAML.
In: 2nd EuroPKI Workshop, 30 June - 1 July 2005, Canterbury, United Kingdom.
The full text of this publication is not available from this repository.
|
|
|
Ryan, Nick
(2005)
Smart environments for cultural heritage.
In: Uno, Takao, ed.
Reading Historical Spatial Information from around the World: studies of culture and civilization based on geographic information systems data.
International Research Center for Japanese Studies, Kyoto, Japan.
|
 Preview |
|
|
Ryder, Chris and Thompson, Simon
(2005)
Porting HaRe to the GHC API.
Technical report.
Computing Laboratory, University of Kent, University of Kent, Canterbury, Kent, UK
|
 Preview |
|
|
Sklenar, Lukas and Utting, Ian
(2005)
Growing a Tourist Guide.
In: Smart Environments and their Applications to Cultural Heritage, 11-14 September 2005, Tokyo, Japan.
The full text of this publication is not available from this repository.
|
|
|
Su, L. and Chadwick, David W. and Basden, A. and Cunningham, J.A.
(2005)
Automated Decomposition of Access Control Policies.
In:
Proceeds of 6th IEEE International Workshop on Policies for Distributed Systems and Networks.
IEEE Computer Society, Washington, DC, USA
pp. 3-13.
ISBN 0769522653.
The full text of this publication is not available from this repository.
|
|
|
Tan, Su-Wei and Waters, A.G. and Crawford, John
(2005)
MeshTree: Reliable Low Delay Degree-bounded Multicast Overlays.
In: First International Workshop on Distributed, Parallel and Network Applications (DPNA-2005), 20-22 July 2005, Fukuoka, Japan.
The full text of this publication is not available from this repository.
|
|
|
Welch, P.H. and Barnes, F.R.M.
(2005)
Mobile Barriers for occam-pi: Semantics, Implementation and Application.
In: Broenink, Jan F. and Roebbers, H.W. and Sunter, J.P.E. and Welch, P.H. and Wood, D.C., eds.
Communicating Process Architectures 2005.
Concurrent Systems Engineering Series
.
IOS Press, Amsterdam, pp. 289-316.
ISBN 9781586035617.
The full text of this publication is not available from this repository.
|
|
|
Xu, Wensheng and Chadwick, David W. and Otenko, Sassa
(2005)
A PKI Based Secure Audit Web Server.
In:
IASTED Communications, Network and Information and CNIS.
, Phoenix, USA
|
 Preview |
|
|
de Lemos, R.
(2005)
Architecting Web services applications for improving availability.
In: deLemos, R. and Gacek, C. and Romanovsky, A., eds.
Architecting Dependable Systems III.
Lecture Notes in Computer Science
.
Springer, Berlin, pp. 69-91.
ISBN 9783540289685.
The full text of this publication is not available from this repository.
|
|
|
de Lemos, R.
(2005)
The Conflict between Self-* Capabilities and Predictability.
In: Babaoglu, Ö., ed.
Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations.
Lecture Notes in Computer Science
.
Springer, pp. 219-228.
The full text of this publication is not available from this repository.
|
|
2004
|
UNSPECIFIED
(2004)
Integrated Formal Methods, 4th International Conference.
In: Boiten, E.A. and Derrick, J. and Smith, G., eds.
Integrated Formal Methods.
Lecture Notes in Computer Science, 2999.
Springer-Verlag
ISBN 3-540-21377-5.
The full text of this publication is not available from this repository.
|
|
|
Barnes, F.R.M. and Welch, P.H.
(2004)
Communicating Mobile Processes.
In: Communicating Process Architectures 2004, Sep 05-08, 2004 , Oxford Brooks Univ, Oxford, England, .
|
 Preview |
|
|
Boiten, E.A. and Möller, B.
(2004)
Special Issue on MPC 2002: Foreword.
Science of Computer Programming, 51
(1-2).
pp. 1-2.
ISSN 0167-6423.
The full text of this publication is not available from this repository.
|
|
|
Borba, P.H.M. and Sampaio, A.C.A. and Cavalcanti, A.L.C. and Cornelio, M.L.
(2004)
Algebraic Reasoning for Object-Oriented Programming.
Science of Computer Programming, 52
(1-3).
pp. 53-100.
ISSN 0167-6423 .
The full text of this publication is not available from this repository.
|
|
|
Bujorianu, Marius C. and Boiten, E.A.
(2004)
Towards Correspondence Carrying Specifications.
In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds.
Algebraic Methodology and Software Technology.
LNCS, 3116.
Springer
pp. 57-71.
ISBN 3-540-22381-9 .
The full text of this publication is not available from this repository.
|
|
|
Chadwick, David W.
(2004)
The X.509 Privilege Management Infrastructure.
In: Jerman-Blazic, B. and Schneider, W. and Klobucar, T., eds.
Security and Privacy in Advanced Networking Technologies.
NATO Science Series: Computer & Systems Sciences, 193
.
IOS Press, Amsterdam, pp. 15-25.
ISBN 9781586034306.
|
 Preview |
|
|
Milosevic, Z. and Gibson, S. and Linington, P.F. and Cole, J. and Kulkarni, S.
(2004)
On design and implementation of a contract monitoring facility.
In: Benatallah, Boualem and Godart, Claude and Shan, Ming-Chien, eds.
WEC.
IEEE Computer Society, Washington, DC, USA
pp. 62-70.
ISBN ISBN 0-7695-2184-3.
The full text of this publication is not available from this repository.
|
|
|
Milosevic, Z. and Linington, P.F. and Gibson, S. and Kulkarni, S. and Cole, J.
(2004)
Inter-Organisational Collaborations Supported by E-Contracts.
In: Lamersdorf, Winfried and Tschammer, Volker and Amarger, Stephane, eds.
Building the E-Service Society.
IFIP 18th World Computer Congress, 146.
Springer, Toulouse, France
pp. 413-429.
ISBN 1-4020-8154-5.
The full text of this publication is not available from this repository.
|
|
|
Nuka, Gift and Woodcock, Jim
(2004)
Mechanising the alphabetised relational calculus.
In:
Electronic Notes in Theoretical Computer Science.
Electronic Notes in Theoretical Computer Science, 95.
Elsevier , Campina Grande, Brazil
pp. 209-225.
The full text of this publication is not available from this repository.
|
|
|
Oliveira, M.V.M and Cavalcanti, A.L.C. and Woodcock, J.C.P.
(2004)
From Circus to JCSP.
In: Sixth International Conference on Formal Engineering Methods, Nov 08-12, 2004, Seattle, WA, .
The full text of this publication is not available from this repository.
|
|
|
Oliveira, M.V.M and Xavier, M.A and Cavalcanti, A.L.C.
(2004)
Refine and Gabriel: Support for Refinement and Tactics.
In:
Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on.
IEEE Computer Society Press
pp. 310-319.
ISBN 0-7695-2222-X .
The full text of this publication is not available from this repository.
|
|
|
Oliveira, M.V.M and Cavalcanti, A.L.C. and Woodcock, J.C.P.
(2004)
Refining Industrial Scale Systems in Circus.
In: Communicating Process Architectures 2004, Sep 05-08, 2004 , Oxford Brooks Univ, Oxford, England.
|
 Preview |
|
|
Pediaditakis, Michael and Shrimpton, David
(2004)
Towards a Generic XML Content Presentation Model.
In: W3C Workshop on Web Applications and Compound Documents, June 2004, San Jose, California, USA.
The full text of this publication is not available from this repository.
|
|
|
Tang, Xinbei and Woodcock, Jim
(2004)
Towards Mobile Processes in Unifying Theories.
In: Cuellar, Jorge and Liu, Zhiming, eds.
Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on.
IEEE Computer Society Press., Beijing, China
pp. 44-53.
ISBN 0-7695-2222-X .
The full text of this publication is not available from this repository.
|
|
|
Tang, Xinbei. and Woodcock, Jim
(2004)
Travelling Processes.
In: MPC2004: The 7th International Conference on Mathematics of Program Construction, Jul 12-14, 2004, Stirling, Scotland.
The full text of this publication is not available from this repository.
|
|
|
Woodcock, Jim
(2004)
Using Circus for critical industrial applications.
In:
Electronic Notes in Theoretical Computer Science.
Electronic Notes in Theoretical Computer Science, 95.
Elsevier Science , Campina Grande, Brazil
pp. 3-22.
The full text of this publication is not available from this repository.
|
|
|
de Lemos, R. and Gacek, C. and Romanovsky, A.
(2004)
Architecting Dependable Systems II.
Lecture Notes in Computer Science, 3069
.
Springer, 363 pp.
ISBN 978-3540231684.
The full text of this publication is not available from this repository.
|
|
2003
|
Akehurst, D.H. and Derrick, J. and Waters, A.G.
(2003)
Addressing Computational Viewpoint Design.
In: Seventh IEEE International Enterprise Distributed Object Computing Conference - EDOC 2003, Sep 16-19, 2003, Brisbane, Australia, .
The full text of this publication is not available from this repository.
|
|
|
Akehurst, D.H. and Patrascoiu, Octavian
(2003)
Tooling Metamodels with Patterns and OCL.
In:
Proceedings of the Metamodelling for MDA Workshop.
, York
The full text of this publication is not available from this repository.
|
|
|
Akehurst, David. and Patrascoiu, Octavian
(2003)
OCL: Implementing the Standard.
In: OCL2.0-''Industry standard or scientific playground?'' - Proceedings of the UML'03 workshop.
The full text of this publication is not available from this repository.
|
|
|
Akehurst, D.H. and Linington, P.F. and Patrascoiu, Octavian
(2003)
OCL 2.0: Implementing the Standard.
Technical report.
University of Kent
The full text of this publication is not available from this repository.
|
|
|
Atiya, Diyaa-Addein and King, Steve and Woodcock, Jim
(2003)
A Circus semantics for Ravenscar protected objects.
In: Araki, K. and Gnesi, S. and Mandrioli, D., eds.
LECTURE NOTES IN COMPUTER SCIENCE.
SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
pp. 617-635.
ISBN 3-540-40828-2.
The full text of this publication is not available from this repository.
|
|
|
Bodden, Eric
(2003)
A High-level View of Java Applications.
In: OOPSLA'03 ACM SIGPLAN Conference on Object-Oriented Systems, Languages and Applications (Companion).
The full text of this publication is not available from this repository.
|
|
|
Boiten, E.A. and Bujorianu, Marius C.
(2003)
Exploring UML Refinement through Unification.
In: Jurjens, J. and Rumpe, B. and France, R. and Fernandez, E.B., eds.
Critical Systems Development with UML - Proceedings of the UML'03 workshop.
Lecture Notes in Computer Science (TUM-I0323).
Technische Universitat Munchen
pp. 47-62.
The full text of this publication is not available from this repository.
|
|
|
Boiten, E.A. and Denvir, T. and Derrick, J. and von Wright, J.
(2003)
Editorial: Special Issue on Refinement.
Formal Aspects of Computing, 15
(2).
pp. 101-102.
ISSN 0934-5043.
The full text of this publication is not available from this repository.
|
|
|
Butterfield, Andrew and Woodcock, Jim
(2003)
An operational semantics for Handel-C.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 80
.
pp. 1-16.
ISSN 1571-0661.
The full text of this publication is not available from this repository.
|
|
|
Cavalcanti, A.L.C. and Sampaio, A.C.A. and Woodcock, J.C.P.
(2003)
A Refinement Strategy for Circus.
Formal Aspects of Computing, 15
(2-3).
pp. 146-181.
ISSN 0934-5043.
The full text of this publication is not available from this repository.
|
|
|
Cavalcanti, A.L.C. and Sampaio, A.C.A and Woodcock, J.C.P.
(2003)
A unified language of classes and processes.
In:
St Eve: State-Oriented vs. Event-Oriented Thinking in Requirements Analysis, Formal Specification and Software Engineering.
, Satellite Workshop at FM'03
The full text of this publication is not available from this repository.
|
|
|
Clark, A. and Evans, A. and Kent, S.
(2003)
Aspect-Oriented Metamodelling.
COMPUTER JOURNAL , 46
(5).
pp. 566-577.
ISSN 0010-4620 .
The full text of this publication is not available from this repository.
|
|
|
Derrick, J. and Boiten, E.A.
(2003)
Relational Concurrent Refinement.
Formal Aspects of Computing, 15
(2-3).
pp. 182-214.
ISSN 0934-5043.
The full text of this publication is not available from this repository.
|
|
|
Freitas, A.F. and Nascimento, C.M. and Cavalcanti, A.L.C.
(2003)
A Refinement Tool for Z.
In: Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003.
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.
|
|
|
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.
|
|
|
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.
|
|
|
Neal, S. and Cole, J. and Linington, P.F. and Milosevic, Z. and Gibson, S. and Kulkarni, S.
(2003)
Identifying requirements for Business Contract language: A monitoring perspective.
In: Proceedings of the seventh International Enterprise Distributed Object Computng Conference, SEP 16-19, 2003, Brisbane, Australia.
The full text of this publication is not available from this repository.
|
|
|
Oliveira, M.V.M and Cavalcanti, A.L.C. and Woodcock, J.C.P.
(2003)
ArcAngel: a tactic language for refinement.
Formal Aspects of Computing, 15
(1).
pp. 28-47.
ISSN 0934-5043 .
The full text of this publication is not available from this repository.
|
|
|
Pediaditakis, Michael and Shrimpton, David
(2003)
Device neutral pipelined processing of XML documents.
In:
Proceedings of the Twelfth International World Wide Web Conference.
Conference Series of the International World Wide Web Conference Committee.
The full text of this publication is not available from this repository.
|
|
|
Tan, Su-Wei and Waters, Gill
(2003)
Building Low Delay Application Layer Multicast Trees.
In: Proceeding of 4th Annual PostGraduate Symposium: The Convergence of Telecommunications, Networking & Broadcasting, June 2003, Liverpool John Moore University.
The full text of this publication is not available from this repository.
|
|
|
de C. Guerra, P.A. and Rubira, C. and Romanovsky, A. and de Lemos, R.
(2003)
A Fault-Tolerant Software Architecture for COTS-Based Software Systems.
In: Proceedings of the Joint European Software Engineering Conference (ESEC) and 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11)..
The full text of this publication is not available from this repository.
|
|
|
de C. Guerra, P.A. and Rubira, C. and Romanovsky, A. and de Lemos, R.
(2003)
Integrating COTS Software Components into Dependable Software Architectures.
In: Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC-03), May 14-16, 2003, Hakodate, Japan .
The full text of this publication is not available from this repository.
|
|
|
de Lemos, R. and Gacek, C. and Romanovsky, A.
(2003)
Architectural Mismatch Tolerance.
Artchiteching Dependable Systems, 2677
.
pp. 175-196.
ISSN 0302-9743.
The full text of this publication is not available from this repository.
|
|
|
de Lemos, R. and da S Weber, T. and Camargo Jr, J.B.
(2003)
Dependable Computing.
In: Proceedings of the First Latin American Symposium on Dependable Computing.
The full text of this publication is not available from this repository.
|
|
2002
|
Akehurst, D.H. and Bordbar, B. and Rodgers, Peter and Dalgliesh, N.T.G.
(2002)
Automatic Normalisation via Metamodelling.
In: ASE 2002 Workshop on Declarative Meta Programming to Support Software Development, September 2002.
|
 Preview |
|
|
Blackburn, Stephen M. and Jones, Richard and McKinley, Kathryn S. and Moss, J.Eliot B.
(2002)
Beltway: Getting Around Garbage Collection Gridlock.
In: Hendren, Laurie J., ed.
Conference on Programming Language Design and Implementation archive.
Association for Computing Machinery, Berlin
pp. 153-164.
ISBN 1-58113-463-0.
|
|
|
Boiten, Eerke
(2002)
Loose Specification and Refinement in Z.
In: Bert, D. and Bowen, J.P. and Henson, M.C. and Robinson, K., eds.
ZB 2002:Formal Specification and Development in Z and B.
Lecture Notes in Computer Science, 2272.
Springer, Grenoble, France
pp. 226-241.
ISBN 3-540-43166-7.
The full text of this publication is not available from this repository.
|
|
|
Boiten, E.A.
(2002)
REFINE 2002: The BCS FACS Refinement Workshop.
In: Derrick, J. and Boiten, E.A. and Woodcock, J.C.P. and von Wright, J., eds.
REFINE 2002, The BCS FACS Refinement Workshop (Satellite Eventof FLoC 2002).
Electronic Notes in Theoretical Computer Science, 70.
Elsevier Science Publishers
The full text of this publication is not available from this repository.
|
|
|
Boiten, E.A. and Derrick, J.
(2002)
Integration of Specifications through Development Relations.
In: Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology, 23-28th June 2002, Passadena, California.
The full text of this publication is not available from this repository.
|
|
|
Boiten, E.A. and Derrick, J.
(2002)
Unifying concurrent and relational refinement.
Electronic notes in theoretical computing, 70
(3).
pp. 94-131.
ISSN 1571-0661.
The full text of this publication is not available from this repository.
|
|
|
Bordbar, B. and Derrick, J. and Waters, G.
(2002)
Using UML to specify QoS constraints in ODP.
Computer Networks, 40
(2).
pp. 279-304.
ISSN 1389-1286 .
The full text of this publication is not available from this repository.
|
|
|
Bowman, H. and Steen, M.W.A. and Boiten, E.A. and Derrick, J.
(2002)
A Formal Framework for Viewpoint Consistency.
Formal Methods in System Design, 21
(2).
pp. 111-166.
ISSN 0925-9856.
The full text of this publication is not available from this repository.
|
|
|
Butterfield, A. and Woodcock, J.C.P.
(2002)
Semantics of Prialt in Handel-C.
In: Concurrent Systems Engineering, Proceedings of the Conference on Communicating Processing Architectures.
The full text of this publication is not available from this repository.
|
|
|
Cavalcanti, A.L.C. and Naumann, C.
(2002)
Forward Simulation for Data Refinement of Classes.
In: Eriksson, L. and Lindsay, P.A., eds.
FME 2002: Formal Methods - Getting IT Right.
Lecture Notes in Computer Science, 1.
Springer-Verlag, Berlin
pp. 471-490.
ISBN 9783540439288.
The full text of this publication is not available from this repository.
|
|
|
Cavalcanti, A.L.C. and Sampaio, A.C.A
(2002)
From CPSP-OZ to Java with Processes.
In: Proc Workshop on Formal Methods for Parallel Programming held in conjunction with International Parallel and Distributed Processing Symp.
The full text of this publication is not available from this repository.
|
|
|
Cavalcanti, A.L.C. and Sampaio, A.C.A and Woodcock, J.C.P.
(2002)
Refinement of Actions in Circus.
In: Proceedings of REFINE'2002, July 2002, Copenhagen, Denmark.
The full text of this publication is not available from this repository.
|
|
|
Cavalcanti, A.L.C. and Woodcock, J.C.P.
(2002)
A Weakest Precondition Semantics for Circus.
In: Proceedings of the Communicating Processing Architectures 2002, 15-18 September 2002, University of Reading, United Kingdom.
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.
|
|
|
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.
|
|
|
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.
|
|
|
Cornelio, ML and Cavalcanti, A.L.C. and Sampaio, A.C.A
(2002)
Refactoring by Transformation.
In: Proceedings of REFINE'2002, 20th-21st July 2002, Copenhagen, Denmark.
The full text of this publication is not available from this repository.
|
|
|
Day, Dominic and Shrimpton, David and Waters, Gill
(2002)
Supporting Groups in a Ubiquitous Environment.
In:
Proceeding of 3rd Annual Symposium of Postgraduate Networking Conference (PGNET’02).
Liverpool John Moores University, Liverpool
pp. 92-97.
ISBN 1 902560 086.
The full text of this publication is not available from this repository.
|
|
|
Duran, A.A. and Sampaio, A.C.A and Cavalcanti, A.L.C.
(2002)
Refinement Algebra for Formal Bytecode Generation.
In:
Lecture Notes in Computer Science.
Springer-Verlag
pp. 347-358.
ISBN 978-3-540-00029-7.
The full text of this publication is not available from this repository.
|
|
|
Hatton, L.
(2002)
Static Analysis.
In: van Veenendaal, Erik, ed.
The Testing Practitioner.
UTN Publishers.
ISBN 9072194659.
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.
|
|
|
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.
|
|
|
King, A.C.
(2002)
Removing GC Synchronisation.
In:
Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications.
SIGPLAN.
ACM, Seattle, WA
pp. 112-113.
ISBN 1-58113-626-9 .
|
 Preview |
|
|
Printezis, Tony and Jones, Richard
(2002)
GCspy: AN Adaptable Heap Visualisation Framework.
In: Proceedings of OOPSLA'02 ACM Conference on Object-Oriented Systems, Languages and Applications, November 4-8, 2002, Seattle, Washington, USA.
|
 Preview |
|
|
Sampaio, A.C.A and Woodcock, J.C.P. and Cavalcanti, A.L.C.
(2002)
Refinement in Circus.
In: Eriksson, L. and Lindsay, P.A., eds.
FME 2002: Formal Methods - Getting IT Right.
Lecture Notes in Computer Science, 1.
Springer-Verlag, Berlin
pp. 451-470.
ISBN 9783540439288.
The full text of this publication is not available from this repository.
|
|
|
Sheriff, A. and Cavalcanti, A.L.C. and Moura, H.
(2002)
An Action Semantics for Timed CSPm.
In: Proceedings of the 6th Brazilian Symposium on Programming Languages, June 5-7, 2002, Rio de Janeiro.
The full text of this publication is not available from this repository.
|
|
|
Woodcock, J.C.P.
(2002)
Unifying Theories of Parallel Programming.
In: ICFEM 2002: 4th International Conference on Formal Engineering Methods, October 21-25, 2002, Shanghai China.
The full text of this publication is not available from this repository.
|
|
|
Woodcock, J.C.P. and Cavalcanti, A.L.C.
(2002)
The Semantics of Circus.
In:
Zb 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble.
Lecture Notes in Computer Science, 1.
Springer-Verlag, Berlin
pp. 184-203.
ISBN 978-3-540-43166-4.
The full text of this publication is not available from this repository.
|
|
|
Woodcock, J.C.P. and Hughes, A.
(2002)
Unifying Theories of Parallel Programming.
In:
Formal Methods and Software Engineering.
Lecture Notes in Computer Science, 0302-9743
.
Springer Berlin / Heidelberg, pp. 24-37.
ISBN 978-3-540-00029-7.
The full text of this publication is not available from this repository.
|
|
|
Woodcock, J.C.P. and McEwan, A.A.
(2002)
Verifying the Properties of a Railway Signalling Device.
In:
Proceedings , International Conference on Integrated Design and Process Technology.
IDPT Press, Passadena
The full text of this publication is not available from this repository.
|
|
|
de Lemos, R.
(2002)
Novel Approaches in Dependable Computing.
In: Bondavalli, A. and Thevenod-Fosse, P., eds.
Dependable Computing EDCC-4.
Lecture Notes in Computer Science 2485, 1.
Springer-Verlag, Berlin
pp. 704-708.
ISBN 3-540-00012-7.
|
 Preview |
|
2001
|
Akehurst, D.H. and Bordbar, B.
(2001)
On Querying UML data models with OCL.
In: Unified Modeling Language: modeling languages, concepts, and toolsools'', October 1-5, 2001, Toronto, Canada.
The full text of this publication is not available from this repository.
|
|
|
Bowman, H. and Derrick, J.
(2001)
Issues in Formal Methods (chapter 3).
In: Bowman, H. and Derrick, J., eds.
Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches.
Cambridge University Press, Cambridge, UK, pp. 18-35.
ISBN 0-521-77184-6.
The full text of this publication is not available from this repository.
|
|
|
Bowman, H. and Derrick, J.
(2001)
Viewpoints Modelling.
In: Bowman, H. and Derrick, J., eds.
Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches.
Cambridge University Press, Cambridge, UK, pp. 451-475.
ISBN 0-521-77184-6.
The full text of this publication is not available from this repository.
|
|
|
Cavalcanti, A.L.C. and Naumann, D.A.
(2001)
Class Refinement for Sequential Java.
In: ECOOP 2001 Workshop on Formal Techniques for Java Programs.
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.
|
|
|
Freitas, Leonardo and Cavalcanti, A.L.C. and Moura, H.
(2001)
Animating CSP(M) Using Action Semantics.
In: 4th Brazilian Workshop on Formal Methods.
The full text of this publication is not available from this repository.
|
|
|
Hatton, L.
(2001)
Keynote Paper in ESCOM 2001.
In: Software defects: how do we satisfy customers in the long term?.
The full text of this publication is not available from this repository.
|
|
|
Hatton, L.
(2001)
Keynote Paper in ITiCSE Conference.
In: Computer Science Education or Computer Fashion Awareness?, September 2001, UKC.
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.
|
 Preview |
|
|
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.
|
|
|
Linington, P.F.
(2001)
Distributed Systems, an ODP Perspective.
In: Bowman, H. and Derrick, J., eds.
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches.
Cambridge University Press, pp. 18-35.
ISBN 0521771846.
The full text of this publication is not available from this repository.
|
|
|
Linington, P.F.
(2001)
Issues in Distributed Systems.
In: Bowman, H. and Derrick, J., eds.
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches.
Cambridge University Press, pp. 3-17.
ISBN 0521771846.
The full text of this publication is not available from this repository.
|
|
|
Linington, P.F. and Frank, W.F.
(2001)
Specification and Implementation in ODP.
In: Proceedings of the 1st Workshop on Open Distributed Processing: Enterprise, Computation, Knowledge, Engineering and Realisation.
The full text of this publication is not available from this repository.
|
|
|
Neal, S. and Linington, P.F.
(2001)
Tool Support for Development Using Patterns.
In: Proceedings of the fifth International Enterprise Distributed Object Computng Conference.
The full text of this publication is not available from this repository.
|
|
|
Pfleeger, S. and Hatton, L. and Howell, C.
(2001)
Solid Software.
Software Quality Institute
.
Prentice-Hall, New Jersey, 336 pp.
ISBN 0130912980.
The full text of this publication is not available from this repository.
|
|
|
Tripp, Gerald
(2001)
Interception of Communications.
Information and Communications Technology Law, 10
(3).
pp. 285-292.
ISSN 1360-0834.
The full text of this publication is not available from this repository.
|
|
|
Valliapan, Vedhagiri and Shrimpton, David and Dobbyn, Chris and Casey, Tom
(2001)
Transforming Web Pages for Interactive TV Using XSL.
In: Proceedings of IEEE International Conference on Multimedia and Expo, 22-25 Aug. 2001, Tokyo, Japan.
The full text of this publication is not available from this repository.
|
|
|
Valliapan, Vedhagiri and Shrimpton, David H and Dobbyn, Chris
(2001)
Integrating Interactive TV with the Web using XSL.
In: Poster Proceedings of The Tenth International World Wide Web Conference, May 1-5, 2001, Hong Kong Convention and Exhibition Center.
The full text of this publication is not available from this repository.
|
|
|
Wills, A.C.
(2001)
Coherence in UML.
In: Coupling the UML diagrams.
The full text of this publication is not available from this repository.
|
|
|
Woodcock, J.C.P. and Cavalcanti, A.L.C.
(2001)
A Concurrent Language for Refinement.
In: 5th Irish Workshop on Formal Methods.
The full text of this publication is not available from this repository.
|
|
|
de Lemos, R. and Romanovsky, A.
(2001)
Exception Handling in the Software Lifecycle.
International Journal of Computer Systems Science and Engineering, 16
(2).
pp. 167-181.
ISSN 0267-6192.
The full text of this publication is not available from this repository.
|
|
2000
|
Barnes, David J. and Hopkins, Tim
(2000)
The Evolution and Testing of a Medium Sized Numerical Package.
In: Langtangen, H.P. and Bruaset, A.M. and Quak, E., eds.
Advances in Software Tools for Scientific Computing.
Lecture Notes in Computational Science and Engineering, 10
.
Springer-Verlag, Berlin, pp. 225-238.
ISBN 3-540-66557-9.
|
|
|
Boiten, E.A. and Bowman, H. and Derrick, J. and Linington, P.F. and Steen, M.W.A.
(2000)
Viewpoint Consistency in ODP.
Computer Networks, 34
(3).
pp. 503-537.
ISSN 1389-1286 .
The full text of this publication is not available from this repository.
|
|
|
Boiten, E.A. and Derrick, J.
(2000)
Liberating data refinement.
In: Backhouse, R.C. and Oliveira, J.N., eds.
Proceedings of the 5th International Conference on Mathematics of Program Construction.
Lecture Notes in Computer Science, 1837.
Springer
pp. 144-166.
ISBN 3-540-67727-5.
The full text of this publication is not available from this repository.
|
|
|
Bordbar, B. and Giacomini, L. and Holding, D.J.
(2000)
Hybrid Control Systems: a Design Case Study.
In:
Control Applications, 2000. Proceedings of the 2000 IEEE International Conference on.
IEEE, Alaska, USA
pp. 947-952.
ISBN 0-7803-6562-3.
|
 Preview |
|
|
Bryans, J.W. and Blair, L. and Bowman, H. and Derrick, John
(2000)
Specification and Analysis of Automata-based Designs.
In: Grieskamp, W. and Stanten, T. and Stoddart, B., eds.
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 2000. Proceedings.
Lecture Notes in Comuter Science, 1945.
Springer
pp. 176-193.
ISBN 3-540-41196-8.
|
|
|
Cavalcanti, A.L.C. and Naumann, D.A.
(2000)
Simulation and Class Refinement for Java.
In: ECOOP 2000 Workshop on Formal Techniques for Java Programs, June 12, 2000, Sophia Antipolis, France.
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.
|
 Preview |
|
|
Hatton, L.
(2000)
Embedded software testing.
In: The European Software Testing (TEST) Congress 2000, London.
The full text of this publication is not available from this repository.
|
|
|
Hatton, L.
(2000)
Why is Linux so reliable?
In: UNSPECIFIED, San Jose, 2000, ASM 2000 Software Metrics Conference.
The full text of this publication is not available from this repository.
|
|
|
Jones, Richard
(2000)
Memeory Management Session Overview.
In: Persistent Object Systems: Design, Implementation, and Use.
The full text of this publication is not available from this repository.
|
|
|
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.
|
|
|
Linington, P.F. and Tripp, G.E.W.
(2000)
Two-point ATM Switching System Measurements.
In: Technical Proceedings, Eighth IFIP Workshop on Performance Modelling and Evaluation of ATM and IP Networks (ATM and IP 2000).
The full text of this publication is not available from this repository.
|
|
|
Miarka, R. and Boiten, E.A. and Derrick, J.
(2000)
Guards, Preconditions, and Refinement in Z.
In: ZB2000: Formal Specification and Development in Z and B / First International Conference of B and Z Users.
The full text of this publication is not available from this repository.
|
|
|
Patrascoiu, Octavian
(2000)
DCGToProlog: A DCG to Prolog Translator.
In: Proceedings of the International Symposium on System Theory (ISST-00).
The full text of this publication is not available from this repository.
|
|
|
Patrascoiu, Octavian
(2000)
Object Oriented Metrics.
In: Proceedings of the International Symposium on System Theory (ISST-00).
The full text of this publication is not available from this repository.
|
|
|
Patrascoiu, Octavian and Marian, Gheorghe
(2000)
Compiler Construction.
Editura Rom TPT
The full text of this publication is not available from this repository.
|
|
|
Waters, A.G. and Crawford, J.S.
(2000)
ATM Multicast Routing.
In: Kouvatsos, D.D., ed.
Performance Evaluation and Application of ATM Networks.
Kluwer, pp. 229-248.
ISBN 0-7923-7851-2.
The full text of this publication is not available from this repository.
|
|
|
Wills, A.C.
(2000)
Modeling Traits of Component Based Systems.
In: OOPSLA 2000, ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, October 15-19, 2000, Minneapolis, Minnesota USA.
The full text of this publication is not available from this repository.
|
|
|
Woodcock, J. and Davies, J. and Bolton, C.
(2000)
Abstract Data Types and Processes.
In: Proceedings of the Symposium in Honour of CAR Hoare.
The full text of this publication is not available from this repository.
|
|
|
Woodcock, J.C.P. and McEwan, A.A.
(2000)
An Overview of the Verification of a Handel-C Program.
In: International Conference on Parallel and Distributed Processing Techniques and Applications, Jun 26-29, 2000, Las Vegas, NV, .
The full text of this publication is not available from this repository.
|
|
1999
|
Cook, S. and Kleppe, A. and Mitchell, R. and Rumpe, B. and Warmer, J. and Wills, A.
(1999)
Defining UML Family Members using Prefaces.
In: TOOLS Pacific 99 Conference Proceedings, Nov 22-25, 1999, Melbourne, Vic., Australia.
The full text of this publication is not available from this repository.
|
|
|
Cook, S. and Kleppe, A. and Mitchell, R. and Warmer, J. and Wills, A.
(1999)
Defining the Context of OCL Expressions.
In: France, R. and Rumpe, B., eds.
UML'99 - The Unified Modeling Language.
Lecture Notes in Computer Science, 1723.
Springer-Verlag
pp. 372-383.
ISBN 978-3-540-66712-4.
The full text of this publication is not available from this repository.
|
|
|
Coutinho, S.L. and Reis, T.P.C. and Cavalcanti, A.L.C.
(1999)
A Tool for Teaching Refinement.
In: 13th Brazilian Symposium on Software Engineering - Tools Session.
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.
|
 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.
|
 Preview |
|
|
Hatton, L.
(1999)
Paradigm Shift or Measurement Based Feedback?
In: JACC'99, Annual Conference of Joint Association of C and C++ users, 18th Sept, 1999, Oxford, UK.
The full text of this publication is not available from this repository.
|
|
|
Hatton, L.
(1999)
Testing is not a phase.
In: The 1999 US Conference on Software Testing, Analysis and Review (STAR'99).
The full text of this publication is not available from this repository.
|
|
|
Hatton, Les
(1999)
Ariane 5: A Smashing Success.
Software Testing and Quality Engineering, 1
(2).
pp. 14-16.
The full text of this publication is not available from this repository.
|
|
|
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.
|
 Preview |
|
|
Jones, Richard and Jul, Eric
(1999)
Garbage Collection.
In: OOPSLA'99 Conference on Object-Oriented Programming, Systems, Languages and Applications, November 1-5, 1999, Denver, Colorado, USA.
The full text of this publication is not available from this repository.
|
|
|
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.
|
 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.
|
 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.
|
 Preview |
|
|
Linington, P.F.
(1999)
An ODP approach to the development of large middleware systems.
In: Kutvonen, L. and Konig, H. and Tienari, M., eds.
Distributed Applications and Interoperable Systems II, Helsinki.
Kluwer Academic Publishers, USA
pp. 61-74.
ISBN 0-7923-8527-6.
The full text of this publication is not available from this repository.
|
|
|
Oliver, Ian
(1999)
``Executing'' the OCL.
In: Proceedings of the ECOOP'99 Workshop for PhD Students in OO Systems (PhDOOS '99) at ECCOP'99 - Object-Oriented Programming, June 14-18, 1999, Lisbon, Portugal.
The full text of this publication is not available from this repository.
|
|
|
Ramalho, G. and Barros, F. and Cavalcante, S. and Cavalcanti, A.L.C.
(1999)
Cyber Rally: An Experience of Democratic Use of the Internet.
In: Bullinger, Hans-Jörg and Ziegler, Jürgen, eds.
Human-Computer Interaction: Communication, Cooperation, and Application Design.
Lawrence Erlbaum Associates
pp. 402-406.
The full text of this publication is not available from this repository.
|
|
|
Wills, A.C.
(1999)
Designing Component Kits and Architectures.
In: Barroca, L. and Hall, J. and Hall, P.A.V., eds.
Software architectures: advances and applications.
Springer.
The full text of this publication is not available from this repository.
|
|
|
Wills, A.C. and Cook, S. and Kleppe, A. and Mitchell, R. and Warmer, J.
(1999)
Object Constraint Language.
In: 14th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 99), Nov 1-5, 1999, Denver, Colorado, USA.
The full text of this publication is not available from this repository.
|
|
|
de Lemos, R. and Romanovsky, A.
(1999)
Exception Handling in a Cooperative Object-Oriented Approach.
In: Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99), May 02-05, 1999, Saint Malo, France.
The full text of this publication is not available from this repository.
|
|
1998
|
Boel, R.K. and Bordbar, Behzad and Stremersch, G.
(1998)
Controlled Timed Petri Nets: Equivalence Relations, Model Reduction.
In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Oct 11-14, 1998, San Diego, CA, .
The full text of this publication is not available from this repository.
|
|
|
Boiten, E.A. and Derrick, J.
(1998)
Grey Box Data Refinement.
In: International Refinement Workshop & Formal Methods Pacific '98, 1998; Sep, Canberra, Australia.
|
 Preview |
|
|
Boiten, E.A. and Derrick, J.
(1998)
IO - refinement in Z.
In: Evans, A. and Duke, D. and Clark, T., eds.
3rd Northern Formal MethodsWorkshop, 1998.
Electronic Workshops in Computing.
Springer Verlag
ISBN 1-902505-14-X.
|
 Preview |
|
|
Bowman, H. and Faconti, G. and Massink, M.
(1998)
Specification and Verification of Media Constraints using UPPAAL.
In: 5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, DSV-IS 98, Jun 03-05, 1998, Abington, England, .
|
|
|
Cavalcanti, A.L.C. and Woodcock, J.C.P.
(1998)
ZRC - A Refinement Calculus for Z.
Formal Aspects of Computing, 10
(3).
pp. 267-289.
The full text of this publication is not available from this repository.
|
|
|
Cavalcanti, A.L.C. and Sampaio, A. and Woodcock, JCP
(1998)
Procedures and Recursion in the Refinement Calculus.
Journal of the Brazilian Computer Society, 5
(1).
pp. 1-15.
ISSN 0104-6500.
The full text of this publication is not available from this repository.
|
|
|
Cavalcanti, A.L.C. and Woodcock, JCP
(1998)
A Weakest Precondition Semantics for Z.
The Computer Journal, 41
(1).
pp. 1-15.
ISSN 0010-4620 .
The full text of this publication is not available from this repository.
|
|
|
Crawford, J.S. and Waters, A.G.
(1998)
Heuristics for ATM Multicast Routing.
In: ATM'98 Sixth IFIP Wokshop on Performance Modelling and Evaluation of ATM Networks. Participants Proceedings: Tutorial Papers.
|
|
|
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 .
|
 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 .
|
 Preview |
|
|
Hatton, Leslie
(1998)
Keynote paper in ISTCS'98.
In: Conference on Computer Software Testing.
The full text of this publication is not available from this repository.
|
|
|
Kent, S. and Howse, J. and Lauder, Anthony
(1998)
Modelling Components.
In: Proceedings: International Workshop on Large-Scale Software Composition at DEXA98.
|
 Preview |
|
|
Kleppe, A. and Warmer, J. and Cook, S.
(1998)
Formality: The Object Constraint Language and its Application in the UML Metamodel.
In: Bezivin, J. and Muller, P-A, eds.
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. 148-161.
ISBN 3-540-66252-9 .
The full text of this publication is not available from this repository.
|
|
|
Patrascoiu, Octavian
(1998)
An Extension of Prolog for UBG.
In: Proceedings of the International Symposium on System Theory (ISST-98).
The full text of this publication is not available from this repository.
|
|
|
Patrascoiu, Octavian
(1998)
Implementing English Inflection.
In: Proceedings of the International Symposium on System Theory (ISST-98).
The full text of this publication is not available from this repository.
|
|
|
Rodrigues, Helena and Jones, Richard
(1998)
Cyclic Distributed Garbage Collection with Group Merger.
In: Jul, Eric, ed.
Proceedings of the 12th European Conference on Object-Oriented Programming.
Lecture Notes in Computer Science, 1445.
Springer, Brussels
pp. 249-273.
ISBN 3-540-64737-6 .
|
|
|
Wills, A.C
(1998)
Modeling for Component Based Development.
In: Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications (OOPSLA '98), , October 18-22, 1998., Vancouver, British Columbia, Canada.
The full text of this publication is not available from this repository.
|
|
1997
|
Bowman, H. and Briscoe-Smith, C. and Derrick, J. and Strulo, B.
(1997)
On Behavioural Subtyping in LOTOS.
In: Bowman, H. and Derrick, J., eds.
Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems.
Chapman and Hall
pp. 335-351.
ISBN 0-412-82040-4 .
|
|
|
Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M.
(1997)
Translating LOTOS to Object-Z.
In: 2nd BCS-FACS Northern Formal Methods Workshop : Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, 14-15 July, 1997, Ilkley, U. K..
The full text of this publication is not available from this repository.
|
|
|
Hatton, Leslie
(1997)
Keynote paper in COMPASS'97.
In: Conference on Computer Software Assurance and Safety.
The full text of this publication is not available from this repository.
|
|
|
Hatton, Leslie
(1997)
Keynote paper in ESSE-SCOPE'97.
In: European Conference on Software Process Improvement.
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.
In:
Proceedings of the Workshops on Object-Oriented Technology.
LNCS, 1357.
Springer Verlag
pp. 182-187.
ISBN 3-540-64039-8 .
|
 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.
|
|
|
Pfleeger, S. and Hatton, L.
(1997)
Do Formal Methods Really Work.
In: UNSPECIFIED.
The full text of this publication is not available from this repository.
|
|
|
Rizzo, M. and Utting, Ian and Linington, P.F.
(1997)
Call management in the open distributed office.
Electronics and Communication Engineering Journal, 9
(3).
pp. 107-116.
ISSN 0954-0695.
The full text of this publication is not available from this repository.
|
|
|
Warmer, J. and Hogg, J. and Cook, S. and Selic, B.
(1997)
Experience with Formal Specification of CMM and UML.
In: Kilov, H. and Eumpe, B., eds.
Object-Oriented Technologys.
Lecture Notes In Computer Science, 1357.
Springer-Verlag , Munchen
pp. 216-220.
ISBN 3540640398.
The full text of this publication is not available from this repository.
|
|
1996
|
Cleal, C. and Daniels, J. and Cook, S.
(1996)
Partitioning Dynamic Object Models.
In: O'Callaghan, A. and Thornes, S., eds.
Practical Experiences of Object Technology.
Nelson Thomas Limited.
The full text of this publication is not available from this repository.
|
|
|
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.
|
|
|
Hartel, P.H. and Feeley, M. and Alt, M. and Augustsson, L. and Baumann, P. and Beemster, M. and Chailloux, E. and Flood, C.H. and Grieskamp, W. and van G, J.H.G.
(1996)
The Pseudoknot Functional Benchmark.
Research Journal
.
The full text of this publication is not available from this repository.
|
|
|
Hatton, Leslie
(1996)
Keynote paper at WoCo7.
In: UNSPECIFIED.
The full text of this publication is not available from this repository.
|
|
|
Hatton, Leslie
(1996)
Keynote paper in EUROSTAR'96.
In: Conference on Software Testing, Analysis and Review.
The full text of this publication is not available from this repository.
|
|
|
Hatton, Leslie
(1996)
Keynote paper in STAR'96.
In: Conference on Software Testing, Analysis and Review.
The full text of this publication is not available from this repository.
|
|
|
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.
|
|
1995
|
Bowman, H. and Derrick, J. and Linington, P.F. and Steen, M.
(1995)
FDTs for ODP.
Computer Standards and Interfaces, 17
(5-6).
pp. 457-479.
ISSN 0920-5489.
|
|
|
Ibbetson, A.L. and Linington, P.F. and Penny, I.A. and Smith, A.B. and Tripp, G.E.W.
(1995)
A Parallel Implementation of the ANSA REX Protocol.
In: Transputer Applications and Systems '95 - Proceedings of World Transputer Congress 1995., SEP 04-06, 1995, Harrogate, England.
The full text of this publication is not available from this repository.
|
|
|
Linington, P.F.
(1995)
RM-ODP: The Architecture.
In: Open Distributed Processing: Experience with Distributed Environments.
The full text of this publication is not available from this repository.
|
|
1994
|
Cook, S. and Daniels, J.
(1994)
Designing Object Systems.
Journal of Object-oriented Programming
.
The full text of this publication is not available from this repository.
|
|
|
Cook, S.J.
(1994)
The World isn't Software.
Journal of Object-oriented Programming, 5
(9).
The full text of this publication is not available from this repository.
|
|
|
Hatton, L. and Roberts, A.
(1994)
How Accurate is Scientific Software?
IEEE Transactions on Software Engineering, 20
(10).
pp. 785-797.
The full text of this publication is not available from this repository.
|
|
|
Meira, SRL and Cavalcanti, A.L.C. and Santos, CS
(1994)
The Unix Filing System: A MooZ Specification.
In: Lano, K. and Haughton, H., eds.
Object Oriented Specification Case Studies.
Prentice-Hall, pp. 80-109.
The full text of this publication is not available from this repository.
|
|
|
Octavian, Patrascoiu and Nicolae, Mitroi and Gheorghe, Marian
(1994)
C Language.
Microcomputer Service Press
The full text of this publication is not available from this repository.
|
|
|
Rizzo, M. and Linington, P.F. and Utting, Ian
(1994)
VitKit: a Voice Interaction Toolkit.
Technical report.
University of Kent, Computing Laboratory, University of Kent, Canterbury, UK
|
|
1993
|
Kent, S.
(1993)
Modelling Events from Natural Language.
PhD thesis, Department of Computing, Imperial College of Science, Technology and Medicine.
The full text of this publication is not available from this repository.
|
|
|
Lins, R.D. and Jones, Richard
(1993)
Cyclic Weighted Reference Counting.
In: WP & FP'93 Workshop on Parallel and Distributed Processing, Sofia, Bulgaria.
The full text of this publication is not available from this repository.
|
|
|
Mander, K.C. and Polack, F.A.C. and Whiston, M.
(1993)
The SAZ Method: Version 1.0.
In: YCS 207.
The full text of this publication is not available from this repository.
|
|
|
Welch, P.H. and Linington, P.F.
(1993)
An Enabling Infrastructure for a Distributed Multimedia Industry.
In: Welch, P.H. and May, M.D. and Thompson, P.W., eds.
Networks, Routers and Transputers: Function, Performance and Application.
IOS Press, Netherlands, pp. 183-200.
The full text of this publication is not available from this repository.
|
|
1992
|
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.
|
|
|
Jones, Richard
(1992)
Tail recursion without Space Leaks.
Journal of Functional Programming, 2
(1).
pp. 73-79.
ISSN 0956--7968.
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.
|
|
|
Meira, SRL and Cavalcanti, A.L.C.
(1992)
MooZ Case Studies.
In: Barden, R. and Stepney, S. and Cooper, D., eds.
Object Orientation in Z, Workshops in Computing.
Springer-Verlag, pp. 37-58.
The full text of this publication is not available from this repository.
|
|
1991
|
Cook, S.J.
(1991)
Programming Languages based on Objects.
In: Blair, Gordon, ed.
Object-oriented Languages, Systems and Applications.
Pitmans.
The full text of this publication is not available from this repository.
|
|
|
Cook, S.J. and Birch, G. and Murphy, A. and Woolsey, J.
(1991)
Modelling Groupware in the Electronic Office.
International Journal of Man-Machine Studies, 34
.
The full text of this publication is not available from this repository.
|
|
|
Cook, S.J. and Coulouris, G.F. and Dollimore, J. and Drake, K. and Francis, J.
(1991)
Interactive User Interfaces.
In: Blair, Gordon, ed.
Object-oriented Languages, Systems and Applications.
Pitmans.
The full text of this publication is not available from this repository.
|
|
|
Lins, R.D. and Jones, Richard
(1991)
Cyclic Weighted Reference Counting.
Technical report.
UKC, University of Kent, Canterbury, UK
The full text of this publication is not available from this repository.
|
|
1990
|
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.
|
|
|
Jones, Richard
(1990)
Tail Recursion Without Space Leaks.
Technical report.
UKC, University of Kent, Canterbury, UK
The full text of this publication is not available from this repository.
|
|
1989
|
Cavalcanti, A.L.C. and Meira, SRL
(1989)
Denotational Models of Software Systems.
In: 9th Conference of the Brazilian Computer Society.
The full text of this publication is not available from this repository.
|
|
|
Cook, S.J. and Masnavi, S.
(1989)
Visual Programming of User Interfaces.
In: Kilgour, A. and Earnshaw, R., eds.
Graphics Tools for Software Engineering.
Cambridge University Press.
The full text of this publication is not available from this repository.
|
|
1987
1986
1985
|
Johnson, P. and Cook, S.J.
(1985)
People and Computers: Designing the Interface.
In: Proceedings of HCI85: the Conference of the BCS Human Computer Interaction Specialist Group.
The full text of this publication is not available from this repository.
|
|
1983
1981
|
Cook, S. and Abramsky, S.
(1981)
Pascal-m in Office Information Systems.
In: Proceedings of the Second International Workshop on office Information Systems.
The full text of this publication is not available from this repository.
|
|
This list was generated on Sat May 25 03:06:12 2013 BST. |
![[img]](http://kar.kent.ac.uk/style/images/fileicons/text_html.png)
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_postscript.png)
![[img]](http://kar.kent.ac.uk/style/images/fileicons/other.png)
