Intranet Tools

nb. next round of REF2013 will NOT be using data from eprints.ecs, but the central university REF interface.

RSS 1.0 Feed
RSS 2.0 Feed
Atom Feed
 
Warning

Important message for ECS staff
From 1st March 2012 ECS EPrints will be merging with the central Southampton EPrints Repository (ePrints Soton) and will no longer be accepting new publications - click here to find out more.

Items from Old ECS Groups > Dependable Systems and Software Engineering Research Group in 1997
(Grouped by Creator/Authors Name)

Up a level
Export as [feed] Atom [feed] EPP RSS 2.0 [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Creator/Authors Name
Jump to: A | B | D | F | G | H | L | M | N | P | S | T
Number of items: 44.

A

Abeysinghe, G., Henderson, P., Phalp, K. and Walters, R. J. (1997) An Audience Centred Approach to Modelling for Business Processes ReEngineering. In: Proc. 5th Int. Conf. Re-technologies for Information Systems (ReTis'97). pp. 63-80.

Alberda, M. I., Hartel, P. H. and Frz, E. K. d. J. (1997) Using Formal Methods to Cultivate Trust in Smart Card Operating Systems. Future Generation Computer Systems, 13 (1). pp. 39-54. ISSN ISSN 0167-739X

B

Bauknecht, K., Holbein, R., Morger, U., Nitsche, U. and Teufel, S. (1997) The MobiMed Approach to Privacy in Medical Systems. In: Proc. 2nd Nordic Workshop on Secure Computer Systems (NORDSEC).

Butler, M. J. (1997) Action System Analysis of an Authentication Protocol (extended abstract). In: Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science. pp. 287-288.

Butler, M. J. (1997) An Approach to the Design of Distributed Systems with B AMN. In: Proc. 10th Int. Conf. of Z Users: The Z Formal Specification Notation (ZUM), LNCS 1212. pp. 223-241.

Butler, M. J. (1997) Review of Abrial, J.-R. The B-Book. The Computer J., 40 (1). pp. 59-61. ISSN ISSN 0010-4620

Butler, M. J., Grundy, J., Långbacka, T., Ruksenas, R. and Wright, J. v. (1997) The Refinement Calculator: Proof Support for Program Refinement. In: Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science. pp. 40-61.

Butler, M., Hartel, P., Jong, E. d. and Longley, M. (1997) Applying Formal Methods to the Design of Smart Card Software. Technical Report , Electronics and Computer Science, University of Southampton.

D

DeRoure, D. C. (1997) Introducing the Declarative Dungeon. In: Programming Languages: Implementations, Logics and Programs. p. 407.

Dunlop, A. N. and Hey, A. J. G. (1997) PERFORM - A fast simulator for estimating program execution time. In: Electronic Journal of Performance Evaluation and Modelling of Computer Systems.

F

Fischer, B. and Schumann, J. (1997) SETHEO Goes Software Engineering: Application of ATP to Software Reuse. In: 14th International Conference on Automated Deduction, July 1997, Townsville. pp. 65-68.

G

Getov, V., Hernandez, E. and Hey, A. J. G. (1997) Message-Passing Performance of Parallel Computers. In: Proceedings of EuroPar '97, Conferencce.

H

Hall, J. and Martin, A. (1997) W Reconstructed. In: Proc. 10th Int. Conf. of Z Users: The Z Formal Specification Notation (ZUM), LNCS 1212. pp. 115-134.

Harrison, R., Briand, L., Daly, J., Kellner, M., Raffo, D. M. and Sheppherd, J. (1997) Process Modelling and Empirical Studies of Software Evolution. Empirical Software Engineering: An Int. J., 2 (4). pp. 381-403. ISSN ISSN 1382-3256

Harrison, R., Counsell, S. J. and Nithi, R. (1997) Applying Object-Oriented Design Metrics in the Real-world. In: Proc. Software Engineering Association Workshop. pp. 65-67.

Harrison, R., Counsell, S. J. and Nithi, R. (1997) Empirical Assessment of Object-Oriented Design Metrics. In: Proc. Empirical Assessment and Evaluation in Software Engineering Conf.. pp. 1-17.

Harrison, R., Shepperd, M. and Daly, J. (1997) Summary: Process Modelling and Empirical Studies of Software Evolution. In: Proc. Int. Conf. on Software Engineering (ICSE '97). p. 675.

Hartel, P. H. (1997) Review of Michaelson, G. Elementary Standard ML. The Knowledge Engineering Review, 2 (1). pp. 99-100. ISSN ISSN 0269-8889

Hartel, P. H. (1997) Special issue: Smart cards. Future Generation Computer Systems, 13 (1). pp. 1-2. ISSN ISSN 0167-739X

Hartel, P. H. and Muller, H. L. (1997) Functional C. Addison Wesley Longman, Harlow, England. ISBN ISBN 0-201-41950-5

Henderson, P. (1997) Formal Models of Process Components. In: Proc. Int. Foundations of component-based systems Workshop. pp. 131-140.

Hey, A. J. G. (1997) High Performance Computing-Past, Present and Future. In: IEE Computing & Control Engineering Journal 8, 33.

Hey, T., Dunlop, A. and Hernandez, E. (1997) Realistic Parallel Performance Estimation. Parallel Computing, 23 (1-2). pp. 5-21.

Hey, T. and Walters, P. (1997) Einstein's Mirror. Cambridge University Press. ISBN 0521435323

Hildebrandt, T. and Sassone, V. (1997) Transition Systems with Independence and Multi-Arcs. In: Partial Order Methods in Verification, POMIV '96. pp. 273-288.

L

Leuschel, M. (1997) Advanced Techniques for Logic Program Specialisation. AI Communications, 10 . pp. 127-128. ISSN ISSN 0921-7126

Leuschel, M. (1997) The ecce Partial Deduction System. In: Proc. ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming.

Leuschel, M. (1997) Specialization of Declarative Programs and its Application (workshop overview). In: Proceedings of the International Logic Programming Symposium ILPS'97. pp. 413-414.

M

Manquinho, V., Flores, P., Marques-Silva, J. and Oliveira, A. (1997) Prime Implicant Computation Using Satisfiability Algorithms. In: International Conference on Tools with Artificial Intelligence, 1997. pp. 232-239.

Marques-Silva, J. and Sakallah, K. (1997) Robust Search Algorithms for Test Pattern Generation. In: Fault-Tolerant Computing Symposium, Seattle, Washington, USA. pp. 152-161.

Martin, A., Nickson, R. and Utting, M. (1997) A Tactic Language for Ergo. In: Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science. pp. 186-207.

Meseguer, J., Montanari, U. and Sassone, V. (1997) On the Semantics of Place/Transition Petri Nets. Mathematical Structures in Computer Science, 7 . pp. 359-397.

Meseguer, J., Montanari, U. and Sassone, V. (1997) Representation Theorems for Petri Nets. In: Foundations of Computer Science : Potential - Theory - Cognition.. pp. 239-249.

Morger, O., Nitsche, U. and Teufel, S. (1997) Datenschutz als Qualitätskriterium für Krankenhausinformationssysteme. In: 42. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemologie (GMDS). p. 4.

Morger, O., Nitsche, U. and Teufel, S. (1997) Security Concerns for Mobile Information Systems in Health Care. In: Proc. 8th Int. Workshop on Database and Expert Systems Applications (DEXA). pp. 312-317.

Mountjoy, J., Hartel, P. H. and Corporaal, H. (1997) Modular Operational Semantic Specification of Transport Triggered Architectures. In: Proc. 13th IFIP WG 10.5 Conf. on Computer Hardware Description Languages and Their Applications. pp. 260-279.

N

Nitsche, U. (1997) Interpretation of the Full Computation Tree Logic $CTL^*$ on Sets of Infinite Sequences. In: Proc. 4th Int. Conf. Logical Foundations of Computer Science (LFCS), LNCS 1234. pp. 276-282.

Nitsche, U., Ochsenschläger, P., Repp, J. and Rieke, R. (1997) The SH-Verification Tool. In: Proc. 2nd Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS).

Nitsche, U. and Wolper, P. (1997) Relative Liveness and Behavior Abstraction (extended abstract). In: Proc. 16th Int. SIGACT-SIGOPS Symp. on Principles of Distr. Computing (PODC). pp. 45-52.

P

Papiani, M., Dunlop, A., N. and Hey, A., J., G. (1997) Automatic Web Interfaces and Browsing for Object-Relational Databases. In: Advances in Databases: Proceedings of the 15th British National Conference on Databases, BNCOD15. pp. 131-2.

Phalp, K. T. and Counsell, S. J. (1997) CHASM: Counts and Heuristics for Analysis of Static Models. In: Proc. Workshop on Process Modelling and Empirical Studies of Software Evolution. pp. 58-63.

S

Smith, A. J. and Nunn, D. (1997) Numerical Simulation of VLF Risers, Fallers and Hooks observed in Antartica. In: UNSPECIFIED.

T

Traynor, O., Hazel, D., Kearney, P., Martin, A., Nickson, R. and Wildman, L. (1997) The Cogito Development System. In: Proc. 6th Int. Conf. Algebraic Methodology and Software Technology (AMAST), LNCS 1349. pp. 586-591.

Turner, P. J. and Jennings, N. R. (1997) On Scaleability of Information Management Agents. In: European IT Conference (EITC-97), Brussels, Belgium. pp. 64-65.

This list was generated on Fri Apr 18 00:55:23 2014 BST.
  Welcome from Deputy Head of School (Research) Research Prospectus Industrial Partnerships New Research Students Notes for Guidance New Research Students Notes for Guidance
The ECS EPrints Repository supports OAI 2.0 with a base URL of http://eprints.ecs.soton.ac.uk/cgi/oai2

EPrints is free software developed by the University of Southampton to facilitate Open Access to research.
EPrints