Previous Next GDPA Homepage  
Publications - B  

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
    /Bach, 1995/ Enough About Process: What We Need are Heroes
    /Baldi, 1994a/ E3: Object Oriented Software Process Model Design
    /Baldi, 1994b/ Searching for PMIPS: Process Model Instructions Per Second
    /Balzer, 1990/ What we do and don't know about the software process
    /Balzer, 1991/ Process Virtual Machine
    /Balzer, 1993/ Mechanism for Generic Process Support
    /Balzer, 1993b/ Generic process support
    /Balzer, 1994a/ Process definition formalism maturity levels
    /Balzer, 2000/ Process Technology Research Challenges
    /Banâtre, 1979/ Language Features for Description of Cooperating Processes
    /Bandinelli, 1991/ A Multi-Paradigm Petri-Net Based Approach to Process Description
    /Bandinelli, 1991b/ Software Processes as Real-Time Systems: A Case Study using High-level Petri Nets
    /Bandinelli, 1991c/ SLANG Solution for the ISPW-7 Software Process Example
    /Bandinelli, 1992/ Process Enactment in SPADE
    /Bandinelli, 1993/ Computational Reflection in Software Process Modeling: The SLANG Approach
    /Bandinelli, 1993a/ Modelling-in-the-large with SLANG
    /Bandinelli, 1993b/ Requirements and Early Experiences in the Implementation of the SPADE Repository
    /Bandinelli, 1993c/ Software Process Model Evolution in the SPADE Environment
    /Bandinelli, 1994a/ Policies and Mechanisms to Support Process Evolution in PSEEs
    /Bandinelli, 1994b/ Coupled vs. De-coupled User Interfaces in PSEE's
    /Bandinelli, 1994c/ The Architecture of the SPADE-1 Process-Centered SEE
    /Bandinelli, 1994d/ SPADE: An Environment for Software Process Analysis, Design and Enactment
    /Bandinelli, 1994e/ Combining control and data integration in the SPADE-1 process-centered software engineering environment
    /Bandinelli, 1996/ Supporting cooperation in the SPADE-1 Environment
    /Bang, 2000/ CMM Improvements in the fast lane
    /Baresi, 1999/ WIDE Workflow Development Methodology
    /Barghouti, 1991/ Concurrency control in rule-based process-centered environments
    /Barghouti, 1992/ Supporting Cooperation in the Marvel Process-Centered SDE
    /Barghouti, 1993a/ An open environment for process modelling and enactment
    /Barghouti, 1994/ A Case Study in Modeling a Human-Intensive, Corporate Software Process
    /Barghouti, 1994b/ Separating process model enactment from process execution in Provence
    /Barghouti, 1995/ Using Event Contexts and Matching Constraints to Monitor Software Processes
    /Barghouti, 1996/ Information Management in Process-Centered Software Engineering Environments
    /Barkow, 1989/ Begriffliche Grundlagen für die frühen Phasen der Software Entwicklung
    /Basile, 1996/ Mechanisms and Policies for Federated PSEE's: Basics Concepts and Open Issues
    /Basili, 1984/ A methodology for collecting valid software engineering data
    /Basili, 1987/ Tailoring the Software Process to Project Goals and Environments
    /Basili, 1992/ Software modeling and measurement: The Goal/Question/Metric paradigm
    /Basili, 1993/ The experience factory and its relationship to other improvement paradigms
    /Basili, 2000/ Experimental Software Engineering
    /Basili F., 2000/ Intranet as a vehicule and a platform for Process Improvement
    /Batini, 1992/ Conceptual Database Design
    /Bauer, 1976/ Programming as an Evolutionary Process
    /Baumgarten, 1990/ Petri-Netze, Grundlagen und Anwendungen
    /Bayer, 1999/ Transitioning Legacy Assets to a Product Line Architecture
    /Bayias, 1999/ The Requirements Engineering Process of OASIS: An Industrial Case Study
    /BDI, 1990/ Rahmenvereinbarung zum Daten- und Kostenmeldeverfahren
    /Becattini, 1999/ Exploiting MOOs to Support Multiple Views for Software Process Support
    /Becker-Kornstaedt, 1997a/ Das Werkzeug MoST zur Entwicklung von Prozeßmodellen
    /Becker-Kornstaedt, 1997b/ Descriptive Modeling of Software Processes
    /Becker-Kornstaedt, 1997c/ MVP-E: A Process Modeling Environment
    /Becker-Kornstaedt, 1998/ The SPEARMINT Approach to Software Process Definition and Process Guidance
    /Becker-Kornstaedt, 1999a/ Der V-Modell Guide: Web-basierte Unterstützung eines Prozeß-Standards
    /Becker-Kornstaedt, 1999b/ Support for the Process Engineer: The Spearmint Approach to Software Process Definition and Process Guidance
    /Becker-Kornstaedt, 2000/ Descriptive Process Modelling in an Industrial Environment: Experience and Guidelines
    /Bedini, 2000/ SPICE in Ecuador: A case study
    /Beims, 1996/ Software Process in a Dynamic Business Environment
    /Beitz, 2000/ Applying Benchmarking to Learn from Best Practices
    /Belkhatir, 1991a/ Adele 2: A Support to Large Software Development Process
    /Belkhatir, 1991b/ Activity coordination in Adele: a software production kernel
    /Belkhatir, 1991c/ Adele 2: An Approach to Software Development coordination
    /Belkhatir, 1991d/ Software Process Modeling in ADELE: The ISPW-7 Example
    /Belkhatir, 1992/ The Object Role Software Process Model
    /Belkhatir, 1993a/ TEMPO: enhancing paradigm for modelling software engineering processes
    /Belkhatir, 1994/ The ADELE/TEMPO: An Environment to Support Process Modelling and Enaction
    /Belkhatir, 1994b/ The need for a cooperative model: the adele/ tempo experience
    /Ben-Shaul, 1992/ An Architecture for Multi-User Software Development Environments
    /Ben-Shaul, 1994/ A Paradigm for Decentralized Process Modeling and Its Realization in the Oz Environment
    /Ben-Shaul, 1994a/ Integrating groupware and process technologies in the Oz environment
    /Ben-Shaul, 1995/ An Interoperability Model for Process-Centered Software Engineering Environments and its Implementation in Oz
    /Ben-Shaul, 1996/ A 3-level Atomicity Model for Decentralized Process-Centered Software Engineering Environments
    /Benali, 1992/ Software Process Modelling: What, Who and When
    /Bendeck, 1998/ Coordinating Management Activities in Distribuited Software Development Projects
    /Bendifallah, 1989/ Work Structures and Shifts: An Empirical Analysis of Software Specification Teamwork
    /Benedicenti, 1999/ An Experience Report on Decoding, Monitoring, and Controlling the Software Process
    /Benington, 1956/ Production of Large Computer Programs
    /Bentley, 1985/ The role of performance in the software process
    /Bergner, 1998/ A Componentware Methodology Based on Process Patterns
    /Bernard Y., 1989/ A Process-Oriented Approach to Configuration Management
    /Berrington, 1995/ Distribution and Change: Investigating Two Challenges for Process Enactment Systems
    /Beydeda, 2000/ Advanced Services for Process Evolution: Monitoring and Decision Support
    /Bhandari, 1993/ Post-Process Feedback With and Without Attribute Focusing: A Comparative Evaluation
    /Bicego, 1999/ A Product focused Process Improvement: Experiences of Applying the PROFES Improvement Methodology at Dräger
    /Biffl, 1999/ Zur passenden Anwendung von Vorgehensmodellen bei kleinen und mittelgroßen Software-Entwicklungsbetrieben
    /Birk, 1999a/ A Validation Approach for Product-Focused Process Improvement
    /Biro, 2000/ The Perception of Quality Based on Different Cultural Value Systems
    /Blanco, 2001/ SPI Patterns: Learning from Experience
    /Blum, 1985/ Thoughts on the software process
    /Boehm, 1987/ Software Process Management: Lessons Learned from History
    /Boehm, 1988a/ A spiral model of software development and enhancement
    /Boehm, 1988b/ Applying process programming to the spiral model
    /Boehm, 1989a/ Experience with the spiral model as a process model generator
    /Boehm, 1994a/ A Collaborative Spiral Software Process Model Based on Theory W
    /Boehm, 1994b/ Humans and process frameworks: some critical process elements
    /Boehm, 1996/ Anchoring the Software Process
    /Boehm, 1998a/ WinWin Requirements Negotiation Processes: A Multi-Project Analysis
    /Bolcer, 1996/ Endearvors: A Process System Integration Infrastructure
    /Bolcer, 1999/ SWAP: Leveraging the Web to Manage Workflow
    /Bonfatti, 1997/ An Improved Process for the Development of PLC Software (Experience Report)
    /Booch, 1997/ Unified Modeling Language, Version 1.0
    /Borchers, 1998/ Vorgehensmodelle für das Software Reengineering
    /Borgida, 1999/ Tolerating Exceptions in Workflows: A Unified Framework for Data and Processes
    /Bourdon, 1992/ Impact of the Supported Coordination Levels on Process Modelling
    /Bourdon, 1993/ Building process models using PROCESS WEAVER: A progressive approach
    /Bradac, 1993/ Prototyping a Process Monitoring Experiment
    /Briand, 1998/ Q-MOPP: Qualitative evaluation of Maintenance Organizations, Processes, and Products
    /Brinkkemper, 1995/ Configuration of Situational Process Models: an Information Systems Engineering Perspective
    /Brodman, 1994/ What Small Business and Small Organizations Say About the CMM: Experience Report
    /Bröhl, 1995/ Das V-Modell: Der Standard für die Softwareentwicklung mit Praxisleitfaden
    /Broy, 1998/ Enriching the Software Development Process by Formal Methods
    /Bruckhaus, 1994/ TIM: A Tool Insertion Method
    /Bruttel, 2000/ Projektübergreifende, ressourcenabhängige, modellbasierte, iterative Projektplanung
    /Bruynooghe, 1991/ PSS: A System for Process Enactment
    /Bruynooghe, 1994/ PADM: Towards a Total Process Modelling System
    /Bunn, 1994/ Step Towards LIGHT - LIfe cycle Global HyperText
    /Busch M., 1991/ Process Assessments in NASA
    /Bussler, 1999/ Extension Architecture for Workflow Management

    Software Engineering

    Id. Title
    /Bailey, 1981/ A Meta-Model for Software Development Resource Expenditures
    /Baker, 2000/ The Making of Orbix and the iPortal Suite
    /Balk, 2000/ PPT: A COTS Integration Case Study
    /Ball, 1999/ The Concept of Dynamic Analysis
    /Ballman, 1994/ Organizational Congestion in Large-Scale Software Development
    /Balzer, 1984/ Software technology in the 1990's: using a new paradigm
    /Balzer, 1985/ Program enhancement
    /Balzer, 1989a/ Tolerating inconsistency
    /Balzert, 1977/ Systementwicklung, hierarchische Strukturen, Modularisierung, Datenabstraktion
    /Balzert, 1982/ Die Entwicklung von Softwaresystemen: Prinzipien, Methoden, Sprachen, Werkzeuge
    /Balzert, 1996/ Lehrbuch der Software Technik - Software-Entwicklung
    /Balzert, 1998/ Lehrbuch der Software Technik - Software-Management, Software Qualitätssicherung, Unternehmensmodellierung
    /Barkow, 1989/ Begriffliche Grundlagen für die frühen Phasen der Software Entwicklung
    /Basili, 1984/ A methodology for collecting valid software engineering data
    /Basili, 1993/ The experience factory and its relationship to other improvement paradigms
    /Basili, 2000/ Experimental Software Engineering
    /Batini, 1992/ Conceptual Database Design
    /BDI, 1990/ Rahmenvereinbarung zum Daten- und Kostenmeldeverfahren
    /Ben-Shaul, 1992/ An Architecture for Multi-User Software Development Environments
    /Bendeck, 1998/ Coordinating Management Activities in Distribuited Software Development Projects
    /Bendifallah, 1989/ Work Structures and Shifts: An Empirical Analysis of Software Specification Teamwork
    /Benington, 1956/ Production of Large Computer Programs
    /Benlarbi, 1999/ Polymorphism Measures for Early Risk Prediction
    /Bennett, 2000/ Software Maintenance and Evolution: A Roadmap
    /Berchtold, 1999/ SaveMe: A System for Archiving Electronic Documents Using Messaging Groupware
    /Berg, 1973/ Netzplantechnik - Grundlagen - Methoden - Praxis
    /Bernard, 1999/ Application and Impact of a Safety Integrity Level Based Standards on a Software Test Approach
    /Bernemann, 1999/ Using Estimation and Measurement to Improve Project Management
    /Bertolino, 2000/ Deriving Test Plans from Architectural Descriptions
    /Birbilis, 2000/ E-Slate: A software architectural style for end-user
    /Blind, 1999/ The Influence of Innovation and Standardisation on Macroeconomic Development: The Case of Germany
    /Blum, 1984/ Three Paradigms for Developing Information Systems
    /Boasson, 1986/ Software design and complexity
    /Bøegh, 2000/ The benefits of networking
    /Boehm, 1976/ Software Engineering
    /Boehm, 1981/ Software Engineering Economics
    /Boehm, 1984/ Prototyping versus specifying: A multiproject experiment
    /Boehm, 1985/ A spiral model of software development and enhancement
    /Boehm, 1986/ Reasoning about iteration: a cost-benefit approach
    /Boehm, 1987/ Software Process Management: Lessons Learned from History
    /Boehm, 1988a/ A spiral model of software development and enhancement
    /Boehm, 1995/ Software Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral Approach
    /Boehm, 2000/ Software Economics: A Roadmap
    /Bokowski, 1999/ CoffeeStrainer: Statiscally-Checked Constraints on the Definition and Use of Types in Java
    /Bolcer, 1999/ SWAP: Leveraging the Web to Manage Workflow
    /Bolusset, 1999/ Software Component-based federations architectures are software architectures too
    /Bompani, 2000/ Software Engineering on the Internet: A Roadmap
    /Booch, 1987/ Software Engineering with Ada
    /Booch, 1994/ Object-Oriented Analysis and Design with Applications
    /Borgida, 1999a/ Adding more "DL" to IDL: towards more knowledgeable component inter-operability
    /Bose, 1999/ WWAC: WinWin Abstraction Based Decision Coordination
    /Boyd, 1999/ Taming the West - CEN/ISSS is a pioneer in opening up participation in the Information Society
    /Bradac, 1993/ Prototyping a Process Monitoring Experiment
    /Brändle, 1975/ Organisationspläne
    /Bratthall, 2000/ Is a Design Rationale Vital when Predicting Change Impact?
    /Bremer, 1994/ Genealogie von Entwicklungsschemata
    /Bremer, 1998/ Genealogie von Entwicklungsschemata
    /Brennan, 1999/ Why do Electronic Conversations Seem Less Polite? The Costs and Benefits of Hedging
    /Breuker, 1994/ CommonKADS Library for Expertise Modelling - Reusable Problem Solving Components
    /Brewer, 2000/ Improving Problem-Oriented Mailing List Archives with MCS
    /BRH/ Mindestanforderungen der Rechnungshöfe des Bundes und der Länder zum Einsatz der Informationstechnik - IT-Mindestanforderungen
    /Briand, 1995/ Characterizing and Assessing a Large-Scale Software Maintenance Organization
    /Briand, 1999/ Explaining the Cost of European Space and Military Projects
    /Briand, 1999a/ An Assessment and Comparison of Common Software Cost Estimation Modeling Techniques
    /Briand, 1999b/ Investigating Quality Factors in Object-Oriented Designs
    /Briand, 2000/ Using the European Space Agency Data Set: A Replicated Assessment of Common Software Cost Estimation Techniques
    /Brinkkemper, 1995/ Configuration of Situational Process Models: an Information Systems Engineering Perspective
    /Brix, 1986/ Rechnergestützte Programmkonstruktion und -verifikation mit formalen Regeln
    /Brownsword, 2000/ Developing New Processes for COTS-Based Systems
    /Broy, 1998/ Enriching the Software Development Process by Formal Methods
    /Bruhn, 2000/ RAMSES - Rapid Application Development in Military Sofware Systems
    /Bruttel, 2000/ Projektübergreifende, ressourcenabhängige, modellbasierte, iterative Projektplanung
    /Bryant, 2000/ 'It's Engineering Jim but not as we know it': Software Engineering - solution to the software crisis, or part of the problem?
    /Bucci, 2000/ Rapid Assessment to Solicit Process Improvement in SMEs
    /Buckley, 1986/ Hierarchical control of software devlopment
    /Bultan, 2000/ Action Language: A Specification Language for Model Checking Reactive Systems
    /Buhr, 1984/ System Design with Ada
    /BUND, 1986/ Planungslehrmappe der Fortbildungsinstitutionen des Bundes
    /Burghardt, 1988/ Projektmanagement - Leitfaden für die Planung, Überwachung und Steuerung von Entwicklungsprojekten
    /Busch, 1972/ Delphi-Methode
    /Busch M., 1991/ Process Assessments in NASA
    /Buxmann, 1999/ The Standardization Problem - An Economic Analysis of Standards in Information Systems

    Formal Methods

    Id. Title
    /Baader, 1990/ Methoden zur formalen Spezifikation und Verifikation von Software
    /Ball, 1999/ The Concept of Dynamic Analysis
    /Bandinelli, 1991b/ Software Processes as Real-Time Systems: A Case Study using High-level Petri Nets
    /Benlarbi, 1999/ Polymorphism Measures for Early Risk Prediction
    /Bird, 1998/ Introduction to Functional Programming
    /Björner, 1987/ On the Use of Formal Methods in Software Development
    /Björner, 1990/ VDM '90: VDM and Z. Formal Methods in Software Development
    /Bokowski, 1999/ CoffeeStrainer: Statiscally-Checked Constraints on the Definition and Use of Types in Java
    /Bonfatti, 1997/ An Improved Process for the Development of PLC Software (Experience Report)
    /Bowen, 1995/ Seven More Myths of formal methods
    /Braberman, 1999/ Verification of Real Time Designs: Combining Scheduling Theory with Automatic Formal Verification
    /Brock, 1990/ RAISE METHOD
    /Broy, 1998/ Enriching the Software Development Process by Formal Methods
    /Bultan, 2000/ Action Language: A Specification Language for Model Checking Reactive Systems
    This page online  •  GDPA Online  •  Last Updated 16.Jun.2006 by C. Freericks