Anthony Finkelstein

Synopsis Revisiting Requirements Production 1 (2009)

This workshop seeks to examine how progress can be made in determining customer requirements, particularly in the development of large software-based systems, to address the problem of systems which...

Better bioinformatics through usability analysis (2009)

Key information relating to requirements production is either lost or unrecoverable as a consequence of conventional requirements engineering practices. This includes, most significantly, information...

Bolchini, Davide, Finkelstein, Anthony, Perrone, Vito, Nagl, Sylvia

Motivation: Improving the usability of bioinformatics resources enables researchers to find, interact with, share, compare and manipulate important information more effectively and efficiently. It...

Abstract Extending Requirements Traceability Through Contribution Structures 1 (2008)

Submission Live, Audio-Visual Communication Systems for Distance Learning: (2008)

The "invisibility " of the individuals and groups who gave rise to requirements has been identified as a primary reason for the persistence of requirements traceability problems. We...

Martin Colbert, Catherine Voglimacci, Anthony Finkelstein

Abstract. This paper collates some of the experience of managers, tutors and learners who have used live, audio-visual communication systems for distance learning. Eight design heuristics are...

Abstract Managing Interference (2008)

Anthony Finkelstein, George Spanoudakis, David Till

The construction of a complex software system involves many agents with different perspectives or views of the system they are trying to describe or model. This gives rise to many partial...

POSITION STATEMENT The Contribution Structures of Networked Organisations (2008)

LEVEL CHARACTERISTIC KEY PROBLEM AREAS (2008)

Networked organisations promote distributed and dynamic working arrangements. One of the largest problems they face is the reconfiguration of their personnel, a problem compounded by changing roles...

and together with the associated assessment approaches, has been the focus of considerable attention from software producers and acquisition authorities. The model breaks down the software

Editorial (2008)

¥ XML Related Technologies (2008)

Chairman's message............................................................... 2

Andrea Zisman, Anthony Finkelstein

POSITION STATEMENT Extended Requirements Traceability: A Framework for Changing Requirements (2008)

Summary Public Understanding of Software Engineering (2008)

We consider it an undisputed fact that requirements emerge and evolve during the lifetime of most system and software development projects. When they do, a mechanism is needed to assimilate both the...

Abstract 1 Software Package Requirements & Procurement a position paper (2008)

This article outlines the issues presented by the public understanding of software engineering. By public understanding I mean the appreciation or knowledge of a discipline by people in general,...

Anthony Finkelstein, George Spanoudakis, Mark Ryan

This position paper outlines the problems of specifying requirements and deploying these requirements in the procurement of software packages. Despite the fact that software construction de novo is...

Skills (2008)

Wolfgang Emmerich, Anthony Finkelstein, Richard Stevens

n Basic familiarity with software intensive systems development processes and the associated issues of management of scale and complexity. 1 2

Checking Complex Compositions of Web Services Against Policy Constraints (2008)

Andrew Dingwall-smith, Anthony Finkelstein

Abstract. Research in web services has allowed reusable, distributed, loosely coupled components which can easily be composed to build systems or to produce more complex services. Composition of...

ViewPoint Oriented Software Development Abstract (2008)

Anthony Finkelstein, Jeff Kramer, Michael Goedicke

In this paper we propose a new approach to software development which explicitly avoids the use of a single representation scheme or common schema. Instead, multiple ViewPoints are utilised to...

The Certification of Software Tools with respect to Software Standards (2008)

Panuchart Bunyakiati, Anthony Finkelstein, David Rosenblum

Software development standards such as the UML provide complex modeling languages for specifying, visualizing, constructing, and documenting the artifacts of software systems [1]. Software tools...

Exploiting software supply chain business architecture: a research agenda 0. Abstract (2008)

Barbara Farbey, Anthony Finkelstein

This paper addresses economic and management issues in software engineering. It outlines a research agenda aimed at improving the economic return on software investments, based on a better...

A Reference Framework for Requirements and Architecture in Biomedical Grid Systems (2008)

Vito Perrone, Chris A. Mattmann, Sean Kelly, Daniel J. Crichton, Anthony Finkelstein, Nenad Medvidovic

In this paper we introduce the work done to define a framework for requirements and architectural understanding in biomedical grid computing systems. A set of core requirements for biomedical grids...

kaw98-paper ABSTRACT A Conceptual Graph Approach to Support Multiperspective Development Environments (2008)

Thanwadee Thanitsukkarn, Anthony Finkelstein

consistency checking within a multiperspective development environment, i.e. one which employs and utilises a number of ViewPoints. We have built a ViewPoint-based prototype called the Viewer+CG to...

xlinkit: A Consistency Checking and Smart Link (2008)

Generation Service, Christian Nentwich, Licia Capra, Wolfgang Emmerich, Anthony Finkelstein

xlinkit is a lightweight application service that provides rule-based link generation and checks the consistency of distributed web content. It leverages standard Internet technologies, notably XML,...

A specification language and a framework for the execution of composite models in systems biology. (in press (2008)

Ofer Margoninski, Peter Saffrey, James Hetherington, Anthony Finkelstein, Anne Warner

Abstract. When modelling complex biological systems it is often desirable to combine a number of distinct sub-models to form a larger composite model. We describe an XML based language that can be...

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 Scheme for Review, Annotation and Correction of Specifications Abstract (2008)

Application Service Providers: System Development Using Services over the Net (2008)

In this paper we outline a scheme for marking suggested edits and annotations on specifications during the process of review and correction. The scheme is based on a formal model of negotiation and...

Kenji Takahashi, Wolfgang Emmerich, Anthony Finkelstein, Sofia Guerra

ÒFive years from now, no one will be buying and running their own software. WeÕll look back on those days and laughÓ ASP- Internet Research Group 1 2 1 n

between (2008)

(1989, IEEE CS Press) Multi-party Specification (2008)

A semi-automatic process of identifying overlaps and inconsistencies

Anthony Finkelstein, Hugo Fuks

This paper examines a formal model of how specifications can be constructed from multiple viewpoints and presents some tools to support this approach. The development of specifications is presented...

How to Annotate Educational Multimedia with Non-Functional Requirements (2008)

Giovanna Avellis, Anthony Finkelstein

We develop a scheme for representing critical non-functional requirements (NFRs), and apply it to the domain of multimedia educational software (MES) to validate it. Our approach extends the model...

Abstract Reconciling Requirements: a method for managing interference, inconsistency and conflict (2008)

c ○ World Scientific Publishing Company INVESTIGATING CONFLICTS IN COTS DECISION-MAKING (2008)

This paper outlines a method, called reconciliation, for managing interference between partial specifications or viewpoints. The method supports the detection, verification and tracking of...

Carina Alves, Anthony Finkelstein

The development of COTS-based systems largely depends on the success of the selection process. This activity encompasses the evaluation of COTS packages against customer requirements, so that it is...

AN ADVANCED COURSE ON SOFTWARE DEVELOPMENT ENVIRONMENTS (2008)

Requirements & Specification Exemplars (2008)

This paper will describe an advanced course on Software Development Environments. The paper will detail the content of the course and will discuss issues in the presentation of advanced and...

Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel Van Lamsweerde

Abstract. Specification exemplars are familiar to most software engineering researchers. For instance, many will have encountered the well known library and lift problem statements, and will have...

A.: Object orientation and web services (2008)

Christian Zirpins, Giacomo Piccinelli, Winfried Lamersdorf, Anthony Finkelstein

Abstract. The annual European workshop on Object Orientation and Web Services focusses challenges and potentials of service-oriented computing in relation to object-oriented technologies and...

A Reference Framework for Requirements and Architecture in Biomedical Grid Systems (2008)

Chris A. Mattmann, Vito Perrone, Sean Kelly, Daniel J. Crichton, Anthony Finkelstein, Nenad Medvidovic

In this paper we introduce the work done to define a framework for requirements and architectural understanding in biomedical grid computing systems. A set of core requirements for biomedical grids...

08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map (2008)

Cheng, Betty H.C., Giese, Holger, Inverardi, Paola, Magee, Jeff, De Lemos, Rogerio, Andersson, Jesper, ...

Software's ability to adapt at run-time to changing user needs, system intrusions or faults, changing operational environment, and resource variability has been proposed as a means to cope with the...

Colorado State University (2008)

Nelly Bencomo, Gordon Blair, Freddy Muñoz, Cedric Jeanneret, Betty Cheng, Fabio M. Costa, ...

Cédric Jeanneret. From a total of 20 papers submitted 6 full papers, 6 short papers, and a 1 demo were accepted. This volume gathers together all the 6 full papers accepted at

Abstract (2007)

Wolfgang Emmerich, Anthony Finkelstein, Carlo Montangero

This short paper sets out a critical perspective process technology. It uses an analytical framework drawn from the work of Jackson as a means of identifying some important concerns and looks at the...

Do Process-Centred Environments Deserve Process-Centred Tools? (2007)

Wolfgang Emmerich, Anthony Finkelstein

. Process-centred software development environments integrate a process engine, which enacts a process program, with tools that automate particular tasks or provide facilities for document...

"The World and the Machine" - A Critical Perspective on Process Technology (2007)

Wolfgang Emmerich, Anthony Finkelstein, Carlo Montangero

This short paper sets out a critical perspective process technology. It uses an analytical framework drawn from the work of Jackson as a means of identifying some important concerns and looks at the...

Process Technology Implications of Procurement Processes: Some Initial Observations (2007)

Ernst Ellmer, Wolfgang Emmerich, Anthony Finkelstein

. We report on a study of procurement processes in a large organization. The purpose of the study was to identify problems in the organization's procurement processesand to suggest improvement...

A Scheme for Review, Annotation and Correction of Specifications (2007)

An Advanced Course On Software Development Environments (2007)

In this paper we outline a scheme for marking suggested edits and annotations on specifications during the process of review and correction. The scheme is based on a formal model of negotiation and...

Public Understanding of Software Engineering (2007)

This paper will describe an advanced course on Software Development Environments. The paper will detail the content of the course and will discuss issues in the presentation of advanced and...

Live, Audio-Visual Communication Systems for Distance Learning: Experience, Heuristics and ISDN (2007)

This article outlines the issues presented by the public understanding of software engineering. By public understanding I mean the appreciation or knowledge of a discipline by people in general,...

Martin Colbert, Catherine Voglimacci, Anthony Finkelstein

. This paper collates some of the experience of managers, tutors and learners who have used live, audio-visual communication systems for distance learning. Eight design heuristics are abstracted from...

Relating Viewpoints: a preface to Viewpoints 96 (2007)

Edit, Compile, Debug – From Hacking to Distributed Engineering 1 Background (2007)

related disciplines outside software engineering, such as the computer supported cooperative work, information and database systems interoperability and distributed artificial intelligence which...

Janeiro (2007)

Karin Koogan Breitman, Julio Cesar, S. Prado Leite, Católica Rio, R. Marquês, São Vicente, ...

In this article we present a survey on the area of Requirements Engineering anchored on the analysis of a real life case study, the London Ambulance Service [56]. We aim at bringing to context new...

Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein

Specifying a system from different viewpoints, in heterogeneous design notations, and using a distributed team, introduces several challenges that test the state of the art in software engineering....

Making Requirements Elicitation Traceable (2007)

( oczg @ doc. ic. ac. uk) (2007)

This workshop seeks to examine how progress can be made in determining customer requirements, particularly in the development of large software-based systems, to address the problem of systems which...

xlinkit: A Consistency Checking and Smart Link (2007)

( acwf @ cs. city. ac. uk) The invisibility of the individuals and groups that gave rise to requirements artifacts has been identified as a primary reason for the persistence of requirements...

Generation Service, Christian Nentwich, Licia Capra, Wolfgang Emmerich, Anthony Finkelstein

xlinkit is a lightweight application service that provides rule-based link generation and checks the consistency of distributed web content. It leverages standard Internet technologies, notably XML,...

and (2007)

Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein, Ernst Ellmer, Zühlke Engineering Gmbh—germany

this paper. The paper progresses from here as follows: we provide a brief introduction to XML technologies, the infrastructure on top of which xlinkit is built. This is followed by a detailed account...

Using Ontology with Semantic Web Services to Support Modeling in Systems Biology," presented at (2007)

Houyang Sun, Anthony Finkelstein, Jonathan Ashmore

Abstract. Modeling in systems biology is concerned with using experimental information and mathematical methods to build quantitative models at different biological scales. This requires...

Analyzing the business of software: A modelling technique for software supply networks (2007)

Slinger Jansen, Anthony Finkelstein, Sjaak Brinkkemper

Abstract. One of the most significant paradigm shifts of software business management is that individual organizations no longer compete as single entities but as complex dynamic supply networks of...

End-to-end information management for systems biology. LNCS Transactions of Computational Systems Biology, submitted for publication (2006)

Peter Saffrey, Ofer Margoninski, James Hetherington, Marta Varela-rey, Sachi Yamaji, Anthony Finkelstein, ...

Abstract. Mathematical and computational modelling are important techniques for studying the behaviour of complex biological systems. With the increasing breadth and depth of models under...

Developing an Integrative Platform for Cancer Research: a Requirements Engineering Perspective (2006)

Vito Perrone, Anthony Finkelstein, Leah Goldin, Jeff Kramer, Helen Parkinson, Fiona Reddington

The NCRI Informatics Initiative has been established with the goal of using informatics to maximise the impact of cancer research. A clear foundation to achieving this goal is to enable the...

A.: Using Goals and Quality Models to Support the Matching Analysis During COTS Selection (2005)

Carina Alves, Xavier Franch, Juan P. Carvallo, Anthony Finkelstein

Abstract. The selection process is a crucial activity of the development of COTS-based systems. A key step of the evaluation of COTS components carried out during selection is the matching between...

A UML Profile to Support Requirements Engineering with KAOS (2004)

William Heaven, Anthony Finkelstein

One of the most important approaches to requirements engineering of the last ten years is the KAOS model as presented in [5] and [8]. We introduce a profile that allows the KAOS model to be...

A UML Profile to Support Requirements Engineering with KAOS (2004)

William Heaven, Anthony Finkelstein

One of the most important approaches to requirements engineering of the last ten years is the KAOS model as presented in [1] and [2]. We introduce a profile that allows the KAOS model to be...

Computational Challenges of Systems Biology (2004)

Anthony Finkelstein, James Hetherington, Linzhong Li, Ofer Margoninski, Peter Saffrey, Rob Seymour, ...

Progress in the study of biological systems such as the heart, brain, and liver will require computer scientists to work closely with life scientists and mathematicians. Computer science will play a...

Object Orientation and Web Services (2003)

Finkelstein, Anthony, Lamersdorf, Winfried, Leymann, Frank, Piccinelli, Giacomo, Weerawarana, Sanjiva

EOOWS (European workshop on Object Orientation and Web Services) brought together the academic and the industrial perspective on Web Services. Specific results presented by the workshop participants...

Consistency Management with Repair Actions (2003)

Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein

Comprehensive consistency management requires a strong mechanism for repair once inconsistencies have been detected. In this paper we present a repair framework for inconsistent distributed...

Flexible B2B Processes: The Answer is in the Nodes (2003)

Giacomo Piccinelli, Anthony Finkelstein, Tommaso Costa

The time and costs involved in connecting the IT systems of two companies impact the actual formation of business relationships. A flexible infrastructure for process management is instrumental for...

Flexible B2B Processes: The Answer is in the Nodes (2003)

Giacomo Piccinelli, Anthony Finkelstein, Tommaso Costa

Abstract: The time and costs involved in connecting the IT systems of two companies impact the actual formation of business relationships. A flexible infrastructure for process management is...

Service-Oriented Workflows: the DySCo Framework (2003)

Giacomo Piccinelli, Anthony Finkelstein, Scott Lane Williams

Workflow is the most popular choice among businesses for capturing and managing their operational knowledge. The authors propose an extension to traditional workflow that enables Web services to be...

Flexible Consistency Checking (2003)

Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein, Ernst Ellmer

The problem of managing the consistency of heterogeneous, distributed software engineering specifications is central to the development of large and complex systems. We show how this problem can be...

Viewpoints: meaningful relationships are difficult (2003)

Lightweight checking for UML based software development (2002)

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...

Clare Gryce, Anthony Finkelstein, Christian Nentwich

Negotiating Requirements for COTS-based Systems (2002)

Carina Alves, Anthony Finkelstein

Abstract. Selecting COTS products is a process that inherently involves tradeoffs. In this position paper, we highlight the challenges of the requirements process for COTS-based system where the...

Challenges in COTS decision-making: A goal-driven requirements engineering perspective (2002)

Carina Alves, Anthony Finkelstein

This position paper outlines the problems and risks of selecting COTS products. In particular, we highlight the challenges of the decision-making process where requirements specification plays an...

xlinkit: A Consistency Checking and Smart Link Generation Service (2002)

Christian Nentwich, Licia Capra, Wolfgang Emmerich, Anthony Finkelstein

xlinkit.com white paper xlinkit is a lightweight application service that provides rule-based link generation and checks the consistency of distributed web content. It leverages standard Internet...

xlinkit: A Consistency Checking and Smart (2002)

Link Generation Service, Christian Nentwich, Licia Capra, Wolfgang Emmerich, Anthony Finkelstein

this article we show how consistency constraints can be expressed and checked. We describe a novel semantics for first-order logic that produces links instead of truth values and give an account of...

XML technologies and software engineering (2001)

Cecilia Mascolo, Wolfgang Emmerich, Anthony Finkelstein

and Software Engineering (XSE01) is to join the efforts in the complementary areas of software engineering and XML [1]. There are two different aspects that characterize the relationship between...

A Framework for Requirements Engineering for Context-Aware Services (2001)

Anthony Finkelstein, Andrea Savigni

Context-aware services, especially when made available to mobile devices, constitute an interesting but very challenging domain. It poses fundamental problems for both requirements engineering,...

XML technologies and software engineering (2001)

Cecilia Mascolo, Wolfgang Emmerich, Anthony Finkelstein

and Software Engineering (XSE01) is to join the efforts in the complementary areas of software engineering and XML [1]. There are two different aspects that characterize the relationship between...

Checking Distributed Software Engineering Content (2001)

Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein

We describe the foundations of xlinkit, a technology for checking the consistency and linking the elements of distributed, heterogenous XML documents, and its application to software engineering. We...

Mapping Service Components to EJB Business Objects (2001)

Giacomo Piccinelli, Wolfgang Emmerich, Anthony Finkelstein

The emerging trends for e-business engineering revolve around specialisation and cooperation. Successful companies focus on their core competencies and rely on a network of business partners for the...

Ubiquitous Web Application Development - A Framework for Understanding (2001)

Anthony Finkelstein, Andrea Savigni, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger, Christian Feichtner

E-commerce and m-commerce have dramatically boosted the demand for services which enable ubiquitous access. Ubiquity with its anytime/anywhere/anymedia nature requiring context-aware computing and...

Static Consistency Checking for Distributed Specifications (2001)

Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein

Software engineers building a complex system make use of a number of informal and semi-formal notations. We describe a framework, xlinkit, for managing the consistency of development artifacts...

Implementing incremental code migration with XML (2000)

Wolfgang Emmerich, Cecilia Mascolo, Anthony Finkelstein

Software engineering: a roadmap (2000)

Anthony Finkelstein, Jeff Kramer

This paper provides a roadmap for software engineering. It identifies the principal research challenges being faced by the discipline and brings together the threads derived from the key research...

The Future of Requirements Management Tools (2000)

Anthony Finkelstein, Wolfgang Emmerich

In this paper we look at what industry can expect by way of developments in requirements management tools in the short, medium and long-term future. Introduction This paper attempts to identify...

BOX: Browsing objects in XML (2000)

Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein, Andrea Zisman

this paper we describe how these languages can be used to publish software engineering diagrams on the Internet. We introduce BOX, a portable, distributed and interoperable approach to browsing UML...

Implementing Incremental Code Migration with XML (2000)

Wolfgang Emmerich, Cecilia Mascolo, Anthony Finkelstein

We demonstrate how XML and related technologies can be used for code mobility at any granularity, thus overcoming the restrictions of existing approaches. By not fixing a particular granularity for...

Using XML to Build Consistency Rules for Distributed Specifications (2000)

Andrea Zisman, Wolfgang Emmerich, Anthony Finkelstein

The work presented in this paper is part of a large programme of research aimed at supporting consistency management of distributed documents on the World Wide Web. We describe an approach for...

XMILE: An Incremental Code Mobility System based on XML Technologies (2000)

Cecilia Mascolo, Wolfgang Emmerich, Anthony Finkelstein

tial of code mobility is submerged by the capability of the most commonly used language for code mobility, i.e., Java. We focus on an implementation of ne-grained mobility using standardized and...

Software engineering: a roadmap (2000)

Anthony Finkelstein, Jeff Kramer

This paper provides a roadmap for software engineering. It identifies the principal research challenges being faced by the discipline and brings together the threads derived from the key research...

The worlds a stage: a survey on requirements engineering using a real-life case study (1999)

Breitman,Karin Koogan, Finkelstein,Anthony

In this article we present a survey on the area of Requirements Engineering anchored on the analysis of a real life case study, the London Ambulance Service [56]. We aim at bringing to context new...

Multiperspective Analysis of the Sisyphus-I Room Allocation Task Modelled in a CG Meta-Representation Language (1999)

Thanwadee Thanitsukkarn, Anthony Finkelstein

Abstract. Different participants in system development often hold partial specifications of the knowledge relating to the system being developed. To reflect this, the system may be developed through...

Consistency Management of Distributed Documents using XML and Related Technologies. Research Note 99-94 (1999)

Ernst Ellmer, Wolfgang Emmerich, Anthony Finkelstein, Danila Smolko, Andrea Zisman

In this paper we describe an approach and associated techniques for managing consistency of distributed documents. We give an account of a toolkit which demonstrates the approach. The approach...

Managing Standards Compliance (1999)

Wolfgang Emmerich, Anthony Finkelstein, Carlo Montangero, Stefano Antonelli, Stephen Armitage, Richard Stevens

Software engineering standards determine practices that `compliant' software processes shall follow. Standards generally define practices in terms of constraints that must hold for documents....

Incremental Code Mobility with XML (1999)

Wolfgang Emmerich, Cecilia Mascolo, Anthony Finkelstein

We demonstrate how XML and related technologies can be used for code mobility at any granularity, thus overcoming the restrictions of existing approaches. By not fixing a particular granularity for...

Overlaps in Requirements Engineering (1999)

George Spanoudakis, Anthony Finkelstein, David Till

Although overlap between specifications -- that is the incorporation of elements which designate common aspects of the system of concern -- is a precondition for specification inconsistency, it has...

A.: A Conceptual Graph Approach to Support Multiperspective Development Environments (1998)

Thanwadee Thanitsukkarn, Anthony Finkelstein

This paper demonstrates an application of Conceptual Graphs (CGs) in the area of software engineering. We employ CGs as a meta-representation language to enhance consistency checking within a...

A Semi-Automatic Process of Identifying Overlaps and Inconsistencies Between Requirements Specifications (1998)

Extended requirements traceability: Results of an industrial case study (1997)

Reconciliation is a method which supports the detection and verification of overlaps and the resolution of certain forms of inconsistencies between requirements specifications expressed in an...

Overlaps among Requirements Specifications (1997)

Contribution structures offer a way to model the network of people who have participated in the requirements engineering process. They further provide the opportunity to extend conventional forms of...

Standards Compliant Software Development (1997)

Abstract. Although overlap between specifications – that is the incorporation of elements which designate common features of the domain of discourse – is a prerequisite for specification...

Wolfgang Emmerich, Anthony Finkelstein, Carlo Montangero, Richard Stevens

Software engineering standards determine practices that `compliant' software processes shall follow. Standards generally define practices in terms of constraints that must hold for documents or...

Overlaps among Requirements Specifications (1997)

George Spanoudakis Anthony, Anthony Finkelstein

. Although overlap between specifications -- that is the incorporation of elements which designate common features of the domain of discourse -- is a prerequisite for specification inconsistency, it...

Standards Compliant Software Development (1997)

Wolfgang Emmerich, Anthony Finkelstein, Carlo Montangero, Richard Stevens

Software engineering standards determine practices that `compliant' software processes shall follow. Standards generally de#ne practices in terms of constraints that must hold for documents or...

Extended Requirements Traceability: Results of an Industrial Case Study (1997)

Requirements & Specification Exemplars (1997)

Contribution structures offer a way to model the network of people who have participated in the requirements engineering process. They further provide the opportunity to extend conventional forms of...

Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel Van Lamsweerde

Abstract. Specification exemplars are familiar to most software engineering researchers. For instance, many will have encountered the well known library and lift problem statements, and will have...

Overlaps among Requirements Specifications (1997)

The ViewPoints FAQ (1996)

. Although overlap between specifications -- that is the incorporation of elements which designate common features of the domain of discourse -- is a prerequisite for specification inconsistency, it...

Anthony Finkelstein, Ian Sommerville

Questions list. FAQs have grown out of Internet newgroups where participants, tired of seeing the same questions repeated by newcomers, provide a list of canned answers to the most frequently asked...

Nextgeneration viewpoint-based environments (1996)

Wolfgang Emmerich, George Spanoudakis, Anthony Finkelstein

This paper discusses the notion of, and outlines requirements for Viewpointbased Environments. These are next-generation CASE environments, which support the speci cation of requirements from...

Software Package Requirements and Procurement (1996)

Anthony Finkelstein, George Spanoudakis, Mark Ryan

This paper outlines the problems of specifying requirements and deploying these requirements in the procurement of software packages. Despite the fact that software construction de novo is the...

Next-Generation Viewpoint-based Environments (1996)

Wolfgang Emmerich, George Spanoudakis, Anthony Finkelstein

This paper discusses the notion of, and outlines requirements for Viewpointbased Environments. These are next-generation CASE environments, which support the speci#cation of requirements from...

A Comedy of Errors: the London Ambulance Service case study (1996)

Anthony Finkelstein, John Dowell

This paper provides an introduction to the IWSSD-8 case study - the "Report of the Inquiry Into the London Ambulance Service". The paper gives an overview of the case study and provides a...

The Viewpoints FAQ (1996)

Anthony Finkelstein, Ian Sommerville

s are a general feature of group work but crop up with particular frequency in software engineering. Software engineering is characterised by a concern with large systems displaying complex structure...

Software Package Requirements Procurement (1996)

Anthony Finkelstein, George Spanoudakis, Mark Ryan

This paper outlines the problems of specifying requirements and deploying these requirements in the procurement of software packages. Despite the fact that software construction de novo is the...

Next-Generation Viewpoint-based Environments (1996)

Wolfgang Emmerich, George Spanoudakis, Anthony Finkelstein

This paper discusses the notion of, and outlines requirements for Viewpointbased Environments. These are next-generation CASE environments, which support the specification of requirements from...

Reconciliation: Managing Interference in Software Development (1996)

Reconciling Requirements: a method for managing interference, inconsistency and conflict (1996)

. This paper outlines a method, called reconciliation, for managing interference between partial specifications or viewpoints. The method supports the detection, verification and tracking of...

Managing Interference (1996)

This paper outlines a method, called reconciliation, for managing interference between partial specifications or viewpoints. The method supports the detection, verification and tracking of...

Anthony Finkelstein, George Spanoudakis, David Till

The construction of a complex software system involves many agents with different perspectives or views of the system they are trying to describe or model. This gives rise to many partial...

Method Engineering for Multi-Perspective Software Development (1996)

Decentralised process enactment in a multi-perspective development environment (1995)

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...

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...

Contribution structures (1995)

Decentralised Process Enactment (1995)

The invisibility of the individuals and groups that gave rise to requirements artifacts has been identified as a primary reason for the persistence of requirements traceability problems. This paper...

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...

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...

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...

Contribution Structures (1995)

A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification (1994)

The invisibility of the individuals and groups that gave rise to requirements artifacts has been identified as a primary reason for the persistence of requirements traceability problems. This paper...

A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification (1994)

Abstract † Composite systems are generally comprised of heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably...

Requirements engineering: a review and research agenda (1994)

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)

This paper reviews the area of requirements engineering. It outlines the key concerns to which attention should be devoted by both practitioners, who wish to "reengineer " their...

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...

A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification (1994)

Bashat 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...

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)

Co-ordinating Distributed ViewPoints: the anatomy of a consistency check (1994)

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...

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)

A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification (1994)

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...

Requirements Engineering: a review and research agenda (1994)

+ Composite systems are generally comprised of heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably elicited...

A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification (1994)

This paper reviews the area of requirements engineering. It outlines the key concerns to which attention should be devoted by both practitioners, who wish to "reengineer" their development...

A Framework for Expressing the Relationship Between Multiple Views in Requirements Specification (1994)

Abstract † Composite systems are generally comprised of heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably...

Fine-Grain Process Modelling (1993)

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)

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...

Bashar Nuseibeh Anthony, 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...

A Conceptual Framework for Evolving Software Processes (1993)

Reidar Conradi, Christer Fernstrom, Alfonso Fuggetta, Anthony Finkelstein, Jeff Kramer, Bashar A. Nuseibeh

Software processes are complex entities that may last for long periods of time and are carried out through the interaction of humans and computerized tools. They need to continuously evolve in order...

Fine-Grain Process Modelling (1993)

Printed in First PROMOTER book on p. 9{32 { (1993)

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...

Alfonso Fuggetta Z, Anthony Finkelstein, Je Kramer, Bashar A. Nuseibeh

Software processes are complex entities that may last for long periods of time and are carried out through the interaction of humans and computerized tools. They need to continuously evolve in order...

Process Modelling: A Critical Analysis (1992)

Anthony Finkelstein, Jeff Kramer, Matthew Hales

This paper uses a software development environment construction case study as a framework for a critical analysis of software process modelling. It outlines a research agenda based on this analysis. 1

Process Modelling: a critical analysis (1992)

Anthony Finkelstein, Jeff Kramer, Matthew Hales

This paper uses a software development environment construction case study as a framework for a critical analysis of software process modelling. It outlines a research agenda based on this analysis....

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 Configurable Framework for Method and Tool Integration (1991)

Jeff Kramer, Anthony Finkelstein

There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and management support for...

Tracing back from requirements (1991)

A Configurable Framework for Method and Tool Integration (1991)

The problem of achieving traceability from a design, and its associated documentation, back to a requirements specification has been the subject of a considerable amount of discussion. A much less...

Jeff Kramer, Anthony Finkelstein

There is an urgent need to provide a sound generic framework for method and tool There is an urgent need to provide a sound generic framework for method and tool integration, where many differing...

TARA: Tool Assisted Requirements Analysis (1991)

Anthony Finkelstein, Jeff Kramer

The TARA Project conducted research into the provision of tool assistance for requirements analysis techniques. In particular it concentrated on automated support for three specific areas: active...

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...

ViewPoint Oriented Software Development (1990)

Anthony Finkelstein, Jeff Kramer, Michael Goedicke

In this paper we propose a new approach to software development which explicitly avoids the use of a single representation scheme or common schema. Instead, multiple ViewPoints are utilised to...

A Constructive Approach to the Design of Distributed Systems (1990)

Jeff Kramer, Jeff Magee, Anthony Finkelstein

The underlying model of distributed systems is that of loosely coupled components The underlying model of distributed systems is that of loosely coupled components running in parallel and...

A Software Process Immaturity Model (1989)