4,951 papers · page 208 of 248
Machine Support for Software Development (Abstract)
Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse
An Object-Oriented Implementation of B-ISDN Signalling - Part 2: Extendability Stands the Test
A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards
The Program Understanding Problem: Analysis and a Heuristic Approach
GRIDS - GRaph-based, Integrated Development of Software: Integrating Different Perspectives of Software Engineering
A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report
Numerous formal specification methods for reactive systems have been proposed in the literature.Because the significant differences bet ween the methods are hard to determine, choosing the best method for a particular application can be difficult.We have applied several different…
Using Event Contexts and Matching Constraints to Monitor Software Processes
Automated monitoring of events that occur in a computer network is essential for non-intrusive software process enactment.Relevant events include modification of product artifacts like source files and documents, and execution and termination of tool invocations.Monitoring these …
Using Testability Measures for Dependability Assessment
Program "testability"is the probability that a fault in a program, if present, will cause the program to fail.Measures of testability can be used to draw inferences on program correctness from the observation of a series of failure-free test executions, a common need for software…
Software Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral Approach
A major problem in requirements engineering is obtaining requirements that address the concerns of multiplestakeholders.An approach to such a problem is the Theory-W based Spiral Model.This paper focuses on the problem of developing a support system for such a model.In particular
Characterizing and Assessing a Large-Scale Software Maintenance Organization
One important component of a software process is the organizational context in which the process is enacted.This component is ofien missing or incomplete in current process modeling approaches.One technique for modeling this perspective is the Actor-Dependency (AD) Model.This pap…
An Experience in Process Assessment
This paper presents an experience in software process assessment that has been conducted in a mid-size Italian company.The assessment has been carried out using the CMM(Capability Maturity Model) and taking into account also the indications offered by QIP (Quality Improvement Par…
A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies
Compilersand other programming environment tools derive information from the source code of programs; derived information includes compiled code, interprocedurrd summary information, and call graph views.If the source program changes, the derived information needs to be updated.W…
Dealing with Non-Functional Requirements: Three Experimental Studies of a Process-Oriented Approach
Quality characteristics are vital for the success of software systems.To remedy the problems inherent in ad hoc development, a framework has been developed to deal with non-functional requirements (quality requirements or NFRs).Taking the premise that the quality of a product dep…
Testing Real-Time Constraints in a Process Algebraic Setting
Verifying timing properties of real-time systems by tradi-
Automating Process Discovery Through Event-Data Analysis
Many software process methods and tools presuppose the existence of a formal model of a process.Unfortunately, developing a formal model for an on-going, complex process can be dificult, costly, and err-or prone.This presents a practical barrier to the adoption of process technol…
How to Deal With Deviations During Process Model Enactment
A fundamental problem in software processes is how the mintrinsic rigidity of a predejined (formal) model can be reconciled with the need for flexibility, change, and evolution.We therefore distinguish between software processes, as specified in a process description, and their a…
A Compact Petri Net Representation for Concurrent Programs
This paper presents a compactPetri net representa-
Supporting Evolution and Maintenance by Using a Flexible Automatic Code Generator
Generatingcode automatically from the design level increases product quality and productivity but also facilitates maintenance and evolution by limiting changes to the