Documenting software systems using types

Authors:
Arie van Deursen;Leon Moonen
Affiliations:
CWI, Softw. Renov. Res. Grp., GB Amsterdam and Delft Univ. of Technol., Softw. Evol. Res. Lab, Faculty EEMCS, Mekelweg, CD, Delft and Dept. of Softw. Eng., GB Amsterdam, The Netherlands;Delft University of Technology, Software Evolution Research Lab, Faculty EEMCS, Mekelweg, CD, Delft, The Netherlands and CWI, Software Renovation Research Group, GB Amsterdam, The Netherlands
Venue:
Science of Computer Programming - Software analysis, evolution and re-engineering
Year:
2006

Citing 36
Cited 2

Constant propagation with conditional branches

ACM Transactions on Programming Languages and Systems (TOPLAS)
Integrated hypertext and program understanding tools

IBM Systems Journal
A scalable, automated process for year 2000 system correction

Proceedings of the 18th international conference on Software engineering
Program generalization for software reuse: from C to C++

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
An architecture for WWW-based hypercode environments

ICSE '97 Proceedings of the 19th international conference on Software engineering
Lackwit: a program understanding tool based on type inference

ICSE '97 Proceedings of the 19th international conference on Software engineering
Software architecture in practice

Software architecture in practice
The software bookshelf

IBM Systems Journal
AnnoDomini: from type theory to Year 2000 conversion tool

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Aggregate structure identification and its application to program analysis

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Documentu: a flexible architecture for documentation production based on a reverse-engineering strategy

Journal of Software Maintenance: Research and Practice
The ramp-up problem in software projects: a case study of how software immigrants naturalize

Proceedings of the 20th international conference on Software engineering
CHIME: customizable hyperlink insertion and maintenance engine for software engineering environments

Proceedings of the 21st international conference on Software engineering
An application of compiler technology to the year 2000 problem

Software—Practice & Experience
Physical type checking for C

Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
New type signatures for legacy Fortran subroutines

Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Type-based analysis and applications

PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
An empiracal study in COBOL type inferencing

Science of Computer Programming - Special issue on program comprehension (IWPC '99)
Playing Detective: Reconstructing Software Architecture from Available Evidence

Automated Software Engineering
Documenting Software Architectures: Views and Beyond

Documenting Software Architectures: Views and Beyond
Program Comprehension During Software Maintenance and Evolution

Computer
Reverse Engineering and Design Recovery: A Taxonomy

IEEE Software
Structural Redocumentation: A Case Study

IEEE Software
A Technique for Drawing Directed Graphs

IEEE Transactions on Software Engineering
Variable Classification Technique and Application to the Year 2000 Problem

CSMR '98 Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering ( CSMR'98)
Incremental Redocumentation with Hypertext

CSMR '97 Proceedings of the 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97)
Reengineering procedural into object-oriented systems

WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Identifying Enumeration Types Modeled with Symbolic Constants

WCRE '96 Proceedings of the 3rd Working Conference on Reverse Engineering (WCRE '96)
Generation of Components for Software Renovation Factories from Context-free Grammars

WCRE '97 Proceedings of the Fourth Working Conference on Reverse Engineering (WCRE '97)
Type Inference for COBOL Systems

WCRE '98 Proceedings of the Working Conference on Reverse Engineering (WCRE'98)
Structural Manipulations of Software Architecture Using Tarski Relational Algebra

WCRE '98 Proceedings of the Working Conference on Reverse Engineering (WCRE'98)
Generating Robust Parsers using Island Grammars

WCRE '01 Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE'01)
Browsing and Searching Software Architectures

ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance
Building Documentation Generators

ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance
Types and Concept Analysis for Legacy Systems

IWPC '00 Proceedings of the 8th International Workshop on Program Comprehension
Lightweight Impact Analysis using Island Grammars

IWPC '02 Proceedings of the 10th International Workshop on Program Comprehension

Using logical data models for understanding and transforming legacy business applications

IBM Systems Journal - Model-driven software development
An industrial case study in reconstructing requirements views

Empirical Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software analysis, evolution, and reengineering are important areas of the software life cycle. The quest to maintain and keep operational large mission critical systems has always been a challenge for software practitioners. This special issue presents ...