1. 1993
  2. Published

    Program specification and data refinement in type theory

    Luo, Z., 1993, In : Mathematical Structures in Computer Science. 3, 3

    Research output: Contribution to journalArticle

  3. Published

    Semantics of Interworking Knowledge Based Systems

    Reichwein, G. & Fiadeiro, J. L., 1993, EPIA. Springer, Vol. 727. p. 93-104 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Published

    Software Assistance for Business Process Re-Engineering

    Spurr, K. (ed.), Layzell, P. J. (ed.), Jennison, L. (ed.) & Richards, N. (ed.), 1993, John Wiley & Sons.

    Research output: Book/ReportBook

  5. Published

    Using LP to study the language PL0+

    Scott, E. & Norrie, K., 1993, In : Workshops in Computing. p. 227-245

    Research output: Contribution to journalArticle

  6. 1992
  7. Published

    DIROM: an experimental design interactive system for directed mutagenesis and nucleic acids engineering

    Makarova, K. S., Mazin, A. V., Wolf, Y. I. & Solovyev, V., 1 Oct 1992, In : Bioinformatics. 8, 5, p. 425-431 7 p.

    Research output: Contribution to journalArticle

  8. Published

    LATEX Concisely

    Johnstone, A., 1 Sep 1992, Ellis Horwood. 150 p.

    Research output: Book/ReportBook

  9. Published

    Temporal theories as modularisation units for concurrent system specification

    Fiadeiro, J. & Maibaum, T., 1 May 1992, In : Formal Aspects of Computing. 4, 3, p. 239-272 34 p.

    Research output: Contribution to journalArticle

  10. Published

    3D-structure calculations of a-helical domains of protein molecules using the quasispherical primary approximations

    Solovyev, V., Salikhova, A. K., Lim, H. A. & Witten, M., 1992, Biomedical Modeling and Simulation. Eisenfeld, J. & Levin, D. (eds.). Elsevier Science Publishers B.V. (North-Holland), p. 201-211

    Research output: Chapter in Book/Report/Conference proceedingChapter

  11. Published

    A Set-theoretic Setting for Structuring Theories in Proof Development

    Luo, Z. & Burstall, R., 1992, LFCS Report Series. LFCS, Edinburgh Univ

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  12. Published

    A Unifying Theory of Dependent Types: the schematic approach

    Luo, Z., 1992, Proc. of Symp. on Logical Foundations of Computer Science (Logic at Tver'92), LNCS 620.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Published

    An Evolutionary Structural Software Model for Software Maintenance

    Poo, C. C. & Layzell, P. J., 1992, In : Journal of Systems and Software. 18, 2, p. 113-123 11 p.

    Research output: Contribution to journalArticle

  14. Published

    CASE- Current Practice, Future Prospects

    Spurr, K. (ed.) & Layzell, P. J. (ed.), 1992, John Wiley & Sons.

    Research output: Book/ReportBook

  15. Published

    Computer-Aided Support for the Software Maintenance Process

    Deraman, A. B. & Layzell, P. J., 1992, Sixiemes Journees Internationales des Sciences Informatiques, Les Systemes d'Information de L'Idee a la Concretisation, Tunis, May 1992. p. 383-393 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  16. Published

    Exploitation System Documentation for Design Recovery

    Black, W. J., Gianetti, A., Layzell, P. J. & Stanitsas, G., 1992, Proc. Conference on Software Engineering and its Applications, Toulouse, December 1992.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  17. Published

    LEGO Proof Development System: User's Manual

    Luo, Z. & Pollack, R., 1992, LFCS Report Series. LFCS, Edinburgh Univ

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  18. Published

    Parameter Learning in Bayesian Belief Networks

    Luo, Z. & Gammerman, A., 1992, Proceeding of IPMU'92. p. 25-28

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. Published

    Probabilistic Reasoning in Mixed Models Using Bayesian Belief Networks and Its Application

    Luo, Z., 1992, Proceedings of 10th European Conference on Artificial Intelligence (ECAI 92),. p. 3-7

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. Published

    Q-learning

    Watkins, C. J. C. H. & Dayan, P., 1992, In : Machine Learning. 8, 3, p. 279-292 14 p.

    Research output: Contribution to journalArticle

  21. Published

    Rationality of division orderings

    Cohen, D. & Scott, E., 1992, In : Information Processing Letters. p. 307-311

    Research output: Contribution to journalArticle

  22. Published

    Stochastic simulation in mixed graphical association models

    Brewer, M., Aitken, C., Luo, Z. & Gammerman, A., 1992, Computational Statistics. Dodge, K. & Whittaker, F. (eds.). Vol. 1. p. 257-262

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. Published

    Universal forecasting algorithms

    Vovk, V., 1992, In : Information and Computation. 96, p. 245-277 33 p.

    Research output: Contribution to journalArticle

  24. 1991
  25. Published

    Towards object-oriented conceptual modeling

    Sernadas, C. & Fiadeiro, J., 1 Oct 1991, In : Data and Knowledge Engineering. 6, 6, p. 479-508 30 p.

    Research output: Contribution to journalArticle

  26. Published

    ENRICHED AND DEPLETED SOURCE COMPONENTS FOR THOLEIITIC AND ALKALINE LAVAS FROM ZUNI-BANDERA, NEW-MEXICO - INFERENCES ABOUT INTRAPLATE PROCESSES AND STRATIFIED LITHOSPHERE

    MENZIES, M. A., KYLE, P. R., JONES, M. & INGRAM, G., 30 Jul 1991, In : Journal of Geophysical Research. 96, B8, p. 13645-13671 27 p.

    Research output: Contribution to journalArticle

  27. Published

    New elements of glucocorticoid-receptor binding sites of hormone-regulated genes

    Seledtsov, I. A., Solovyev, V. V. & Merkulova, T. I., 23 Jul 1991, In : BBA - Gene Structure and Expression . 1089, 3, p. 367-376 10 p.

    Research output: Contribution to journalArticle

  28. Published

    Temporal Reasoning over Deontic Specifications

    Fiadeiro, J. & Maibaum, T., 1 May 1991, In : Journal of Logic and Computation. 1, 3, p. 357-395 39 p.

    Research output: Contribution to journalArticle

  29. Published

    A Higher-order Calculus and Theory Abstraction

    Luo, Z., 1991, In : Information and Computation. 90, 1, p. 107-137 31 p.

    Research output: Contribution to journalArticle

  30. Published

    Asymptotic efficiency of estimators: an algorithmic approach

    Vovk, V., 1991, In : Theory of Probability and Its Applications. 36, p. 329-343 15 p.

    Research output: Contribution to journalArticle

  31. Published

    Describing, structuring and implementing objects

    FIADEIRO, J. & MAIBAUM, T., 1991, In : Lecture Notes in Computer Science. 489, p. 274-310 37 p.

    Research output: Contribution to journalArticle

  32. Published
  33. Published

    PRESS - a probabilistic reasoning expert system shell

    Luo, Z. & Gammerman, A., 1991, European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Lecture Notes in Computer Science. Kruse, R. & Siegel, P. (eds.). Springer-Verlag, Vol. 548. p. 232-237

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  34. Published

    Program specification and data refinement in type theory

    Luo, Z., 1991, Proc. of the Fourth Inter. Joint Conf. on the Theory and Practice of Software Development (TAPSOFT), LNCS 493.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  35. Published

    Sharing attributes and actions in modal action logic

    RYAN, M., FIADEIRO, J. & MAIBAUM, T., 1991, In : Lecture Notes in Computer Science. 526, p. 569-593 25 p.

    Research output: Contribution to journalArticle

  36. Published

    Softmaster: A Software Maintenance Assistant

    Deraman, A. B. & Layzell, P. J., 1991, National Conference on Information Technology '91, Penang, Malayasia, June 1991. p. 435-445 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  37. Published

    Somatic hyper mutagenesis in immunoglobulin genes. Correlation between somatic mutations and repeats. Somatic mutation properties and clonal selection

    Rogozin, I. B., Solovyev, V. & Kolchanov, N. A., 1991, In : Biochim. Biophys. Acta. 1089, p. 175-182

    Research output: Contribution to journalArticle

  38. Published

    Stoss — A stochastic simulation system for Bayesian belief networks

    Luo, Z. & Gammerman, A., 1991, Uncertainty in Knowledge Bases: Lecture Notes in Computer Science. Bouchon-Meunier, B., Yager, R. R. & Zadeh, L. A. (eds.). Springer, Vol. 521. p. 97-105

    Research output: Chapter in Book/Report/Conference proceedingChapter

  39. Published

    The Esprit DOCKET Project

    Layzell, P. J., 1991, Proc. of 1st Workshop on Reverse Engineering, CEC/ CRIAI, December 1991. p. 9-38 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  40. 1990
  41. Published

    Logics of Modal Terms for Systems Specification

    Fiadeiro, J. & Sernadas, A., 1 Dec 1990, In : Journal of Logic and Computation. 1, 2, p. 187-227 41 p.

    Research output: Contribution to journalArticle

  42. Published

    A Methodological Framework for the Basis of Explicit Modelling to Enhance Software Maintenance

    Poo, C. C. & Layzell, P. J., 1990, In : Information and Software Technology. 32, 3, p. 175-186 12 p.

    Research output: Contribution to journalArticle

  43. Published

    A probabilistic reasoning system based on a causal graph approach

    Luo, Z. & Gammerman, A., 1990, Proceeding of IEE Colloquium on Knowledge Engineering.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  44. Published

    A Problem of Adequacy: conservativity of calculus of constructions over higher-order logic

    Luo, Z., 1990, LFCS Report Series. LFCS, Edinburgh Univ

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  45. Published

    A stochastic simulation system and its application to causal models

    Luo, Z. & Gammerman, A., 1990, Proceeding of 3rd International Conference on IPMU in Knowledge-Based Systems. p. 186-189

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  46. Published

    Accessing External Applications from Knowledge-Based Systems

    Cosmadopoulos, Y., Southwick, R. & Stathis, K., 1990, Proceedings of Expert Systems 90, Research and Development in Expert Systems VII. Addis, T. R. & Muir, R. M. (eds.). p. 54-65 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  47. Published

    Aggregating strategies

    Vovk, V., 1990, Proceedings of the Third Annual Workshop on Computational Learning Theory. Fulk, M. & Case, J. (eds.). San Mateo, CA: Morgan Kaufmann, p. 371-383 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  48. Unpublished

    An Extended Calculus of Constructions

    Luo, Z., 1990, (Unpublished) Univ of Edinburgh.

    Research output: ThesisDoctoral Thesis

  49. Published

    An Investigation into Software Maintenance

    Layzell, P. J. & Macaulay, L., 1990, IEEE Conference on Software Maintenance, San Diego, USA. p. 130-140 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  50. Published

    Analysis of functional sites in pro- and eukaryotic genes

    Solovyev, V., 1990, Methods of molecular genetics and gene engineering. Salganik, R. I. (ed.). Novosibirsk, p. 154-190

    Research output: Chapter in Book/Report/Conference proceedingChapter

  51. Published

    CASE On Trial

    Spurr, K. (ed.) & Layzell, P. J. (ed.), 1990, John Wiley & Sons.

    Research output: Book/ReportBook

  52. Published

    Enhancing the Software Maintenance Factor in JSD Using Rules

    Poo, C. C. & Layzell, P. J., 1990, Comp Euro 90, IEEE Computer Society, Tel-Aviv, Israel, 7-9 May 1990.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  53. Published

    Genomic organization, evolution, and structural peculiarities of highly repetitive DNA of Hordeum vulgare

    Vershinin, A. V., Salina, E. A., Solovyev, V. & Timofeyeva, L. L., 1990, In : Genome. 33, p. 441-449

    Research output: Contribution to journalArticle

  54. Published

    Modular construction of logic knowledge bases: an algebraic approach

    Sernadas, C., Fiadeiro, J. L. & Sernadas, A., 1990, In : Information Systems Research. 15, 1, p. 37-59 23 p.

    Research output: Contribution to journalArticle

  55. Published

    Sequential decision problems and neural networks

    Barto, AG., Sutton, RS. & Watkins, C., 1990, p. 693.

    Research output: Contribution to conferenceOther

  56. 1989
  57. Published

    ECC, an Extended Calculus of Constructions

    Luo, Z., 1 Jun 1989, Logics in Computer Science (LICS 1989).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  58. Published

    FULL CUSTOM VLSI DESIGN FOR COMPUTER SCIENTISTS

    Johnstone, A., Jan 1989, In : INTERNATIONAL JOURNAL OF ELECTRICAL ENGINEERING EDUCATION. 26, 1-2, p. 103-112 10 p.

    Research output: Contribution to journalArticle

  59. Published

    A Fact Gathering and Analysis Tool

    Rego, H. B., Layzell, P. J. & Reis, J., 1989, Lima, Proc. CASE'89, Supplementary Volume. p. 335-338 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  60. Published

    A methodological approach to visual reasoning

    Liu, X., Zhang, G. & Luo, Z., 1989, Proceeding of International workshop on industrial applications of machine intelligence and vision. Japan, p. 50-55

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  61. Published

    A tour around finitely presented infinite simple groups

    Scott, E., 1989, Algorithms And Classification in Combinatorial Group Theory. Springer-Verlag, p. 83-119

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  62. Published

    Abstract object types – a temporal perspective

    SERNADAS, A., FIADEIRO, J., SERNADAS, C. & EHRICH, H. D., 1989, TEMPORAL LOGIC IN SPECIFICATION. BANIEQBAL, B., BARRINGER, H. & PNUELI, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 324-350 27 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  63. Published

    How to Use LEGO: a preliminary user's manual

    Luo, Z., Pollack, R. & Taylor, P., 1989, LFCS Technical Notes. LFCS, Edinburgh Univ

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  64. Published

    Improving Information System Development and Evolution Using a Rule-Based Paradigm

    Loucopoulos, P. & Layzell, P. J., 1989, In : Software Engineering Journal, BCS/IEE. 4, 5, p. 259-267 9 p.

    Research output: Contribution to journalArticle

  65. Published

    Methodology for optimising cost/speed tradeoffs in real-time inspection hardware

    Davies, E. R. & Johnstone, A. I. C., 1989, In : IEE Proc E. 136, p. 62-79 18 p.

    Research output: Contribution to journalArticle

  66. Published

    Prediction of stochastic sequences

    Vovk, V., 1989, In : Problems of Information Transmission. 25, p. 285-296 12 p.

    Research output: Contribution to journalArticle

  67. Published

    Proof-theoretic conceptual modeling – the NIAM case-study

    SERNADAS, C., FIADEIRO, J., MEERSMAN, R. & SERNADAS, A., 1989, INFORMATION SYSTEM CONCEPTS : AN IN-DEPTH ANALYSIS. FALKENBERG, ED. (ed.). AMSTERDAM: ELSEVIER SCIENCE PUBL B V, p. 1-30 30 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  68. Published

    The basic building blocks of information systems

    SERNADAS, A., FIADEIRO, J., SERNADAS, C. & EHRICH, H. D., 1989, INFORMATION SYSTEM CONCEPTS : AN IN-DEPTH ANALYSIS. FALKENBERG, ED. (ed.). AMSTERDAM: ELSEVIER SCIENCE PUBL B V, p. 225-246 22 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  69. 1988
  70. Published

    Specification and verification of database dynamics

    Fiadeiro, J. & Sernadas, A., 1 Aug 1988, In : Acta Informatica. 25, 6, p. 625-661 37 p.

    Research output: Contribution to journalArticle

  71. Published

    A Higher-order Calculus and Theory Abstraction

    Luo, Z., 1988, LFCS Report Series.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  72. Published

    A Knowledge-Based Requirements Engineering Support Environment

    Loucopoulos, P., Layzell, P. J., Champion, R. E. M. & Gibson, M. D., 1988, Proc. Conf. on Knowledge Based Software Assistance (KBSA), Utica, USA, 2-4 August, 1988.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  73. Published

    A Rule-Based Approach to Information Systems Requirements

    Assche, F. V., Layzell, P. J., Loucopoulos, P. & Speltincx, G., 1988, Proc. International Workshop on KBS in Software Engineering, UMIST, March 1988.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  74. Published

    A Rule-Based Approach to the Construction and Evolution of Business Information Systems

    Layzell, P. J. & Loucopoulos, P., 1988, Proc. 4th IEEE International Conference on Software Maintenance, Phoenix, Arizona, USA, October 1988. p. 258-264 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  75. Published

    CC# and Its Meta Theory

    Luo, Z., 1988, LFCS Report Series. LFCS, Edinburgh Univ

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  76. Published

    CLEF- A COBOL Language Enhancement Facility

    Layzell, P. J. & Triance, J. M., 1988, In : Information and Software Technology. 30, 2, p. 108-119 12 p.

    Research output: Contribution to journalArticle

  77. Published

    Existentially Closed Groups

    Higman, G. & Scott, E., 1988, Oxford: Oxford University Press. 170 p.

    Research output: Book/ReportBook

  78. Published

    Information Systems Development: A Rule Based Approach

    Assche, F. V., Layzell, P. J., Loucopoulos, P. & Speltincx, G., 1988, Esprit Conference, Brussels, 14-18 November, 1988.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  79. Published

    Knowledgebases as structured theories

    FIADEIRO, J., SERNADAS, A. & SERNADAS, C., 1988, In : Lecture Notes in Computer Science. 338, p. 469-486 18 p.

    Research output: Contribution to journalArticle

  80. Published

    Kolmogorov-Stout law of the iterated logarithm

    Vovk, V., 1988, In : Mathematical Notes. 44, p. 502-507 6 p.

    Research output: Contribution to journalArticle

  81. Published

    Object-Oriented Conceptual Modeling from Law

    Sernadas, C., Fiadeiro, J. L. & Sernadas, A., 1988, DS-3. p. 305-327 23 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  82. Published

    Requirements for the Underlying Model of a CASE Environment

    Layzell, P. J., 1988, Proc. CASE'88. p. 30.19-30.22

    Research output: Chapter in Book/Report/Conference proceedingChapter

  83. Published

    RUBRIC- A Rule-Based Approach to the Development of Information Systems

    Assche, F. V., Layzell, P. J. & Anderson, M., 1988, 1st European Conference on Information Technology for Organisational Systems, Athens, May 1988.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  84. Published

    Rules To Govern Change in JSP-Based Systems

    Davies, C. G. & Layzell, P. J., 1988, Proc. 4th IEEE International Conference on Software Maintenance, Phoenix, Arizona, USA, October 1988. p. 34-39 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  85. Published

    Structuring theories on consequence

    FIADEIRO, J. & SERNADAS, A., 1988, In : Lecture Notes in Computer Science. 332, p. 44-72 29 p.

    Research output: Contribution to journalArticle

  86. Published

    Об одном методе тестирования правильности программ на языке ассемблера

    Vovk, V., Semenov, A. L. & Soprunov, S. F., 1988, Вопросы кибернетики. Karmanov, V. G. (ed.). Moscow, Vol. 136. p. 56-78 23 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  87. Unpublished

    Предсказуемость алгоритмически случайных последовательностей

    Vovk, V., 1988, (Unpublished) Moscow: Moscow State University.

    Research output: ThesisDoctoral Thesis

  88. 1987
  89. Published

    AMADEUS- A Multi-Method Approach for Developing Universal Specifications

    Loucopoulos, P., Black, W. J., Layzell, P. J. & Alabdul Razak, A. G. S., 1987, Esprit Technical Week, 1987.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  90. Published

    Automating JSP Program Design and Development

    Sutcliffe, A. G., Layzell, P. J. & Davies, C. G., 1987, International Conference on Computer-Based Tools for Automating Systems Development, Leicester, April 1987.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  91. Published

    Behavioural Aspects of Intelligent Knowledge-Based Information Systems

    Fiadeiro, J. L. & Sernadas, A., 1987, Temporal Aspects in Information Systems. p. 77-92 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  92. Published

    Combining Cross-Validation and Search

    Watkins, C., 1987, Progress in Machine Learning. Sigma Press, p. 79--87 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  93. Published

    On a randomness criterion

    Vovk, V., 1987, In : Soviet Mathematics Doklady. 35, p. 656-660 5 p.

    Research output: Contribution to journalArticle

  94. Published

    RUBRIC- A New Approach to Information Systems Development

    Layzell, P. J., Venken, R. & Loucopoulos, P., 1987, International Conference on Computer-Based Tools for Automating Systems Development, Leicester, April 1987.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  95. Published

    RUBRIC: A Rule-Based Approach to the Development of Reliable Information Systems

    Loucopoulos, P. & Layzell, P. J., 1987, System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches, Vol.2. Tzafestas, S. (ed.). Reidel Publishing, p. 253-263 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  96. Published

    Rule-Based Specifications for Information Systems

    Assche, F. V., Layzell, P. J. & Anderson, M., 1987, Software Engineering Environments. Brereton, P. (ed.). Ellis Horwood, p. 189-203 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  97. Published

    The Foundations of Programming Methodology (程序方法学基础)

    Chen, H., Luo, Z. & Ma, Q., 1987, Hunan Press of Sciences.

    Research output: Book/ReportBook

  98. Published

    The law of the iterated logarithm for random Kolmogorov, or chaotic, sequences

    Vovk, V., 1987, In : Theory of Probability and Its Applications. 32, p. 413-425 13 p.

    Research output: Contribution to journalArticle

  99. Published

    Towards a Unified View of System Development Methods

    Loucopoulos, P., Black, W. J., Sutcliffe, A. G. & Layzell, P. J., 1987, In : International Journal of Information Management. p. 205-218 14 p.

    Research output: Contribution to journalArticle

  100. Published

    Translation Between Pragmatic Software Development Methods

    Black, W. J., Sutcliffe, A. G., Loucopoulos, P. & Layzell, P. J., 1987, 1st European Software Engineering Conference, September 1987.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  101. 1986
  102. Published

    The INFOLOG linear tense propositional logic of events and transactions

    Fiadeiro, J. & Sernadas, A., 1 Jan 1986, In : Information Systems Management. 11, 1, p. 61-85 25 p.

    Research output: Contribution to journalArticle

  103. Published

    Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure

    Sernadas, A., Sernadas, C. & Fiadeiro, J. L., 1986, ADT.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  104. Published

    Assisting the Analyst- The Analyst Assist Project

    Flynn, D. J., Layzell, P. J. & Loucopoulos, P., 1986, BCS Software Engineering 86, 1986.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  105. Published

    Engineering tradeoffs in the design of a real-time system for visual inspection of small products

    Davies, E. R. & Johnstone, A., 1986, p. 15-22.

    Research output: Contribution to conferencePaper

  106. Published

    MAJIC- Advanced Program Development Using Jackson Structured Programming

    Sutcliffe, A. G., Layzell, P. J. & Loucopoulos, P., 1986, BCS Software Engineering 86, 1986.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  107. Published

    On the concept of the Bernoulli property

    Vovk, V., 1986, In : Russian Mathematical Surveys. 41, p. 247-248 2 p.

    Research output: Contribution to journalArticle

  108. Published

    On use of algorithmic notions of randomness and simplicity in mathematical statistics

    Vovk, V., 1986, p. 456. 1 p.

    Research output: Contribution to conferenceAbstract