All Outputs (43)

Delay time analysis in maintenance (1997)
Thesis
Redmond, D. Delay time analysis in maintenance. (Thesis). University of Salford, UK

The thesis develops the application of delay time analysis to the area of mathematical modelling of planned maintenance and inspection of industrial systems. Chapter 1 gives an introduction to the history and techniques in use of maintenance model... Read More about Delay time analysis in maintenance.

Data mining via ILP: The application of progol to a (1997)
Book Chapter
Bryant, C. (1997). Data mining via ILP: The application of progol to a. In N. Lavrac, & S. Dzeroski (Eds.), Inductive logic programming (85-92). Berlin / Heidelberg, Germany: Springer. https://doi.org/10.1007/3540635149_37

As far as this author is aware, this is the first paper to describe the application of Progol to enantioseparations. A scheme is proposed for data mining a relational database of published enantioseparations using Progol. The application of the schem... Read More about Data mining via ILP: The application of progol to a.

Tools for producing formal specifications : a view of current architectures and future directions (1997)
Journal Article
Vadera, S., & Meziane, F. (1997). Tools for producing formal specifications : a view of current architectures and future directions. Annals of Software Engineering, 3(1), 273-290. https://doi.org/10.1023/A%3A1018950324254

During the last decade, one important contribution towards requirements engineering has been the advent of formal specification languages. They offer a well-defined notation that can improve consistency and avoid ambiguity in specifications. However... Read More about Tools for producing formal specifications : a view of current architectures and future directions.