Previous Next GDPA Homepage  
Publications- C  

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Contents  
  • Process Technologies
  • Software Engineering
  • Formal Methods

    • Process Technologies

    Id. Title
    /Cagan, 1990/ The HP Softbench Environment: An Architecture for a New Generation of Software Tools
    /Caliò, 2000/ Software Process Improvement by Object Technology (ESSI PIE 27785 - SPOT)
    /Callender, 1985/ A meta-model for the software processes
    /Calzolari, 1999/ Improving the Requirements Definitions: The RESPECT project
    /Campbell, 1984/ RECIPE: Requirements for an evolutionary computer-based information processing environment
    /Canals, 1994/ ALF: A Framework for Building Process-Centred Software Engineering Environments
    /Canos, 1999/ From Software Process to Workflow Process: the Workflow Life Cycle
    /Cardeñosa, 1999/ Quality Plan Recommendations for Temporal Consortiums
    /Cardino, 1999/ Tailoring Process Improvement to Small Companies using Methodology Focused on the Individuals
    /Carr, 1995/ Experiments in Process Interface Descriptions, Visualizations and Analyses
    /Cass, 2000/ Little-JIL/Juliette: A Process Definition Language and Interpreter
    /Cass Ann, 2000/ SPICE for Space: Creating an Assessment method for space software projects
    /Cattaneo, 1995/ An experience in process assessment
    /Cattaneo, 2000/ Managing Software Artifacts on the Web with Labyrinth
    /CCITT, 1985/ CCITT Annexes to Recommendations Z
    /Champine, 1991/ A Visual User-Interface for the HP-UX and Domain Operating Systems
    /Chan, 1999/ Decoupling Synchronization from Logic Control for Efficient Symbolic Model Checking of Statecharts
    /Chang, 1999/ Structural Specification-based Testing: Automated Support and Experimental Evaluation
    /Chatters, 1999a/ Modelling a Software Evolution Process
    /Chatters, 1999b/ An Experiment to Improve Cost Estimation and Project Tracking for Software and Systems Integration Projects
    /Cheatham, 1988/ Activity coordination programs
    /Cheatham, 1989/ Process programming and process models
    /Cheatham, 1990/ The E-L system support for process programs
    /Chiriatti, 1999/ Improvement of Maintenance Process using Case Tools
    /Christiansen, 2000/ Sofware Quality Management and Software Process Improvement in Denmark
    /Christie, 1996/ A Reference Model for Process Technology
    /Christie, 1997/ Software Process Automation: Interviews, Survey and Workshop Results
    /Chroust, 1986/ Backtracking in software process model
    /Chroust, 1988/ Duplicate instances of elements of a software process model
    /Chroust, 1992/ Modelle der Software-Entwicklung
    /Chroust, 1994/ Navigation in Process Models
    /Chroust, 1995/ Interpretable Process Models for Software Development and Workflow
    /Chroust, 1997/ Vorgehensmodell versus CASE-Tool-Umgebungen: Freund oder Feind?
    /Chroust, 1998/ Werkzeugunterstützung beim Einsatz von Vorgehensmodelle
    /Chroust, 1999b/ Software Process Capability in Europe - A Survey
    /Cignoni, 2000/ Software Process Technologies and the Competitiveness Challenge
    /Cignoni, 1999/ Rapid Software Process Assessment to promote Innovation in SMEs
    /Cimpan, 1998/ Fuzzy indicators for monitoring software processes
    /Cissé, 1996/ Requirements Engineering Process as an Emergent Process
    /CMM, 1995/ The Capability Maturity Model: Guidelines for Improving the Software Process
    /Cobleigh, 1999/ Verifying Properties of Process Definitions
    /Cockburn, 2000 Selecting a Project 's Methodology
    /Cohen, 1990/ A logical framework for cooperative software development
    /Coleman, 1994/ Object-Oriented Development - The Fusion Method
    /Coleman G., 2000/ A Tool to Support the Capture of individual Process Data
    /Conradi, 1990/ EPOS PM: planning and execution
    /Conradi, 1991/ Process Modeling Paradigms: An Evaluation
    /Conradi, 1992a/ Towards a Reference Framework for Fundamental (Software) Process Concepts
    /Conradi, 1992b/ Design, Use, and Implementation of SPELL, a Language for Software Process Modeling and Evolution
    /Conradi, 1993a/ Variability of Process Models and Processes, and the EPOS Solution
    /Conradi, 1993b/ Customization and Evolution of Process Models in EPOS
    /Conradi, 1993c/ Resume from Session on Process Change
    /Conradi, 1994a/ A Comparison of Modelling Frameworks for Software Processes and Information Systems
    /Conradi, 1994b/ Concepts for Evolving Software Process
    /Conradi, 1994c/ EPOS: Object-Oriented and Cooperative Process Modelling
    /Conradi, 1995a/ PSEE Architecture: EPOS process models and tools
    /Conradi, 1995b/ Process Modelling Languages: One or Many
    /Conradi, 1996/ SPIQ: A Revised Agenda for Software Process Support
    /Conradi, 1998a/ Planning Support to Software Process Evolution
    /Conradi, 1998b/ Six theses on software process research
    /Conradi, 1999a/ Empirical Studies of Inspection and Test Data
    /Cook, 1994/ Toward Metrics for Process Validation
    /Cook, 1994b/ Lowering the entry barrier and raising the confidence in large process models
    /Cook, 1995/ Automating Process Discovery through Event-Data Analysis
    /Cook, 1998a/ Balboa: A Framework for Event-Based Process Data Analysis
    /Cook, 1998b/ Event-Basis Detection of Concurrency
    /Cook, 1999/ Highly Reliable Upgrading of Components
    /Crnkovic, 1999/ Processing Requirement by Software Configuration Management
    /Cugola, 1995/ How to Deal With Deviations During Process Model Enactment
    /Cugola, 1995/ How to Deal With Deviations During Process Model Enactment
    /Culver-Lozo, 1991/ A process definition methodology for software development organization
    /Culver-Lozo, 1991a/ ISPW-7 Software Process Example: Solution
    /Culver-Lozo, 1993a/ Transferring a process model to a software development organization: a case study
    /Culver-Lozo, 1994/ Rapid Iteration in Software Process Improvement: Experience Report
    /Culver-Lozo, 1994b/ The software process from the developer's perspective: a case study on improving process usability
    /Cunin, 2000/ The PIE Project: An Introduction
    /Curtis, 1986/ Models of iteration in software development
    /Curtis, 1987/ Panel: On Building Software Process Models Under the Lamppost
    /Curtis, 1989/ Studying the process of software design teams
    /Curtis, 1992/ Process Modelling
    /Curtis, 1998/ Which comes first, the organization or its processes?
    /Curtis, 2000/ From MCC to CMM: Technology Transfer Wars Lost and Won
    /Curtis, 2000a/ The Global Pursuit of Process Maturity (Guest Editor's Introduction)

    Software Engineering

    Id. Title
    /Cardeñosa, 1999/ Quality Plan Recommendations for Temporal Consortiums
    /Cargill, 1999a/ Consortia and the Evolution of Information Technology Standardization
    /Cargill, 1999b/ A Proposal for a Web Based Standardization Process
    /Carr, 1989/ System dynamics models of software development
    /Cattaneo, 2000/ Managing Software Artifacts on the Web with Labyrinth
    /CCITT, 1985/ CCITT Annexes to Recommendations Z
    /Champine, 1991/ A Visual User-Interface for the HP-UX and Domain Operating Systems
    /Chang, 1999/ Structural Specification-based Testing: Automated Support and Experimental Evaluation
    /Chatters, 1999b/ An Experiment to Improve Cost Estimation and Project Tracking for Software and Systems Integration Projects
    /Chen, 1976/ The entity relationship model: Toward a undified view of data
    /Chen E., 1981/ Use of Cluster Analysis to Evaluate Software Engineering Methodologies
    /Cherrie, 1985/ The role of validation in software development
    /Chmiel, 2000/ An Integrated Cost Model for Software Reuse
    /Choh, 1999a/ Governance Mechanisms of Standard-Making in the Information Technology
    /Choh, 1999b/ Innovation and Standardization in Technological Trejectories : A Schumpeterian Perspective and Three Models of Standardization in the Information Technology Industry
    /Chroust, 1999/ Software Inspections - Theory, New approaches and an Experiment
    /Churchill, 1999/ Virtual Environments at Work: ongoing use of MUDs in the Workspace
    /Cignoni, 1999/ Rapid Software Process Assessment to promote Innovation in SMEs
    /Clemm, 1988/ The Workshop System: A Practical Knowledge-Based Software Environment
    /Coda, 1998/ Towards a Software Engineering Approach to Web Site Development
    /Cohen, 1990/ A logical framework for cooperative software development
    /Colyer, 2000/ From Research to Reward: Challenges in Technology Transfer
    /Conradi, 2000/ Software Experience Bases: A Consolidated Evaluation and Status Report
    /Conradi, 1991a/ The EPOS Approach to the ISPW/ Software Process Modeling Example Problem
    /Conklin, 1986/ Beyond macro-iteration: an organic model of system design
    /Coppit, 2000/ Multiple Mass Market Applications as Components
    /Coppit, 2000a/ Galileo: A Tool Built from Mass-Market Applications
    /Crnkovic, 1999/ Processing Requirement by Software Configuration Management
    /Cubranic, 1999/ Open-Source Software Development
    /CTWS-LDT, 1993/ Construction Team Workstation Layout Design Tool LDT - User's Guide
    /CTWS-MDD, 1993/ Construction Team Workstation Maestro Database Designer - User's Guide
    /CTWS-PDT, 1993/ Construction Team Workstation Program Design Tool PDT - User's Guide

    Formal Methods

    Id. Title
    /CCITT, 1985/ CCITT Annexes to Recommendations Z
    /Chan, 1999/ Decoupling Synchronization from Logic Control for Efficient Symbolic Model Checking of Statecharts
    /Choi, 1995a/ The Specification and Schedulability Analysis of Real-Time Systems using ACSR
    /Corbett, 2000/ Bandera: Extracting Finite-State Models from Java Source Code
    /Corbett, 2000a Bandera: A Source-level Interface for Model Checking Java Programs
    /Craigen, 1995/ Formal Methods Technology Transfer: Impediments and Innovation
    /CTWS-LDT, 1993/ Construction Team Workstation Layout Design Tool LDT - User's Guide

    This page online  •  GDPA Online  •  Last Updated 16.Jun.2006 by C. Freericks