Guest Editors ’ Introduction: Special Section on Software Engineering for Secure Systems (2008)
Patrick Mcdaniel, Bashar Nuseibeh, Ieee Computer Society
THE proliferation of computers in society has meant that organizational and personal assets are increasingly
Calibrating Value Estimates of Requirements (2008)
Siv Sivzattian, Bashar Nuseibeh
Selecting requirements for implementation of software applications depends on the subjective judgements of the stakeholders who participate in the task. We claim that portfolio analysis provides a...
E-Assessment using Latent Semantic Analysis (2008)
Debra Haley, Pete Thomas, Bashar Nuseibeh, Josie Taylor, Paul Lefrere
E-assessment is an important component of e-learning and e-qualification. Formative and summative assessment serve different purposes and both types of evaluation are critical to the pedagogical...
The Learning Grid and E-Assessment using Latent Semantic Analysis (2008)
Debra Trusso Haley, Pete Thomas, Bashar Nuseibeh, Josie Taylor, Paul Lefrere
email: [D.T.Haley, P.G.Thomas, B.Nuseibeh, J.Taylor] [at] open.ac.uk
Degradation archaeology: studying software flaws ’ evolution (2008)
Angela Lozano, Michel Wermelinger, Bashar Nuseibeh
Given that software evolution depends on the ability to keep the knowledge about the system and the architectural integrity, research has been focussed on how to ease code comprehension and how to...
Making Requirements Measurable (2008)
Bashar Nuseibeh, Suzanne Robertson
Eliciting and specifying customer requirements in a precise and unambiguous way is critical to the success of a project. However anyone who has done any requirements engineering also knows that it is...
0 Abstract Requirements Engineering Through Viewpoints (2008)
Anthony Finkelstein, Steve Easterbrook, Jeff Kramer, Bashar Nuseibeh
This paper provides a short review of contributions to a better understanding of requirements
A Privacy Preference Model for Pervasive Computing (2008)
Karim Adam, Blaine Price, Mike Richards, Bashar Nuseibeh
Abstract: Widespread acceptance of e-government and m-government (and for that matter pervasive-Government) services will only take place when citizens are satisfied that personal data is stored,...
On the Structure of Problem Variability: From Feature Diagrams to Problem Frames (2008)
Andreas Classen, Patrick Heymans, Robin Laney, Bashar Nuseibeh, Thein Than Tun
Requirements for product families are expressed in terms of commonality and variability. This distinction allows early identification of an appropriate software architecture and opportunities for...
Composing Features by Managing Inconsistent Requirements (2008)
Robin Laney, Thein T. Tun, Michael Jackson, Bashar Nuseibeh
Abstract. One approach to system development is to decompose the requirements into features and specify the individual features before composing them. A major limitation of deferring feature...
Gathering Requirements for a Grid-based Automatic Marking System (2008)
Debra Trusso Haley, Anne De Roeck, Bashar Nuseibeh, Marian Petre, Pete Thomas
This paper reports on our experiences using a Creative Requirements [1] workshop approach to elicit requirements for a Grid-based automatic marking system. The research was conducted for ELeGI, an EU...
Picking Battles: The Impact of Trust Assumptions on the Elaboration of Security Requirements (2008)
Walton Hall, Charles B. Haley, Charles B. Haley, Robin C. Laney, Robin C. Laney, Jonathan D. Moffett, ...
jdm [at] cs.york.ac.uk Abstract. Assumptions made during analysis of the requirements for a system-to-be about the trustworthiness of its various components (including human components) can have a...
Key Research Pointers The Authors (2008)
Requirements Engineering, Bashar Nuseibeh, Steve Easterbrook
Better modelling and analysis of problem domains, as opposed to the behaviour of s oflwa re. Development of richer models for capturing and analysing non-functional requirements. Bridging the gap...
Picking Battles: The Impact of Trust Assumptions on the Elaboration of Security Requirements (2008)
Charles B. Haley, Robin C. Laney, Jonathan D. Moffett, Bashar Nuseibeh
jdm [at] cs.york.ac.uk Abstract. This position paper describes work on trust assumptions in the context of security requirements. We show how trust assumptions can affect the scope of the analysis,...
Blaine A. Price, Karim Adam, Bashar Nuseibeh
As with all the major advances in information and communication technology ubiquitous computing introduces new risks to individual privacy. In this paper we identify specific new elements of personal...
Department of Computing, The Open University, Milton Keynes, U.K. (2008)
Francis Chantree, Bashar Nuseibeh, Anne Roeck, Alistair Willis
We present a novel technique that automatically alerts authors of requirements to the presence of potentially dangerous ambiguities. We first establish the notion of nocuous ambiguities, which are...
Charles B. Haley, Robin Laney, Jonathan D. Moffett, Walton Hall, Bashar Nuseibeh
c.b.haley [at] open.ac.uk
Managing Inconsistent Specifications: Reasoning, Analysis and Action (2007)
Anthonyhunter And Bashar, Anthony Hunter, Bashar Nuseibeh
In previous work, wehave advocated continued development of specifications in the presence of inconsistency.To support this, wehave used classical logic to represent partial specifications and to...
Computer Support for the Management of Mine Water: An Object-Oriented Approach (2007)
Giorgio De, Giorgio De Tomi, Bashar Nuseibeh, Douglas Owen, Evket Durucan
The initial stages of the development of a computerised support system for mining engineers dealing with the management of mine water is described. The need for a software engineering methodology...
. The notion of agency is central to the study of software process. Software development processes are enacted by agents, represent agents, and ultimately, must be capable of guiding human agents....
Vincenzo Gervasi, Bashar Nuseibeh
In this paper, we report on our experiences of using lightweight formal methods for the partial validation of natural language requirements documents. We describe our approach to checking properties...
Restructuring Requirements Speci cations for Analysis and Change Management (2007)
Alessandra Russo, Bashar Nuseibeh, Je Kramer
This paper describes our experiences in restructuring multi-perspective requirements speci cations in order to facilitate the identi cation and analysis of inconsistencies and management of change. A...
Specifying monitoring and switching problems in context (2007)
Mohammed Salifu, Yijun Yu, Bashar Nuseibeh
Abstract Context-aware applications monitor changes in their operating environment and switch their behaviour to keep satisfying their requirements. Therefore, they must be equipped with the...
Using Trust Assumptions with Security Requirements (2006)
Charles B. Haley, Robin C. Laney, Jonathan D. Moffett, Bashar Nuseibeh
Assumptions are frequently made during requirements analysis of a system about the trustworthiness of its various components (including human components). These trust assumptions, whether implicit or...
Hypermedia Support for Argumentation-Based Rationale (2006)
Ivan Mistrik, Barbara Paech Springer, Albert M. Selvin, Albert M. Selvin, ...
Abstract: Having developed, used and evaluated some of the early IBIS-based approaches to design rationale (DR) such as gIBIS and QOC in the late 1980s/mid-1990s, we describe the subsequent evolution...
Gathering Requirements for a Grid-based Automatic Marking System (2005)
Haley, Debra, De Roeck, Anne, Nuseibeh, Bashar, Petre, Marian, Thomas, Pete
This paper reports on our experiences using a Creative Requirements [1] workshop approach to elicit requirements for a Grid-based automatic marking system. The research was conducted for ELeGI, an EU...
Nocuous ambiguities in requirements specifications (2005)
Francis Chantree, Bashar Nuseibeh, Anne De Roeck, Alistair Willis, Walton Hall, Francis Chantree, ...
In this paper we present a novel approach that automatically alerts authors of requirements specifications to the presence of potentially dangerous ambiguities in their text. We first establish the...
Validating Security Requirements Using Structured Toulmin-Style Argumentation (2005)
Charles B. Haley, Robin C. Laney, Bashar Nuseibeh, Walton Hall, Charles B. Haley, Robin C. Laney, ...
This paper proposes using structured informal argumentation to assist with determining whether the security requirements for a system satisfy the security goals, and whether an eventual realized...
Arguing Security: Validating Security Requirements Using Structured Argumentation (2005)
Charles B. Haley, Jonathan D. Moffett, Robin Laney, Bashar Nuseibeh
This paper proposes using both formal and structured informal arguments to show that an eventual realized system can satisfy its security requirements. These arguments, called 'satisfaction...
Arguing Security: Validating Security Requirements Using Structured Argumentation (2005)
Charles B. Haley, Jonathan D. Moffett, Robin Laney, Bashar Nuseibeh
This paper proposes using both formal and structured informal arguments to show that an eventual realized system can satisfy its security requirements. These arguments, called 'satisfaction...
Composing requirements using problem frames (2004)
Robin Laney, Leonor Barroca, Michael Jackson, Bashar Nuseibeh
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a problem, one...
Using Abuse Frames to Bound the Scope of Security Problems (2004)
Luncheng Lin, Bashar Nuseibeh, Darrel Ince, Michael Jackson
Security problems arise from the concern for protecting assets from security threats. In a systems development process, the security protection of a system is specified by security requirements,...
Architecture-driven Problem Decomposition (2004)
Lucia Rapanotti, Jon G. Hall, Michael Jackson, Bashar Nuseibeh
Jackson's Problem Frames provide a means of analysing and decomposing problems. They emphasise the world outside the computer helping the developer to focus on the problem domain instead of...
Deriving Security Requirements from Crosscutting Threat Descriptions (2004)
Charles B. Haley, Robin C. Laney, Bashar Nuseibeh
It is generally accepted that early determination of the stakeholder requirements assists in the development of systems that better meet the needs of those stakeholders. General security requirements...
The Effect of Trust Assumptions on the Elaboration of Security Requirements (2004)
Charles B. Haley, Robin C. Laney, Jonathan D. Moffett, Bashar Nuseibeh
Assumptions are frequently made during requirements analysis of a system-to-be about the trustworthiness of its various components (including human components). These trust assumptions can affect the...
The Effect of Trust Assumptions on the Elaboration of Security Requirements (2004)
Charles B. Haley, Robin C. Laney, Jonathan D. Moffett, Bashar Nuseibeh
Assumptions are frequently made during requirements analysis of a system-to-be about the trustworthiness of its various components (including human components). These trust assumptions can affect the...
Using Problem Frames and projections to analyze requirements for distributed systems (2004)
Charles B. Haley, Robin C. Laney, Bashar Nuseibeh
Abstract. Subproblems in a problem frames decomposition frequently make use of projections of the complete problem context. One specific use of projections occurs when an eventual implementation will...
Architecture-driven Problem Decomposition (2004)
Jon G Hall, Walton Hall, Lucia Rapanotti, Lucia Rapanotti, Jon G. Hall, Michael Jackson, ...
Jackson’s Problem Frames provide a means of analysing and decomposing problems. They emphasise the world outside of the computer helping the developer to focus on the problem domain instead of...
Abstract Core Security Requirements Artefacts (2004)
Jonathan D. Moffett, Charles B. Haley, Bashar Nuseibeh, Walton Hall, Jonathan D Moffett, Charles B Haley, ...
Although security requirements engineering has recently attracted increasing attention, it has lacked a context in which to operate. A number of papers have described how security requirements may be...
E-Assessment using Latent Semantic Analysis (2003)
Haley, Debra, Thomas, Pete, Nuseibeh, Bashar, Taylor, Josie, Lefrere, Paul
E-assessment is an important component of e-learning and e-qualification. Formative and summative assessment serve different purposes and both types of evaluation are critical to the pedagogical...
Introducing abuse frames for analysing security requirements (2003)
Luncheng Lin, Bashar Nuseibeh, Darrel Ince, Michael Jackson, Jonathan Moffett
We are developing an approach using Jackson's Problem Frames to analyse security problems in order to determine security vulnerabilities. We introduce the notion of an anti-requirement as the...
Modelling Access Policies Using Roles in Requirements Engineering (2003)
Robert Crook, Darrel Ince, Bashar Nuseibeh
Pressures are increasing on organisations to take an early and more systematic approach to security. A key to enforcing security is to restrict access to valuable assets. We regard access policies as...
Introducing Abuse Frames for Analysing Security Requirements (2003)
Luncheng Lin Bashar, Bashar Nuseibeh, Darrel Ince, Michael Jackson, Jonathan Moffett
We are developing an approach using Jackson's Problem Frames to analyse security problems in order to determine security vulnerabilities. We introduce the notion of an anti-requirement as the...
Using Trust Assumptions in Security Requirements Engineering (2003)
Charles B. Haley, Robin C. Laney, Bashar Nuseibeh
Assumptions about the trustworthiness of the various components of a system (including human components) can have a significant effect on the specifications derived from the system’s requirements....
Viewpoints: meaningful relationships are difficult (2003)
Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein
The development of complex systems invariably involves many stakeholders who have different perspectives on the problem they are addressing, the system being developed, and the process by which it is...
An abductive approach for analysing event-based requirements specifications (2002)
Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer
We present a logic and logic programming based approach for analysing event-based requirements specifications given in terms of a system’s reaction to events and safety properties. The approach...
Security requirements engineering: When anti-requirements hit the fan (2002)
Robert Crook, Darrel Ince, Luncheng Lin, Bashar Nuseibeh
Everyone agrees that security is a problem, ranging from Microsoft to the banks that have been recent victims of rogue traders. What is paradoxical is that there does not seem to be a wholehearted...
Relating Software Requirements and Architectures using Problem Frames (2002)
Jon G. Hall, Michael Jackson, Robin C. Laney, Bashar Nuseibeh, Lucia Rapanotti
Problem frames provide a means of analyzing and decomposing problems. They emphasise the world outside of the computer, helping the developer to focus on the problem domain, instead of drifting into...
Towards an Analytical Role Modelling Framework for Security Requirements (2002)
Robert Crook, Darrel Ince, Bashar Nuseibeh
Pressures are increasing on organisations to take a more systematic approach to incorporating security into their software development process. The key to this is analysing security requirements...
An abductive approach for analysing event-based requirements specifications (2002)
Ra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer
Abstract. We present a logic and logic programming based approach for analysing event-based requirements specifications given in terms of a system’s reaction to events and safety properties. The...
Making Inconsistency Respectable in Software Development (2001)
Bashar Nuseibeh, Steve Easterbrook, Alessandra Russo
The development of software systems inevitably involves the detection and handling of inconsistencies. These inconsistencies can arise in system requirements, design specifications and, quite often,...
Linking the Selection of Requirements to Market Value: (2001)
Siv Sivzattian, Bashar Nuseibeh
Determining which requirements are selected for implementation of software applications is crucial to the satisfaction of customers. In a commercial setting, the value assigned by markets to a...
Leveraging Inconsistency (2000)
Bashar Nuseibeh, Steve Easterbrook, Alessandra Russo
consistency at all times is counterproductive. In many cases, it may be desirable to tolerate or even encourage inconsistency to facilitate distributed teamwork and prevent premature commitment to...
An Abductive Approach for Handling Inconsistencies in SCR Specifications (2000)
Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer
We present a formal approach for handling inconsistencies in Software Cost Reduction (SCR) specifications. The approach uses an event-based logic, called the Event Calculus, to represent SCR mode...
Requirements Engineering: a roadmap (2000)
Bashar Nuseibeh, Steve Easterbrook
This paper presents an overview of the field of software systems requirements engineering (RE). It describes the main areas of RE practice, and highlights some key open research issues for the...
On the Use of Logical Abduction in Software Engineering (2000)
Alessandra Russo, Bashar Nuseibeh
In this paper we survey recent work on the use of abduction as a knowledge-based reasoning technique for analysing software specifications. We present a general overview of logical abduction and...
Leveraging Inconsistency (2000)
Bashar Nuseibeh, Steve Easterbrook, Alessandra Russo
consistency at all times is counterproductive. In many cases, it may be desirable to tolerate or even encourage inconsistency to facilitate distributed teamwork and prevent premature commitment to...
Requirements Engineering: a roadmap (2000)
Bashar Nuseibeh, Steve Easterbrook
This paper presents an overview of the field of software systems requirements engineering (RE). It describes the main areas of RE practice, and highlights some key open research issues for the...
Lightweight validation of natural language requirements (2000)
Vincenzo Gervasi, Bashar Nuseibeh
In this paper, we report on our experiences of using lightweight formal methods for the partial validation of natural language (NL) requirements documents. We describe a case study based on part of...
Requirements Engineering: a roadmap (2000)
Bashar Nuseibeh, Steve Easterbrook
This paper presents an overview of the field of software systems requirements engineering (RE). It describes the main areas of RE practice, and highlights some related research issues. 1
Hybrid model visualization in requirements and design: A preliminary investigation (2000)
Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bush, Julia Son
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Services (NATS) Short...
On the Use of Logical Abduction in Software Engineering (2000)
Alessandra Russo, Bashar Nuseibeh
In this paper we survey recent work on the use of abduction as a knowledge-based reasoning technique for analysing software specifications. We present a general overview of logical abduction and...
Requirements Engineering: a roadmap (2000)
Bashar Nuseibeh, Steve Easterbrook
This paper presents an overview of the field of software systems requirements engineering (RE). It describes the main areas of RE practice, and highlights some key open research issues for the...
Lightweight validation of natural language requirements (2000)
Vincenzo Gervasi, Bashar Nuseibeh
In this paper, we report on our experiences of using lightweight formal methods for the partial validation of natural language (NL) requirements documents. We describe a case study based on part of...
Making Inconsistency Respectable in Software Development (2000)
Alessandra Russo, Bashar Nuseibeh, Bashar Nuseibeh, Steve Easterbrook, Steve Easterbrook
The development of software systems inevitably involves the detection and handling of inconsistencies. These inconsistencies can arise in system requirements, design specifications and, quite often,...
Using Abduction to Evolve Inconsistent Requirements Specifications (1999)
Bashar Nuseibeh, Alessandra Russo
Requirements specifications are often inconsistent. Inconsistencies may arise because multiple conflicting requirements are embodied in these specifications, or because the specifications themselves...
The process of inconsistency management: a framework for understanding (1999)
The process of managing inconsistency is a fundamental activity that permeates a large part of the systems development process. Failure to identify inconsistencies may lead to major problems in the...
Using Abduction to Evolve Inconsistent Requirements Specifications (1999)
Bashar Nuseibeh, Alessandra Russo
Requirements specifications are often inconsistent. Inconsistencies may arise because multiple conflicting requirements are embodied in these specifications, or because the specifications themselves...
On the consequences of acting in the presence of inconsistency (1998)
Bashar Nuseibeh, Alessandra Russo
Managing inconsistency in specifications covers a range of activities from consistency checking and inconsistency analysis to inconsistency handling through action. In this paper we argue that...
Restructuring requirements Specifications for Managing Inconsistency and Change: A Case Study (1998)
Ra Russo, Bashar Nuseibeh, Jeff Kramer
This paper describes our experiences in restructuring multi-perspective requirements specifications in order to identify and analyse inconsistencies and manage change. A partial, heterogeneous and...
Restructuring Requirements Specifications for Inconsistency Analysis: A Case Study (1998)
Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
This paper describes our experiences in restructuring multi-perspective requirements specifications in order to identify and analyse possible or existing inconsistencies. A partial, heterogeneous and...
Restructuring Requirements Specifications for Managing Inconsistency and Change: A Case Study (1998)
Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
This paper describes our experiences in restructuring multi-perspective requirements speci#cations in order to identify and analyse inconsistencies and manage change. A partial, heterogeneous and...
On the Consequences of Acting in the Presence of Inconsistency (1998)
Bashar Nuseibeh, Alessandra Russo
Managing inconsistency in specifications covers a range of activities from consistency checking and inconsistency analysis to inconsistency handling through action. In this paper we argue that...
Restructuring Requirements Specifications for Managing Inconsistency and Change: A Case Study (1998)
Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
This paper describes our experiences in restructuring multi-perspective requirements specifications in order to identify and analyse inconsistencies and manage change. A partial, heterogeneous and...
On the Consequences of Acting in the Presence of Inconsistency (1998)
Bashar Nuseibeh, Alessandra Russo
Managing inconsistency in specifications covers a range of activities from consistency checking and inconsistency analysis to inconsistency handling through action. In this paper we argue that...
Managing Inconsistent Specifications: Reasoning, Analysis, and Action (1998)
Anthony Hunter, Bashar Nuseibeh
In previous work, we advocated continued development of specifications in the presence of inconsistency. To support this, we used classical logic to represent partial specifications and to identify...
Analysing Inconsistent Specifications (1997)
Anthony Hunter, Bashar Nuseibeh
In previous work we advocated continued development of specifications in the presence of inconsistency. To support this we presented quasi-classical (QC) logic for reasoning with inconsistent...
Using viewpoints for inconsistency management (1996)
Steve Easterbrook, Bashar Nuseibeh
Large-scale software development is an evolutionary process. In an evolving specification, multiple development participants often hold multiple, inconsistent views on the system being developed, and...
Not to Be: On Managing Inconsistency in Software Development (1996)
The development of software systems involves the detection and handling of inconsistencies. These inconsistencies arise in system requirements, design specifications and, quite often, in the...
Using ViewPoints for Inconsistency Management (1996)
Steve Easterbrook Bashar, Steve Easterbrook, Bashar Nuseibeh
Large-scale software development is an evolutionary process. In an evolving specification, multiple development participants often hold multiple, inconsistent views on the system being developed, and...
Towards a Framework for Managing Inconsistency Between Multiple Views (1996)
esses the relationship between development objects [9]. In order to identify such a relationship, particularly in the context of multiple views, areas of overlaps between these views must also be...
Towards a Framework for Managing Inconsistency Between Multiple Views (1996)
esses the relationship between development objects [9]. In order to identify such a relationship, particularly in the context of multiple views, areas of overlaps between these views must also be...
Using ViewPoints for Inconsistency Management (1996)
Steve Easterbrook, Bashar Nuseibeh
Large-scale software development is an evolutionary process. In an evolving specification, multiple development participants often hold multiple, inconsistent views on the system being developed, and...
Method Engineering for Multi-Perspective Software Development (1996)
Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer
This paper examines the role of the method engineer in the context of multi-perspective software development. Such development is characterised by the existence of multiple development participants...
Building bridges: on the development of complex software (1996)
Gazing across Sydney Harbour for the first time a few months ago, I was awed, as most visitors are, by the two beautiful feats of engineering that dominated the scene: the Sydney Harbour Bridge built...
Managing Inconsistencies in an Evolving Specification (1995)
Steve Easterbrook, Bashar Nuseibeh
In an evolving specification, considerable development time and effort is spent handling recurrent inconsistencies. Tools and techniques for detecting and resolving inconsistencies only address part...
Decentralised process enactment in a multi-perspective development environment (1995)
Ulf Leonhardt, Je Kramer, Bashar Nuseibeh, Anthony Finkelstein
The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We investigate the use of...
Managing Inconsistent Specifications: Reasoning, Analysis and Action (1995)
Anthony Hunter, Bashar Nuseibeh
In previous work, we have advocated continued development of specifications in the presence of inconsistency. To support this, we have used classical logic to represent partial specifications and to...
Managing Inconsistencies in an Evolving Specification (1995)
Steve Easterbrook Bashar, Steve Easterbrook, Bashar Nuseibeh
In an evolving specification, considerable effort is spent handling recurrent inconsistencies. Detecting and resolving inconsistencies is only part of the problem: a resolved inconsistency might not...
Decentralised Process Enactment (1995)
Ulf Leonhardt, Anthony Finkelstein, Jeff Kramer, Bashar Nuseibeh
The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We investigate the use of...
Managing Inconsistent Specifications: Reasoning, Analysis and Action (1995)
Anthony Hunter, Bashar Nuseibeh
In previous work, we advocated continued development of specifications in the presence of inconsistency. To support this, we used classical logic to represent partial specifications and to identify...
Decentralised Process Enactment in a Multi-Perspective Development Environment (1995)
Ulf Leonhardt, Jeff Kramer, Bashar Nuseibeh, Anthony Finkelstein
The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. Weinvestigate the use of...
Decentralised Process Enactment in a Multi-PerspectiveDevelopmentEnvironment (1995)
Ulf Leonhardt Je, Je Kramer, Bashar Nuseibeh, Anthony Finkelstein
The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. Weinvestigate the use of...
Computer-Aided Inconsistency Management in Software Development (1995)
#### ############ ############ ### ######### ######## ######### #### ########## #### ######### ## ################# ###### ################ ###### ### ####### ############## ####### ###############...
Managing Inconsistencies in an Evolving Specification (1995)
Steve Easterbrook, Bashar Nuseibeh
In an evolving specification, considerable development time and effort is spent handling recurrent inconsistencies. Tools and techniques for detecting and resolving inconsistencies only address part...
Using ViewPoints for Inconsistency Management (1995)
Steve Easterbrook, Bashar Nuseibeh
Large-scale software development is an evolutionary process. In an evolving specification, multiple development participants often hold multiple, inconsistent views on the system being developed, and...
Meta-CASE Support for Method-Based Software Development (1995)
This paper defines the scope and context of meta-CASE technology in software engineering. It then outlines the role of meta-CASE tools in "multi-perspective software development"; that is,...
Decentralised Process Enactment in a Multi-Perspective Development Environment (1995)
Ulf Leonhardt, Jeff Kramer, Bashar Nuseibeh, Anthony Finkelstein
The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We investigate the use of...
Decentralised Process Modelling (1995)
Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein, Ulf Leonhardt
. In this paper, we advocate decentralised process modelling and suggest that understanding and modelling the development processes of individual development participants is the key to supporting...
Managing Inconsistencies in an Evolving Specification (1995)
Steve Easterbrook, Bashar Nuseibeh
In an evolving specification, considerable effort is spent handling recurrent inconsistencies. Detecting and resolving inconsistencies is only part of the problem: a resolved inconsistency might not...
Managing Inconsistent Specifications: Reasoning, Analysis, and Action (1995)
Anthony Hunter, Bashar Nuseibeh
In previous work, we advocated continued development of specifications in the presence of inconsistency. To support this, we used classical logic to represent partial specifications and to identify...
Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein
Abstract † Composite systems are generally comprised of heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably...
Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein
Composite systems generally comprise heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably elicited from...
Inconsistency Handling in Multi-Perspective Specifications (1994)
Anthony Finkelstein, Dov Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh, A. Finkelstein, ...
Abstract. The development of most large and complex systems necessarily involves many people- each with their own perspectives on the system defined by their knowledge, responsibilities, and...
Co-ordinating Distributed ViewPoints: the anatomy of a consistency check (1994)
Steve Easterbrook School, Steve Easterbrook, Anthony Finkelstein, Jeff Kramer, Bashar Nuseibeh
this paper, we argue that striving to maintain complete consistency at
Co-ordinating Conflicting ViewPoints by Managing Inconsistency (1994)
Steve Easterbrook, Anthony Finkelstein, Jeff KRAMER, Bashar Nuseibeh
this paper. Several software engineering methods have been implemented using the tool, and experience with the process of method design has been valuable in refining our approach (Nuseibeh,...
Method Engineering for Multi-Perspective Software Development (1994)
Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer
This paper examines the role of the method engineer in the context of multi-perspective software development. Such development is characterised by the existence of multiple development participants...
Co-ordinating Distributed ViewPoints: the anatomy of a consistency check (1994)
Steve Easterbrook School, Steve Easterbrook, Anthony Finkelstein, Jeff Kramer, Bashar Nuseibeh
this paper, we argue that striving to maintain complete consistency at
Co-ordinating Distributed ViewPoints: the anatomy of a consistency check (1994)
Steve Easterbrook, Steve Easterbrook, Anthony Finkelstein, Anthony Finkelstein, Jeff Kramer, Jeff Kramer, ...
this paper, we argue that striving to maintain complete consistency at
Co-ordinating Distributed ViewPoints: the Anatomy of a Consistency Check (1994)
Steve Easterbrook, Anthony Finkelstein, Jeff Kramer, Bashar Nuseibeh
Support for Concurrent Engineering must address the "multiple... In this paper, we argue that striving to maintain complete consistency at all points in the development process is unnecessary,...
Inconsistency Handling in Multi-Perspective Specifications (1994)
Anthony Finkelstein, Dov M. Gabbay, A. Finkelstein, Jeff Kramer, Bashar Nuseibeh, D. Gabbay, ...
. The development of most large and complex systems necessarily involves many people - each with their own perspectives on the system defined by their knowledge, responsibilities, and commitments. To...
Method Engineering for Multi-Perspective Software Development (1994)
Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer
This paper examines the role of the method engineer in the context of multi-perspective software development. Such development is characterised by the existence of multiple development participants...
Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein
+ Composite systems are generally comprised of heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably elicited...
Inconsistency Handling in Multi-Perspective Specifications (1994)
Dov Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh
Abstruct- The development of most large and complex sys-tems necessarily involves many people+ach with their own perspectives on the system defined by their knowledge, respon-sibilities, and...
Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein
Abstract † Composite systems are generally comprised of heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably...
Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein
Abs&&-Composite systems are generally comprised of heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are...
Fine-Grain Process Modelling (1993)
Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the individual developer and...
Fine-Grain Process Modelling (1993)
Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the individual developer and...
Requirements Engineering Through Viewpoints (1992)
Anthony Finkelstein, Steve Easterbrook, Jeff Kramer, Bashar Nuseibeh
This paper provides a short review of contributions to a better understanding of requirements engineering arising from research at Imperial College. These contributions share a common theme - a focus...
ViewPoints: A Vehicle for Method and Tool Integration (1992)
Bashar Nuseibeh, Anthony Finkelstein
This paper proposes an object-based framework for the development of heterogeneous, composite systems. Such systems require the use of multiple notations and development strategies to describe...
A Viewpoint-based Framework for Software Development Environments (1991)
Anthony Finkelstein, Jeff Kramer, Bashar Nuseibeh
This paper outlines a framework for "CASE tool" development and integration which supports distribution. Motivation The development of most large and complex systems necessarily involves...
Computer-Aided Inconsistency Management in Software Development
The incremental development of software systems involves the detection and handling of inconsistencies. These inconsistencies arise in system requirements, design specifications and, quite often, in...