ask others

4th ICSE 1979: Munich, Germany

> Home > Conferences and Workshops > ICSE

- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/1979
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/1979
Friedrich L. Bauer, Leon G. Stucki, Meir M. Lehman:
Proceedings of the 4th International Conference on Software Engineering, Munich, Germany, September 1979. IEEE Computer Society 1979
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/Randell79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Randell79
Brian Randell:
Software Engineering: As it was in 1968. 1-10
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/BoehmB79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/BoehmB79
Barry W. Boehm:
Software Engineering: As it is. 11-21
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/Lasker79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Lasker79
D. M. Lasker:
Module Structure in an Evolving Family of Real Time Systems. 22-28
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/Tichy79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Tichy79
Walter F. Tichy:
Software Development Based on Module Interconnection. 29-41
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/Cristian79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Cristian79
Flaviu Cristian:
A Recovery Mechanism for Modular Software. 42-51
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/Vick79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Vick79
Charles R. Vick:
On Software Engineering Tools: Past, Present and Future. 52
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/CheathamTH79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/CheathamTH79
Thomas E. Cheatham Jr., Judy A. Townley, Glenn H. Holloway:
A System for Program Refinement. 53-62
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/Ploedereder79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Ploedereder79
Erhard Plödereder:
Pragmatic Techniques for Program Analysis and Verification. 63-72
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/Scowen79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Scowen79
R. S. Scowen:
A New Technique for Improving the Quality of Computer Programs. 73-78
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/Cohen79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Cohen79
Jacques Cohen:
Computer-Aided Micro-Analysis of Programs. 79-84
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/BelfordBH79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/BelfordBH79
P. C. Belford, R. A. Berg, Thomas L. Hannan:
Central Flow Control Software Development: A Case Study of the Effectiveness of Software Engineering Techniques. 85-93
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/HorsleyL79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/HorsleyL79
R. R. Horsley, William C. Lynch:
Pilot: A Software Engineering Case Study. 94-99
- no documents available
- export record
  dblp key:
  - conf/icse/Martin79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Martin79
T. Martin:
PEARL At the Age of Three. ICSE 1979: 100-110
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/Amey79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Amey79
W. S. Amey:
The Computer Assisted Software (Case) System. 111-115
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/WillisJ79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/WillisJ79
R. R. Willis, E. P. Jensen:
Computer Aided Design of Software Systems. 116-125
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/Mullery79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Mullery79
Geoff P. Mullery:
CORE : A Method for Controlled Requirement Expression. 126-135
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/HutchingsMETW79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/HutchingsMETW79
A. F. Hutchings, R. W. McGuffin, A. E. Elliston, B. R. Tranter, P. N. Westmacott:
On CADES-Software Engineering in Practice. 136-144
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/Elovitz79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Elovitz79
H. S. Elovitz:
An Experiment in Software Engineering: The Architecture Research Facility as a Case Study. 145-152
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/Denert79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Denert79
Ernst Denert:
The Project Library : A Tool for Software Development. 153-173
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/LauerS79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/LauerS79
Hugh C. Lauer, Edwin H. Satterthwaite:
The Impact of Mesa on System Design. 174-182
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/KramerC79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/KramerC79
Jeff Kramer, Jim Cunningham:
Invariants for Specifications. 183-193
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/Laventhal79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Laventhal79
M. S. Laventhal:
A Constructive Approach to Reliable Synchronization Code. 194-202
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/KeramidisM79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/KeramidisM79
S. Keramidis, L. Mackert:
Specification and Implementation of Parallel Activities on Abstract Objects. 203-211
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/CampbellK79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/CampbellK79
Roy H. Campbell, R. B. Kolstad:
Path Expressions in Pascal. 212-219
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/Rault79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Rault79
J.-C. Rault:
France on An Approach Towards Reliable Software. 220-230
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/RamamoorthyBFMNS79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/RamamoorthyBFMNS79
C. V. Ramamoorthy, Farokh B. Bastani, John M. Favaro, Yu-King R. Mok, C. W. Nam, Keiichi Suzuki:
On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants. 231-240
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/Gomez79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Gomez79
J. Gomez:
An Interactive FORTRAN Structuring Aid. 241-244
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/LauberBGS79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/LauberBGS79
Rudolf Lauber, Joachim Biewald, Peter Göhner, H. Schelling:
EPOS : A Specification and Design Technique for Computer Controlled Real-time Automation Systems. 245-250
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/AsirelliDLMMPST79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/AsirelliDLMMPST79
Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini:
A Flexible Environment for Program Development Based on a Symbolic Interpreter. 251-264
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/RiddleBDE79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/RiddleBDE79
William E. Riddle, G. Bristow, C. Drey, B. Edwards:
Anomaly Detection in Concurrent Programs. 265-273
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/MartyV79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/MartyV79
Rudolf Marty, L. Vanek:
Hierarchical Coroutines: A Mechanism for Improved Program Structure. 274-285
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/Wertz79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Wertz79
Harald Wertz:
A System to Improve incorrect Programs. 286-293
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/BerryP79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/BerryP79
Daniel M. Berry, Maria Heloisa (Lolo) Penedo:
The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology. 294-307
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/BanatreB79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/BanatreB79
Jean-Pierre Banâtre, Michel Banâtre:
Language Features for Description of Cooperating Processes. 308-314
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/JonesS79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/JonesS79
Anita K. Jones, Karsten Schwan:
TASK Forces: Distributed Software for Solving Problems of Substantial Size. 315-331
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/DAgapayeff79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/DAgapayeff79
A. D'Agapayeff:
On Microprocessors: A Platform for True Program Portability with Examples from Microcobal. 332-339
- no documents available
- export record
  dblp key:
  - conf/icse/McKeeman79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/McKeeman79
William M. McKeeman:
On An Overview. ICSE 1979: 340
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/RemusZ79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/RemusZ79
Horst Remus, Stephen N. Zilles:
Prediction and Management of Program Quality. 341-350
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/FeuerF79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/FeuerF79
Alan R. Feuer, E. B. Fowlkes:
Some Results from an Empirical Study of Computer Software. 351-355
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/CurtisSM79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/CurtisSM79
Bill Curtis, Sylvia B. Sheppard, Phil Milliman:
Third Time Charm: Stronger Replication of the Ability of Software Complexity Metrics to Predict Programmer Performance. 356-360
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/Bruggere79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Bruggere79
T. H. Bruggere:
Software Engineering: Management, Personnel and Methodology. 361-368
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/JefferyL79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/JefferyL79
D. Ross Jeffery, M. J. Lawrence:
An Inter-Organizational Comparison of Programming Productivity. 369-377
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/AbeSA79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/AbeSA79
J. Abe, Ken Sakamura, Hideo Aiso:
An Analysis of Software Project Failure. 378-385
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/BrackettEHT79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/BrackettEHT79
John W. Brackett, R. S. Eanes, C. K. Hitchon, Richard Thall:
An Environment for Producing Well-Engineered Microcomputer Software. 386-398
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/AnconaDD79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/AnconaDD79
Massimo Ancona, Gabriella Dodero, E. L. Durante:
Cross Software Development for Microprocessors Using a Translator Writing System. 399-402
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/Rohmer79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Rohmer79
Jean Rohmer:
The APL2M System : A General Computer-Aided Software Engineering Environment for Mini and Microcomputers. 403-411
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/MorrisseyW79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/MorrisseyW79
Joan M. Morrissey, L. S.-Y. Wu:
On Software Engineering-An Economic Perspective. 412-422
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/Bayer79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Bayer79
Rudolf Bayer:
On Synchronization and Recovery in Database Systems. 423-424
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/BauerF79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/BauerF79
Jonathan A. Bauer, Alan B. Finger:
Test Plan Generation Using Formal Grammars. 425-432
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/Horejs79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Horejs79
J. Horejs:
Finite Semantics for Program Testing. 433-441
- no documents available
- export record
  dblp key:
  - conf/icse/Dijkstra79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Dijkstra79
Edsger W. Dijkstra:
Software Engineering : As It Should Be. ICSE 1979: 442-448
- no documents available
- export record
  dblp key:
  - conf/icse/Turski79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Turski79
Wladyslaw M. Turski:
Software Engineering : As It Will Be. ICSE 1979: 449-456