default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th ICSE 1979: Munich, Germany
- 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 - Brian Randell:
Software Engineering: As it was in 1968. 1-10 - Barry W. Boehm:
Software Engineering: As it is. 11-21 - D. M. Lasker:
Module Structure in an Evolving Family of Real Time Systems. 22-28 - Walter F. Tichy:
Software Development Based on Module Interconnection. 29-41 - Flaviu Cristian:
A Recovery Mechanism for Modular Software. 42-51 - Charles R. Vick:
On Software Engineering Tools: Past, Present and Future. 52 - Thomas E. Cheatham Jr., Judy A. Townley, Glenn H. Holloway:
A System for Program Refinement. 53-62 - Erhard Plödereder:
Pragmatic Techniques for Program Analysis and Verification. 63-72 - Roger S. Scowen:
A New Technique for Improving the Quality of Computer Programs. 73-78 - Jacques Cohen:
Computer-Aided Micro-Analysis of Programs. 79-84 - 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 - R. R. Horsley, William C. Lynch:
Pilot: A Software Engineering Case Study. 94-99 - Thomas Martin:
PEARL At the Age of Three. ICSE 1979: 100-110 - W. S. Amey:
The Computer Assisted Software (Case) System. 111-115 - R. R. Willis, E. P. Jensen:
Computer Aided Design of Software Systems. 116-125 - Geoff P. Mullery:
CORE : A Method for Controlled Requirement Expression. 126-135 - Anthony F. Hutchings, R. W. McGuffin, A. E. Elliston, B. R. Tranter, P. N. Westmacott:
On CADES-Software Engineering in Practice. 136-144 - H. S. Elovitz:
An Experiment in Software Engineering: The Architecture Research Facility as a Case Study. 145-152 - Ernst Denert:
The Project Library : A Tool for Software Development. 153-173 - Hugh C. Lauer, Edwin H. Satterthwaite:
The Impact of Mesa on System Design. 174-182 - Jeff Kramer, Jim Cunningham:
Invariants for Specifications. 183-193 - M. S. Laventhal:
A Constructive Approach to Reliable Synchronization Code. 194-202 - S. Keramidis, L. Mackert:
Specification and Implementation of Parallel Activities on Abstract Objects. 203-211 - Roy H. Campbell, Robert B. Kolstad:
Path Expressions in Pascal. 212-219 - J.-C. Rault:
France on An Approach Towards Reliable Software. 220-230 - 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 - Julian E. Gomez:
An Interactive FORTRAN Structuring Aid. 241-244 - Rudolf Lauber, Joachim Biewald, Peter Göhner, H. Schelling:
EPOS : A Specification and Design Technique for Computer Controlled Real-time Automation Systems. 245-250 - 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 - William E. Riddle, G. Bristow, C. Drey, B. Edwards:
Anomaly Detection in Concurrent Programs. 265-273 - Rudolf Marty, L. Vanek:
Hierarchical Coroutines: A Mechanism for Improved Program Structure. 274-285 - Harald Wertz:
A System to Improve incorrect Programs. 286-293 - Daniel M. Berry, Maria Heloisa (Lolo) Penedo:
The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology. 294-307 - Jean-Pierre Banâtre, Michel Banâtre:
Language Features for Description of Cooperating Processes. 308-314 - Anita K. Jones, Karsten Schwan:
TASK Forces: Distributed Software for Solving Problems of Substantial Size. 315-331 - A. D'Agapayeff:
On Microprocessors: A Platform for True Program Portability with Examples from Microcobal. 332-339 - William M. McKeeman:
On An Overview. ICSE 1979: 340 - Horst Remus, Stephen N. Zilles:
Prediction and Management of Program Quality. 341-350 - Alan R. Feuer, E. B. Fowlkes:
Some Results from an Empirical Study of Computer Software. 351-355 - 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 - T. H. Bruggere:
Software Engineering: Management, Personnel and Methodology. 361-368 - D. Ross Jeffery, M. J. Lawrence:
An Inter-Organizational Comparison of Programming Productivity. 369-377 - J. Abe, Ken Sakamura, Hideo Aiso:
An Analysis of Software Project Failure. 378-385 - John W. Brackett, R. S. Eanes, C. K. Hitchon, Richard M. Thall:
An Environment for Producing Well-Engineered Microcomputer Software. 386-398 - Massimo Ancona, Gabriella Dodero, E. L. Durante:
Cross Software Development for Microprocessors Using a Translator Writing System. 399-402 - Jean Rohmer:
The APL2M System : A General Computer-Aided Software Engineering Environment for Mini and Microcomputers. 403-411 - Joan M. Morrissey, L. S.-Y. Wu:
On Software Engineering-An Economic Perspective. 412-422 - Rudolf Bayer:
On Synchronization and Recovery in Database Systems. 423-424 - Jonathan A. Bauer, Alan B. Finger:
Test Plan Generation Using Formal Grammars. 425-432 - J. Horejs:
Finite Semantics for Program Testing. 433-441 - Edsger W. Dijkstra:
Software Engineering : As It Should Be. ICSE 1979: 442-448 - Wladyslaw M. Turski:
Software Engineering : As It Will Be. ICSE 1979: 449-456
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
