A5041529659- Model-Driven Software Engineering Techniques
- Service-Oriented Architecture and Web Services
- Business Process Modeling and Analysis
- Advanced Software Engineering Methodologies
- Information Technology Governance and Strategy
- Semantic Web and Ontologies
- Software Engineering Research
- Simulation Techniques and Applications
- Logic, programming, and type systems
- Advanced Database Systems and Queries
- Collaboration in agile enterprises
- Digital Transformation in Industry
- Software System Performance and Reliability
- Formal Methods in Verification
- Complex Systems and Decision Making
- Flexible and Reconfigurable Manufacturing Systems
- Scientific Computing and Data Management
- Distributed and Parallel Computing Systems
- Multi-Agent Systems and Negotiation
- Software Testing and Debugging Techniques
- Parallel Computing and Optimization Techniques
- AI-based Problem Solving and Planning
- Software Engineering Techniques and Practices
- Advanced Computational Techniques and Applications
- Usability and User Interface Design
Aston University
2018-2025
Cambridge University Press
2023
Middlesex University
2009-2022
Department for Transport
2022
Department for Environment Food and Rural Affairs
2022
Sheffield Hallam University
2015-2018
Tata Consultancy Services (India)
2018
Gannon University
2018
Azienda-Unita' Sanitaria Locale Di Cesena
2017
British Museum
2017
Presents the guest editorial for this issue of publication.
Assessing the efficiency of organizational units has long been recognized as an important management problem but extremely difficult one to solve, especially when considers multiplicity resources and services or products associated with these operating in a variety industries. Data Envelopment Analysis (DEA), promising approach for addressing this problem, is extended paper. The proposed extension, called Constrained Facet (CFA), provides lower bound measure that have mix and/or outputs...
ABSTRACT Digital twins are increasingly used across a wide range of industries. Modeling is key to digital twin development—both when considering the models which maintains its real‐world complement (“models in twin”) and as complex (software) system itself. Thus, systematic development maintenance these factor effective efficient development, maintenance, use. We argue that model‐driven engineering (MDE), field with almost three decades research, will be essential for improving efficiency...
Data mining combines machine learning, statistics and visualization techniques to discover extract knowledge. One of the biggest challenges that higher education faces is improve student retention (National Audition Office, 2007). Student retention has become an indication academic performance enrolment management. Our project uses data natural language processing technologies monitor student, analyze behaviour provide a basis for efficient intervention strategies. aim identify potential...
Object-oriented analysis and design is an increasingly popular software development method. The Unified Modeling Language (UML) has recently been proposed as a standard language for expressing object-oriented designs. Unfortunately, in its present form the UML lacks precisely defined semantics. This means that it difficult to determine whether consistent, modification correct program correctly implements design. Formal methods provide rigor which lacking notations. provision often at expense...
There is increasing interest in establishing a presence the mobile application market, with platforms including Apple iPhone, Google Android and Microsoft Windows Mobile. Because of differences platform languages, frameworks, device hardware, development an for more than one can be difficult task. In this paper we address problem by creation Domain Specific Language (DSL). analysis was carried out using two case studies, inferring basic requirements language. The further introduces language...
Modern day system developers have some serious problems to contend with. The systems they develop are becoming increasingly complex as customers demand richer functionality delivered in ever shorter timescales. They manage a huge diversity of implementation technologies, design techniques and development processes: everything from scripting languages web-services the latest 'silver bullet' abstraction. To add that, nothing stays still: today's 'must have' technology rapidly becomes...
Environmental uncertainties and hyperconnectivity force technosocio-economic systems to introspect adapt succeed survive. Current practices in decision-making are predominantly intuition-driven with attendant challenges for precision rigor. We propose use the concept of digital twins by combining results from Modelling & Simulation, Artificial Intelligence, Control Theory create a risk free 'in silico' experimentation aid help: (i) understand why system is way it is, (ii) be prepared...
Context: An essential part of conducting software engineering (SE) research is the ability to identify extant on tools, technologies, concepts and methods in order evaluate make rational scientific decisions. The domain from which such knowledge extracted typically existing literature found journals, conference proceedings, books gray literature. Empirical approaches that include various systematic review (SR) methodologies as (SLR) mapping study (SMS) are be effective this context. They...
Modern enterprises are large complex systems operating in highly dynamic environments thus requiring quick response to a variety of change drivers. Moreover, they wherein understanding is available localized contexts only and that too typically partial uncertain. With the overall system behaviour hard know a-priori conventional techniques for system-wide analysis either lacking rigour or defeated by scale problem, current practice often exclusively relies on human expertise monitoring...
This paper proposes LEAP, a simple framework for Enterprise Architecture (EA) that views an organization as engine executes in terms of hierarchically decomposed communicating components. The approach allows all aspects the architecture to be precisely defined using standard modelling notations. Given is and it can form basis wide range EA analysis techniques including simulation, compliance consistency checking. defines LEAP shows used represent key features ArchiMate whilst containing...