Skip to main content

Research Repository

Advanced Search

All Outputs (61)

A comparison of computer science and software engineering programmes in English universities (2004)
Presentation / Conference
Meziane, F., & Vadera, S. (2004, March). A comparison of computer science and software engineering programmes in English universities. Presented at 17th Conference on Software Engineering Education and Training 2004, Norfolk, Virginia, USA

Recent years have seen much debate about the appropriate content of software engineering (SE) programs and how they relate to computer science (CS) programs, culminating in the distinguishing knowledge areas identified in the ACM/IEEE CS and SE curri... Read More about A comparison of computer science and software engineering programmes in English universities.

A web based management of references (2004)
Presentation / Conference
O'Shea, S., Saraee, M., & Vadera, S. (2004, January). A web based management of references. Presented at The 2004 International Research Conference on Innovations in Information Technology (IIT2004), Dubai, UAE, Dubai, UAE

During the evolution of research from the beginning of a project to the end a large amount of information is accumulated from books, journals, articles, manuals and the internet. Managing all this information is a complex and crucial part, especially... Read More about A web based management of references.

Experience with mural in formalising Dust-Expert (2001)
Journal Article
Vadera, S., Meziane, F., & Huang, M. (2001). Experience with mural in formalising Dust-Expert. Information and Software Technology, 43(4), 231-240. https://doi.org/10.1016/S0950-5849%2800%2900161-0

The mural system was an outcome of a significant effort to develop a support tool for the effective use of a full formal methods development cycle. Experience with it, however, has been limited to a small number of illustrative examples that have bee... Read More about Experience with mural in formalising Dust-Expert.

Decision support methods in diabetic patient management by insulin administration neural network vs. induction methods for knowledge classification (2000)
Presentation / Conference
Ambrosiadou, B., Vadera, S., Shankararaman, V., & Goulis, D. (2000, May). Decision support methods in diabetic patient management by insulin administration neural network vs. induction methods for knowledge classification. Presented at Proc of the ICSC Symposium on Neural Computation, Berlin, Germany

Diabetes mellitus is now recognised as a major worldwide public health problem. At present, about 100 million people are registered as diabetic patients. Many clinical, social and economic problems occur as a consequence of insulin-dependent diab... Read More about Decision support methods in diabetic patient management by insulin administration neural network vs. induction methods for knowledge classification.

Intelligent systems in manufacturing: current developments and future prospects (2000)
Journal Article
Meziane, F., Vadera, S., Kobbacy, K., & Proudlove, N. (2000). Intelligent systems in manufacturing: current developments and future prospects. https://doi.org/10.1108/09576060010326221

Global competition and rapidly changing customer requirements are demanding increasing changes in manufacturing environments. Enterprises are required to constantly redesign their products and continuously reconfigure their manufacturing systems. Tra... Read More about Intelligent systems in manufacturing: current developments and future prospects.

Any time probabilistic reasoning for sensor validation (1998)
Presentation / Conference
Ibarguengoytia, P., Sucar, E., & Vadera, S. (1998, March). Any time probabilistic reasoning for sensor validation. Presented at Fourteenth Conference on Uncertainty in Artificial Intelligence, University of Wisconsin Business School, Madison, Wisconsin, USA

For many real time applications, it is important to validate the information received form the sensors before entering higher levels of reasoning. This paper presents an any time probabilistic algorithm for validating the information provided by sens... Read More about Any time probabilistic reasoning for sensor validation.

A probabilistic examplar based model (1998)
Thesis
Rodriguez Martinez, A. A probabilistic examplar based model. (Thesis). University of Salford

A central problem in case based reasoning (CBR) is how to store and retrieve cases. One approach to this problem is to use exemplar based models, where only the prototypical cases are stored. However, the development of an exemplar based model (EB... Read More about A probabilistic examplar based model.

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.

A layered any time approach to sensor validation (1997)
Book Chapter
Ibarguengoyatia, P., Vadera, S., & Sucar, E. (1997). A layered any time approach to sensor validation. In Lecture Notes in AI. Springer

Sensors are the most usual source of information in many automatic systems such as automatic control These computerised systems utilise different models of the process being served which usually assume the value of the variables as a correct read... Read More about A layered any time approach to sensor validation.

Towards automatic modelling of requirements (1996)
Journal Article
Meziane, F., & Vadera, S. (1996). Towards automatic modelling of requirements. Malaysian journal of computer science, 9(2), 1-13

The first phases of the FORSEN system that helps the analyst to use an informal specification as the basis of producing a formal specification and concerns the modelisation of the requirements into entity relationship models (ERM) is described. The m... Read More about Towards automatic modelling of requirements.

Review of heuristics for generalisation (1995)
Journal Article
Vadera, S. (1995). Review of heuristics for generalisation. Software engineering journal, 10(4), 118-123

Proof by induction plays a central role in showing that recursive programs satisfy their specification. Sometimes a key step is to generalise a lemma so that its inductive proof is easier. Existing heuristics for generalisation for induction are... Read More about Review of heuristics for generalisation.

TheMD shell and its use to develop Dust-Expert(TM) (1995)
Journal Article
Vadera, S., & Nechab, S. (1995). TheMD shell and its use to develop Dust-Expert(TM). Expert Systems, 12(3), 231-237. https://doi.org/10.1111/j.1468-0394.1995.tb00112.x

In this paper we describe TheMD (The Methods Designer) shell and its use in the development of an expert system, known as Dust-Expert, for the relief of dust explosions. We begin by providing the motivation for the development of TheMD Shell by evalu... Read More about TheMD shell and its use to develop Dust-Expert(TM).

From English to formal specifications (1994)
Journal Article
Vadera, S., & Meziane, F. (1994). From English to formal specifications. Computer Journal, 37(9), 753-763. https://doi.org/10.1093/comjnl/37.9.753

Formal methods provide an approach in which design steps can be shown to satisfy a specification. However, if a formal specification is wrong, then although the design steps may satisfy the formal specification, they are unlikely to satisfy the requi... Read More about From English to formal specifications.

Proceedings of the fifth UK/BCS symposium on knowledge discovery and data mining
Book
S. Vadera (Ed.), Proceedings of the fifth UK/BCS symposium on knowledge discovery and data mining. Salford: University of Salford

This is the proceedings of a one day symposium on Knowledge Discovery and Data Mining held at the Salford Lowry in 2009. The topics covered included some of the most important and exciting issues in the field. There were presentations on fundamen... Read More about Proceedings of the fifth UK/BCS symposium on knowledge discovery and data mining.

Cost-sensitive decision tree learning using a multi-armed bandit framework
Thesis
Lomax, S. Cost-sensitive decision tree learning using a multi-armed bandit framework. (Thesis). University of Salford

Decision tree learning is one of the main methods of learning from data. It has been applied to a variety of different domains over the past three decades. In the real world, accuracy is not enough; there are costs involved, those of obtaining the da... Read More about Cost-sensitive decision tree learning using a multi-armed bandit framework.

A framework for employee appraisals based on inductive logic programming and data mining methods
Thesis
Aqel, D. A framework for employee appraisals based on inductive logic programming and data mining methods. (Thesis). University of Salford

Employee performance appraisal systems are widely regarded as fundamental for evaluating employees’ performance and enhancing organisations’ success. Yet, there is evidence that employees doubt their benefits and fairness, organisations find them dif... Read More about A framework for employee appraisals based on inductive logic programming and data mining methods.