Reusing specifications through refinement levels (original) (raw)

From requirements to specifications

Zhi Li

Proceedings of the 2006 international workshop on Advances and applications of problem frames - IWAAPF '06, 2006

View PDFchevron_right

Specification Language

Bertrand Meyer

1980

View PDFchevron_right

Managing the Evolution of Service Specifications

Mike P Papazoglou

Lecture Notes in Computer Science

View PDFchevron_right

Repurposing Design Process

Erin Irick

Sustainable Textiles, 2020

View PDFchevron_right

Composition of Default Specifications

Sofia Guerra

Journal of Logic and Computation, 2001

View PDFchevron_right

Software architecture constraint reuse-by-composition

Christophe Dony

Future Generation Computer Systems, 2016

View PDFchevron_right

Requirements Engineering

Donald Firesmith

The Journal of Object Technology, 2002

View PDFchevron_right

Requirements-driven software evolution

Konstantinos Angelopoulos

Computer Science - Research and Development, 2012

View PDFchevron_right

Open Issues in Requirements Modeling for Reuse

José Pedro Carvalho Marques

2002

View PDFchevron_right

Harmonising the definition of refinement

Hannah Buchanan-Smith

Animal …, 2005

View PDFchevron_right

Requirements analysis document

Abdulrahman Azab

2016

View PDFchevron_right

Variability inspired implementation selection problem

Vishal Khandelwal

IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004.

View PDFchevron_right

Standards for new approaches

Christiaan Lemmen

View PDFchevron_right

Refactoring with Contracts

Shmuel Tyszberowicz

AGILE 2006 (AGILE'06)

View PDFchevron_right

Use case specification at different levels of abstraction

Saša Lazarević

Proceedings - 2012 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012, 2012

View PDFchevron_right

Alternating refinement relations

Moshe Vardi

Lecture Notes in Computer Science, 1998

View PDFchevron_right

Design ware: Software Development by Refinement

Doug Smith

Electronic Notes in Theoretical Computer Science, 1999

View PDFchevron_right

Utility-App: Specification Requirements Document

adelaide Ntuli

2019

View PDFchevron_right

Refinement-Preserving Plug-In Components

Jane Sinclair

Electronic Notes in Theoretical Computer Science, 2001

View PDFchevron_right

Responding to the Challenge of New Standards

Gail Richmond

Journal of Teacher Education, 2017

View PDFchevron_right

Development at the Crossroad (Once Again)

Gay Seidman

Sociologica, 2010

View PDFchevron_right

Requirements Processes: An Experience Report

Alejandro Toro

View PDFchevron_right

Challenges in software evolution

Mehdi Jazayeri

International Workshop on Principles of Software Evolution (IWPSE), 2005

View PDFchevron_right

Realizability of Service Specifications

Mohammad Hammouri

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018

View PDFchevron_right

Theory Change

Quentin Ruyant

Synthese Library

View PDFchevron_right

Constraints: The core of product line engineering

Daniel Gomez Diaz

RCIS 2011, 5th IEEE International Conference on Research Challenges in Information Science,, 2011

View PDFchevron_right

Automated Improvement for Component Reuse

Muthu Ramachandran

Software Process: Improvement and Practice, 2006

View PDFchevron_right

Chapter 5.2. Process research

Maureen Ehrensberger-Dow (retired)

A History of Modern Translation Knowledge, 2018

View PDFchevron_right

Changes, Evolution, and Bugs

Per Runeson

Springer eBooks, 2013

View PDFchevron_right

Abstract 23

Firuz Feturi

Plastic and Reconstructive Surgery - Global Open, 2017

View PDFchevron_right

Perspicuity and Granularity in Refinement

Eerke Boiten

2011

View PDFchevron_right

Representing refactoring opportunities

Ana Moreira

Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09, 2009

View PDFchevron_right

Interim Design Report

Roman Samulyak

2011

View PDFchevron_right

Foundations for a Combination of Heterogeneous Specification Components

J. Christian Attiogbé

Electronic Notes in Theoretical Computer Science, 2002

View PDFchevron_right

C.R.U.I.S.E - Component Reuse in Software Engineering

Vinicius Garcia

View PDFchevron_right