ICSE 1984

53 papers

1. A Cooperative Approach to Software Development by Application Engineers and Software Engineers · Keiji Uemura, Miki Ohori
2. A Discriminant Metric for Module Cohersion · T. J. Emerson
3. A Knowledge Base for Supporting and Intelligent Program Editor · Daniel G. Shapiro, Jeffrey S. Dean, Brian P. McCune
4. A Large System Evaluation of SREM · Paul A. Scheffer, Albert H. Stone III, William E. Rzepka
5. A Logarithmic Poisson Execution Time Model for Software Reliability Measurement · John D. Musa, Kazuhira Okumoto
6. A Method of Large-Scale Software Development · H. Hozumi, Y. Sekine, H. Ejima
7. A New Program Structure to Improve Accuracy and Readability of Pascal Software · W. J. Rogers
8. A Program Complexity Metric Based on Data Flow Information in Control Graphs · Kuo-Chung Tai
9. A Spiral Approach to Software Engineering Project Management Education · Joseph C. Spicer
10. A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods · Ali Mili, Jules Desharnais
11. A Tour Through Cedar · Warren Teitelman
12. Abstract Models of Dialogue Concepts · Rudi Studer
13. An Algebra for Data Flow Anomaly Detection · Ira R. Forman
14. An Evaluation of Required Element Testing Strategies · Simeon C. Ntafos
15. Application of Axiomatic Methods to a Specification Analyser · Susan L. Gerhart
16. Assessing a Class of Software Tools · Michael A. Hennell, David Hedley, I. J. Riddell
17. Characteristic Program Complexity Measures · James L. Elshoff
18. Communication System Design Using Ada · Arthur G. Duncan, John S. Hutchison, John W. Bailey, T. M. Chapman, A. Fregly, Elizabeth Kruesi + 3 more
19. Comparison of Concurrent Software Reliability Models · Ramadan Moawad
20. Diagnostic System for Distributed Software: A Relational Database Approach · K. Chong, P. Hsia
21. Edmas: A Locally Distributed Mail System · Guy T. Almes, Andrew P. Black, Carl Bunje, Douglas Wiebe
22. Error Recovery in Systems of Communicating Processes · Augusto Ciuffoletti
23. Exception Handling: Formal Specification and Systematic Program Construction · Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho
24. Fifteen Years of Psychology in Software Engineering: Individual Differences and Cognitive Science · Bill Curtis
25. Formal Specification and Development of an Ada Compiler - A VDM Case Study · Geert B. Clemmensen, Ole N. Oest
26. Functional Programming and Logical Programming for the Telegram Analysis Problem · Koji Torii, Yoshitomi Morisawa, Yuji Sugiyama, Tadao Kasami
27. Integrated Program Measurement and Documentation Tools · A. Schroeder
28. Interactive System for Structured Program Production · H. Maezawa, M. Kobayashi, K. Saito, Y. Futamura
29. Knowledge-Based Communication Processes in Software Engineering · Gerhard Fischer, Matthias Schneider
30. MAIDAY: An Environment for Guided Programming · Jacques Guyard, Jean-Pierre Jacquot
31. MGEN - A Generator for Menu Driven Programs · B. Friman
32. Multifaceted Distributed Systems Specification Using Processes and Event Synchronization · Gruia-Catalin Roman, Mark S. Day
33. On What Exactly Is Going On When Software Is Developed Step-by-Step · T. S. E. Maibaum, Wladyslaw M. Turski
34. PDAS: An Assistant for Detailed Design and Implementation of Programs · Tomoharu Mohri, Etsuo Ono, Sanya Uehara, Tetsuyasu Takao, Hideki Sato
35. PECAN: Program Development Systems That Support Multiple Views · Steven P. Reiss
36. POWER: A Tool for Quantitative Evaluation of Software Project Effectiveness · M. W. Evans, L. M. Picinich
37. PROUST: Knowledge-Based Program Understanding · W. Lewis Johnson, Elliot Soloway
38. Perturbation Testing for Computation Errors · Steven J. Zeil
39. Practical Applications of a Syntax Directed Program Manipulation Environment · Véronique Donzeau-Gouge, Bernard Lang, Bertrand Melese
40. Productivity Factors and Programming Environments · J. Vosburgh, Bill Curtis, R. Wolverton, Barbara Albert, H. Malec, S. Hoben + 1 more
41. Programming Cost Estimate: Is It Reasonable? · R. E. Boydston
42. Prototyping vs. Specifying: A Multi-Project Experiment · Barry W. Boehm, Terence E. Gray, Thomas Seewaldt
43. Quantifying Software Designs · John Beane, Nancy Giddings, Jon Silverman
44. Resource Controller Tasks in Ada: Their Structure and Semantics · Krithi Ramamritham
45. SYNCRO: A Dataflow Command Shell for the Lilith/Modula Computer · Tom DeMarco, Aurel Soceneantu
46. Software Engineering for User Interfaces · Stephen W. Draper, Donald A. Norman
47. Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets · Pierre Azéma, G. Juandle, E. Sanchis, M. Montbernard
48. Steps to an Advanced Ada Programming Environment · Richard N. Taylor, Thomas A. Standish
49. Structure Charts and Program Correctness Proofs · S.-C. Chyou
50. TABLE: Object Oriented Editing of Complex Structures · Ted J. Biggerstaff, D. Mack Endres, Ira R. Forman
51. The Data Transform Programming Metho: An Example for File Processing Problems · Carlos José Pereira de Lucena, R. C. B. Martins, Paulo A. S. Veloso, Donald D. Cowan
52. The Modular Structure of Complex Systems · David Lorge Parnas, Paul C. Clements, David M. Weiss
53. Three Paradigms for Developing Information Systems · Bruce I. Blum