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 1999
(Grouped by Nothing)

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

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (1999) Functorial Semantics for Petri Nets under the Individual Token Philosophy. In: Category Theory and Computer Science, CTCS '99.. 18 pp..

Butler, M. J. (1999) Calculational Derivation of Pointer Algorithms from Tree Operations. Science of Computer Programming, 33 (3). pp. 221-260. ISSN ISSN 0167-6423

Butler, M. J. (1999) csp2B: A Practical Approach to Combining CSP and B. In: Proc. FM'99: World Congress on Formal Methods. pp. 490-508.

Butler, M. J. (1999) Distributed Electronic Mail System. In: Program Development by Refinement - Case Studies Using the B Method, Springer FACIT Series. pp. 301-322.

Butler, M. J. and Hartel, P. H. (1999) Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp. ACM Transactions on Programming Languages and Systems, 21 (3). pp. 417-430. ISSN ISSN 0164-0925

Butler, M. J. and Waldén, M. (1999) Parallel Programming with the B Method. In: Program Development by Refinement - Case Studies Using the B Method, Springer FACIT Series. pp. 183-195.

C, B. K. and G, H. A. J. (1999) Parallel Computing and Quantum Chromodynamics.

Chatters, B., Henderson, P. and Rostron, C. (1999) An experiment to improve cost estimation and project tracking for software and systems integration projects. In: 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium. pp. 177-184.

Cirstea, C. (1999) A Coequational Approach to Specifying Behaviours. In: 2nd International Workshop on Coalgebraic Methods in Computer Science. pp. 142-163.

Cruickshank, D. and Glaser, H. (1999) Direct Manipulation, Scalability and the Internet. In: Collaboration between Human and Artificial Societies: Coordination and Agent-Based Distributed Computing, LNAI 1624. pp. 102-112.

De Schreye, D., Glück, R., Jörgensen, J., Leuschel, M., Martens, B. and S{\o}rensen, M. H. (1999) Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments. J. Logic Programming, 41 (2&3). pp. 231-277. ISSN ISSN 0743-1066

Etalle, S., Hartel, P. H. and Vree, W. G. (1999) Declarative Solutions to Partitioned-grid Problems. Software---practice and experience, 29 (13). pp. 1173-1200. ISSN ISSN 0038-0644

Floros, N., Hey, A. J. G., Meacham, K. E., Papay, J. and Surridge, M. (1999) Predictive resource management for meta-applications. Future Generation Computer Systems, 15 . pp. 723-734. ISSN 0167-739X

Garratt, P. W. (1999) Experiences with the software management game. In: Proc. Int. AMSE Conf. on Computer Modelling, Simulation and Communication (CMSC-99). to appear.

Garratt, P. W. and Hodgkinson, A. C. (1999) An intelligent process model choice tool. Technical Report , Electronics and Computer Science, University of Southampton.

Garratt, P. W. and Hodgkinson, A. C. (1999) A Neurofuzzy cost estimator. In: Proc. 3rd Int. Conf. Software Engineering and Applications (SAE). pp. 401-406.

Glück, R. and Leuschel, M. (1999) Abstraction-Based Partial Deduction for Solving Inverse Problems -- A Transformational Approach to Software Verification. In: Proc. Third Int. Ershov Conf. on Perspectives of System Informatics, LNCS 1755. pp. 93-100.

Guerra e Silva, L., Silveira, M. and Marques-Silva, J. (1999) Algorithms for Solving Boolean Satisfiability in Combinational Circuits. In: Design, Automation and Test in Europe, March, 1999, Munich, Germany. pp. 526-530.

Hallerstede, S. and Butler, M. J. (1999) Refinement of Dynamic Systems. Technical Report , Electronics and Computer Science, University of Southampton.

Hartel, P., Butler, M., Currie, A., Henderson, P., Leuschel, M., Martin, A., Smith, A., Ultes-Nitsche, U. and Walters, R. J. (1999) Questions and Answers About Ten Formal Methods. In: Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems. pp. 179-203.

Hartel, P. H. (1999) LETOS -- A Lightweight ExecutionTool for Operational Semantics. Software --- Practice and Experience, 29 (15). pp. 1379-1416. ISSN 0038-0644

Hartel, P. H. (1999) Review of Cousineau G. and Mauny, M. The Functional Approach to Programming. J. Functional Programming, 9 (4). pp. 479-481. ISSN ISSN 0956-7968

Hartel, P. H. (1999) Review of Okasaki, C. Purely Functional Data Structures. Science of Computer Programming, 34 . pp. 75-77. ISSN ISSN 0167-6423

Hartel, P. H., Butler, M. J. and Levy, M. (1999) The Operational Semantics of a Java Secure Processor. In: Formal Syntax and Semantics of Java, LNCS 1523, pp. 313-52, Springer-Verlag. ISBN 3-540-66158-1

Hehner, E. C. R. and Gravell, A. M. (1999) Refinement Semantics and Loop Rules. In: Proc. FM'99: World Congress on Formal Methods. pp. 1497-1510.

Henderson, P. and Walters, R. J. (1999) Modelling Component-based Systems as an aid to Design Validation. In: 14th IEEE International Conference on Automated Software Engineering (ASE). pp. 303-6.

Henderson, P. and Walters, R. J. (1999) System Design Validation Using Formal Models. In: Proc. 10th Int. Workshop on Rapid System Prototyping (RSP). pp. 10-14.

Henderson, P. and Howard, Y. (1999) Simulating a Process Strategy for Large Scale Software Development. In: Proceedings of Workshop on Software Process Simulation Modelling, ProSim99. 10pp.

Hepworth, E. and Ultes-Nitsche, U. (1999) Security of a Java-Servlet-Based Web-Hosted E-Mail System. In: Proc. 7th IFIP Working Conf. on Information Security Management & Small Systems Security. pp. 117-130.

Hughes, G., Hall, W., Hey, T. and Carr, L. (1999) Academic Information Management: an Open Linking Approach. In: Webnet 99 World Conference on the WWW and Internet. pp. 526-531.

Hughes, G. V., Wills, G. B., Carr, L. A., Hall, W. and Hey, A. J. G. (1999) User Centred Approach to Academic Information Management on the WWW. Technical Report , ECS, University of Southampton.

I, D., AJG, H., A, C. and HPC, T. (1999) The Europort Experience - Porting Real Application to Parallel Systems.

Leuschel, M. (1999) Advanced Logic Program Specialisation. In: Partial Evaluation -- Practice and Theory Proc. of the 1998 DIKU Summerschool, LNCS 1706. pp. 271-92.

Leuschel, M. (1999) Int. Workshop on Optimization and Implementation of Declarative Programs. Electronic Notes in Theoretical Computer Science, 30 (2). 94pp.

Leuschel, M. (1999) Logic Program Specialisation. In: Partial Evaluation -- Practice and Theory Proc. of the 1998 DIKU Summerschool, LNCS 1706. pp. 155-188.

Leuschel, M. and Jörgensen, J. (1999) Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN. Electronic Notes in Theoretical Computer Science, 30 (2). 6pp.

Leuschel, M. and Jørgensen, J. (1999) Efficient Specialisation in Prolog Using a Hand-Written Compiler Generator. Technical Report , Electronics and Computer Science, Univ. of Southampton.

Leuschel, M., Linnenbr\"{u}gger, N. and Thoma, J. (1999) Analyzing Context-Free and Context-Sensitive Grammars by Abstract Interpretation. In: Proceedings of the Formal Grammar Conference FG'99. pp. 93-101.

Leuschel, M. and Massart, T. (1999) Infinite State Model Checking by Abstract Interpretation and Program Specialisation. In: Logic-Based Program Synthesis and Transformation. Proceedings of LOPSTR'99, LNCS 1817. pp. 63-82.

Marques-Silva, J. P. and Sakallah, K. A. (1999) GRASP-A Search Algorithm for Propositional Satisfiability. IEEE Transactions on Computers, 48 (5). pp. 506-521.

Marques-Silva, J. (1999) The Impact of Branching Heuristics in Propositional Satisfiability Algorithms. In: Portuguese Conference on Artificial Intelligence, September 1999, Évora, Portugal. pp. 62-74.

Marques-Silva, J. and Glass, T. (1999) Combinational Equivalence Checking Using Satisfiability and Recursive Learning. In: Design, Automation and Test in Europe, March, 1999, Munich, Germany. pp. 145-149.

Martin, A. P. (1999) Relating Z and first-order logic. In: Proc. FM'99: World Congress on Formal Methods. pp. 1266-1280.

Martin, J. and Leuschel, M. (1999) Sonic Partial Deduction. In: Proc. Third Int. Ershov Conf. on Perspectives of System Informatics, LNCS 1755. pp. 101-12.

Mendes, M. E. X., Hall, W. and Harrison, R. (1999) Applying measurement principles to improve hypermedia authoring. The New Review of Hypermedia and Multimedia, 5 . pp. 105-132.

Revill, J. D. and Hartel, P. H. (1999) Modelling a Java Ring based implementation of an N-Count payment system. In: 2nd Workshop on Security in Communication Networks. pp. 139-150.

Ultes-Nitsche, U. (1999) A Persistent-Set Approach to Abstract State-Space Construction in Verification. In: Proc. 26th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM), LNCS 1725. pp. 463-70.

This list was generated on Mon Nov 24 00:54:03 2014 GMT.
  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