1. 1990
  2. Published

    CASE On Trial

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

    Research output: Book/ReportBook

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

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

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

  6. Published

    Sequential decision problems and neural networks

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

    Research output: Contribution to conferenceOther

  7. 1989
  8. 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

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

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

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

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

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

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

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

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

  17. Published

    Prediction of stochastic sequences

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

    Research output: Contribution to journalArticle

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

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

  20. 1988
  21. 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

  22. Published

    A Higher-order Calculus and Theory Abstraction

    Luo, Z., 1988, LFCS Report Series.

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

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

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

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

  26. Published

    CC# and Its Meta Theory

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

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

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

  28. Published

    Existentially Closed Groups

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

    Research output: Book/ReportBook

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

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

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

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

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

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

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

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

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

  38. Unpublished

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

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

    Research output: ThesisDoctoral Thesis

  39. 1987
  40. 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

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

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

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

  44. Published

    On a randomness criterion

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

    Research output: Contribution to journalArticle

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

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

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

  48. Published

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

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

    Research output: Book/ReportBook

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

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

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

  52. 1986
  53. 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

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

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

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

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

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

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

  60. Published

    RUBRIC- A Rule-Based Representation of Information System Constructs

    Layzell, P. J., 1986, Fringe'86, Expert Systems Conference, December 1986.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  61. Published

    The cluster of the point mutations predetermined by the quasipalindromic sequences of the nucleotide in the DNA

    Salganik, R. I., Dianov, G. L., Medvedev, O. A. & Solovyev, V., 1986, In : Proceedings of the USSR Academy of Science (Russ). 291, p. 1499-1502

    Research output: Contribution to journalArticle

  62. Published

    Varying Representation Schemata vs Fact Updating in KB Management

    Carapuça, R. & Fiadeiro, J. L., 1986, DS-2. p. 71-87 17 p.

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

  63. Published

    Об одном варианте понятия случайности по Мизесу-Черчу

    Vovk, V., 1986, p. 95-97 3 p.

    Research output: Contribution to conferenceAbstract

  64. Published

    Об одном критерии случайности для полных последовательностей

    Vovk, V., 1986, Седьмая тематическая конференция механико-математического факультета: Алгебра, логика и теория чисел. Moscow: Moscow State University, p. 34-37 4 p.

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

  65. 1985
  66. Published

    A Language Enhancement Facility for COBOL

    Triance, J. M. & Layzell, P. J., 1985, In : The Computer Journal.

    Research output: Contribution to journalArticle

  67. Published

    Macro Processors for Enhancing High Level Languages

    Triance, J. M. & Layzell, P. J., 1985, Computer Journal. p. 34-49 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  68. Published

    Molecular mechanism of the somatic hypermutagenesis in immunoglobulin genes

    Kolchanov, N. A., Solovyev, V. & Rogozin, I. B., 1985, In : Proceedings of the USSR Academy of Science (Russ). 281, p. 994-999

    Research output: Contribution to journalArticle

  69. Published

    The History of Macro Processors in Programming Language Extensibility

    Layzell, P. J., 1985, Computer Journal. p. 29-33 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  70. Published

    Алгоритмическая теория случайности и проблема предсказания

    Vovk, V., 1985, Сложностные проблемы математической логики. Kanovich, M. I. (ed.). Kalinin, p. 21-24 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  71. Published

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

    Vovk, V., 1985, Вопросы кибернетики. Mel'nikov, V. A. & Dadaev, Y. G. (eds.). Moscow, Vol. 117, p. 31-44 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  72. 1984
  73. Published

    A construction which can be used to produce finitely presented infinite simple groups

    Scott, E., 1984, In : Journal of Algebra. 90, p. 294-322

    Research output: Contribution to journalArticle

  74. Published

    A finitely presented simple group with unsolvable conjugacy problem

    Scott, E., 1984, In : Journal of Algebra. 90, p. 333-353

    Research output: Contribution to journalArticle

  75. Published
  76. Published

    Conformational changings in the Globins Family during Evolution 1. Analysis of the Evolutionary Role of Insertions and Deletions

    Zharkikh, A. A., Solovyev, V. & Kolchanov, N. A., 1984, In : J.Mol.Evol.. 21, p. 42-53

    Research output: Contribution to journalArticle

  77. Published

    The embedding of certain linear and abelian groups in finitely presented simple groups

    Scott, E., 1984, In : Journal of Algebra. 90, p. 323-332

    Research output: Contribution to journalArticle

  78. Published

    The template RNAs of RNA polymerases can have compact secondary structure formed by long double helices with partial violation of the complementarities

    Solovyev, V., Zharkikh, A. A. & Kolchanov, N. A., 1984, In : FEBS Letters. 165, p. 72-78

    Research output: Contribution to journalArticle

  79. 1983
  80. Published

    Syntax-driven COBOL compilers: an assessment

    Layzell, P. J. & Triance, J. M., 1983, In : Software- Practice and Experience. December, p. 1136-1141 6 p.

    Research output: Contribution to journalArticle

  81. Published

    The effect of mutation deletion and insertion of single amino acids on the three-dimensional structure of globins

    Kolchanov, N. A., Solovyev, V. & Zharkikh, A. A., 1983, In : FEBS Letters. 161, p. 65-70

    Research output: Contribution to journalArticle

  82. 1981
  83. Published

    Choose your own COBOL

    Triance, J. M. & Layzell, P. J., 1981, In : BCS. 81, p. 16-33 18 p.

    Research output: Contribution to journalArticle

Previous 1...16 17 18 19 20 Next