A5089000105- Advanced Software Engineering Methodologies
- Software Engineering Techniques and Practices
- Software Engineering Research
- Software Reliability and Analysis Research
- Formal Methods in Verification
- Model-Driven Software Engineering Techniques
- Safety Systems Engineering in Autonomy
- Business Process Modeling and Analysis
- Big Data and Business Intelligence
- Software System Performance and Reliability
- Service-Oriented Architecture and Web Services
- Petri Nets in System Modeling
- Complex Systems and Decision Making
- AI-based Problem Solving and Planning
- Embedded Systems Design Techniques
- Systems Engineering Methodologies and Applications
- Design Education and Practice
- Real-Time Systems Scheduling
- Virtual Reality Applications and Impacts
- Multi-Agent Systems and Negotiation
- Constraint Satisfaction and Optimization
- Risk and Safety Analysis
- Logic, Reasoning, and Knowledge
- Radiation Effects in Electronics
- Parallel Computing and Optimization Techniques
United Nations Development Programme
2021-2023
GlaxoSmithKline (United Kingdom)
2023
The Open University
2011-2022
Allen Institute
2016
Allen Institute for Brain Science
2016
Kaiser Permanente
2014
Hong Kong Metropolitan University
1999-2013
Australian Bureau of Statistics
2013
University of Northern British Columbia
2011
Organisation de Coopération et de Développement Economiques
2010
In the past few years, artificial intelligence (AI) techniques have been implemented in almost all verticals of human life. However, results generated from AI models often lag explainability. appear as a blackbox wherein developers are unable to explain or trace back reasoning behind specific decision. Explainable (XAI) is rapid growing field research which helps extract information and also visualize with an optimum transparency. The present study provides extensive review use XAI...
Problem frames provide a means of analyzing and decomposing problems. They emphasise the world outside computer, helping developer to focus on problem domain, instead drifting into inventing solutions. However, even modestly complex problems can force us detailed consideration architecture solution. This is counter intention approach, which delay solution space until good understanding gained. We therefore extend frames, allowing architectural structures, services artifacts be considered as...
Problem Orientation is gaining interest as a way of approaching the development software intensive systems and yet significant example that explores its use missing from literature. In this paper, we present basic elements Oriented Software Engineering (POSE) which aims to bring both non-formal formal aspects together in single framework. We provide an detailed systematic POSE problem, designing controller for package router. The problem drawn literature, but analysis presented here new. aim...
Jackson's problem frames provide a means of analysing and decomposing problems. They emphasise the world outside computer helping developer to focus on domain instead drifting into inventing solutions. The intention is delay consideration solution space until good understanding gained. In contrast, early architecture common practice in software development. Software usually developed by including existing components and/or reusing frameworks architectures. This has advantage shortening...
Un cadre d’analyse pour mesurer le progrès de sociétés Pendant les trois dernières décennies, un certain nombre cadres ont été développés afin promouvoir et bien-être, la qualité vie, développement humain durable. Quelques se servent d’une approche conceptuelle tandis que d’autres emploient une consultative. Des initiatives différentes exigeront des différents. Ce papier a objectif présenter proposition comparer avec qui sont utilisés en ce moment à travers monde. Le n’aspire pas être...
Purpose The paper aims to provide methodological support for hybrid project management, in which the discipline of predictive methodologies combines with flexibility adaptive ones. Specifically, explores extent complexity and volatility dimensions organisational problems inform choices PM both theoretically current practice, as a first step towards better hybridisation. Design/methodology/approach takes mixed method approach, including secondary research primary practitioners. Primary...
Abstract This study presents a literature analysis using semiautomated text mining and topic modelling approach of the body knowledge encompassed in 17 years (2000–2016) published Wiley's Expert Systems journal, key reference (ESs) research, total 488 research articles. The methodological included analysing countries from authors' affiliations, with results emphasizing relevance both U.S. U.K. researchers, Chinese, Turkish, Spanish holding also significant relevance. As result sparsity found...
A strategy followed to integrate in vitro solubility and permeability data into a PBBM model predict the food effect of BCS IV zwitterionic drug (GSK3640254) observed clinical studies is described. The was developed, qualified verified using an immediate release (IR)-tablet (10-320 mg) obtained healthy volunteers under fasted fed conditions. GSK3640254 function its ionization state, media composition pH, whereas determined MDCK cell lines enhanced by presence mixed micelles. In alongside...
A key challenge for software engineering is to learn how reconcile the formal world of machine and its with non-formal real world. In this paper, we discuss elements problem oriented (POSE), an approach that brings both non- aspects development together in a single theoretical framework design. POSE presents as representation step-wise transformation problems. It allows identification clarification system requirements, understanding structuring world, specification hardware/software can...
Jackson's problem frames provide a means of analysing and decomposing problems. They emphasise the world outside computer helping developer to focus on domain instead drifting into inventing solutions. The intention is delay consideration solution space until good understanding gained. In contrast, early architecture common practice in software development. Software usually developed by including existing components and/or reusing frameworks architectures. This has advantage shortening...
Standards demand that assurance cases support safety critical developments. It is widely acknowledged, however, the current practice of post-hoc assurance-that product built and only then argued for safety-leads to many engineering process deficiencies, extra expense, poorer products. This paper argues how problem oriented software framework can be used in concurrent design a safe its case, by which these deficiencies addressed. The basis real development, undertaken second author this...
The reference model of Gunter et al, 2000, provides a framework for describing and analyzing key software engineering artifacts their properties. We propose reification this in which behaviour is explicitly trace-based. find that benefits the formalism adding structure ways are meaningful practical from an viewpoint. In particular, we develop notions points introduction reachability new framework, show how they strengthen properties model.