ABSTRACT Content personalization of e-learning resources has the opportunity to encourage self-di... more ABSTRACT Content personalization of e-learning resources has the opportunity to encourage self-directed learning and collaborative activities between students with varying cultures and backgrounds. In the case of students with disabilities, it also has the potential to provide equality of access to learning resources that can be presented in formats that are compatible with a student’s needs and preferences. In this paper, a framework is presented for doing this type of content personalization for students with disabilities using Model-Driven Engineering tools and techniques.
This book constitutes the refereed proceedings of the Third International Conference on Security ... more This book constitutes the refereed proceedings of the Third International Conference on Security in Pervasive Computing, SPC 2006, held in York, UK, in April 2006. The 16 revised papers presented together with the extended abstract of 1 invited talk were carefully reviewed and selected from 56 submissions. The papers are organized in topical sections on protocols, mechanisms, integrity, privacy and security, information flow and access control, and authentication.
2015 Ieee 16th International Symposium on High Assurance Systems Engineering, 2015
ABSTRACT Assurance cases are used to demonstrate confidence in properties of interest for a syste... more ABSTRACT Assurance cases are used to demonstrate confidence in properties of interest for a system, e.g. for safety or security. A model-based assurance case seeks to bring the benefits of model-driven engineering, such as automation, transformation and validation, to what is currently a lengthy and informal process. In this paper we develop a model-based assurance approach, based on a weaving model, which allows integration between assurance case, design and process models and metamodels. In our approach, the assurance case itself is treated as a structured model, with the aim that all entities in the assurance case become linked explicitly to the models that represent them. We show how it is possible to exploit the weaving model for automated generation of assurance cases. Building upon these results, we discuss how a seamless model-driven approach to assurance cases can be achieved and examine the utility of increased formality and automation.
Code generation automatically produces executable code by software. Model-driven code generation ... more Code generation automatically produces executable code by software. Model-driven code generation is currently the most flexible and scalable generative technique, but there are many complaints about the complexity it introduces into the development process, and the design decisions imposed on the code. Here, an agile code-oriented model-driven generative methodology is outlined that reduces complexity and allows the engineer to define the exact form of the produced code and embrace change in the requirements in an ...
... Life cycle; K.2 [History of Computing]:Software; K.6.1 [Management of Computing andInformati... more ... Life cycle; K.2 [History of Computing]:Software; K.6.1 [Management of Computing andInformation Systems]: Project and People ManagementSystems analysis and design; systems development; K.6.3 [Management of Computing and Information Sys-tems]: Software ...
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse Emine G. Aydal,... more Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse Emine G. Aydal, Richard F. Paige, and Jim Woodcock ... In this example, the operation ChangePersonalCode returns true if the per-sonal code is changed and required actions are carried out. ...
ABSTRACT Content personalization of e-learning resources has the opportunity to encourage self-di... more ABSTRACT Content personalization of e-learning resources has the opportunity to encourage self-directed learning and collaborative activities between students with varying cultures and backgrounds. In the case of students with disabilities, it also has the potential to provide equality of access to learning resources that can be presented in formats that are compatible with a student’s needs and preferences. In this paper, a framework is presented for doing this type of content personalization for students with disabilities using Model-Driven Engineering tools and techniques.
This book constitutes the refereed proceedings of the Third International Conference on Security ... more This book constitutes the refereed proceedings of the Third International Conference on Security in Pervasive Computing, SPC 2006, held in York, UK, in April 2006. The 16 revised papers presented together with the extended abstract of 1 invited talk were carefully reviewed and selected from 56 submissions. The papers are organized in topical sections on protocols, mechanisms, integrity, privacy and security, information flow and access control, and authentication.
2015 Ieee 16th International Symposium on High Assurance Systems Engineering, 2015
ABSTRACT Assurance cases are used to demonstrate confidence in properties of interest for a syste... more ABSTRACT Assurance cases are used to demonstrate confidence in properties of interest for a system, e.g. for safety or security. A model-based assurance case seeks to bring the benefits of model-driven engineering, such as automation, transformation and validation, to what is currently a lengthy and informal process. In this paper we develop a model-based assurance approach, based on a weaving model, which allows integration between assurance case, design and process models and metamodels. In our approach, the assurance case itself is treated as a structured model, with the aim that all entities in the assurance case become linked explicitly to the models that represent them. We show how it is possible to exploit the weaving model for automated generation of assurance cases. Building upon these results, we discuss how a seamless model-driven approach to assurance cases can be achieved and examine the utility of increased formality and automation.
Code generation automatically produces executable code by software. Model-driven code generation ... more Code generation automatically produces executable code by software. Model-driven code generation is currently the most flexible and scalable generative technique, but there are many complaints about the complexity it introduces into the development process, and the design decisions imposed on the code. Here, an agile code-oriented model-driven generative methodology is outlined that reduces complexity and allows the engineer to define the exact form of the produced code and embrace change in the requirements in an ...
... Life cycle; K.2 [History of Computing]:Software; K.6.1 [Management of Computing andInformati... more ... Life cycle; K.2 [History of Computing]:Software; K.6.1 [Management of Computing andInformation Systems]: Project and People ManagementSystems analysis and design; systems development; K.6.3 [Management of Computing and Information Sys-tems]: Software ...
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse Emine G. Aydal,... more Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse Emine G. Aydal, Richard F. Paige, and Jim Woodcock ... In this example, the operation ChangePersonalCode returns true if the per-sonal code is changed and required actions are carried out. ...
Uploads
Papers by Richard Paige