1981-ICSE.bib

@inproceedings{1981-ICSE-Wirth-Lilith,
author={N. Wirth},
title={Lilith: A personal computer for the software engineer},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802510&ftid=66101&dwn=1}
}
@inproceedings{1981-ICSE-Loesh-Implementing,
author={R. Loesh and B. Larman and P. Molko and D. Reifer},
title={Implementing a software management discipline},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802511&ftid=66103&dwn=1}
}
@inproceedings{1981-ICSE-Paster-Experience,
author={Donald L. Paster},
title={Experience with application of modern software management controls},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802512&ftid=66105&dwn=1}
}
@inproceedings{1981-ICSE-Wortman-Early,
author={David B. Wortman and James R. Cordy},
title={Early experiences with Euclid},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802513&ftid=66107&dwn=1}
}
@inproceedings{1981-ICSE-Hausen-Conspectus,
author={Hans-Ludwig Hausen and Monika Müllerburg},
title={Conspectus of software engineering environments},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802514&ftid=66109&dwn=1}
}
@inproceedings{1981-ICSE-Feiler-Incremental,
author={Peter H. Feiler and Raul Medina-Mora},
title={An Incremental Programming Environment},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802515&ftid=66111&dwn=1}
}
@inproceedings{1981-ICSE-Huff-Database,
author={Karen E. Huff},
title={A database model for effective configuration management in the programming environment},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802516&ftid=66113&dwn=1}
}
@inproceedings{1981-ICSE-Black-Robust,
author={J. P. Black and D. J. Taylor and D. E. Morgan},
title={A robust B-tree implementation},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802517&ftid=66115&dwn=1}
}
@inproceedings{1981-ICSE-Hultén-Index,
author={Christer Hultén},
title={An index organization for applications with highly skewed access patterns},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802518&ftid=66117&dwn=1}
}
@inproceedings{1981-ICSE-Dershowitz-Evolution,
author={Nachum Dershowitz},
title={The evolution of programs: Program abstraction and instantiation},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802519&ftid=66119&dwn=1}
}
@inproceedings{1981-ICSE-Kerola-Comparison,
author={Pentti Kerola and Peter Freeman},
title={A comparison of lifecycle models},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802520&ftid=66121&dwn=1}
}
@inproceedings{1981-ICSE-Sunohara-Program,
author={Takeshi Sunohara and Akira Takano and Kenji Uehara and Tsutomu Ohkawa},
title={Program complexity measure for software development management},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802521&ftid=66123&dwn=1}
}
@inproceedings{1981-ICSE-Bailey-Meta,
author={John W. Bailey and Victor R. Basili},
title={A meta-model for software development resource expenditures},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802522&ftid=66125&dwn=1}
}
@inproceedings{1981-ICSE-Chen-Use,
author={Eric Chen and Marvin V. Zelkowitz},
title={Use of cluster analysis to evaluate software engineering methodologies},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802523&ftid=66127&dwn=1}
}
@inproceedings{1981-ICSE-Penedo-Algorithm,
author={Maria Heloisa Penedo and Daniel M Berry and Gerald Estrin},
title={An algorithm to support code-skeleton generation for concurrent systems},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802524&ftid=66129&dwn=1}
}
@inproceedings{1981-ICSE-Cashin-Experience,
author={P. M. Cashin and M. L. Joliat and R. F. Kamel and D. M. Lasker},
title={Experience with a modular typed language: PROTEL},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802525&ftid=66131&dwn=1}
}
@inproceedings{1981-ICSE-Sandewall-Software,
author={Erik Sandewall and Claes Strömberg and Henrik Sörensen},
title={Software architecture based on communicating residential environments},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802526&ftid=66133&dwn=1}
}
@inproceedings{1981-ICSE-Azuma-Interactive,
author={M. Azuma and M. Takahashi and S. Kamiya and K. Minomura},
title={Interactive software development tool: ISDT},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802527&ftid=66135&dwn=1}
}
@inproceedings{1981-ICSE-Forman-Time,
author={Ira R. Forman},
title={On the time overhead of counters and traversal markers},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802528&ftid=66137&dwn=1}
}
@inproceedings{1981-ICSE-Duncan-Using,
author={A. G. Duncan and J. S. Hutchison},
title={Using attributed grammars to test designs and implementations},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802529&ftid=66139&dwn=1}
}
@inproceedings{1981-ICSE-Duran-Report,
author={Joe W. Duran and Simeon Ntafos},
title={A report on random testing},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802530&ftid=66141&dwn=1}
}
@inproceedings{1981-ICSE-Zeil-Sufficient,
author={Steven J. Zeil and Lee J. White},
title={Sufficient test sets for path analysis testing strategies},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802531&ftid=66143&dwn=1}
}
@inproceedings{1981-ICSE-Britton-Procedure,
author={Kathryn Heninger Britton and R. Alan Parker and David L. Parnas},
title={A procedure for designing abstract interfaces for device interface modules},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802532&ftid=66145&dwn=1}
}
@inproceedings{1981-ICSE-Sheppard-Effects,
author={Sylvia B. Sheppard and Elizabeth Kruesi and Bill Curtis},
title={The effects of symbology and spatial arrangement on the comprehension of software specifications},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802533&ftid=66147&dwn=1}
}
@inproceedings{1981-ICSE-Woodfield-Effect,
author={S. N. Woodfield and H. E. Dunsmore and V. Y. Shen},
title={The effect of modularization and comments on program comprehension},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802534&ftid=66148&dwn=1}
}
@inproceedings{1981-ICSE-Moher-Methods,
author={Thomas Moher and G. Michael Schneider},
title={Methods for improving controlled experimentation in software engineering},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802535&ftid=66150&dwn=1}
}
@inproceedings{1981-ICSE-Howden-Completeness,
author={William E. Howden},
title={Completeness criteria for testing elementary program functions},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802536&ftid=66152&dwn=1}
}
@inproceedings{1981-ICSE-Richardson-Partition,
author={Debra J. Richardson and Lori A. Clarke},
title={A partition analysis method to increase program reliability},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802537&ftid=66154&dwn=1}
}
@inproceedings{1981-ICSE-Andrews-Automated,
author={Dorothy M. Andrews and Jeoffrey P. Benson},
title={An automated program testing methodology and its implementation},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802538&ftid=66156&dwn=1}
}
@inproceedings{1981-ICSE-Cunha-Resource,
author={P. R.F. Cunha and T. S.E. Maibaum},
title={Resource  abstract data type + synchronization - A methodology for message oriented programming -},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802539&ftid=66158&dwn=1}
}
@inproceedings{1981-ICSE-Schwartz-Finalization,
author={Richard L. Schwartz and P. M. Melliar-Smith},
title={The finalization operation for abstract types},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802540&ftid=66160&dwn=1}
}
@inproceedings{1981-ICSE-Wilson-Requirements,
author={Max L. Wilson},
title={A requirements and design aid for relational data bases},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802541&ftid=66162&dwn=1}
}
@inproceedings{1981-ICSE-Zave-Executable,
author={Pamela Zave and Raymond T. Yeh},
title={Executable requirements for embedded systems},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802542&ftid=66164&dwn=1}
}
@inproceedings{1981-ICSE-Komoda-Innovative,
author={Norihisa Komoda and Koichi Haruna and Hiroyuki Kaji and Hiroshi Shinozawa},
title={An innovative approach to system requirements analysis by using structural modeling method},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802543&ftid=66166&dwn=1}
}
@inproceedings{1981-ICSE-Basili-Evaluation,
author={Victor R. Basili and David M. Weiss},
title={Evaluation of a software requirements document by analysis of change data},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802544&ftid=66168&dwn=1}
}
@inproceedings{1981-ICSE-Futamura-Development,
author={Y. Futamura and T. Kawai and H. Horikoshi and M. Tsutsumi},
title={Development of computer programs by problem analysis Diagram(PAD)},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802545&ftid=66170&dwn=1}
}
@inproceedings{1981-ICSE-Gomaa-Prototyping,
author={Hassan Gomaa and Douglas B.H. Scott},
title={Prototyping as a tool in the specification of user requirements},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802546&ftid=66171&dwn=1}
}
@inproceedings{1981-ICSE-Katayama-Hfp,
author={Takuya Katayama},
title={HFP: A hierarchical and functional programming based on attribute grammar},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802547&ftid=66172&dwn=1}
}
@inproceedings{1981-ICSE-Andrews-Active,
author={Gregory R. Andrews and David P. Dobkin},
title={Active data structures},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802548&ftid=66173&dwn=1}
}
@inproceedings{1981-ICSE-Baer-Two,
author={J. L. Baer and G. Gardarin and C. Girault and G. Roucairol},
title={The two-step commitment protocol: Modeling, specification and proof methodology},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802549&ftid=66174&dwn=1}
}
@inproceedings{1981-ICSE-Ramamritham-Specifying,
author={Krithivasan Ramamritham and Robert M. Keller},
title={Specifying and proving properties of sentinel processes},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802550&ftid=66175&dwn=1}
}
@inproceedings{1981-ICSE-Wasserman-User,
author={Anthony I. Wasserman},
title={User Software Engineering and the design of interactive systems},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802551&ftid=66176&dwn=1}
}
@inproceedings{1981-ICSE-Lingard-Software,
author={Robert W. Lingard},
title={A software methodology for building interactive tools},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802552&ftid=66592&dwn=1}
}
@inproceedings{1981-ICSE-Relles-User,
author={Nathan Relles and Lynne A. Price},
title={A user interface for online assistance},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802553&ftid=66593&dwn=1}
}
@inproceedings{1981-ICSE-Jr-Bigmac,
author={Eugene W. Myers, Jr. and Leon J. Osterweil},
title={BIGMAC II: A FORTRAN language augmentation tool},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802554&ftid=66594&dwn=1}
}
@inproceedings{1981-ICSE-Lewis-Beyond,
author={J. W. Lewis},
title={Beyond ALBE/P: Language neutral form},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802555&ftid=66595&dwn=1}
}
@inproceedings{1981-ICSE-Jr-Program,
author={Thomas E. Cheatham, Jr. and Glenn H. Holloway and Judy A. Townley},
title={Program refinement by transformation},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802556&ftid=66596&dwn=1}
}
@inproceedings{1981-ICSE-Weiser-Program,
author={Mark Weiser},
title={Program slicing},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802557&ftid=66597&dwn=1}
}
@inproceedings{1981-ICSE-Balzer-Application,
author={Robert Balzer and Alvin Cooperband and Martin Feather and Philip London and David Wile},
title={Application downloading},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802558&ftid=66598&dwn=1}
}
@inproceedings{1981-ICSE-Adam-Interactive,
author={Anne Adam and Paul Gloess and Jean-Pierre Laurent},
title={An interactive tool for program manipulation},
pdflink={https://dl.acm.org/ft_gateway.cfm?id=802559&ftid=66599&dwn=1}
}