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 1996
(Grouped by Item Type)

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
Number of items: 65.

Article

Butler, M. J. (1996) Stepwise Refinement of Communicating Systems. Science of Computer Programming, 27 (2). pp. 139-173. ISSN ISSN 0167-6423

Carpenter, D. B. and Glaser, H. (1996) Some lattice-based scientific problems, expressed in Haskell. J. Functional Programming, 6 (3). pp. 419-443. ISSN ISSN 0956-7968

Gravell, A. M. and Henderson, P. (1996) Executing Formal Specifications Need Not be Harmful. Software Engineering J., 11 (2). pp. 104-110. ISSN ISSN 0268-6961

Harrison, R., Samaraweera, L. G., Dobie, M. R. and Lewis, P. H. (1996) Comparing Programming Paradigms: an Evaluation of Functional and Object-Oriented Programs. Software Engineering J., 11 (4). pp. 247-254. ISSN 0268-6961

Harrison, R., Samaraweera, L. G., Dobie, M. R. and Lewis, P. H. (1996) An Evaluation of Code Metrics for Object-Oriented Programs. Information and Software Technology, 38 (7). pp. 701-707. ISSN 0950-5849

Hartel, P. H., Feeley, M., Alt, M., Augustsson, L., Baumann, P., Beemster, M., Chailloux, E., Flood, C. H., Grieskamp, W., van Groningen, J. H. G., Hammond, K., Hausman, B., Ivory, M. Y., Jones, R. E., Kamperman, J., Lee, P., Leroy, X., Lins, R. D., Loosemore, S., Röjemo, N., Serrano, M., Talpin, J. P., Thackray, J., Thomas, S., Walters, P., Weis, P. and Wentworth, P. (1996) Benchmarking Implementations of Functional Languages with ``Pseudoknot'', a Float-Intensive Benchmark. J. Functional Programming, 6 (4). pp. 621-655. ISSN 0956-7968

Hartel, P. H. and Glaser, H. (1996) The Resource constrained shortest path problem implemented in a lazy functional language. J. Functional Programming, 6 (1). pp. 29-45. ISSN ISSN 0956-7968

Martin, A. P., Gardiner, P. H. B. and Woodcock, J. C. P. (1996) A Tactic Calculus - Abridged version. Formal Aspects of Computing, 8 . pp. 479-489. ISSN ISSN 0934-5043

Martin, A. P., Gardiner, P. H. B. and Woodcock, J. C. P. (1996) A Tactic Calculus - Full version. Formal Aspects of Computing, 8(E) . pp. 224-285. ISSN ISSN 0934-5043

Meseguer, J., Montanari, U. and Sassone, V. (1996) Process versus Unfolding Semantics for Place/Transition Petri Nets. Theoretical Computer Science, 153 (1-2). pp. 171-210.

Nitsche, U. (1996) Verification and Behaviour Abstraction Towards a Tractable Verification Technique for Large Distributed Systems. J. of Systems and Software, 33 . pp. 273-285. ISSN ISSN 0164-1212

Nitsche, U. and Ochsenschläger, P. (1996) Approximately Satisfied Properties of Systems and Simple Language Homomorphisms. Information Processing Letters, 60 . pp. 201-206. ISSN ISSN 0020-0190

O, N., G, H. A. J. and EJ, Z. (1996) Do-loop-surface: an abstract representation of parallel program performance. Concurrency: Practice and Experience, 8 (3). pp. 205-34. ISSN 1040-3108

Pasha, M. A. and Soper, P. J. (1996) Combining the Strengths of Information Management Techniques to Meet the Needs of Legal Professionals. Electronic J. Information, Law and Technology, 1 (2). ISSN ISSN 1361-4169

Riepe, M. A., Marques-Silva, J. P., Sakallah, K. A. and Brown, R. B. (1996) Ravel-XL: a hardware accelerator for assigned-delay compiled-code logic gate simulation. IEEE Transactions on VLSI Systems, 4 (1). pp. 113-129.

Sassone, V. (1996) An Axiomatization of the Algebra of Petri Net Concatenable Processes. Theoretical Computer Science, 170 (1-2). pp. 277-296.

Sassone, V., Nielsen, M. and Winskel, G. (1996) Models for Concurrency: Towards a Classification. Theoretical Computer Science, 170 (1-2). pp. 297-348.

Conference or Workshop Item

Butler, M. J. (1996) Calculational Derivation of Algorithms on Tree-based Pointer Structures. In: BCS-FACS Refinement Workshop.

Butler, M. J. and Långbacka, T. (1996) Program Derivation using the Refinement Calculator. In: Proc. 9th Int. Conf. on Theorem Proving in Higher Order Logics (TPHOLs'96), LNCS 1125. pp. 93-108.

Butler, M. J., Sekerinski, E. and Sere, K. (1996) An Action System Approach to the Steam Boiler Problem. In: Formal Methods for Industrial Applications -- Specifying and Programming the Steam Boiler Control, LNCS 1165. pp. 129-148.

Butler, M. J. and Waldén, M. (1996) Distributed System Development in B. In: Proc. First B Conf.. pp. 155-168.

Capellmann, C., Demant, R., Fatahi-Vanani, F., Galvez-Estrada, R., Nitsche, U. and Ochsenschläger, P. (1996) Verification by Behavior Abstraction: A Case Study of Service Interaction Detection in Intelligent Telephone Networks. In: Proc. 8th Int. Conf. Computer Aided Verification (CAV), LNCS 1102. pp. 466-469.

Capellmann, C., Demant, R., Galvez-Estrada, R., Nitsche, U. and Ochsenschläger, P. (1996) Case Study: Service Interaction Detection by Formal Verification under Behaviour Abstraction. In: Proc. 1st Int. Workshop on Advanced Intelligent Networks (AIN). pp. 71-90.

Cattani, G. L. and Sassone, V. (1996) Higher Dimensional Transition Systems. In: 11th Symposium of Logics in Computer Science, LICS '96.. pp. 55-62.

Cox, P. T., Glaser, H. and Lanaspre, B. (1996) Distributed Prograph. In: Proc. Int. Conf. Parallel Symbolic Languages and Systems, LNCS 1068. pp. 128-133.

Dunlop, A. N., Hey, A. J. and O'Connell, S. (1996) Performance Measurements on Parallel Databases and OLTP Systems on the SP2 Computer. In: UNSPECIFIED.

Dunlop, A. N., Hey, A. J. G., O'Connell, S. and Papiani, M. (1996) Performance Measurements on Parallel Databases and OLTP Systems on the SP2 Computer. In: UNSPECIFIED.

Dunlop, A. N., Papiani, M. and Hey, A. J. G. (1996) Providing Access to a Multimedia Archive using the World Wide Web and an Object Relational Database Management System. In: IEE Computing & Control Engineering Journal 7, 221.

Glaser, H., Hartel, P. H. and Frz, E. K. d. J. (1996) Structuring and Visualising an IC-card Security Standard. In: Proc. 2nd Int. Conf. Smart card research and advanced application (CARDIS 1996). pp. 89-110.

Glaser, H., Hartel, P. H. and Frz, E. K. d. J. (1996) Visualising the Structure of an IC-card Security Architecture. In: Smart Card 1996 convention proceedings -- Technology and markets Conf.. pp. 22-34.

Harrison, R. and Nithi, R. (1996) An Empirical Evaluation Of
Object-Oriented Design Metrics.
In: Proc. Electronic proceedings of the OOPSLA 96 Workshop.

Harrison, R., Nithi, R., Phalp, K. T., Samaraweera, L. G. and Smith, A. P. (1996) An Empirical Study of a Software Maintenance Process. In: Proc. Software Quality Conf. (SQC). pp. 126-134.

Harrison, R. and Samaraweera, L. G. (1996) Metrics Collection for Quality Improvement. In: Proc. 6th Int. Conf. on Software Quality. pp. 85-97.

Harrison, R. and Smith, A. P. (1996) An Assessment of Object-Oriented Design in the Maintenance of a Large-Scale System. In: Proc. 1st Int. Workshop Emperical Studies of Software Maintenance (WESS'96). pp. 45-48.

Hartel, P. H. and Frz, E. K. d. J. (1996) Smart Cards and Card Operating Systems. In: Int. Conf. UNIFORUM'96. pp. 725-730.

Hernandez, E. and Hey, A. J. G. (1996) Variations on Low-Level Communication Benchmarks. In: Supercomputer 66.

Hey, A. J. G. (1996) Memories of Richard Feynman. In: Physics Today.

Hildebrandt, T. and Sassone, V. (1996) Comparing Transition Systems with Independence and Asynchronous Transition Systems. In: 7th International Conference on Concurrency Theory, CONCUR '96.. pp. 84-97.

Jørgensen, J. and Leuschel, M. (1996) Efficiently Generating Efficient Generating Extensions in Prolog. In: Proc. Dagstuhl Seminar on Partial Evaluation, LNCS 1110. pp. 238-262.

Jørgensen, J. and Leuschel, M. (1996) Efficiently Generating Efficient Generating Extensions in Prolog. In: Proc. Partial Evaluation: Dagstuhl-Seminar-Report 134. p. 25.

Jørgensen, J., Leuschel, M. and Martens, B. (1996) Conjunctive Partial Deduction in Practice. In: Proc. 6th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1207. pp. 59-82.

Leuschel, M. (1996) Specialised Integrity Checking by Combining Conjunctive Partial Deduction and Abstract Interpretation. In: Proc. Logic Databases and the Meaning of Change: Dagstuhl-Seminar-Report 157. pp. 18-19.

Leuschel, M. and De Schreye, D. (1996) Logic Program Specialisation: How To Be More Specific. In: Proc. 8th Int. Conf. Programming Languages, Implementations, Logics and Programs (PLILP), LNCS 1140. pp. 137-151.

Leuschel, M. and De Schreye, D. (1996) Logic Program Specialisation: How To Be More Specific (abstract). In: Proc. 6th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1207. p. 58.

Leuschel, M., De Schreye, D. and deWaal, A. (1996) A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration. In: Proc. Joint Int. Conf. and Symp. on Logic Programming (JICSLP). pp. 319-332.

Leuschel, M. and Martens, B. (1996) Global Control for Partial Deduction through Characteristic Atoms and Global Trees. In: Proc. Dagstuhl Seminar on Partial Evaluation, LNCS 1110. pp. 263-283.

Leuschel, M. and Martens, B. (1996) Global Control for Partial Deduction through Characteristic Atoms and Global Trees. In: Proc. Partial Evaluation: Dagstuhl-Seminar-Report 134. p. 26.

Leuschel, M. and Sørensen, M. H. (1996) Redundant Argument Filtering of Logic Programs. In: Proc. 6th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1207. pp. 83-103.

Marques-Silva, J. P. and Sakallah, K. A. (1996) GRASP: A New Search Algorithm for Satisfiability. In: International Conference on Computer-Aided Design, November 1996, Santa Clara, California, U.S.A.. pp. 220-227.

Marques-Silva, J. and Sakallah, K. (1996) Conflict Analysis in Search Algorithms for Satisfiability. In: International Conference on Tools with Artificial Intelligence, 1996, Toulouse, France. pp. 467-469.

Martin, A. (1996) Infinite Lists for Specifying Functional Programs in Z. In: Proc. Australasian Refinement Workshops.

Martin, J. C., King, A. M. and Soper, P. J. (1996) Typed Norms for Typed Logic Programs. In: Proc. 6th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1207. pp. 224-238.

Nitsche, U. (1996) A Finitary Language Semantics for Propositional Linear Temporal Logic. In: Proc. 2nd Int. Conf. Developments in Language Theory (DLT). pp. 482-489.

Pasha, M. A. and Soper, P. J. (1996) A Composite Approach to Meet the Needs of Legal Professionals. In: Proc. 7th Int. Workshop on Database and Expert Systems Applications (DEXA). pp. 371-376.

Salhi, A., Glaser, H. and De Roure, D. (1996) A Genetic Approach to Understanding Cooperative Behaviour. In: Proc. 2nd Int. Mendel Conf. on Genetic Algorithms (MENDEL'96). pp. 129-136.

Salhi, A., Glaser, H. and De Roure, D. (1996) Model Generation Using Genetic Programming. In: Proc. Conf. UK PARALLEL '96. pp. 92-109.

Book

Hartel, P. H., Paradinas, P. and Quisquater, J. J., eds. (1996) 2nd Int. Conf. Smart Card Research and Advanced Application (CARDIS 1996). Stichting Mathematisch Centrum, Amsterdam. ISBN ISBN 90 6196 465 2

Montanari, U. and Sassone, V., eds. (1996) Proceedings of 7th International Conference on Concurrency Theory, Concur 1996. Lecture Notes in Computer Science 1119. Springer.

Hey, A. J. G. and Allen, R. W. (1996) The Feynman Lectures on Computation. Addison-Wesley.

Technical Report

Butler, M. J. (1996) An Approach to the Design of Distributed Systems with B AMN (extended version). Technical Report , Electronics and Computer Science, Univ. of Southampton.

Maclean, S., Glaser, H. and Roure, D. D. (1996) An Architecture for Distributed Computations using the Pool Model. Technical Report , Electronics & Computer Science, Univ. of Southampton.

Salhi, A., Glaser, H., Roure, D. D. and Putney, J. (1996) The Prisoners' Dilemma Revisited. Technical Report , Electronics & Computer Science, Univ. of Southampton.

Other

Dunlop, A. N., Papiani, M., Quinn, M. J. and Hey, A. J. G. (1996) User-Directed Database Searching and Browsing via the World Wide Web.

G, H. A. J., N, D. A. and E, H. (1996) Realistic Parallel Performance Evaluation.

Hey, A. J. G. (1996) High Performance Computing - Past, Present and Future.

This list was generated on Sun Oct 26 00:55:35 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