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

Article

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

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

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

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

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

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

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

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

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.

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

Conference or Workshop Item

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.

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.

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.

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.

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.

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

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) Laws for Dynamic Systems. In: Proc. Int. Conf. on Software Re-Use (ICSR). pp. 330-336.

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

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.

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., 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.

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).

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) 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., 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.

Book

Hey, A. J. G., ed. (1998) Feynman and Computation - Exploring the Limits of Computers. Perseus Books.

Palamidessi, C., Glaser, H. and Meinke, K., eds. (1998) Int. Conf. Principles of Declarative Programming (PLILP), LNCS 1490. Springer-Verlag, Berlin. ISBN ISBN 3-540-65012-1

Montanari, U. and Sassone, V., eds. (1998) Theoretical Computer Science vol. 195(2). Special Issue on Concurrency Theory. Elsevier.

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

Book Section

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

Technical Report

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

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

Other

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

This list was generated on Wed Oct 22 00:54:31 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