Number of items at this level: 629.
A
Aagedal, Jan Øyvind and Bezivin, Jean and Linington, Peter F.
(2005)
Model-Driven Development.
In: Malenfant, Jacques and Ostvold, Bjarte M., eds.
ECOOP 2004 Workshop Reader.
LNCS, 3344
.
Springer-Verlag, pp. 148-157.
ISBN 3-540-23988-X.
(doi:10.1007/b104146)
(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)
(KAR id:14367)
|
|
Akehurst, David H. and Bordbar, Behzad
(2001)
On Querying UML data models with OCL.
In: Gogolla, Martin and Kobryn, Cris, eds.
≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools 4th International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 91-103.
ISBN 978-3-540-42667-7.
E-ISBN 978-3-540-45441-0.
(doi:10.1007/3-540-45441-1_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)
(KAR id:13533)
|
|
Akehurst, David H.,
Bordbar, Behzad,
Derrick, John,
Waters, A. Gill
(2002)
Design Support for Distributed Systems: DSE4DS.
In: Finney, Joe and Haahr, Mads and Montressor, Alberto, eds.
Procedings of the 7th Cabernet Radicals Workshop.
.
(KAR id:13718)
|
Preview |
|
Akehurst, David H. and Derrick, John and Waters, A. Gill
(2003)
Addressing Computational Viewpoint Design.
In:
Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. Proceedings.
IEEE, pp. 147-158.
ISBN 0-7695-1994-6.
(doi:10.1109/EDOC.2003.1233845)
(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)
(KAR id:13919)
|
|
Akehurst, David H. and Kent, Stuart
(2002)
A Relational Approach to Defining Transformations in a Metamodel.
In: Jezequel, Jean-Marc and Hussmann, Heinrich, eds.
≪UML≫ 2002 — The Unified Modeling Language Model Engineering, Concepts, and Tools 5th International Conference Dresden.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 243-258.
ISBN 978-3-540-44254-7.
E-ISBN 978-3-540-45800-5.
(doi:10.1007/3-540-45800-X_20)
(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)
(KAR id:13716)
|
|
Akehurst, David H. and Linington, Peter F. and Patrascoiu, Octavian
(2003)
OCL 2.0: Implementing the Standard.
Technical report.
University of Kent
(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)
(KAR id:13888)
|
|
Akehurst, David H.,
Patrascoiu, Octavian
(2003)
OCL: Implementing the Standard.
In:
OCL2.0-''Industry standard or scientific playground?'' - Proceedings of the UML'03 workshop.
.
Electronic Notes in Theoretical Computer Science
(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)
(KAR id:13887)
|
|
Akehurst, David H.,
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 currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13885)
|
|
Akehurst, David H.,
Waters, A. Gill,
Derrick, John
(2004)
A Viewpoints Approach to Designing Group Based Applications.
In: Unger, H., ed.
Design, Analysis and Simulation of Distributed Systems 2004.
Advanced Simulation Technologies Conference
.
pp. 83-93.
, Arlington, Virginia
(KAR id:14187)
|
Preview |
|
Akehurst, David and Derrick, John and Waters, A. Gill
(2003)
Design and Verification of Distributed Multi-media Systems.
In:
Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany.
ISBN 978-3-540-20491-6.
E-ISBN 978-3-540-39958-2.
(doi:10.1007/978-3-540-39958-2_19)
(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)
(KAR id:14014)
|
|
Andrews, Paul S. and Polack, Fiona and Sampson, Adam T. and Scott, Lisa and Coles, Mark
(2008)
Simulating biology: towards understanding what the simulation shows.
In: Stepney, Susan and Polack, Fiona and Welch, Peter, eds.
Cosmos 2008 : Complex Systems Modelling and Simulation.
Luniver Press, pp. 93-123.
ISBN 978-1-905986-17-0.
(KAR id:24106)
|
Preview |
|
Atiya, Diyaa-Addein and King, Steven and Woodcock, Jim
(2003)
A Circus semantics for Ravenscar protected objects.
In: Araki, Keijiro and Gnesi, Stefania and Mandrioli, Dion, eds.
FME 2003: Formal Methods International Symposium of Formal Methods Europe.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 617-635.
ISBN 978-3-540-40828-4.
E-ISBN 978-3-540-45236-2.
(doi:10.1007/978-3-540-45236-2_34)
(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)
(KAR id:13836)
|
|
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)
(KAR id:20979)
|
|
B
Barnes, David J. and Hopkins, Tim
(2006)
Applying Software Testing Metrics to Lapack.
In: Dongarra, Jack J. and Madsen, Kaj and Wasniewski, Jerzy, eds.
Applied Parallel Computing: State of the Art in Scientific Computing 7th International Workshop.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 228-236.
ISBN 978-3-540-29067-4.
E-ISBN 978-3-540-33498-9.
(doi:10.1007/11558958_27)
(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)
(KAR id:14302)
|
|
Barnes, David J.,
Hopkins, Tim
(2007)
Improving Test Coverage of Lapack.
Applicable Algebra in Engineering Communication and Computing,
18
(3).
pp. 209-222.
ISSN 0938-1279.
(doi:10.1007/s00200-007-0034-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)
(KAR id:14592)
|
|
Barnes, Frederick R.M.
(2006)
Compiling CSP.
In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds.
Communicating Process Architectures 2006.
Concurrent Systems Engineering
.
IOS Press, pp. 377-388.
ISBN 978-1-58603-671-3.
E-ISBN 978-1-60750-205-0.
(KAR id:14415)
|
Preview |
|
Barnes, Frederick R.M.
(2005)
Interfacing C and occam-pi.
In: Broenink, Jan F. and Roebbers, Herman W. and Sunter, J.P.E. and Welch, Peter H. and Wood, David C., eds.
Communicating Process Architectures 2005.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 249-260.
ISBN 978-1-58603-561-7.
E-ISBN 978-1-60750-144-2.
(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)
(KAR id:14270)
|
|
Barnes, Frederick R.M. and Welch, Peter H.
(2004)
Communicating Mobile Processes.
In: East, Ian R. and Martin, Jeremy and Welch, Peter H. and Duce, David and Green, Mark, eds.
Communicating Process Architectures 2004.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 201-218.
ISBN 978-1-58603-458-0.
(KAR id:14107)
|
Preview |
|
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 currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:14305)
|
|
Berzins, Martin,
Gustafsson, Bertil,
Haridi, Seif,
Linington, Peter F.,
Rolland, Colette
(2004)
Evaluation of the Simula Research Laboratory.
The Research Council of Norway, Oslo, Norway, 20 pp.
ISBN 82-12-02017-7.
(KAR id:14053)
|
Preview |
|
Bjørndalen, John Markus and Sampson, Adam T.
(2008)
Process-Oriented Collective Operations.
In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds.
Communicating Process Architectures 2008.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 309-328.
ISBN 978-1-58603-907-3.
E-ISBN 978-1-60750-368-2.
(doi:10.3233/978-1-58603-907-3-309)
(KAR id:24102)
|
Preview |
|
Blair, Gordon S.,
Blair, Lynne,
Bowman, Howard,
Chetwynd, Amanda G.
(1997)
Formal Specification of Distributed Multimedia Systems.
University College London Press, 352 pp.
ISBN 1-85728-677-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)
(KAR id:21462)
|
|
Bodden, Eric
(2003)
A High-level View of Java Applications.
In:
Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications.
ACM, New York, USA, pp. 384-385.
ISBN 1-58113-751-6.
(doi:10.1145/949344.949447)
(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)
(KAR id:13896)
|
|
Boel, R. and Bordbar, B. and Stremersch, G.
(1998)
Controlled Timed Petri Nets: Equivalence Relations, Model Reduction.
In:
SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics.
IEEE Systems, Man, and Cybernetics, Conference, 1
.
IEEE, pp. 674-679.
ISBN 0-7803-4778-1.
(doi:10.1109/ICSMC.1998.725491)
(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)
(KAR id:21596)
|
|
Boiten, Eerke Albert
(2002)
Loose Specification and Refinement in Z.
In: Bert, Didier and Bowen, Jonathan P. and Henson, Martin C. and Robinson, Ken, eds.
ZB 2002:Formal Specification and Development in Z and B 2nd International Conference of B and Z Users.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 226-241.
ISBN 978-3-540-43166-4.
E-ISBN 978-3-540-45648-3.
(doi:10.1007/3-540-45648-1_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)
(KAR id:13829)
|
|
Derrick, John and Boiten, Eerke Albert and Woodcock, Jim and von Wright, Joakim, eds.
(2002)
REFINE 2002: The BCS FACS Refinement Workshop.
Electronic Notes in Theoretical Computer Science, 70
.
Elsevier Science Publishers
(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)
(KAR id:13759)
|
|
Boiten, Eerke Albert,
Bowman, Howard,
Derrick, John,
Linington, Peter F.,
Steen, Maarten
(2000)
Viewpoint Consistency in ODP.
Computer Networks,
34
(3).
pp. 503-537.
ISSN 1389-1286.
(KAR id:21992)
|
Preview |
|
Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten
(1996)
Issues in multiparadigm viewpoint specification.
In: Finkelstein, A. and Spanoudakis, G., eds.
Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops.
ACM, New York, USA, pp. 162-166.
ISBN 0-89791-867-3.
(doi:10.1145/243327.243639)
(KAR id:21329)
|
|
Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten
(1997)
Viewpoint consistency in Z and LOTOS: A case study.
In: Fitzgerald, John and Jones, Cliff B. and Lucas, Peter, eds.
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 644-664.
ISBN 978-3-540-63533-8.
E-ISBN 978-3-540-69593-6.
(doi:10.1007/3-540-63533-5_34)
(KAR id:21452)
|
|
Boiten, Eerke Albert,
Bujorianu, Marius C.
(2003)
Exploring UML Refinement through Unification.
In: Jurjens, J. and Rumpe, Bernhard and France, Robert and Fernandez, E.B., eds.
Critical Systems Development with UML - Proceedings of the UML'03 workshop, number TUM-I0323.
Lecture Notes in Computer Science
(TUM-I0).
pp. 47-62.
Technische Universitat Munchen
(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)
(KAR id:13925)
|
|
Boiten, Eerke Albert,
Denvir, T.,
Derrick, John,
von Wright, Joakim
(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 currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13889)
|
|
Boiten, Eerke Albert and Derrick, John
(1998)
Grey Box Data Refinement.
In: Grundy, J. and Schwenke, M. and Vickers, T., eds.
International Refinement Workshop & Formal Methods Pacific 1998.
Discrete Mathematics and Theoretical Computer Science
.
Springer, Heidelberg, Germany, pp. 45-59.
ISBN 981-4021-16-4.
(KAR id:21607)
|
Preview |
|
Boiten, Eerke Albert,
Derrick, John
(1998)
IO - refinement in Z.
In: 3rd Northern Formal MethodsWorkshop,, 1998.
(KAR id:21600)
|
Preview |
|
Boiten, Eerke Albert,
Derrick, John
(2002)
Integration of Specifications through Development Relations.
In: Ehrig, Hartmut and Kramer, Berndt and Ertas, Atila, eds.
Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology.
.
p. 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)
(KAR id:13787)
|
|
Boiten, Eerke Albert and Derrick, John
(2000)
Liberating data refinement.
In: Backhouse, Roland C. and Oliveira, Jose Nuno, eds.
Mathematics of Program Construction 5th International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 144-166.
ISBN 978-3-540-67727-7.
E-ISBN 978-3-540-45025-2.
(doi:10.1007/10722010_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)
(KAR id:22003)
|
|
Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten
(1996)
Consistency and refinement for partial specification in Z.
In: Gaudel, M.C. and Woodcock, Jim, eds.
FME'96: Industrial Benefit and Advances in Formal Methods Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 287-306.
ISBN 978-3-540-60973-5.
E-ISBN 978-3-540-49749-3.
(doi:10.1007/3-540-60973-3_93)
(KAR id:21388)
|
|
Boiten, Eerke Albert,
Derrick, John,
Bowman, Howard,
Steen, Maarten
(1997)
Coupling schemas: data refinement and view(point) composition.
In: Duke, David J. and Evans, A.S., eds.
Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods.
Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods.
.
Springer
(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)
(KAR id:21472)
|
|
Boiten, Eerke Albert,
Derrick, John,
Bowman, Howard,
Steen, Maarten
(1995)
Unification and multiple views of data in Z.
In: van Vliet, J.C., ed.
Computer Science in the Netherlands 1995.
.
pp. 73-85.
Stichting Mathematisch Centrum, Amsterdam
ISBN 90-6196-460-1.
(KAR id:21226)
|
|
Bordbar, Behzad
(1998)
Weakly almost period functions on N with a negative base.
Journal of the London Mathematical Society,
(57).
pp. 706-720.
ISSN 0024-6107.
(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)
(KAR id:21648)
|
|
Bordbar, Behzad and Derrick, John and Waters, A. Gill
(2003)
A UML approach to the design of open distributed systems.
In: George, Chris and Miao, Huaikou, eds.
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 561-572.
ISBN 978-3-540-00029-7.
E-ISBN 978-3-540-36103-9.
(doi:10.1007/3-540-36103-0_56)
(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)
(KAR id:13708)
|
|
Bowman, H. and Boiten, E.A. and Derrick, J. and Steen, M.W.A.
(1996)
Viewpoint consistency in ODP, a general interpretation.
In: Najm, Elie and Stefani, J.-B., eds.
Formal Methods for Open Object-based Distributed Systems.
IFIP Advances in Information and Communication Technology
.
Springer, Boston, Massachusetts, USA, pp. 189-204.
ISBN 978-1-5041-2875-9.
E-ISBN 978-0-387-35082-0.
(doi:10.1007/978-0-387-35082-0_14)
(KAR id:21386)
|
|
Bowman, H. and Briscoe-Smith, C. and Derrick, J. and Strulo, B.
(1997)
On Behavioural Subtyping in LOTOS.
In: Bowman, Howard and Derrick, John, eds.
Formal Methods for Open Object-based Distributed Systems.
IFIP Advances in Information and Communication Technology, 2
.
Springer, Boston, Massachusetts, USA, pp. 335-351.
ISBN 978-1-5041-2952-7.
E-ISBN 978-0-387-35261-9.
(doi:10.1007/978-0-387-35261-9_23)
(KAR id:21473)
|
|
Bowman, Howard and Blair, Lynne and Blair, Gordon S. and Chetwynd, Amanda G.
(1994)
A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation.
In: Hutchison, D. and Danthine, A. and Leopold, H. and Coulson, G., eds.
Multimedia Transport and Teleservices International COST 237 Workshop.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 145-167.
ISBN 978-3-540-58759-0.
E-ISBN 978-3-540-49065-4.
(doi:10.1007/3-540-58759-4_33)
(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)
(KAR id:21165)
|
|
Bowman, Howard and Derrick, John
(2001)
Issues in Formal Methods (chapter 3).
In: Bowman, Howard and Derrick, John, 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 currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13554)
|
|
Bowman, Howard and Derrick, John
(1995)
A True Concurrency Semantics for Quality of Service Specification and Validation.
In: Sarikaya, Behcet and Saito, Senro, eds.
Proceedings of the International Conference on Multimedia Networking: MmNet '95.
IEEE, pp. 173-182.
ISBN 0-8186-7090-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)
(KAR id:21237)
|
|
Bowman, Howard and Derrick, John
(2001)
Viewpoints Modelling.
In: Bowman, Howard and Derrick, John, 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 currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13555)
|
|
Bowman, Howard,
Faconti, Giorgio,
Katoen, J-P.,
Latella, D.,
Massink, M.
(1998)
Automatic Verification of a Lip Synchronisation Protocol using UPPAAL.
Formal Aspects of Computing,
10
(5-6).
pp. 550-575.
ISSN 1433-299X.
(doi:10.1007/s001650050032)
(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)
(KAR id:21620)
|
|
Bowman, Howard and Faconti, Giorgio and Katoen, J-P. and Latella, D. and Massink, M.
(1998)
Automatic Verification of a Lip-Synchronisation Algorithm Using UPPAAL - Extended Version.
In: Groote, J.F. and Luttik, B. and van Warnel, J., eds.
FMICS'98, Third International Workshop on Formal Methods for Industrial Crtical Systems.
CWI, pp. 97-124.
ISBN 90-6196-480-6.
(KAR id:21658)
|
Preview |
|
Bowman, Howard,
Steen, Maarten,
Boiten, Eerke Albert,
Derrick, John
(2002)
A Formal Framework for Viewpoint Consistency.
Formal Methods in System Design,
21
(2).
pp. 111-166.
ISSN 0925-9856.
(doi:10.1023/A:1016000201864)
(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)
(KAR id:13730)
|
|
Brito, Patrick H. S.,
de Lemos, Rogério,
Martins, Eliane,
Rubira, Cecilia 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).
Workshop on Architecting Dependable Systems (WADS 2007)
.
pp. 166-171.
(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)
(KAR id:14586)
|
|
Brostoff, Sacha,
Sasse, M. Angela,
Chadwick, David W.,
Cunningham, James,
Mbanaso, Uche,
Otenko, Sassa
(2005)
'R-What?' Development of a role-based access control policy-writing tool for e-Scientists.
Software: Practice and Experience,
35
(9).
pp. 835-856.
ISSN 0038-0644.
(doi:10.1002/spe.691)
(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)
(KAR id:14303)
|
|
Brown, Neil C.C.
(2008)
Communicating Haskell Processes: Composable Explicit Concurrency Using Monads.
In: Welch, Peter H. and Stepney, S. and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardiner S. and Broenink, Jan F. and Sampson, Adam T., eds.
Communicating Process Architectures 2008.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 67-83.
ISBN 978-1-58603-907-3.
E-ISBN 978-1-60750-368-2.
(doi:10.3233/978-1-58603-907-3-67)
(KAR id:24103)
|
Preview |
|
Brown, Neil C.C.,
Sampson, Adam T.
(2008)
Matching and Modifying with Generics.
In: Achten, P. and Koopman, P. and Morazán, M.T., eds.
Trends in Functional Programming (TFP) 2008.
.
pp. 304-318.
(KAR id:23990)
|
Preview |
|
Brown, Neil C.C. and Smith, Marc L.
(2008)
Representation and Implementation of CSP and VCR Traces.
In: Welch, Peter H. and Stepney, S. and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardiner S. and Broenink, Jan F. and Sampson, Adam T., eds.
Communicating Process Architectures 2008.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 329-345.
ISBN 978-1-58603-907-3.
E-ISBN 978-1-60750-368-2.
(doi:10.3233/978-1-58603-907-3-329)
(KAR id:24104)
|
Preview |
|
Brown, Neil C.C. and Welch, Peter H.
(2003)
An Introduction to the Kent C++CSP Library.
In: Broenink, Jan F. and Hilderink, Gerald H., eds.
Communicating Process Architectures 2003.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 139-156.
ISBN 978-1-58603-381-1.
(KAR id:13921)
|
Preview |
|
Bryans, Jeremy W. and Blair, Lynne and Bowman, Howard and Derrick, John
(2000)
Specification and Analysis of Automata-based Designs.
In: Grieskamp, Wolfgang and Stanten, Thomas and Stoddart, Bill, eds.
Integrated Formal Methods Second International Conference.
Lecture Notes in Comuter Science
.
Springer, Berlin, Germany, pp. 176-193.
ISBN 978-3-540-41196-3.
E-ISBN 978-3-540-40911-3.
(doi:10.1007/3-540-40911-4_11)
(KAR id:21939)
|
|
Bujorianu, Marius C. and Boiten, Eerke Albert
(2004)
Towards Correspondence Carrying Specifications.
In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds.
Algebraic Methodology and Software Technology 10th International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 57-71.
ISBN 978-3-540-22381-8.
E-ISBN 978-3-540-27815-3.
(doi:10.1007/978-3-540-27815-3_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)
(KAR id:14132)
|
|
Burton, C.T.,
Cook, Steve J.,
Gikas, S.,
Rowson, J.R.,
Sommerville, S.T.
(1989)
Specifying the Apple Macintosh Toolbox Event Manager.
Formal Aspects of Computing,
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)
(KAR id:20941)
|
|
Butterfield, Andrew,
Woodcock, Jim
(2002)
Semantics of Prialt in Handel-C.
In:
Concurrent Systems Engineering, Proceedings of the Conference on Communicating Processing Architectures.
.
IOS Press
(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)
(KAR id:13666)
|
|
C
Cavalcanti, Ana L. C.
(2002)
Refinement: Object-orientation and Concurrency.
In:
Proceedings of the 5th Brazilian Workshop on Formal Methods.
.
(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)
(KAR id:13678)
|
|
Cavalcanti, Ana L. C.,
Florissi, C.,
Soares, Patricia G.,
Melo, T.C.S
(1987)
Implementation of a Relational Language for Microcomputers.
In:
7th Conference of the Brazilian Computer Society.
.
pp. 441-451.
(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)
(KAR id:20925)
|
|
Cavalcanti, Ana L. C.,
Meira, Silvio Lemos
(1989)
Denotational Models of Software Systems.
In:
9th Conference of the Brazilian Computer Society.
.
pp. 187-204.
(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)
(KAR id:20937)
|
|
Cavalcanti, Ana L. C.,
Naumann, David 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 currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13505)
|
|
Cavalcanti, Ana L. C.,
Naumann, David A.
(2002)
Forward Simulation for Data Refinement of Classes.
In: Eriksson, Lars-Henrik and Lindsay, Peter A., eds.
FME 2002: Formal Methods - Getting IT Right.
Lecture Notes in Computer Science
, 1.
pp. 471-490.
Springer-Verlag, Berlin
ISBN 978-3-540-43928-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)
(KAR id:13676)
|
|
Cavalcanti, Ana L. C.,
Naumann, David A.
(2002)
On a Specification-oriented Model for Object-orientation.
In:
Proceedings of the 6th Brazilian Symposium on Programming Languages.
.
pp. 114-127.
(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)
(KAR id:13672)
|
|
Cavalcanti, Ana L. C.,
Naumann, David A.
(2000)
Simulation and Class Refinement for Java.
In: Drossopoulou, Sophia and Eisenback, S., eds.
ECOOP 2000 Workshop on Formal Techniques for Java Programs.
Technical Report 269
.
(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)
(KAR id:21911)
|
|
Cavalcanti, Ana L. C.,
Sampaio, Augusto 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.
.
IEEE CS Press, Contained in IPDPS collects proceedings CD-ROM
(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)
(KAR id:13668)
|
|
Cavalcanti, Ana L. C.,
Sampaio, Augusto C.A.,
Woodcock, Jim
(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 currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13844)
|
|
Cavalcanti, Ana L. C.,
Sampaio, Augusto C.A.,
Woodcock, Jim
(2002)
Refinement of Actions in Circus.
In:
Proceedings of REFINE'2002.
Electronic Notes in Theoretical Computer Science
, 70.
pp. 132-162.
Elsevier B.V
(doi:10.1016/S1571-0661(05)80489-X)
(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)
(KAR id:13674)
|
|
Cavalcanti, Ana L. C.,
Sampaio, Augusto C.A.,
Woodcock, Jim
(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 currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13842)
|
|
Cavalcanti, Ana L. C.,
Woodcock, Jim
(2002)
A Weakest Precondition Semantics for Circus.
In:
Proceedings of the Communicating Processing Architectures 2002.
.
IOS Press
ISBN 4-274-90539-X.
(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)
(KAR id:13677)
|
|
Cavalcanti, Ana L. C.,
Woodcock, Jim
(1998)
ZRC - A Refinement Calculus for Z.
Formal Aspects of Computing,
10
(3).
pp. 267-289.
(doi:10.1007/s001650050016)
(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)
(KAR id:21709)
|
|
Cepin, M.,
de Lemos, Rogério,
Mavko, B.,
Riddle, S.,
Saeed, Amer
(1997)
An Object-Based Approach to Modelling and Analysis of Failure Properties.
In: Daniel, P., ed.
Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP'97).
.
pp. 281-294.
Springer-Verlag, Berlin, Germany, York, UK
(KAR id:21457)
|
|
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 978-3-540-26042-4.
(KAR id:14329)
|
Preview |
|
Chadwick, David W.
(2004)
The X.509 Privilege Management Infrastructure.
In: Jerman-Blazic, B. and Schneider, W.S. 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 978-1-58603-430-6.
(KAR id:14042)
|
Preview |
|
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 currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:14282)
|
|
Chadwick, David W.,
Beitis, George,
Owen, Gareth
(2008)
Adding Authorisation to EduRoam.
In:
TERENA Networking Conference.
.
, Brugge, Belgium
(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)
(KAR id:23981)
|
|
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)
(KAR id:13489)
|
|
Clark, Anthony,
Evans, Andy,
Kent, Stuart
(2003)
Aspect-Oriented Metamodelling.
Computer Journal,
46
(5).
pp. 566-577.
ISSN 0010-4620.
(doi: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)
(KAR id:13845)
|
|
Clark, Anthony and Evans, Andy and Kent, Stuart
(2002)
Engineering Modelling Languages: A Precise Meta-Modelling Approach.
In: Weber, H., ed.
Fundamental Approaches to Software Engineering 5th International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 159-173.
ISBN 978-3-540-43353-8.
E-ISBN 978-3-540-45923-1.
(doi:10.1007/3-540-45923-5_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)
(KAR id:13805)
|
|
Clark, Anthony and Evans, Andy and Kent, Stuart
(2002)
A Meta-Model Facility for a Family of UML Constraint Languages.
In: Clark, Anthony and Warmer, Jos, eds.
Object Modeling with the OCL.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 440-443.
ISBN 978-3-540-43169-5.
E-ISBN 978-3-540-45669-8.
(doi:10.1007/3-540-45669-4_2)
(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)
(KAR id:13655)
|
|
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.
≪UML≫ 2002 — The Unified Modeling Language Model Engineering, Concepts, and Tools 5th International Conference Dresden.
Lecture Notes in Computer Science, 2460
.
Springer, Berlin, Germany, pp. 305-320.
ISBN 978-3-540-44254-7.
E-ISBN 978-3-540-45800-5.
(doi: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)
(KAR id:13739)
|
|
Cleal, C. and Daniels, J. and Cook, S.
(1996)
Partitioning Dynamic Object Models.
In: O'Callaghan, A.J. and Thornes, S., eds.
Practical Experiences of Object Technology.
Nelson Thomas Limited.
(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)
(KAR id:21309)
|
|
Conca, Piero,
Timmis, Jon,
de Lemos, Rogerio,
Forrest, Simon,
McCracken, Heather
(2015)
An Adaptive Classification Framework for Unsupervised Model Updating in Nonstationary Environments.
In: International Workshop on Machine learning, Optimization and big Data, July 21 to 23, 2015, Taormina - Sicily, Italy.
(Unpublished)
(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)
(KAR id:50274)
|
|
Cook, Steve J.
(1986)
Languages and Object-oriented Programming.
Software Engineering Journal,
1
(2).
(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)
(KAR id:20919)
|
|
Cook, Steve J.
(1986)
Modelling Generic User Interfaces with Functional Programs.
In: Harrison, M.D. and Monk, A.F., eds.
Proceedings of HCI'86, the Conference of the BCS Human Computer Interaction Specialist Group.
.
Cambridge University Press
(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)
(KAR id:20912)
|
|
Cook, Steve J.
(1991)
Programming Languages based on Objects.
In: Blair, Gordon S., ed.
Object-oriented Languages, Systems and Applications.
Pitmans.
(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)
(KAR id:20983)
|
|
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: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)
(KAR id:21909)
|
|
Cook, Steve J.
(1994)
The World isn't Software.
Journal of Object-Oriented Programming,
5
(9).
ISSN 0896-8438.
(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)
(KAR id:21214)
|
|
Cook, Steve J.,
Abramsky, Samson
(1981)
Pascal-m in Office Information Systems.
In: Naffah, N., ed.
Proceedings of the Second International Workshop on office Information Systems.
.
North-Holland, Couvent Royal de Saint-Maximin, France
(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)
(KAR id:20898)
|
|
Cook, Steve J. and Coulouris, George F. and Dollimore, Jean and Drake, Kieron O. and Francis, John
(1991)
Interactive User Interfaces.
In: Blair, Gordon S., ed.
Object-oriented Languages, Systems and Applications.
Pitmans.
(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)
(KAR id:20982)
|
|
Cook, Steve J. and Daniels, J.
(1994)
Essential Techniques for Object-oriented Design.
In: Carmichael, Andy J., ed.
Object Development Methods.
SIGS Books Inc..
(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)
(KAR id:21156)
|
|
Cook, Steve J.,
Daniels, John
(1994)
Designing Object Systems.
Journal of Object-Oriented Programming,
.
ISSN 0896-8438.
(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)
(KAR id:21157)
|
|
Cook, Steve J. and Kleppe, Anneke and Mitchell, Richard and Rumpe, Bernhard and Warmer, Jos and Wills, A.C.
(1999)
Defining UML Family Members using Prefaces.
In:
Proceedings Technology of Object-Oriented Languages and Systems.
IEEE, pp. 102-114.
ISBN 0-7695-0462-0.
(doi:10.1109/TOOLS.1999.809418)
(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)
(KAR id:21718)
|
|
Cook, Steve J. and Kleppe, Anneke and Mitchell, Richard and Warmer, Jos and Wills, Alan
(1999)
Defining the Context of OCL Expressions.
In: France, Robert and Rumpe, Bernhard, eds.
«UML»’99 — The Unified Modeling Language Beyond the Standard Second International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 372-383.
ISBN 978-3-540-66712-4.
E-ISBN 978-3-540-46852-3.
(doi:10.1007/3-540-46852-8_27)
(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)
(KAR id:21719)
|
|
Cook, Steve J. and Masnavi, S.
(1989)
Visual Programming of User Interfaces.
In: Kilgour, Alistair and Earnshaw, Rae A., eds.
Graphics Tools for Software Engineering.
Cambridge University Press.
(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)
(KAR id:20943)
|
|
Cook, Steve J.,
Roberts, G.A.
(1986)
A Compile-time Type Checking System for Smalltalk-80.
In:
3rd Study Sessions on Object-Oriented Languages.
Bigre+Globule no. 48
.
, Paris, France
(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)
(KAR id:20915)
|
|
Cook, Steve J. and Selic, Bran
(1997)
OMG OA&D RFP Response V1.0.
Technical report.
(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)
(KAR id:21417)
|
|
Cornélioa, Márcio,
Cavalcanti, Ana L. C.,
Sampaio, Augusto C.A.
(2002)
Refactoring by Transformation.
In:
Proceedings of REFINE'2002.
Electronic Notes in Theoretical Computer Science
, 70.
pp. 311-330.
Elsevier Science B V
(doi:10.1016/S1571-0661(05)82564-2)
(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)
(KAR id:13673)
|
|
Coutinho, S.L.,
Reis, T.P.C.,
Cavalcanti, Ana L. C.
(1999)
A Tool for Teaching Refinement.
In:
13th Brazilian Symposium on Software Engineering - Tools Session.
.
pp. 61-64.
(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)
(KAR id:21707)
|
|
Crawford, John,
Waters, A. Gill
(1998)
Heuristics for ATM Multicast Routing.
In: Kouvatsos, D.D., ed.
ATM'98 Sixth IFIP Wokshop on Performance Modelling and Evaluation of ATM Networks. Participants Proceedings: Tutorial Papers.
.
5/1-5/18.
Performance Engineering Workshop, University of Bradford
(KAR id:21641)
|
|
Crutcher, Laurence A.,
Waters, A. Gill
(1992)
Connection Management for an ATM Network.
IEEE Network,
6
(6).
pp. 42-55.
(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)
(KAR id:21022)
|
|
Cámara, Javier,
de Lemos, Rogerio,
Laranjeiro, Nuno,
Ventura, Rafael,
Vieira, Marco
(2015)
Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems.
IEEE Transactions on Dependable and Secure Computing,
14
(1).
pp. 50-64.
ISSN 1545-5971.
E-ISSN 1941-0018.
(doi:10.1109/TDSC.2015.2429128)
(KAR id:50275)
|
Preview |
|
D
Daniels, John,
Cook, Steve J.
(1993)
Strategies for Sharing Objects in Distributed Systems.
Journal of Object-Oriented Programming,
.
ISSN 0896-8438.
(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)
(KAR id:21145)
|
|
Day, Dominic,
Shrimpton, David,
Waters, A. Gill
(2002)
Supporting Groups in a Ubiquitous Environment.
In:
Proceedings of 3rd Annual PostGraduate Symposium on The Convergence of Telecommunications, Networking & Broadcasting.
.
pp. 92-97.
Liverpool John Moores University, Liverpool
ISBN 1-902560-08-6.
(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)
(KAR id:13784)
|
|
Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M.W.A.
(1996)
Supporting ODP - Translating LOTOS to Z.
In: Najm, Elie and Stefani, J.-B., eds.
Formal Methods for Open Object-based Distributed Systems.
IFIP Advances in Information and Communication Technology
.
Springer, Boston, Massachusetts, USA, pp. 399-406.
ISBN 978-1-5041-2875-9.
E-ISBN 978-0-387-35082-0.
(doi:10.1007/978-0-387-35082-0_29)
(KAR id:21389)
|
|
Derrick, John,
Boiten, Eerke Albert
(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 currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13890)
|
|
Derrick, John,
Boiten, Eerke Albert,
Bowman, Howard,
Steen, Maarten
(1997)
Translating LOTOS to Object-Z.
In: 2nd BCS-FACS Northern Formal Methods Workshop, 14-15 Jul 1997, Ilkley, England.
(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)
(KAR id:21474)
|
|
Dimmich, Damian J. and Jacobsen, Christian L.
(2005)
A Foreign Function Interface Generator for occam-pi.
In: Broenink, Jan F. and Roebbers, H. and Sunter, J. and Welch, Peter H. and Wood, D., eds.
Communicating Process Architectures 2005.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 235-248.
ISBN 978-1-58603-561-7.
E-ISBN 978-1-60750-144-2.
(KAR id:14268)
|
Preview |
|
Dimmich, Damian J. and Jacobsen, Christian L. and Jadud, Matthew C.
(2006)
A Cell Transterpreter.
In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds.
Communicating Process Architectures 2006.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 215-224.
ISBN 978-1-58603-671-3.
E-ISBN 978-1-60750-205-0.
(KAR id:14411)
|
Preview |
|
Dobbyn, Chris and Shrimpton, David and Casey, Tom
(1999)
Models of Convergence between the World Wide Web and Interactive Television using MHEG-5.
In:
Proceedings of the 3rd IASTED International Conference on Internet and Multimedia Systems and Applications (IASTED/IMSA'99).
IASTED/ACTA Press, pp. 94-99.
ISBN 0-88986-271-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)
(KAR id:21758)
|
|
Duran, Adolfo and Cavalcanti, Ana L. C. and Sampaio, Augusto C.A.
(2003)
A Strategy for Compiling Classes, Inheritance, and Dynamic Binding.
In: Araki, Keijiro and Gnesi, Stefania and Mandrioli, Dino, eds.
FME 2003: Formal Methods International Symposium of Formal Methods Europe.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 301-320.
ISBN 978-3-540-40828-4.
E-ISBN 978-3-540-45236-2.
(doi:10.1007/978-3-540-45236-2_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)
(KAR id:13907)
|
|
Duran, Adolfo and Sampaio, Ana and Cavalcanti, Augusto
(2002)
Refinement Algebra for Formal Bytecode Generation.
In:
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 347-358.
ISBN 978-3-540-00029-7.
E-ISBN 978-3-540-36103-9.
(doi:10.1007/3-540-36103-0_36)
(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)
(KAR id:13646)
|
|
Duran, Adolfo,
Sampaio, Augusto C.A.,
Cavalcanti, Ana L. C.
(2001)
Formal Bytecode Generation for a ROOL Virtual Machine.
In:
4th Brazilian Workshop on Formal Methods.
.
(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)
(KAR id:13501)
|
|
de C. Guerra, P.A. and Rubira, Cecilia M. F. and Romanovsky, Alexander and de Lemos, Rogério
(2004)
A Dependable Architecture for COTS-Based Software Systems using Protective Wrappers.
In: de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds.
Architecting Dependable Systems II.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 144-166.
ISBN 978-3-540-23168-4.
E-ISBN 978-3-540-25939-8.
(doi:10.1007/978-3-540-25939-8_7)
(KAR id:14158)
|
Preview |
|
de C. Guerra, P.A. and Rubira, Cecilia M. F. and de Lemos, Rogério
(2003)
A Fault-Tolerant Software Architecture for Component-Based Systems.
In: de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds.
Architecting Dependable Systems.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 129-149.
ISBN 978-3-540-40727-0.
E-ISBN 978-3-540-45177-8.
(doi:10.1007/3-540-45177-3_6)
(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)
(KAR id:13855)
|
|
de Lemos, Rogério
(2005)
Architecting Web services applications for improving availability.
In: de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds.
Architecting Dependable Systems III.
Lecture Notes in Computer Science
.
Springer, Berlin, pp. 69-91.
ISBN 978-3-540-28968-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)
(KAR id:14326)
|
|
de Lemos, Rogério
(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, Berlin, Germany, pp. 219-228.
ISBN 978-3-540-26009-7.
E-ISBN 978-3-540-32013-5.
(doi:10.1007/11428589_15)
(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)
(KAR id:14356)
|
|
de Lemos, Rogério
(2006)
Idealised Fault Tolerant Architectural Element.
In:
Supplemental Proceedings of the 36th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2006).
.
pp. 76-81.
(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)
(KAR id:14470)
|
|
de Lemos, Rogério
(2002)
Novel Approaches in Dependable Computing.
In: Bondavalli, A. and Thevenod-Fosse, P., eds.
Dependable Computing EDCC-4 4th European Dependable Computing Conference.
Lecture Notes in Computer Science, 1
.
Springer, Berlin, Germany, pp. 704-708.
ISBN 978-3-540-00012-9.
E-ISBN 978-3-540-36080-3.
(doi:10.1007/3-540-36080-8_7)
(KAR id:13717)
|
Preview |
|
de Lemos, Rogério,
Gacek, Cristina,
Romanovsky, Alexander
(2006)
Architecting Dependable Systems.
Journal of Systems and Software,
79
(10).
pp. 1359-1360.
ISSN 0164-1212.
(doi:10.1016/j.jss.2006.04.008)
(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)
(KAR id:13850)
|
|
de Lemos, Rogério,
Hall, Jon G.
(1996)
Extended RTL in the Specification and Verification of an Industrial Press.
In: Alur, Rajeev and Henzinger, Y.A. and Sontag, E., eds.
Hybrid Systems III.
Lecture Notes in Computer Science 1066
.
pp. 114-125.
Springer-Verlag, Berlin, Germany
(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)
(KAR id:21314)
|
|
de Lemos, Rogério,
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).
.
pp. 3-13.
, Saint Malo, France
(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)
(KAR id:21833)
|
|
de Lemos, Rogério,
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 currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13633)
|
|
de Lemos, Rogério,
Saeed, Amer
(1999)
Validating Formal Verification using Safety Analysis Techniques.
In:
Proceedings of the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99) / Lecture Notes in Artificial Intelligence.
.
pp. 58-66.
Springer
(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)
(KAR id:21767)
|
|
de Lemos, Rogério,
Saeed, Amer,
Anderson, Tom
(1996)
Analysis of Safety Requirements for a Chemical Batch Processing System.
In: Hilburn, T. and Suski, Gregory J. and Zalewski, Janusz, eds.
Proceedings of the 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies.
.
pp. 205-210.
Pergamon/Elsevier Science, Oxford UK, Daytona Beach, Florida, USA
(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)
(KAR id:21318)
|
|
de Lemos, Rogerio and Weber, Taisy Silva and Camargo Jr., João Batista, eds.
(2003)
Dependable Computing: First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings.
Lecture Notes in Computer Science, 2847
.
Springer, 371 pp.
ISBN 3-540-20224-2.
(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)
(KAR id:13894)
|
|
E
Evans, Andy,
Kent, Stuart,
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)
(KAR id:21953)
|
|
F
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)
(KAR id:21077)
|
|
Fisker, Kasper and McCall, Davin and Kölling, Michael and Quig, Bruce
(2008)
Group work support for the BlueJ IDE.
In:
ITiCSE '08 Proceedings of the 13th annual conference on Innovation and technology in computer science education.
ITiCSE Innovation and Technology in Computer Science Education
.
ACM, New York, USA, pp. 163-168.
ISBN 978-1-60558-078-4.
(doi:10.1145/1384271.1384316)
(KAR id:23968)
|
Preview |
|
Freitas, Angela and Nascimento, Carla M. and Cavalcanti, Ana L. C.
(2003)
A Refinement Tool for Z.
In: Dong, Jin Song and Woodcock, Jim, eds.
Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 396-415.
ISBN 978-3-540-20461-9.
E-ISBN 978-3-540-39893-6.
(doi:10.1007/978-3-540-39893-6_23)
(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)
(KAR id:14019)
|
|
Freitas, Leonardo,
Cavalcanti, Ana L. C.,
Moura, Hermano
(2001)
Animating CSP(M) Using Action Semantics.
In:
4th Brazilian Workshop on Formal Methods.
.
(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)
(KAR id:13500)
|
|
G
Giacomini, L. and Bordbar, B. and Holding, D.J.
(2000)
Hybrid Sliding Mode Control for a Set of Interconnected Nonlinear.
In:
Proceedings of the 39th IEEE Conference on Decision and Control.
IEEE Conference on Decision and Control - Proceedings
.
IEEE, Sydney Convention and Exhibition Centre, pp. 2180-2185.
ISBN 0-7803-6638-7.
(doi:10.1109/CDC.2000.914118)
(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)
(KAR id:21921)
|
|
Gil, Joseph,
Howse, John,
Kent, Stuart
(2001)
Towards a Formalization of Constraint Diagrams.
In:
Proceedings of IEEE Symposia on Human-Centric Computing.
.
pp. 72-79.
IEEE Computer Society Press, Stresa, Italy
(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)
(KAR id:13490)
|
|
Goldsack, Stephen J.,
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)
(KAR id:21416)
|
|
H
Hamie, Ali and Civello, Franco and Howse, John and Kent, Stuart and Mitchell, Richard
(1998)
Reflections on the Object Constraint Language.
In:
The Unified Modeling Language. «UML»’98: Beyond the Notation First International Workshop.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 162-172.
ISBN 978-3-540-66252-5.
E-ISBN 978-3-540-48480-6.
(doi:10.1007/978-3-540-48480-6_13)
(KAR id:21643)
|
Preview |
|
Hartel, Pieter H.,
Feeley, Marc,
Alt, Martin,
Augustsson, Lennart,
Baumann, Peter,
Beemster, Marcel,
Chailloux, Emmanuel,
Flood, Christine H.,
Grieskamp, Wolfgang,
van Groningen, John H.G.
and others.
(hide)
(1996)
The Pseudoknot Functional Benchmark.
Research Journal,
.
(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)
(KAR id:21410)
|
|
Hatton, Leslie
(1999)
Ariane 5: A Smashing Success.
Software Testing and Quality Engineering,
1
(2).
pp. 14-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)
(KAR id:21881)
|
|
Hatton, Leslie
(1995)
Computer Programming Languages and Safety-Related Systems.
In: Redmill, F. and Anderson, Tom, eds.
Proceedings of 3rd Safety-Critical Systems Symposium.
.
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)
(KAR id:21295)
|
|
Hatton, Leslie
(2000)
Embedded software testing.
In:
The European Software Testing (TEST) Congress 2000, London.
.
, 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)
(KAR id:21903)
|
|
Hatton, Leslie
(1996)
Is modularisation always a good idea.
International Software Technology,
38
.
(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)
(KAR id:21402)
|
|
Hatton, Leslie
(2001)
Keynote Paper in ESCOM 2001.
In:
Software defects: how do we satisfy customers in the long term?
.
, 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)
(KAR id:13493)
|
|
Hatton, Leslie
(2001)
Keynote Paper in ITiCSE Conference.
In:
Computer Science Education or Computer Fashion Awareness?
.
(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)
(KAR id:13550)
|
|
Hatton, Leslie
(1996)
Keynote paper at WoCo7.
In: UNSPECIFIED.
(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)
(KAR id:21355)
|
|
Hatton, Leslie
(1997)
Keynote paper in COMPASS'97.
In:
Conference on Computer Software Assurance and Safety.
.
, Washington, DC.
(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)
(KAR id:21497)
|
|
Hatton, Leslie
(1997)
Keynote paper in ESSE-SCOPE'97.
In:
European Conference on Software Process Improvement.
.
, Dublin
(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)
(KAR id:21502)
|
|
Hatton, Leslie
(1996)
Keynote paper in EUROSTAR'96.
In:
Conference on Software Testing, Analysis and Review.
.
, Amsterdam
(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)
(KAR id:21315)
|
|
Hatton, Leslie
(1998)
Keynote paper in ISTCS'98.
In:
Conference on Computer Software Testing.
.
, Washington, DC.
(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)
(KAR id:21646)
|
|
Hatton, Leslie
(1996)
Keynote paper in STAR'96.
In:
Conference on Software Testing, Analysis and Review.
.
, Orlando, Florida
(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)
(KAR id:21401)
|
|
Hatton, Leslie
(1999)
Paradigm Shift or Measurement Based Feedback?
In:
JACC'99, Annual Conference of Joint Association of C and C++ users.
.
, Oxford, UK
(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)
(KAR id:21774)
|
|
Hatton, Leslie
(2002)
The Power of Modern Testing: but do we use it ?
In:
The Power of Modern Testing.
.
, Anaheim, USA
(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)
(KAR id:13660)
|
|
Hatton, Leslie
(1999)
Repetitive failure, feedback and diagnosis.
In:
JUSE'99, Conference of Japanese Union of Scientists and Engineers.
.
, City University, UK
(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)
(KAR id:21840)
|
|
Hatton, Leslie
(1999)
Repetitive failure, feedback and the lost art of diagnosis.
In:
European Conference on Optimising Software Development and Maintenance (ESCOM'99).
.
, Herstmonceux, UK
(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)
(KAR id:21854)
|
|
Hatton, Leslie
(2002)
Static Analysis.
In: van Veenendaal, Erik, ed.
The Testing Practitioner.
UTN Publishers.
ISBN 90-72194-65-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)
(KAR id:13658)
|
|
Hatton, Leslie
(2000)
Testing Embedded C Programs.
UNSPECIFIED.
(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)
(KAR id:22037)
|
|
Hatton, Leslie
(1999)
Testing is not a phase.
In:
STAR'99: US Conference on Software Testing, Analysis and Review.
.
, Orlando, Florida, USA
(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)
(KAR id:21831)
|
|
Hatton, Leslie
(2000)
Why is Linux so reliable?
In: UNSPECIFIED, San Jose, 2000, ASM 2000 Software Metrics Conference.
(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)
(KAR id:21915)
|
|
Hatton, Leslie
(1997)
The Year 2000: How much should we worry?
Eurostar'97, Edinburgh,
.
(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)
(KAR id:21555)
|
|
Hatton, Leslie,
Roberts, Andy
(1994)
How Accurate is Scientific Software?
IEEE Transactions on Software Engineering,
20
(10).
pp. 785-797.
(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)
(KAR id:21171)
|
|
Hausmann, Jan Hendrik and Kent, Stuart
(2003)
Visualizing Model Mappings in UML.
In:
Proceedings of the 2003 ACM symposium on Software visualization.
ACM, pp. 169-178.
ISBN 1-58113-642-0.
(doi:10.1145/774833.774858)
(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)
(KAR id:13837)
|
|
Hopkins, Tim and Barnes, David J.
(2003)
Testing a Medium Sized Numerical Package: A Case Study.
In: Psihoyios, G., ed.
NaCoM-2003 Extended Abstracts.
Wiley.
ISBN 978-3-527-40462-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)
(KAR id:13976)
|
|
Hopkins, Tim,
Kollerstrom, J.,
Welch, Peter H.
(1983)
Estimation of the Order of Dependence in Sequences.
Applied Statistics-Journal of the Royal Statistical Society Series C,
32
(2).
pp. 185-196.
ISSN 0035-9254.
(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)
(KAR id:20904)
|
|
Howse, John,
Molina, Fernando,
Taylor, John,
Kent, Stuart,
Gil, Joseph
(2001)
Spider Diagrams: A Diagrammatic Reasoning System.
Journal of Visual Languages and Computing,
12
(3).
pp. 299-324.
ISSN 1045-926X.
(doi:10.1006/jvlc.2000.0210)
(KAR id:13604)
|
Preview |
|
I
Ibbetson, Alan L.,
Linington, Peter F.,
Penny, Ian,
Smith, Abraham B.,
Tripp, Gerald
(1995)
A Parallel Implementation of the ANSA REX Protocol.
In: Cook, Barry M. and Jane, M.R. and Nixon, Paddy and Welch, Peter H., eds.
Transputer Applications and Systems '95 - Proceedings of World Transputer Congress 1995.
Concurrent Systems Engineering Series
, 46.
pp. 29-41.
IOS Press
ISBN 90-5199-235-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)
(KAR id:21236)
|
|
J
Jacobsen, Christian L. and Dimmich, Damian J. and Jadud, Matthew C.
(2006)
Native Code Generation Using the Transterpreter.
In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds.
Communicating Process Architectures 2006.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 269-281.
ISBN 978-1-58603-671-3.
E-ISBN 978-1-60750-205-0.
(KAR id:14410)
|
Preview |
|
Jacobsen, Christian L.,
Jadud, Matthew C.
(2007)
Concurrency, Robotics, and RoboDeb.
In:
Proceedings of AAAI Robotics and Education.
.
American Association for Artificial Intelligence, Palo Alto, CA, USA
(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)
(KAR id:24065)
|
|
Jadud, Matthew C. and Simpson, Jon 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.
CSE Computer Science Education
.
ACM, New York, USA, pp. 231-235.
ISBN 978-1-59593-799-5.
(doi:10.1145/1352135.1352219)
(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)
(KAR id:24059)
|
|
Jittamas, Vorapol and Linington, Peter F.
(2006)
Using a Policy Language to Control Tuple-space Synchronization in a Mobile Environment.
In: Burgess, M. and Wijesekera, D., eds.
Seventh IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'06).
International Workshop on Policies for Distributed Systems and Networks
.
IEEE, pp. 239-242.
ISBN 0-7695-2598-9.
(doi:10.1109/POLICY.2006.38)
(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)
(KAR id:14474)
|
|
Johnson, Peter,
Cook, Steve J.
(1985)
People and Computers: Designing the Interface.
In:
Proceedings of HCI85: the Conference of the BCS Human Computer Interaction Specialist Group.
.
Cambridge University Press
(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)
(KAR id:20908)
|
|
Jones, Richard E.
(2000)
Session 3: Overview.
In: Kirby, G.N.C. and Dearle, A. and Sjoberg, D.I.K., eds.
Persistent Object Systems: Design, Implementation, and Use 9th International Workshop.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 84-86.
ISBN 978-3-540-42735-3.
E-ISBN 978-3-540-45498-4.
(doi:10.1007/3-540-45498-5_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)
(KAR id:21981)
|
|
Jones, Richard E.
(1990)
Tail Recursion Without Space Leaks.
Technical report.
UKC, University of Kent, Canterbury, UK
72*.
(doi:72*)
(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)
(KAR id:20974)
|
|
Jones, Richard E.
(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 currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21074)
|
|
Jones, Richard E. and Jul, Eric
(1999)
Garbage Collection.
UNSPECIFIED.
(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)
(KAR id:21743)
|
|
Jones, Richard E. and Lins, Rafael D.
(1992)
Cyclic Weighted Reference Counting without Delay.
Technical report.
UKC, University of Kent, Canterbury, UK
28-92*.
(doi:28-92*)
(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)
(KAR id:21024)
|
|
Jones, Richard E. and Lins, Rafael D.
(1993)
Cyclic Weighted Reference Counting without Delay.
In:
PARLE '93 Parallel Architectures and Languages Europe 5th International PARLE Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 712-715.
ISBN 978-3-540-56891-9.
E-ISBN 978-3-540-47779-2.
(doi:10.1007/3-540-56891-3_66)
(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)
(KAR id:21111)
|
|
Jones, Richard E. and Ryder, Chris
(2008)
A Study of Java Demographics.
In: Blackburn, Steve, ed.
ISMM '08 Proceedings of the 7th international symposium on Memory management.
ISMM International Symposium on Memory Management
.
ACM, New York, USA, pp. 121-130.
ISBN 978-1-60558-134-7.
(doi:10.1145/1375634.1375652)
(KAR id:23979)
|
Preview |
|
K
Kelner, J.,
Cavalcanti, Ana L. C.,
Pardo, A.
(1989)
LindA: A Language for Automated Authoring of Hypertexts.
In:
3rd Brazilian Symposium on Sofrware Engineering.
.
pp. 124-136.
(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)
(KAR id:20938)
|
|
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)
(KAR id:21138)
|
|
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)
(KAR id:21014)
|
|
Kent, Stuart
(2002)
Model Driven Engineering.
In: Michael, J.Butler and Kaisa, Sere and Luigia, Petre, eds.
Integrated Formal Methods Third International Conference.
Lecture Notes In Computer Science, 2335
.
Springer, Berlin, Germany, pp. 286-298.
ISBN 978-3-540-43703-1.
E-ISBN 978-3-540-47884-3.
(doi: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)
(KAR id:13657)
|
|
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)
(KAR id:21146)
|
|
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.
(KAR id:13503)
|
Preview |
|
Kent, Stuart and Evans, Andy and Rumpe, Bernhard
(1999)
UML Semantics FAQ.
In: Moreira, Ana, ed.
Object-Oriented Technology ECOOP’99 Workshop Reader.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 33-56.
ISBN 978-3-540-66954-8.
E-ISBN 978-3-540-46589-8.
(doi:10.1007/3-540-46589-8_3)
(KAR id:21726)
|
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.
(KAR id:21778)
|
Preview |
|
Kent, Stuart and Hamie, Ali and Howse, John and Civello, Franco and Mitchell, Richard
(1997)
Semantics through Pictures.
In:
Object-Oriented Technologys ECOOP’97 Workshop Reader ECOOP’97 Workshops.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 182-187.
ISBN 978-3-540-64039-4.
E-ISBN 978-3-540-69687-2.
(doi:10.1007/3-540-69687-3_38)
(KAR id:21446)
|
Preview |
|
Kent, Stuart and Howse, John
(2002)
Constraint Trees.
In: Clark, Anthony and Warmer, Jos, eds.
Object Modeling with the OCL.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 427-430.
ISBN 978-3-540-43169-5.
E-ISBN 978-3-540-45669-8.
(doi: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)
(KAR id:13656)
|
|
Kent, Stuart,
Howse, John
(1996)
Value Types in Eiffel.
In:
Proceedings of TOOLS Europe'96 (TOOLS 19).
.
pp. 145-160.
Prentice Hall
(KAR id:21403)
|
Preview |
|
Kent, Stuart,
Howse, John,
Lauder, Anthony
(1998)
Modelling Components.
In:
Proceedings: International Workshop on Large-Scale Software Composition at DEXA98.
.
IEEE Press
(KAR id:21624)
|
Preview |
|
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)
(KAR id:13487)
|
|
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)
(KAR id:21076)
|
|
Kent, Stuart,
Smith, Robert P.
(2003)
The Bidirectional Mapping Problem.
Electronic Notes in Theoretical Computer Science,
82
(7).
pp. 1-15.
ISSN 1571-0661.
(doi:10.1016/S1571-0661(04)80753-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)
(KAR id:13854)
|
|
Kilov, H.,
Linington, Peter F.,
Miller, J.,
Raymond, Kerry,
Wood, B.
(1997)
Types, invariants, and epochs: specifying changes in RM-ODP and ODP information language.
In: Kilov, Haim and Rumpe, Bernhard and Simmonds, Ian, eds.
Proceedings of the OOPSLA'97 Workshop on object-oriented behavioral semantics.
TUM-I9737
.
pp. 115-118.
(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)
(KAR id:21448)
|
|
King, Andrew C.
(2003)
Removing GC Synchronisation (extended version).
Technical report.
University of Kent
(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)
(KAR id:13985)
|
|
King, Andy C.
(2002)
Removing GC Synchronisation.
In:
Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications.
SIGPLAN
.
ACM, New York, USA, pp. 112-113.
ISBN 1-58113-626-9.
(doi:10.1145/985072.985129)
(KAR id:13703)
|
Preview |
|
Kleppe, Anneke and Warmer, Jos and Cook, Steve J.
(1998)
Formality: The Object Constraint Language and its Application in the UML Metamodel.
In: Bezivin, Jean and Muller, Pierre-Alain, eds.
The Unified Modeling Language. «UML»’98: Beyond the Notation First International Workshop.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 148-161.
ISBN 978-3-540-66252-5.
E-ISBN 978-3-540-48480-6.
(doi:10.1007/978-3-540-48480-6_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)
(KAR id:21567)
|
|
Kutvonen, Lea and Linington, Peter and Morin, Jean-Henry
(2006)
IS‐TSPQ Workshop Chairs' message.
In: Panetto, Hervé and Boudjlida, Nacer, eds.
Interoperability for Enterprise Software and Applications: Proceedings of the Workshops and the Doctorial Symposium of the Second IFAC/IFIP I‐ESA International Conference: EI2N, WSI, IS‐TSPQ 2006.
Interoperability for Enterprise Software and Applications
.
ISTE, pp. 169-172.
ISBN 978-1-905209-61-3.
E-ISBN 978-0-470-61220-0.
(doi:10.1002/9780470612200.ch14)
(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)
(KAR id:14495)
|
|
Köllmann, Carsten,
Kutvonen, Lea,
Linington, Peter F.,
Solberg, Arnor
(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.
.
pp. 85-94.
INSTICC Press, Portugal
ISBN 978-989-8111-00-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)
(KAR id:14583)
|
|
L
Lano, Kevin,
Bicarregui, Juan,
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
(KAR id:21361)
|
|
Lano, Kevin and Goldsack, Stephen J. and Bicarregui, Juan and Kent, Stuart
(1997)
Integrating VDM\(^{++}\) and Real-time System Design.
In:
ZUM '97: The Z Formal Specification Notation 10th International Conference of Z Users.
Lecture Notes In Computer Science
.
Springer, Berlin, Germany, pp. 188-219.
ISBN 978-3-540-62717-3.
E-ISBN 978-3-540-68490-9.
(doi:10.1007/BFb0027290)
(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)
(KAR id:21481)
|
|
Lauder, Anthony and Kent, Stuart
(2003)
More Legacy System Patterns.
In: Henderson, Philip J., ed.
Systems Engineering for Business Process Change: New Directions, Collected Papers from the EPSRC Research Programme.
Springer, London, UK, pp. 225-240.
ISBN 978-1-4471-1084-2.
E-ISBN 978-1-4471-0135-2.
(doi:10.1007/978-1-4471-0135-2_14)
(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)
(KAR id:13685)
|
|
Lauder, Anthony,
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)
(KAR id:21893)
|
|
Lindsey, Donna and Linington, Peter F.
(1996)
RIVUS: A Stream Template Language for Capturing Multimedia Requirements.
In: Hutchison, D. and Christiansen, H. and Coulson, G. and Danthine, A., eds.
Teleservices and Multimedia Communications Second International COST 237 Workshop.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 259-277.
ISBN 978-3-540-61028-1.
E-ISBN 978-3-540-49849-0.
(doi:10.1007/3-540-61028-6_30)
(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)
(KAR id:21308)
|
|
Linington, Peter F.
(2004)
Automating Support for e-Business Contracts.
In: Milosevic, Zoran and Governatori, Guido, eds.
Contract Architectures and Languages workshop (CoALa2004).
.
IEEE Digital Library, Monterey, California, USA
(KAR id:14095)
|
Preview |
|
Linington, Peter F.
(2001)
Distributed Systems, an ODP Perspective.
In: Bowman, Howard and Derrick, John, eds.
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches.
Cambridge University Press, pp. 18-35.
ISBN 0-521-77184-6.
(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)
(KAR id:13535)
|
|
Linington, Peter F.
(2001)
Issues in Distributed Systems.
In: Bowman, Howard and Derrick, John, eds.
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches.
Cambridge University Press, pp. 3-17.
ISBN 0-521-77184-6.
(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)
(KAR id:13534)
|
|
Linington, Peter F.
(2004)
Model Driven Development and Non-functional Aspects.
In:
WMDD 2004 Workshop, ECOOP 2004.
.
, Oslo, Norway
(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)
(KAR id:14142)
|
|
Linington, Peter F.
(1999)
An ODP Approach to the Development of Large Middleware Systems.
In: Kutvonen, Lea and Konig, H. and Tienari, M., eds.
Distributed Applications and Interoperable Systems II IFIP TC6 WG6.1 Second International Working Conference on Distributed Applications and Interoperable Systems.
IFIP - The International Federation for Information Processing, 15
.
Springer, Boston, Massachusetts, USA, pp. 61-74.
ISBN 978-1-4757-5008-9.
E-ISBN 978-0-387-35565-8.
(doi:10.1007/978-0-387-35565-8_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)
(KAR id:16904)
|
|
Linington, Peter F.
(1999)
RISCSIM - A Simulator for Object-based Systems.
In:
Fourth National Conference of the UK Simulation Society, April 7th-9th, 1999.
UK Simulation Society, pp. 141-147.
ISBN 0-905488-38-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)
(KAR id:21836)
|
|
Linington, Peter F.
(1995)
RM-ODP: The Architecture.
In: Raymond, Kerry and Armstrong, Elizabeth, eds.
Open Distributed Processing: Experience with Distributed Environments.
.
pp. 15-33.
Chapman and Hall
ISBN 0-412-71150-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)
(KAR id:21283)
|
|
Linington, Peter F.
(2004)
What Foundations does the RM-ODP need?
In: Vallecillo, Antonio and Linington, Peter F. and Wood, B.M., eds.
Workshop on ODP for Enterprise Computing (WODPEC 2004).
.
pp. 15-22.
IEEE Digital Library, Monterey, California, USA
(KAR id:14098)
|
Preview |
|
Linington, Peter F.
(2003)
A policy-based model-driven security framework.
In: Ururahy, C. and Sztajnberg, A. and Cerqueira, R., eds.
Middleware 2003 Companion:Workshop Proceedings.
.
pp. 273-276.
Pontificia Universidade Caolica do Rio de Janeiro
ISBN 85-87926-03-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)
(KAR id:13971)
|
|
Linington, Peter F. and Frank, W.F.
(2001)
Specification and Implementation in ODP.
In: Cordeiro, Jose and Kilov, Haim, eds.
Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation: In conjunction with ICEIS 2001.
ICEIS Press, pp. 69-80.
ISBN 972-98050-5-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)
(KAR id:13589)
|
|
Linington, Peter F.,
Milosevic, Zoran,
Cole, James,
Gibson, Simon,
Kulkarni, Sachin,
Neal, Stephen
(2004)
A unified behavioural model and a contract language for extended enterprise.
Data and Knowledge Engineering,
51
(1).
pp. 5-29.
ISSN 0169-023X.
(doi:10.1016/j.datak.2004.03.005)
(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)
(KAR id:14064)
|
|
Linington, Peter F. and Neal, Stephen
(2003)
Using Policies in the Checking of Business to Business Contracts.
In: Lutfiyya, H. and Moffat, J. and Garcia, F., eds.
Proceedings POLICY 2003: IEEE 4th International Workshop on Policies for Distributed Systems and Networks.
IEEE, pp. 207-218.
ISBN 0-7695-1933-4.
(doi:10.1109/POLICY.2003.1206975)
(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)
(KAR id:13973)
|
|
Linington, Peter F.,
Tripp, Gerald
(2000)
Two-point ATM Switching System Measurements.
In: Kouvatsos, D.D., ed.
Technical Proceedings, Eighth IFIP Workshop on Performance Modelling and Evaluation of ATM and IP Networks (ATM and IP 2000).
.
Networks UK
ISBN 0-9540151-1-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)
(KAR id:22010)
|
|
Lins, Rafael D. and Jones, Richard E.
(1991)
Cyclic Weighted Reference Counting.
Technical report.
UKC, University of Kent, Canterbury, UK
(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)
(KAR id:20985)
|
|
Lins, Rafael D.,
Jones, Richard E.
(1993)
Cyclic Weighted Reference Counting.
In:
WP & FP'93 Workshop on Parallel and Distributed Processing, Sofia, Bulgaria.
.
pp. 369-382.
(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)
(KAR id:21117)
|
|
Lopez, Gabriel,
Canovas, Oscar,
Gomez-Skarmeta, Antonio F.,
Otenko, Sassa,
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 currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:14293)
|
|
M
Mander, Keith C.,
Polack, Fiona A.C.,
Whiston, Mark
(1992)
Introduction to the SAZ Method: the State Specification.
In:
Proceedings International SSADM Conference.
.
, Warwick
(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)
(KAR id:21035)
|
|
Mander, Keith C.,
Polack, Fiona A.C.,
Whiston, Mark
(1993)
The SAZ Method: Version 1.0.
In:
YCS 207.
.
, University of York
(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)
(KAR id:21099)
|
|
Mander, Keith C.,
Polack, Fiona A.C.,
Whiston, Mark
(1993)
The SAZ Project: Integrating SSADM and Z.
In:
Proceedings JFIT conference.
.
pp. 355-362.
(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)
(KAR id:21132)
|
|
McCann, Julie A.,
de Lemos, Rogério,
Huebscher, Markus,
Rana, Omer F.,
Wombacher, Andreas
(2006)
Can Self-Managed Systems be Trusted? Some Views and Trends.
Knowledge Engineering Review,
21
(3).
pp. 239-248.
ISSN 0269-8889.
(doi:10.1017/S0269888906000853)
(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)
(KAR id:14431)
|
|
Meira, SRL and Cavalcanti, Ana L. C.
(1992)
MooZ Case Studies.
In: Barden, Rosalind and Stepney, Susan and Cooper, David, eds.
Object Orientation in Z, Workshops in Computing.
Springer-Verlag, pp. 37-58.
(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)
(KAR id:21017)
|
|
Meira, Silvio Lemos,
Cavalcanti, Ana L. C.
(1990)
Modular Object-Oriented Z Specifications.
In: Nicholls, JE, ed.
Z User Workshop.
.
pp. 173-192.
Springer-Verlag, Oxford, UK
(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)
(KAR id:20961)
|
|
Meira, Silvio Lemos and Cavalcanti, Ana L. C. and Santos, Cåssio Souza
(1994)
The Unix Filing System: A MooZ Specification.
In: Lano, Kevin and Haughton, Howard, eds.
Object Oriented Specification Case Studies.
Prentice-Hall, pp. 80-109.
(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)
(KAR id:21152)
|
|
Miarka, Ralph and Boiten, Eerke Albert and Derrick, John
(2000)
Guards, Preconditions, and Refinement in Z.
In: Bowen, Jonathan P. and Dunne, Steve and Galloway, Andy and King, Steve, eds.
ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 286-303.
ISBN 978-3-540-67944-8.
E-ISBN 978-3-540-44525-8.
(doi:10.1007/3-540-44525-0_17)
(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)
(KAR id:21990)
|
|
Milosevic, Zoran,
Gibson, Simon,
Linington, Peter F.,
Cole, James,
Kulkarni, Sachin
(2004)
On design and implementation of a contract monitoring facility.
In: Benatallah, Boualem and Godart, Claude and Shan, Ming-Chien, eds.
Proceedings of WEC, First IEEE International Workshop on Electronic.
.
pp. 62-70.
IEEE Computer Society, Washington, DC, USA
ISBN 0-7695-2184-3.
(doi:10.1109/WEC.2004.13)
(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)
(KAR id:14128)
|
|
Milosevic, Zoran and Linington, Peter F. and Gibson, Simon and Kulkarni, Sachin and Cole, James
(2004)
Inter-Organisational Collaborations Supported by E-Contracts.
In: Lamersdorf, Winfried and Tschammer, Volker and Amarger, Stephane, eds.
Building the E-Service Society: E-Commerce, E-Business, and E-Government.
IFIP - The International Federation for Information Processing
.
Springer, Boston, Massachusetts, USA, pp. 413-429.
ISBN 978-1-4020-8154-5.
E-ISBN 978-1-4020-8155-2.
(doi:10.1007/1-4020-8155-3_23)
(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)
(KAR id:14115)
|
|
N
Neal, Stephen and Cole, James and Linington, Peter F. and Milosevic, Zoran and Gibson, Simon and Kulkarni, Sachin
(2003)
Identifying requirements for Business Contract language: A monitoring perspective.
In: Steen, Maarten and Bryant, B.R., eds.
Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. Proceedings.
IEEE, pp. 50-61.
ISBN 0-7695-1994-6.
(doi:10.1109/EDOC.2003.1233837)
(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)
(KAR id:13903)
|
|
Neal, Stephen,
Linington, Peter F.
(2001)
Tool Support for Development Using Patterns.
In: Lupu, Emil C. and Wegmann, A., eds.
Proceedings of the fifth International Enterprise Distributed Object Computng Conference.
.
pp. 237-248.
IEEE Computer Society, Seattle, Washingto, USA
ISBN 0-7695-1345-X.
(doi:10.1109/EDOC.2001.950443)
(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)
(KAR id:13570)
|
|
Nuka, Gift,
Woodcock, Jim
(2004)
Mechanising the alphabetised relational calculus.
In:
WMF2003: 6th Braziliam Workshop on Formal Methods.
Electronic Notes in Theoretical Computer Science
, 95.
pp. 209-225.
Elsevier, Campina Grande, Brazil
(doi:10.1016/j.entcs.2004.04.013)
(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)
(KAR id:14035)
|
|
O
Octavian, Patrascoiu,
Nicolae, Mitroi,
Gheorghe, Marian
(1994)
C Language.
Microcomputer Service Press
(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)
(KAR id:21208)
|
|
Oliveira, Marcel V. M. and Cavalcanti, Ana L. C. and Woodcock, Jim
(2004)
From Circus to JCSP.
In:
Formal Methods and Software Engineering 6th International Conference on Formal Engineering Methods.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 320-340.
ISBN 978-3-540-23841-6.
E-ISBN 978-3-540-30482-1.
(doi:10.1007/978-3-540-30482-1_29)
(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)
(KAR id:14062)
|
|
Oliveira, Marcel V. M. and Cavalcanti, Ana L. C. and Woodcock, Jim
(2004)
Refining Industrial Scale Systems in Circus.
In: East, Ian R. and Martin, Jeremy and Welch, Peter H. and Duce, David and Green, Mark, eds.
Communicating Process Architectures 2004.
Concurrent Systems Engineering Series
.
IOS Press, pp. 281-309.
ISBN 978-1-58603-458-0.
(KAR id:14110)
|
Preview |
|
Oliveira, Marcel V. M.,
Xavier, Manuela A.,
Cavalcanti, Ana L. C.
(2004)
Refine and Gabriel: Support for Refinement and Tactics.
In:
2nd IEEE International Conference on Software Engineering and Formal Methods.
.
pp. 310-319.
IEEE Computer Society Press
ISBN 0-7695-2222-X.
(doi:10.1109/SEFM.2004.1347535)
(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)
(KAR id:14109)
|
|
Oliver, Ian
(1999)
``Executing'' the OCL.
In: Rashid, Awais and Parsons, David and Telea, Alexandru, eds.
Proceedings of the ECOOP'99 Workshop for PhD Students in OO Systems (PhDOOS '99).
.
(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)
(KAR id:21817)
|
|
Owen, Gareth,
Adda, Mo
(2008)
Storing Data in Ad Hoc Networks.
In:
International Conference on Challenges in Higher Education and Research in the 21st Century.
6.
Heron Press Sofia, Bulgaria
ISBN 978-954-580-247-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)
(KAR id:24067)
|
|
P
Parish, D.J,
Phillips, I.W,
Coventry, P.,
Chia, L.T,
Griffiths, J.W.R,
Tagg, A.G,
Shrimpton, David
(1997)
An architecture for a modular videoconferencing terminal supporting video cell loss.
Electronics & Communication Engineering Journal,
9
(3).
pp. 137-142.
ISSN 0954-0695.
(doi:10.1049/ecej:19970308)
(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)
(KAR id:21488)
|
|
Partsch, H.A. and Boiten, Eerke Albert
(1991)
A Note on Similarity of Specifications and Reusability of Transformational Developments.
In: Möller, Bernhard, ed.
Constructing Programs from Specifications: Proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications.
Elsevier, New York, USA, pp. 71-89.
ISBN 0-444-89184-6.
(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)
(KAR id:21003)
|
|
Patrascoiu, Octavian
(2000)
DCGToProlog: A DCG to Prolog Translator.
In:
Proceedings of the International Symposium on System Theory (ISST-00).
.
, Craiova, Romania
(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)
(KAR id:22031)
|
|
Patrascoiu, Octavian
(1998)
An Extension of Prolog for UBG.
In:
Proceedings of the International Symposium on System Theory (ISST-98).
.
, Craiova, Romania
(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)
(KAR id:21652)
|
|
Patrascoiu, Octavian
(1998)
Implementing English Inflection.
In:
Proceedings of the International Symposium on System Theory (ISST-98).
.
, Craiova, Romania
(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)
(KAR id:21664)
|
|
Patrascoiu, Octavian
(2000)
Object Oriented Metrics.
In:
Proceedings of the International Symposium on System Theory (ISST-00).
.
, Craiova, Romania
(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)
(KAR id:22029)
|
|
Patrascoiu, Octavian,
Marian, Gheorghe
(2000)
Compiler Construction.
Editura Rom TPT
(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)
(KAR id:21985)
|
|
Patrascoiu, Octavian,
Mitroi, Nicolae,
Marian, Gheorghe
(1995)
Graphs and Combinatorics. Algorithms and Programs.
All Press
(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)
(KAR id:21240)
|
|
Pediaditakis, Michael,
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 currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13979)
|
|
Pediaditakis, Michael,
Shrimpton, David
(2003)
Device-neutral pipelined processing of XML documents.
InterChange,
9
(4).
pp. 33-36.
ISSN 1463-662X.
(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)
(KAR id:13881)
|
|
Pediaditakis, Michael,
Shrimpton, David
(2004)
Towards a Generic XML Content Presentation Model.
In:
W3C Workshop on Web Applications and Compound Documents.
.
(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)
(KAR id:14147)
|
|
Pfleeger, S.,
Hatton, Leslie
(1997)
Do Formal Methods Really Work.
In:
IEE Computer.
.
(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)
(KAR id:21558)
|
|
Pfleeger, S.,
Hatton, Leslie,
Howell, C.
(2001)
Solid Software.
Software Quality Institute
.
Prentice-Hall, New Jersey, 336 pp.
ISBN 0-13-091298-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)
(KAR id:13492)
|
|
Polack, Fiona A.C. and Hoverd, Tim and Sampson, Adam T. and Stepney, Susan and Timmis, Jon
(2008)
Complex systems models: engineering simulations.
In: Bullock, S. and Noble, J. and Watson, R. and Bedau, Mark A., eds.
Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems (ALIFE XI).
MIT Press, Cambridge, Massachusetts, USA, pp. 482-489.
ISBN 978-0-262-75017-2.
(KAR id:24100)
|
Preview |
|
Polack, Fiona A.C.,
Mander, Keith C.
(1994)
Software Quality Assurance using the SAZ Method.
In:
Proceedings of Z User Meeting.
.
pp. 230-249.
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)
(KAR id:21191)
|
|
Polack, Fiona A.C. and Stepney, Susan and Turner, Heather and Welch, Peter H. and Barnes, Frederick R.M.
(2005)
An Architecture for Modelling Emergence in CA-Like Systems.
In: Capcarrere, Mathieu S. and Freitas, Alex A. and Bentley, Peter J. and Johnson, Colin G. and Timmis, Jon, eds.
Advances in Artificial Life 8th European Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 427-436.
ISBN 978-3-540-28848-0.
E-ISBN 978-3-540-31816-3.
(doi:10.1007/11553090_44)
(KAR id:14272)
|
Preview |
|
Q
Quig, Bruce and Rosenberg, John and Kölling, Michael
(2003)
Supporting Interactive Invocation of Remote Services within an Integrated Programming Environment.
In:
Proceedings of the 2nd international conference on Principles and practice of programming in Java.
ACM International Conference Proceeding Series
.
Computer Science Press, New York, New York, USA, pp. 195-200.
ISBN 0-9544145-1-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)
(KAR id:13960)
|
|
R
Ramalho, Geber L.,
Barros, Flavia,
Cavalcante, Sergio,
Cavalcanti, Ana L. C.
(1999)
Cyber Rally: An Experience of Democratic Use of the Internet.
In: 8th International Conference on Human-Computer Interaction: Communication, Cooperation, and Application Design, 22-26 August 1999, Munich, Germany.
(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)
(KAR id:21706)
|
|
Ritson, Carl G. and Barnes, Frederick R.M.
(2007)
A Process Oriented Approach to USB Driver Development.
In: McEwan, Alistair A. and Schneider, S.A. and Ifill, W. and Welch, Peter H., eds.
Communicating Process Architectures 2007.
Concurrent Systems Engineering Volume
.
IOS Press, pp. 323-338.
ISBN 978-1-58603-767-3.
(KAR id:14574)
|
Preview |
|
Ritson, Carl G. and Sampson, Adam T. and Barnes, Frederick R.M.
(2006)
Video Processing in occam-pi.
In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds.
Communicating Process Architectures 2006.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 311-329.
ISBN 978-1-58603-671-3.
E-ISBN 978-1-60750-205-0.
(KAR id:14428)
|
Preview |
|
Ritson, Carl G. and Simpson, Jonathan
(2008)
Virtual Machine Based Debugging for occam-pi.
In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds.
Communicating Process Architectures 2008.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 293-307.
ISBN 978-1-58603-907-3.
E-ISBN 978-1-60750-368-2.
(doi:10.3233/978-1-58603-907-3-293)
(KAR id:24060)
|
Preview |
|
Ritson, Carl G. and Welch, Peter H.
(2007)
A Process-Oriented Architecture for Complex System Modelling.
In: McEwan, Alistair A. and Schneider, S.A. and Ifill, W. and Welch, Peter H., eds.
Communicating Process Architectures 2007.
Concurrent Systems Engineering Series
.
IOS Press, Amsterdam, Netherlands, pp. 249-266.
ISBN 978-1-58603-767-3.
E-ISBN 978-1-60750-261-6.
(KAR id:14575)
|
Preview |
|
Rizzo, Mike and Linington, Peter F. and Utting, Ian
(1994)
VitKit: a Voice Interaction Toolkit.
Technical report.
University of Kent, Computing Laboratory, University of Kent, Canterbury, UK
(KAR id:21184)
|
|
Rizzo, Mike,
Utting, Ian,
Linington, Peter F.
(1997)
Call management in the open distributed office.
Electronics & Communication Engineering Journal,
9
(3).
pp. 107-116.
ISSN 0954-0695.
(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)
(KAR id:21491)
|
|
Ryan, Nick S.
(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.
(KAR id:14365)
|
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
(KAR id:14237)
|
Preview |
|
S
Sampaio, Augusto C.A.,
Woodcock, Jim,
Cavalcanti, Ana L. C.
(2002)
Refinement in Circus.
In: Eriksson, Lars-Henrik and Lindsay, Peter A., eds.
FME 2002: Formal Methods - Getting IT Right.
Lecture Notes in Computer Science
, 1.
pp. 451-470.
Springer-Verlag, Berlin
ISBN 978-3-540-43928-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)
(KAR id:13675)
|
|
Sampson, Adam T.
(2008)
Two-Way Protocols for occam-pi.
In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds.
Communicating Process Architectures 2008.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 85-97.
ISBN 978-1-58603-907-3.
E-ISBN 978-1-60750-368-2.
(doi:10.3233/978-1-58603-907-3-85)
(KAR id:24099)
|
Preview |
|
Sampson, Adam T. and Welch, Peter H. and Barnes, Frederick R.M.
(2005)
Lazy Cellular Automata with Communicating Processes.
In: Broenink, Jan F. and Roebbers, Herman W. and Sunter, J.P.E. and Welch, Peter H. and Wood, David C., eds.
Communicating Process Architectures 2005.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 165-175.
ISBN 978-1-58603-561-7.
E-ISBN 978-1-60750-144-2.
(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)
(KAR id:14264)
|
|
Sampson, Adam T. and Welch, Peter H. and Warren, Douglas N. and Andrews, Paul S. and Bjørndalen, John Markus and Stepney, Susan and Timmis, Jon
(2008)
Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems.
In: Bullock, S. and Noble, J. and Watson, R. and Bedau, Mark A., eds.
Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems (ALIFE XI).
MIT Press, Cambridge, Massachusetts, USA, pp. 17-24.
ISBN 978-0-262-75017-2.
(KAR id:24033)
|
Preview |
|
Sanches, R.,
Sette, S.S.,
Cavalcanti, Ana L. C.,
Florissi, C.,
Soares, Patricia G.,
Melo, T.C.S
(1987)
A Language for a Relational Database Management System.
In:
2nd Brazilian Symposium on Databases.
.
(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)
(KAR id:20923)
|
|
Schweigler, Mario
(2004)
Adding Mobility to Networked Channel-Types.
In: East, Ian R. and Martin, Jeremy and Welch, Peter H. and Duce, David and Green, Mark, eds.
Communicating Process Architectures 2004.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 107-125.
ISBN 978-1-58603-458-0.
(KAR id:14090)
|
Preview |
|
Schweigler, Mario and Barnes, Frederick R.M. and Welch, Peter H.
(2003)
Flexible, Transparent and Dynamic occam Networking with KRoC.net.
In: Broenink, Jan F. and Hilderink, Gerald H., eds.
Communicating Process Architectures 2003.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 199-224.
ISBN 978-1-58603-381-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)
(KAR id:13920)
|
|
Schweigler, Mario and Sampson, Adam T.
(2006)
pony - The occam-pi Network Environment.
In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds.
Communicating Process Architectures 2006.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 77-108.
ISBN 978-1-58603-671-3.
E-ISBN 978-1-60750-205-0.
(KAR id:14423)
|
Preview |
|
Senivongse, T. and Utting, I.A.
(1996)
A Model for Evolution of Services in Distributed Systems.
In: Schill, Spaniol and Popien, Popien, eds.
Distributed Platforms Proceedings of the IFIP/IEEE International Conference on Distributed Platforms: Client/Server and Beyond.
IFIP — The International Federation for Information Processing
.
Springer, Boston, Massachusetts, USA, pp. 373-385.
ISBN 978-1-4757-5010-2.
E-ISBN 978-0-387-34947-3.
(doi:10.1007/978-0-387-34947-3_28)
(KAR id:21409)
|
|
Sheriff, A.,
Cavalcanti, Ana L. C.,
Moura, Hermano
(2002)
An Action Semantics for Timed CSPm.
In:
Proceedings of the 6th Brazilian Symposium on Programming Languages.
.
pp. 100-113.
(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)
(KAR id:13670)
|
|
Shrimpton, David,
Dobbyn, Chris,
Casey, Tom
(1999)
Towards the convergence of interactive television and WWW.
In:
Colloqium on Multimedia Services and Digital Television by Satellite.
(99/111).
6/1-6/6.
IEE, Savoy Place, 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)
(KAR id:21763)
|
|
Simpson, Jonathan and Jacobsen, Christian L.
(2008)
Visual Process-oriented Programming for Robotics.
In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds.
Communicating Process Architectures 2008.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 365-380.
ISBN 978-1-58603-907-3.
E-ISBN 978-1-60750-368-2.
(doi:10.3233/978-1-58603-907-3-365)
(KAR id:24105)
|
Preview |
|
Simpson, Jonathan and Jacobsen, Christian L. and Jadud, Matthew C.
(2006)
Mobile Robot Control: The Subsumption Architecture and occam-pi.
In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds.
Communicating Process Architectures 2006.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 225-236.
ISBN 978-1-58603-671-3.
E-ISBN 978-1-60750-205-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)
(KAR id:24057)
|
|
Simpson, Jonathan and Jacobsen, Christian L. and Jadud, Matthew C.
(2007)
A Native Transterpreter for the LEGO Mindstorms RCX.
In: McEwan, Alistair A. and Schneider, S.A. and Ifill, W. and Welch, Peter H., eds.
Communicating Process Architectures 2007.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 339-348.
ISBN 978-1-58603-767-3.
E-ISBN 978-1-60750-261-6.
(KAR id:24058)
|
Preview |
|
Singer, Jeremy,
Marion, Sebastien,
Brown, Gavin D.,
Jones, Richard E.,
Lujan, Mikel,
Ryder, Chris,
Watson, Ian
(2008)
An Information Theoretic Evaluation of Software Metrics for Object Lifetime Prediction.
In:
2nd Workshop on Statistical and Machine learning approaches to ARchitectures and compilaTion (SMART'08).
.
, Goteborg, Sweden
(KAR id:23960)
|
Preview |
|
Sklenar, Lukas and Utting, Ian
(2005)
Growing a Tourist Guide.
In: Ryan, Nick S. and Cinotti, Tullio Salmon and Raffa, Guiseppe, eds.
Smart Environments and their Applications to Cultural Heritage.
Epoch publications
.
Archaeolingua, Budapest, Hungary, pp. 15-18.
ISBN 963-8046-61-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)
(KAR id:14277)
|
|
Steen, Maarten,
Bowman, Howard,
Derrick, John
(1995)
Composition of LOTOS specifications.
In: UNSPECIFIED.
(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)
(KAR id:21289)
|
|
Su, Linying and Chadwick, David W. and Basden, Andrew and Cunningham, James
(2005)
Automated Decomposition of Access Control Policies.
In:
Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'05).
IEEE, pp. 3-13.
ISBN 0-7695-2265-3.
(doi:10.1109/POLICY.2005.10)
(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)
(KAR id:14312)
|
|
T
Tan, Su-Wei and Waters, A. Gill
(2003)
Building Low Delay Application Layer Multicast Trees.
In: Merabti, Madjid and Pereira, Rubem, eds.
4th Annual Postgraduate Symposium on the Convergence of Telecommunications, Networks & Broadcasting.
Liverpool John Moore University, pp. 27-32.
ISBN 1-902560-09-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)
(KAR id:13965)
|
|
Tan, Su-Wei,
Waters, A. Gill,
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 currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:14296)
|
|
Tang, Xinbei,
Woodcock, Jim
(2004)
Towards Mobile Processes in Unifying Theories.
In: Cuellar, Jorge and Liu, Zhiming, eds.
SEFM2004: the 2nd IEEE International Conference on Software Engineering and Formal Methods.
.
pp. 44-53.
IEEE Computer Society Press., Beijing, China
ISBN 0-7695-2222-X.
(doi:10.1109/SEFM.2004.1347502)
(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)
(KAR id:14075)
|
|
Tang, Xinbei and Woodcock, Jim
(2004)
Travelling Processes.
In: Kozen, Dexter, ed.
Mathematics of Program Construction 7th International Conference.
Lecture Notes in Computer Science, 3125
.
Springer, Berlin, Germany, pp. 381-399.
ISBN 978-3-540-22380-1.
E-ISBN 978-3-540-27764-4.
(doi:10.1007/978-3-540-27764-4_20)
(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)
(KAR id:14127)
|
|
Tracey, Nigel J.,
Clark, John A.,
Mander, Keith C.
(1998)
Automated Programme Flaw Finding using Simulated Annealing.
In:
ACM SOGSOFT Symposium on Software Testing and Analysis (ISSTA 98).
.
, Florida
(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)
(KAR id:21679)
|
|
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 currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13539)
|
|
U
V
Valliapan, Vedhagiri and Shrimpton, David and Dobbyn, Chris
(2001)
Integrating Interactive TV with the Web using XSL.
In:
Proceedings of the TenthInternational World Wide Web Conference.
Conference Series of the International World Wide Web Conference Committee
.
Elsevier, pp. 72-73.
ISBN 962-85361-3-3.
(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)
(KAR id:13608)
|
|
Valliapan, Vedhagiri and Shrimpton, David and Dobbyn, Chris and Casey, Tom
(2001)
Transforming Web Pages for Interactive TV Using XSL.
In:
IEEE International Conference on Multimedia and Expo, 2001.
IEEE, pp. 1008-1011.
ISBN 0-7695-1198-8.
(doi:10.1109/ICME.2001.1237843)
(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)
(KAR id:13576)
|
|
W
Wang, J.,
Saeed, Amer,
de Lemos, Rogério
(1997)
Subjective Safety Analysis for Software Development.
In: Soares, C. Guedes, ed.
Proceedings of the International Conference on Safety and Reliability (ESREL 97).
.
pp. 389-396.
Elsevier Science Ltd, Oxford, UK, Lisbon, Portugal
(KAR id:21495)
|
Preview |
|
Warmer, Jos and Hogg, John and Cook, Steve J. and Selic, Bran
(1997)
Experience with Formal Specification of CMM and UML.
In: Bosch, Jan and Mitchell, Stuart, eds.
Object-Oriented Technologys ECOOP’97 Workshop Reader ECOOP’97 Workshops.
Lecture Notes In Computer Science
.
Springer, Berlin, Germany, pp. 216-220.
ISBN 978-3-540-64039-4.
E-ISBN 978-3-540-69687-2.
(doi:10.1007/3-540-69687-3_44)
(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)
(KAR id:21498)
|
|
Waters, A. Gill
(1996)
Multi-party communication over packet networks.
Doctor of Philosophy (PhD) thesis, University of Essex, School of Science and Engineering.
(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)
(KAR id:21390)
|
|
Waters, A. Gill
(1994)
A new heuristic for ATM multicast routing.
In: UNSPECIFIED.
(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)
(KAR id:21189)
|
|
Waters, A. Gill and Crawford, John
(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 currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21912)
|
|
Waters, A. Gill,
Linington, Peter F.,
Akehurst, David H.,
Utton, Peter,
Martin, Gino
(2001)
Permabase: predicting the performance of distributed systems at the design stage.
IEE Proceedings: Software,
148
(4).
pp. 113-121.
ISSN 1462-5970.
(doi:10.1049/ip-sen:20010553)
(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)
(KAR id:13574)
|
|
Welch, Peter H. and Barnes, Frederick R.M.
(2008)
A CSP Model for Mobile Channels.
In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds.
Communicating Process Architectures 2008.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 17-33.
ISBN 978-1-58603-907-3.
E-ISBN 978-1-60750-368-2.
(doi:10.3233/978-1-58603-907-3-17)
(KAR id:24002)
|
Preview |
|
Welch, Peter H. and Barnes, Frederick R.M.
(2005)
Communicating Mobile Processes: introducing occam-pi.
In: Abdallah, Ali E. and Jones, Cliff B. and Sanders, Jeff W., eds.
Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 175-210.
ISBN 978-3-540-25813-1.
E-ISBN 978-3-540-32265-8.
(doi:10.1007/11423348_10)
(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)
(KAR id:14334)
|
|
Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds.
(2008)
Communicating Process Architectures 2008.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands
ISBN 978-1-58603-907-3.
E-ISBN 978-1-60750-368-2.
(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)
(KAR id:24004)
|
|
Welch, Peter H. and Barnes, Frederick R.M.
(2005)
Mobile Barriers for occam-pi: Semantics, Implementation and Application.
In: Broenink, Jan F. and Roebbers, Herman W. and Sunter, J.P.E. and Welch, Peter H. and Wood, David C., eds.
Communicating Process Architectures 2005.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 289-316.
ISBN 978-1-58603-561-7.
E-ISBN 978-1-60750-144-2.
(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)
(KAR id:14271)
|
|
Welch, Peter H.,
Barnes, Frederick R.M.,
Polack, Fiona A.C.
(2006)
Communicating Complex Systems.
In: Hinchey, Michael G., ed.
Engineering of complex computer systems; ICECCS 2006; proceedings.
.
pp. 107-117.
IEEE Computer Society
ISBN 0-7695-2530-X.
(KAR id:14440)
|
Preview |
|
Welch, Peter H. and Brown, Neil C.C. and Moores, James and Chalmers, Kevin and Sputh, Bernhard H. C.
(2007)
Integrating and Extending JCSP.
In: Schneider, S.A. and McEwan, Alistair A. and Ifill, W. and Welch, Peter H., eds.
Communicating Process Architectures 2007.
Concurrent Systems Engineering, 65
.
IOS, Amsterdam, Netherlands, pp. 349-370.
ISBN 978-1-58603-767-3.
E-ISBN 978-1-60750-261-6.
(KAR id:24001)
|
Preview |
|
Welch, Peter H.,
Hopkins, Tim
(1989)
Transputer Data-Flow Solutions for Systems of Linear Equations.
In:
Parallel Computing 1989, Proceedings of the International Conference.
.
Elsevier, Netherlands, Leiden, Netherlands
(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)
(KAR id:20960)
|
|
Welch, Peter H. and Linington, Peter F.
(1993)
An Enabling Infrastructure for a Distributed Multimedia Industry.
In: Welch, Peter 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 currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21135)
|
|
Welch, Peter H. and Pedersen, Jan B.
(2008)
Santa Claus - with Mobile Reindeer and Elves.
In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds.
Communicating Process Architectures 2008.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 455-456.
ISBN 978-1-58603-907-3.
E-ISBN 978-1-60750-368-2.
(doi:10.3233/978-1-58603-907-3-455)
(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)
(KAR id:24003)
|
|
Welch, Peter H. and Vinter, Brian and Barnes, Frederick R.M.
(2005)
Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid.
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. 201-207.
ISBN 1-932415-58-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)
(KAR id:14307)
|
|
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),.
.
(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)
(KAR id:21562)
|
|
Wills, A.C.
(2001)
Coherence in UML.
In:
Coupling the UML diagrams.
.
, Mont St Michel
(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)
(KAR id:13491)
|
|
Wills, A.C.
(2000)
Component Design is Language Design.
In:
ISSUG 2000 (International Sterling Software User Group).
.
, Paris
(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)
(KAR id:21886)
|
|
Wills, A.C.
(1999)
Designing Component Kits and Architectures.
In: Barroca, Leonor and Hall, Jon and Hall, Patrick A.V., eds.
Software architectures: advances and applications.
Springer.
(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)
(KAR id:21715)
|
|
Wills, A.C.
(2000)
Modeling Traits of Component Based Systems.
In:
OOPSLA 2000, Conference on Object-Oriented Programming, Systems, Languages, and Applications.
.
(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)
(KAR id:21898)
|
|
Wills, A.C.,
Cook, S.,
Kleppe, Anneke,
Mitchell, Richard,
Warmer, Jos
(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 currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21716)
|
|
Woodcock, Jim
(2002)
Unifying Theories of Parallel Programming.
In:
ICFEM 2002: 4th International Conference on Formal Engineering Methods.
.
IEE Computer Society Press., Shanghai
(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)
(KAR id:13680)
|
|
Woodcock, Jim
(2004)
Using Circus for critical industrial applications.
In:
WMF2003: 6th Braziliam Workshop on Formal Methods.
Electronic Notes in Theoretical Computer Science
, 95.
pp. 3-22.
Elsevier Science, Campina Grande, Brazil
(doi:10.1016/j.entcs.2004.04.003)
(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)
(KAR id:14034)
|
|
Woodcock, Jim,
Cavalcanti, Ana L. C.
(2001)
A Concurrent Language for Refinement.
In:
5th Irish Workshop on Formal Methods.
.
(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)
(KAR id:13502)
|
|
Woodcock, Jim,
Cavalcanti, Ana L. C.
(2002)
The Semantics of Circus.
In:
ZB 2002: Formal Specification and Development in Z and B.
Lecture Notes in Computer Science
, 1.
pp. 184-203.
Springer-Verlag, Berlin
ISBN 978-3-540-43166-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)
(KAR id:13667)
|
|
Woodcock, Jim,
Davies, Jim,
Bolton, Christie
(2000)
Abstract Data Types and Processes.
In: Roscoe, A.W. and Davies, Jim and Woodcock, Jim, eds.
Proceedings of the Symposium in Honour of CAR Hoare.
.
pp. 391-405.
(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)
(KAR id:21895)
|
|
Woodcock, Jim and Hughes, Arthur
(2002)
Unifying Theories of Parallel Programming.
In:
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods.
Lecture Notes in Computer Science
.
Springer, pp. 24-37.
ISBN 978-3-540-00029-7.
E-ISBN 978-3-540-36103-9.
(doi:10.1007/3-540-36103-0_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)
(KAR id:13663)
|
|
Woodcock, Jim and McEwan, Alistair A.
(2000)
An Overview of the Verification of a Handel-C Program.
In:
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications
.
CSREA Press, pp. 3003-3007.
ISBN 1-892512-52-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)
(KAR id:21887)
|
|
Woodcock, Jim,
McEwan, Alistair A.
(2002)
Verifying the Properties of a Railway Signalling Device.
In:
Proceedings of the International Conference on Integrated Design and Process Technology.
.
IDPT Press, Passadena
(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)
(KAR id:13785)
|
|
X
This list was generated on Mon Feb 15 22:09:45 2021 GMT.