Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th ICSE 1984: Orlando, Florida, USA
- Terry A. Straeter, William E. Howden, Jean-Claude Rault:
Proceedings, 7th International Conference on Software Engineering, Orlando, Florida, USA, March 26-29, 1984. IEEE Computer Society 1984, ISBN 0-8186-0528-6
Error Processing
- Augusto Ciuffoletti:
Error Recovery in Systems of Communicating Processes. 6-17 - Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho:
Exception Handling: Formal Specification and Systematic Program Construction. 18-29 - K. Chong, P. Hsia:
Diagnostic System for Distributed Software: A Relational Database Approach. 30-43
Distributed Systems
- Gruia-Catalin Roman, Mark S. Day:
Multifaceted Distributed Systems Specification Using Processes and Event Synchronization. 44-55 - Guy T. Almes, Andrew P. Black, Carl Bunje, Douglas Wiebe:
Edmas: A Locally Distributed Mail System. 56-66 - Krithi Ramamritham:
Resource Controller Tasks in Ada: Their Structure and Semantics. 67-77
Management Issues
- Joseph C. Spicer:
A Spiral Approach to Software Engineering Project Management Education. 78-85 - Keiji Uemura, Miki Ohori:
A Cooperative Approach to Software Development by Application Engineers and Software Engineers. 86-96 - Bill Curtis:
Fifteen Years of Psychology in Software Engineering: Individual Differences and Cognitive Science. 97-107
Programming Environments I
- Tomoharu Mohri, Etsuo Ono, Sanya Uehara, Tetsuyasu Takao, Hideki Sato:
PDAS: An Assistant for Detailed Design and Implementation of Programs. 108-115 - Richard N. Taylor, Thomas A. Standish:
Steps to an Advanced Ada Programming Environment. 116-125 - Jacques Guyard, Jean-Pierre Jacquot:
MAIDAY: An Environment for Guided Programming. ICSE 1984: 126-137
Cost and Productivity Measures
- M. W. Evans, L. M. Picinich:
POWER: A Tool for Quantitative Evaluation of Software Project Effectiveness. 138-142 - J. Vosburgh, Bill Curtis, R. Wolverton, B. Albert, H. Malec, S. Hoben, Y. Liu:
Productivity Factors and Programming Environments. 143-152 - R. E. Boydston:
Programming Cost Estimate: Is It Reasonable? 153-161
Programming Environments II
- H. Maezawa, M. Kobayashi, K. Saito, Y. Futamura:
Interactive System for Structured Program Production. 162-171 - Paul A. Scheffer, Albert H. Stone III, William E. Rzepka:
A Large System Evaluation of SREM. 172-180 - Warren Teitelman:
A Tour Through Cedar. 181-197
User Interfaces
- B. Friman:
MGEN - A Generator for Menu Driven Programs. 198-206 - Tom DeMarco, Aurel Soceneantu:
SYNCRO: A Dataflow Command Shell for the Lilith/Modula Computer. 207-213 - Stephen W. Draper, Donald A. Norman:
Software Engineering for User Interfaces. 214-221
Reliability and Complexity Measures I
- Ramadan Moawad:
Comparison of Concurrent Software Reliability Models. 222-229 - John D. Musa, Kazuhira Okumoto:
A Logarithmic Poisson Execution Time Model for Software Reliability Measurement. 230-238 - Kuo-Chung Tai:
A Program Complexity Metric Based on Data Flow Information in Control Graphs. 239-249
Testing
- Simeon C. Ntafos:
An Evaluation of Required Element Testing Strategies. 250-256 - Steven J. Zeil:
Perturbation Testing for Computation Errors. 257-265 - Michael A. Hennell, David Hedley, I. J. Riddell:
Assessing a Class of Software Tools. 266-277 - Ira R. Forman:
An Algebra for Data Flow Anomaly Detection. 278-287
Reliability and Complexity Measures II
- James L. Elshoff:
Characteristic Program Complexity Measures. 288-293 - T. J. Emerson:
A Discriminant Metric for Module Cohersion. 294-303 - A. Schroeder:
Integrated Program Measurement and Documentation Tools. 304-313 - John Beane, Nancy Giddings, Jon Silverman:
Quantifying Software Designs. 314-323
Editors
- Steven P. Reiss:
PECAN: Program Development Systems That Support Multiple Views. 323-333 - Ted J. Biggerstaff, D. Mack Endres, Ira R. Forman:
TABLE: Object Oriented Editing of Complex Structures. 334-345 - Véronique Donzeau-Gouge, Bernard Lang, Bertrand Melese:
Practical Applications of a Syntax Directed Program Manipulation Environment. 346-357
Knowledge-Based Software Enginerring
- Gerhard Fischer, Matthias Schneider:
Knowledge-Based Communication Processes in Software Engineering. 358-368 - W. Lewis Johnson, Elliot Soloway:
PROUST: Knowledge-Based Program Understanding. 369-380 - Daniel G. Shapiro, Jeffrey S. Dean, Brian P. McCune:
A Knowledge Base for Supporting and Intelligent Program Editor. 381-387
Design Methods
- Carlos José Pereira de Lucena, R. C. B. Martins, Paulo A. S. Veloso, Donald D. Cowan:
The Data Transform Programming Metho: An Example for File Processing Problems. 388-397 - Arthur G. Duncan, John S. Hutchison, John W. Bailey, T. M. Chapman, A. Fregly, Elizabeth Kruesi, T. McDonald, D. Merrill, Sylvia B. Sheppard:
Communication System Design Using Ada. 398-407 - David Lorge Parnas, Paul C. Clements, David M. Weiss:
The Modular Structure of Complex Systems. 408-419
Formal Specifications
- Rudi Studer:
Abstract Models of Dialogue Concepts. 420-429 - Geert B. Clemmensen, Ole N. Oest:
Formal Specification and Development of an Ada Compiler - A VDM Case Study. 430-440 - Susan L. Gerhart:
Application of Axiomatic Methods to a Specification Analyser. 441-453
Programming Methodologies
- W. J. Rogers:
A New Program Structure to Improve Accuracy and Readability of Pascal Software. 454-462 - Koji Torii, Yoshitomi Morisawa, Yuji Sugiyama, Tadao Kasami:
Functional Programming and Logical Programming for the Telegram Analysis Problem. 463-472 - Barry W. Boehm, Terence E. Gray, Thomas Seewaldt:
Prototyping vs. Specifying: A Multi-Project Experiment. 473-485
Verification
- S.-C. Chyou:
Structure Charts and Program Correctness Proofs. 486-498 - Ali Mili, Jules Desharnais:
A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods. 499-509 - Pierre Azéma, G. Juandle, E. Sanchis, M. Montbernard:
Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets. 510-519
Development Models and Methods
- H. Hozumi, Y. Sekine, H. Ejima:
A Method of Large-Scale Software Development. 520-527 - T. S. E. Maibaum, Wladyslaw M. Turski:
On What Exactly Is Going On When Software Is Developed Step-by-Step. 528-533 - Bruce I. Blum:
Three Paradigms for Developing Information Systems. 534-544
a service of 
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-04-19 19:19 CEST 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:
