Steve M. Easterbrook

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

iVuBlender: A Tool for Merging Incomplete and Inconsistent Views.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

An Algebraic Framework for Merging Incomplete and Inconsistent Views.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Configuring Common Personal Software: a Requirements-Driven Approach.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Do Viewpoints Lead to Better Conceptual Models? An Exploratory Case Study.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Contextual Risk Analysis for Interview Design.

[BibT_eX]

[DOI]

Tira Cohene

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Traceability in viewpoint merging: a model management perspective.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Traceability in Emerging Forms of Software Engineering, 2005

Introduction to doctoral symposium.

[BibT_eX]

[DOI]

Sebastián Uchitel

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

A Category-theoretic Approach to Syntactic Software Merging.

[BibT_eX]

[DOI]

Nan Niu

Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

Experience in using business scenarios to assess COTS components in integrated solutions.

[BibT_eX]

[DOI]

Sharon F. Lymer

WenQian Liu

Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative Research, 2005

2004

Report on the First International Workshop on Comparative Evaluation in Requirements Engineering.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2004

2003

Multi-valued symbolic model-checking.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2003

Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Using Benchmarking to Advance Research: A Challenge to Software Engineering.

[BibT_eX]

[DOI]

Susan Elliott Sim

Richard C. Holt

Proceedings of the 25th International Conference on Software Engineering, 2003

Eliciting Architectural Decisions from Requirements using a Rule-based Framework.

[BibT_eX]

[DOI]

WenQian Liu

Christopher D. Thompson-Walsh

Proceedings of the ICSE 2003, 2003

\chiChek: A Model Checker for Multi-Valued Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Engineering, 2003

2002

Guest Editorial: Special Issue on Model Checking in Requirements Engineering.

[BibT_eX]

[DOI]

Requir. Eng., 2002

On Using a Benchmark to Evaluate C++ Extractors.

[BibT_eX]

[DOI]

Susan Elliott Sim

Richard C. Holt

Proceedings of the 10th International Workshop on Program Comprehension (IWPC 2002), 2002

2001

2nd international workshop on living with inconsistency (IWLWI01).

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2001

Making inconsistency respectable in software development.

[BibT_eX]

[DOI]

Alessandra Russo

J. Syst. Softw., 2001

Implementing a Multi-valued Symbolic Model Checker.

[BibT_eX]

[DOI]

Benet Devereux

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Model Checking with Multi-Valued Temporal Logics.

[BibT_eX]

[DOI]

Benet Devereux

Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

2nd International Workshop on Living with Inconsistency.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Software Engineering, 2001

A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Software Engineering, 2001

Model-Checking over Multi-valued Logics.

[BibT_eX]

[DOI]

Victor Petrovykh

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

Efficient Multiple-Valued Model-Checking Using Lattice Representations.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2001, 2001

2000

Leveraging Inconsistency in Software Development.

[BibT_eX]

[DOI]

Alessandra Russo

Computer, 2000

Requirements engineering: a roadmap.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999

Formal Modeling of Space Shuttle Software Change Requests using SCR.

[BibT_eX]

[DOI]

Virginie Wiels

Proceedings of the 4th IEEE International Symposium on Requirements Engineering (RE '99), 1999

An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Symposium on Requirements Engineering (RE '99), 1999

How Multi-Disciplinary Is RE (really)?

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Symposium on Requirements Engineering (RE '99), 1999

Verification and Validation of Requirements for Mission Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Conference on Software Engineering, 1999

Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems.

[BibT_eX]

[DOI]

Diego Del Gobbo

Bojan Cukic

Marcello R. Napolitano

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

The Process of Inconsistency Management: A Framework for Understanding.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999

1998

Experiences Using Lightweight Formal Methods for Requirements Modeling.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1998

Formal methods for verification and validation of partial specifications: A case study.

[BibT_eX]

[DOI]

J. Syst. Softw., 1998

Management of Evolving Specifications using Category Theory.

[BibT_eX]

[DOI]

Virginie Wiels

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

V & V through Inconsistency Tracking and Analysis.

[BibT_eX]

[DOI]

Virginie Wiels

Proceedings of the 9th International Workshop on Software Specification and Design, 1998

Validating Requirements for Fault Tolerant Systems using Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Requirements Engineering (ICRE '98), 1998

1997

Formal Methods for V&V of Partial Specifications: An Experience RSeport.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

1996

Using ViewPoints for inconsistency management.

[BibT_eX]

[DOI]

Softw. Eng. J., 1996

Independent validation of specifications: a coordination headache.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Enabling Technologies, 1996

Learning from Inconsistency.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Software Specification and Design, 1996

1995

Managing inconsistencies in an evolving specification.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Symposium on Requirements Engineering, March 27, 1995

Coordination breakdowns: why groupware is so difficult to design.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

1993

Domain modelling with hierarchies of alternative viewpoints.

[BibT_eX]

[DOI]

Proceedings of IEEE International Symposium on Requirements Engineering, 1993

1992

<i>A new guide to artificial intelligence</i> by Derek Partridge, Ablex, NJ, 1991, pp 546, £19.95. ISBN 0-89391-607-2.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 1992

PMI: Knowledge Eliciation and De Bono's Thinking Tools.

[BibT_eX]

[DOI]

M.-M. Portman

Proceedings of the Current Developments in Knowledge Acquisition, 1992

1991

Elicitation of requirements from multiple perspectives.

[BibT_eX]

[DOI]