pldb: programming languages papers

Skip to main content

2,847 papers · page 138 of 143

Cryptographic Verification of Test Coverage Claims

Premkumar T. Devanbu, Stuart G. Stubblebine

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Formalizing Software Architectures: An Industrial Experience

Petre Dini, Amina Belkhelladi, Walcélio L. Melo

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Executable Connectors: Towards Reusable Design Elements

Stéphane Ducasse, Tamar Richner

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Model Checking Graphical User Interfaces Using Abstractions

Matthew B. Dwyer, Vicki Carr, Laura Hines

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Experiences with Criticality Predictions in Software Development

Abstract elided by the publisher.

DOI dblp Copy BibTeX

A View-Oriented Approach to System Modelling Based on Graph Transformation

Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Feasible Test Path Selection by Principal Slicing

István Forgács, Antonia Bertolino

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Reduction and Slicing of Hierarchical State Machines

Mats Per Erik Heimdahl, Michael W. Whalen

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Software Release Management

André van der Hoek, Richard S. Hall, Dennis Heimbigner, Alexander L. Wolf

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Towards an Adaptation of the COCOMO Cost Model to the Software Measurement Theory

Ali Idri, B. Griech, A. El Iraki

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Generic Fuzzy Reasoning Nets as a Basis for Reverse Engineering Relational Database Applications

Jens H. Jahnke, Wilhelm Schäfer, Albert Zündorf

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Software Engineering - Old Problems, New Problems, and Unsolved Problems (Panel)

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Change Management Needs Integrated Process and Configuration Management

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Incremental Development for AXE 10

Even-André Karlsson, Lars Taxén

Abstract elided by the publisher.

Full text DOI dblp Copy BibTeX

Security Issues in Distributed Software

Richard A. Kemmerer

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Validating the Defect Detection Performance Advantage of Group Designs for Software Reviews: Report of a Laboratory Experiment Using Program Code

Lesley Pek Wee Land, Chris Sauer, D. Ross Jeffery

Abstract elided by the publisher.

DOI dblp Copy BibTeX

What We Teach Software Engineers in the University: Do We Take Engineering Seriously?

T. S. E. Maibaum

Abstract elided by the publisher.

DOI dblp Copy BibTeX

A Framework for Classifying and Comparing Architecture Description Languages

Nenad Medvidovic, Richard N. Taylor

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Making Design Patterns Explicit in FACE: A Frame Work Adaptive Composition Environment

Theo Dirk Meijler, Serge Demeyer, Robert Engel

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Applying Static Analysis to Software Architectures

Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil

Abstract elided by the publisher.

DOI dblp Copy BibTeX