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 1998
(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: B | C | D | E | F | G | H | L | M | N | O | P | S | U
Number of items: 53.

B

Back, R. J. R. and Butler, M. J. (1998) Fusion and Simultaneous Execution in the Refinement Calculus. Acta Informatica, 35 (11). pp. 921-949. ISSN ISSN 0001-5903

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (1998) A Comparison of Petri Net Semantics under the Collective Token Philosophy. In: Advances in Computing Science, 4th Asian Computing Science Conference, ASIAN '98.. pp. 225-244.

Bruynooghe, M., Leuschel, M. and Sagonas, K. (1998) A Polyvariant Binding-Time Analysis for Off-line Partial Deduction. In: Proc. European Symp. on Programming (ESOP), LNCS 1381. pp. 27-41.

Butler, M. J. (1998) Event Ordering in Action Systems. In: Proc. Int. Refinement Workshop / Formal Methods Pacific'98, Springer Series in Discrete Mathematics and Theoretical Computer Science. pp. 61-80.

Butler, M. J. (1998) Using Refinement to Analyse the Safety of an Authentication Protocol. Technical Report , Electronics and Computer Science, University of Southampton.

C

Chatters, B., Henderson, P. and Rostron, C. (1998) The Cellular Manufacturing Process Model: Planning a Complex Software And Systems Integration Project. In: Proc. European Software Measurement Conf.. pp. 559-564.

Chatters, B., Henderson, P. and Rostron, C. (1998) SIMMER: Software and Systems Integration, Modelling, Metrics and Risks (Getting to Level 4). In: Proc. European Conf. on Software Process Improvement (EuroSPI). 4.16-4.

Cirstea, C. (1998) Coalgebra Semantics for Hidden Algebra: Parameterised Objects and Inheritance. In: 12th International Workshop on Algebraic Development Techniques. pp. 174-189.

Cirstea, C. (1998) Semantic Constructions for Hidden Algebra. In: 13th International Workshop on Algebraic Development Techniques. pp. 63-78.

Cox, P. T., Maclean, S. D. and Glaser, H. (1998) A Visual Development Environment for Parallel Applications. In: Proc. IEEE Symp. on Visual Languages (VL). pp. 144-151.

D

De Roure, D., Maclean, S. D. and Glaser, H. (1998) An Extensible Interpreter for Experimentation with the Semantics of Prograph. In: Proc. IEEE Symp. on Visual Languages (VL). pp. 76-77.

Decorte, S., De Schreye, D., Leuschel, M., Martens, B. and Sagonas, K. (1998) Termination Analysis for Tabled Logic Programming. In: Proc. 7th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1463. pp. 111-127.

E

E, H. and G, H. A. J. (1998) White-Box Benchmarking.

F

Fidge, C. J., Hayes, I. J., Martin, A. P. and Wabenhorst, A. K. (1998) A Set-Theoretic Model for Real-Time Specification and Reasoning. In: Proc. 4th Int. Conf. on Mathematics of Program Construction (MPC), LNCS 1422. pp. 188-206.

Fidge, C. J., Kearney, P. and Martin, A. P. (1998) Applying the Cogito Program Development Environment to Real-Time System Design. In: Proc. 21st Australasian Computer Science Conf., (Computer Science '98). pp. 367-378.

G

Gravell, A. M. and Pratten, C. H. (1998) Embedding a Formal Notation: Experiences of Automating the Embedding of Z in the Higher Order Logics of PVS and HOL. In: Proc. Int. Conf. Theorem Proving in Higher Order Logics (TPHOLs), supplementary proceedings. pp. 73-84.

Gravell, A. M. and Pratten, C. H. (1998) A Prototype Generic Proof Tool Supporting the Embedding of Formal Notations. In: Proc. Int. Conf. Theorem Proving in Higher Order Logics (TPHOLs), supplementary proceedings. pp. 63-72.

Greenwood, R. M., Warboys, B., Harrison, R. and Henderson, P. (1998) An Empirical Study of the Evolution of a Software System. In: Proc. 13th Int. Conf. Automated Software Engineering (ASE). pp. 293-296.

H

Harrison, R., Counsell, S. J. and Nithi, R. (1998) Coupling Metrics for OO Design. In: Proc. 5th Int. Software Metrics Symp.. pp. 150-157.

Harrison, R., Counsell, S. J. and Nithi, R. V. (1998) An Evaluation of the MOOD Set of Object-oriented Software Metrics. IEEE Transactions on Software Engineering, 24 (6). pp. 491-496. ISSN ISSN 0098-5589

Harrison, R., Counsell, S. J. and Nithi, R. V. (1998) An Investigation Into the Applicability and Validity of Object-oriented Design Metrics. Empirical Software Engineering: An Int. J., 3 . pp. 255-273. ISSN ISSN 1382-3256

Hartel, P. H., Hill, J. and Sims, M. (1998) An Operational Model of QuickPay. In: Proc. 3rd Int. Conf. Smart card research and advanced application (CARDIS 1998), LNCS. pp. 19-28.

Henderson, P. (1998) From Formal Models to Validated Components in an Evolving System. Technical Report , UNSPECIFIED, Univ. of Southampton.

Henderson, P. (1998) Laws for Dynamic Systems. In: Proc. Int. Conf. on Software Re-Use (ICSR). pp. 330-336.

Henderson, P. and Howard, Y. (1998) Simulating a Process Strategy for Large Scale Software Development using System Dynamics. Software Process Improvement and Practice, 5 . pp. 121-131. ISSN 1077-4866

Hey, A. J. G. (1998) New Challenges for FORTRAN in the Next Millenium. In: ACM Fortran Forum.

Hey, A. J. G. (1998) Quantum Computing - An Introduction. In: CERN Summer School on Computing 1998, CERN.

Hey, A. J. G. and Naim, O. (1998) Visualization of D-Loop Performance using AVS. In: Parallel and Distributed Computing Practices 1.

Hey, A. J. G., Scott, C. J., Surridge, M. and Upstill, C. (1998) Integrating Computation and Information Resources - an MPP Perspective. In: 3rd Working Conference on Massively Parallel Programming Models (MPPM'97), 12-14 November 1997, London, UK. pp. 174-184.

L

Leuschel, M. (1998) Improving Homeomorphic Embedding for Online Termination. In: Proc. 8th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1559. pp. 199-218.

Leuschel, M. (1998) On the Power of Homeomorphic Embedding for Online Termination. In: Proc. Int. Static Analysis Symp. (SAS), LNCS 1503. pp. 230-245.

Leuschel, M. (1998) Program Specialisation and Abstract Interpretation Reconciled. In: Proc. Joint Int. Conf. and Symp. on Logic Programming (JICSLP). pp. 220-234.

Leuschel, M. and De Schreye, D. (1998) Constrained Parital Deduction and the Preservation of Characteristic Trees. New Generation Computing, 16 . pp. 283-342. ISSN ISSN 0288-3635

Leuschel, M. and De Schreye, D. (1998) Creating Specialised Integrity Checks Through Partial Evaluation of Meta-interpreters. J. of Logic Programming, 36 . pp. 149-193. ISSN ISSN 0743-1066

Leuschel, M., Martens, B. and De Schreye, D. (1998) Controlling Generalisation and Polyvariance in Partial Deduction of Normal Logic Programs. ACM Transactions on Programming Languages and Systems, 20 (1). pp. 208-258. ISSN ISSN 0164-0925

Leuschel, M., Martens, B. and De Schreye, D. (1998) Some Achievements and Prospects in Partial Deduction. ACM Computing Surveys, 30 (Symp.). ISSN ISSN 0360-0300

Leuschel, M., Martens, B. and Sagonas, K. (1998) Preserving Termination of Tabled Logic Programs While Unfolding. In: Proc. 7th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1463. pp. 189-205.

M

Mendes, M. E. X., Harrison, R. and Hall, W. (1998) Reusabulity and Maintainability in Hypermedia Applications for Education. Information and Software Technology, 40 (14). pp. 841-849. ISSN ISSN 0950-5849

Morger, O., Nitsche, U. and Teufel, S. (1998) Privacy and Efficiency in Patient Focused Health Care Processes. In: Proc. 9th World Congress on Medical Informatics (MedInfo'98).

N

Nicole, D. A., Wolton, I. C. and Takeda, K. (1998) Southampton High Performance Computing Centre. In: HIGH-PERFORMANCE COMPUTING. pp. 33-41.

Nielsen, M. and Sassone, V. (1998) Petri Nets and Other Models of Concurrency. In: Lectures on Petri Nets I: Basic Models. pp. 587-642.

Nieϐner, F., Nitsche, U. and Ochsenschläger, P. (1998) Deterministic $\omega$-Regular Liveness Properties. In: Proc. 3rd Int. Conf. Developments in Language Theory (DLT). pp. 237-247.

Nitsche, U. (1998) Application of Formal Verification and Behaviour Abstraction to the Service Interaction Problem in Intelligent Networks. J. of Systems and Software, 40 (3). pp. 227-248. ISSN ISSN 0164-1212

Nitsche, U. (1998) Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One. In: Proc. Int. Workshop on Concurrency -- Algorithms and Tools (satellite to the 23rd Int. Symp. on Mathematical Foundations of Computer Science). pp. 160-170.

Nitsche, U. (1998) On the Border of Universality/Non-Universality in Restricted High-Level Petri Nets. In: Proc. Colloquium on Universal Machines and Computations (MCU'98). pp. 169-181.

Nitsche, U. (1998) Verification of Co-Operating Systems and Behaviour Abstraction. GMD Research Series 7, Sankt Augustin, Germany. ISBN 3-88457-331-4

Nitsche, U., Holbein, R., Morger, O. and Teufel, S. (1998) Realization of a Context-Dependent Access Control Mechanism on a Commercial Platform. In: Proc. 14th Int. Information Security Conf. IFIP/Sec'98, part of the 15th IFIP World Computer Congress. pp. 160-170.

O

Ochsenschläger, P., Repp, J., Rieke, R. and Nitsche, U. (1998) The SH-Verification Tool -- Abstraction-based Verification of Co-operating Systems. Formal Aspects of Computing, 10 . pp. 381-404. ISSN ISSN 0934-5043

P

Phalp, K., Henderson, P., Abeysinghe, G. and Walters, R. J. (1998) RolEnact - Role Based Enactable Models of Business Processes. Information And Software Technology, 40 (3). pp. 123-133. ISSN ISSN 0950-5849

S

Sagonas, K. and Leuschel, M. (1998) Extending Partial Deduction to Tabled Execution: Some Results and Open Issues. ACM Computing Surveys, 30 (Symp. ). ISSN ISSN 0360-0300

Salhi, A., Glaser, H. and Roure, D. D. (1998) Parallel Implementation of a Genetic-programming Based Tool for Symbolic Regression. Information Processing Letters, 66 . pp. 299-307. ISSN ISSN 0020-0190

Sassone, V. (1998) An Axiomatization of the Category of Petri Net Computations. Mathematical Structures in Computer Science, 8 . pp. 117-151.

U

Ultes-Nitsche, U. (1998) Towards the Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One. Electronic Notes in Theoretical Computer Science, 18 . pp. 1-17. ISSN ISSN 0304-3975

This list was generated on Sat Aug 2 00:54:19 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