Automating the Transformational Development of Software

No abstract is available for this paper.

• Publication year

  1985

• Venue

  IEEE Transactions on Software Engineering

• Publication date

  1985-11-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/TSE.1985.231878
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Automating the transformational development of software

  1987cited by this paper
• Implementing Specification Freedoms

  1986cited by this paper
• Knowledge-based programming self applied

  1986cited by this paper
• Program developments: formal explanations of implementations

  1983cited by this paper
• Program Transformation Systems

  1983cited by this paper
• A System for Assisting Program Transformation

  1982influential reference
• Transformational Implementation: An Example

  1981cited by this paper
• Program refinement by transformation

  1981cited by this paper
• The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis

  1981cited by this paper
• The Design and an Example Use of Hearsay-III

  1981cited by this paper
• Automatic Goal-Directed Program Transformation

  1980cited by this paper
• Building program models incrementally from informal descriptions

  1979cited by this paper
• Efficiency considerations in program synthesis : a knowledge-based approach

  1979cited by this paper
• Knowledge-based program construction

  1979cited by this paper

• Automating Systems Development

  2011cites this paper
• Wrapper-based evolution of legacy information systems

  2006cites this paper
• The Transformational Approach to Database Engineering

  2005cites this paper
• Transformation-Based Database Engineering

  2005cites this paper
• Database reverse engineering: From requirements to CARE tools

  2004cites this paper
• A new architecture for transformation-based generators

  2004cites this paper
• Requirements interaction management

  2003influential citation
• Program schemas as proof methods.

  2003cites this paper
• j; ',,1,;;..+ ".-f

  2003cites this paper
• A New Architecture for Transformation-Based Generators 1

  2002cites this paper
• The TOBIAS test generator and its adaptation to some ASE challenges Position paper for the ASE Irvine Workshop

  2002cites this paper
• Proceedings of the 2002 Workshop on the State of the Art in Automated Software Engineering

  2002cites this paper
• Achievements and Prospects of Program Synthesis

  2002cites this paper
• Lightweight inference for automation efficiency

  2002cites this paper
• A theory and architecture for automating performance diagnosis

  2001cites this paper
• Management of Performance Requirements for Information Systems

  2000cites this paper
• Non-Functional Requirements in Software Engineering

  2000cites this paper
• NFR-Assistant: tool support for achieving quality

  1999cites this paper
• Pre-processing COBOL programs for reverse engineering in a software maintenance tool

  1999cites this paper
• Design recovery through formal specification

  1998cites this paper
• A Generative Approach To Componentware

  1998cites this paper
• Speci ® cations in software prototyping 1

  1998cites this paper
• Building Quality into Case-Based Reasoning Systems

  1998cites this paper
• Specifications in software prototyping

  1998cites this paper
• An Architectural Framework for Domain-Oriented Software Generators

  1998cites this paper
• A CASE TOOL FOR THE NON-FUNCTIONAL REQUIREMENTS FRAMEWORK

  1998cites this paper
• Recombining changes to software specifications

  1998cites this paper
• Recombining changes to software speci ® cations 1

  1998cites this paper
• Managing performance requirements for information systems

  1998cites this paper
• Software Reuse: Principles, Patterns, Prospects

  1997cites this paper
• Reusing Analogous Components

  1997cites this paper
• Model-Based Automatic Generation of Sequence-Control Programs from Design Information

  1997cites this paper
• Reverse Engineering and Reusing COBOL Programs: A Program Transformation Approach

  1997cites this paper
• Merging Changes to Software Specifications

  1997cites this paper
• Formal Methods and Prototyping

  1997cites this paper
• Knowledge Controlled Version Selection in Software Connguration Management

  1996cites this paper
• Software evolution in prototyping

  1996cites this paper
• Using programming expertise for controlling software synthesis

  1996cites this paper
• Database Design Recovery

  1996cites this paper
• Specification Preservation in Schema Transformations - Application to Semantics and Statistics

  1996cites this paper
• Requirements for information system reverse engineering support

  1995cites this paper
• ON ANALOGY FOR SOFTWARE REUSE: A PERSPECTIVE FROM CYBERNETICS

  1995cites this paper
• Phasenübergreifende Software-Entwicklung mit Hilfe eines Transformations-Expertensystems

  1995cites this paper
• Capturing and automating performance diagnosis: the Poirot approach

  1995cites this paper
• Software reuse issues and perspectives

  1994cites this paper
• Planning-based visual programming for sequence control

  1994influential citation
• Acquiring data designs from existing data-intensive programs

  1994cites this paper
• An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems

  1994cites this paper
• Database Evolution: the DB-Main Approach

  1994cites this paper
• A knowledge-based framework for automated software synthesis

  1994cites this paper
• Inverse-engineering a simple real-time program

  1994cites this paper
• Using Transformations in Specification-Based Prototyping

  1993cites this paper
• Toward tools to support the Gries/Dijkstra design process

  1993cites this paper
• Abstracting a Speciication from Code

  1993cites this paper
• Knowledge Representation and Reasoning in the Design of Composite Systems

  1992cites this paper
• Simulating the Gries/Dijkstra design process

  1992cites this paper
• Software Engineering in the Twenty-First

  1992cites this paper
• Computer-aided software engineering standards and integration

  1992cites this paper
• Software Engineering in the Twenty-First Century

  1992cites this paper
• Strategies for machine instruction transformation in an expert system

  1992cites this paper
• Representing and Using Nonfunctional Requirements: A Process-Oriented Approach

  1992cites this paper
• Automatic Programming for Sequence Control

  1992cites this paper
• KBMS: A Knowledge-Based System for Modeling Software System Specifications

  1992cites this paper
• Software reuse

  1992cites this paper
• Transformational approach to software design

  1992cites this paper
• An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems

  1991cites this paper
• Decision-based software development

  1991cites this paper
• Composite System Design: The Good News And The Bad News

  1991cites this paper
• Re-affirming support for a transformational approach to software development: theory and practice

  1991cites this paper
• Proof Of Program Transformations

  1991cites this paper
• KIDS - A Knowledge-Based Software Development System

  1991cites this paper
• KBRAS: Knowledge-based Requirements Acquisition System

  1991cites this paper
• From information system requirements to designs: a mapping framework

  1991cites this paper
• A knowledge representation for model-based high-level specification

  1991cites this paper
• The supporting environment for a reverse engineering system-the Maintainer's Assistant

  1991cites this paper
• A process model for decision based software development

  1991cites this paper
• Program Improvement by Automatic Redistribution of Intermediate Results

  1991cites this paper
• APU: an automatic programmer for UNIX

  1990cites this paper
• An inversion capability for the PRESTIGE workbench: some basic issues

  1990cites this paper
• KIDS: A Semiautomatic Program Development System

  1990cites this paper
• An introduction to the WSL program transformer

  1990cites this paper
• Decision-based-support-paradigm: a new method to structure source code

  1990cites this paper
• Model-based automatic programming for plant control

  1990cites this paper
• An object-oriented framework to support architectural design development

  1990cites this paper
• Towards a framework for normative software engineering research

  1989cites this paper
• Draco: a method for engineering reusable software systems

  1989cites this paper
• Planning by transformational synthesis

  1989cites this paper
• A knowledge-base environment for the development of software parts composition systems

  1989cites this paper
• Constructing Specifications by Combining Parallel Elaborations

  1989cites this paper
• Prototyping conceptual models of real-time systems: a visual perspective

  1989cites this paper
• ABSTRACTION-BASED REUSE REPOSITORIES

  1989cites this paper
• eing Suspicious: Criti uing Problem Specifications

  1988cites this paper
• Being Suspicious: Critiquing Problem Specifications

  1988cites this paper
• A planner for the automation of programming environment tasks

  1988cites this paper
• The software process model

  1988cites this paper
• A model of the mechanical design process based on empirical data

  1988cites this paper
• A plan-based intelligent assistant that supports the software development

  1988cites this paper
• Models of software development environments

  1988cites this paper
• Towards a software maintenance support environment

  1988cites this paper
• Designing a Method Driven Software Development Environment

  1988cites this paper