Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th ICSE 1982: Tokyo, Japan
- Yutaka Ohno, Victor R. Basili, Hajime Enomoto, Koji Kobayashi, Raymond T. Yeh:
Proceedings, 6th International Conference on Software Engineering, Tokyo, Japan, September 13-16, 1982. IEEE Computer Society 1982
Invited Presentation
- Gerald M. Weinberg:
Overstructured Management of Software Engineering. 2-9
Perspectives in Software Engineering
- Robert S. Arnold, D. A. Parker:
The Dimensions of Healthy Maintenance. 10-27 - S. Warren:
MAP: A Tool for Understanding Software. 28-39
Language Processing Issues
- Wayne A. Babich, Larry Weissman, Martin I. Wolfe:
Design Considerations in Language Processing Tools for Ada. 40-47 - Ali Mili:
A Closer Look at Iteration: The Self Stabilizing Capability of Loops. 48-57
Configuration Management
- Walter F. Tichy:
Design, Implementation, and Evaluation of a Revision Control System. 58-67 - Osamu Shigo, Yoshio Wada, Yuichi Terashima, Kanji Iwamoto, Takashi Nishimura:
Configuration Control for Evolutional Software Products. 68-83
Invited Presentation
- Friedrich L. Bauer:
From Specifications to Machine Code: Program Construction through Formal Reasoning. 84-93
Quantitative Aspects of Software
- D. Potier, J. L. Albin, R. Ferreol, A. Bilodeau:
Experiments with Computer Software Complexity and Reliability. 94-103 - M. Itakura, A. Takayanagi:
A Model for Estimating Program Size and Its Evaluation. 104-109 - Walid A. Abu-Sufah, R. Lee, Mohammad Malkawi, P. Yew:
Experimental Results on the Paging Behavior of Numerical Programs. 110-119
Requirements Techniques
- Kiyoshi Agusa, Atsushi Ohnishi, Yutaka Ohno:
Verification System for Formal Requirements Description. 120-126 - Jun Murai, Nobuo Saito, Norihisa Doi, M. Morohashi, T. Fujisaki:
Requirement Specification Description System in Japanese Language - JISDOS. 127-136 - David A. Marca, Clement L. McGowan:
Static and Dynamic Data Modeling for Information System Design. 137-147
Programming Environments
- Barry W. Boehm, James F. Elwell, Arthur B. Pyster, E. Don Stuckle, Ronald D. Williams:
The TRW Software Productivity System. 148-156 - Harald Wertz:
The Design of an Integrated, Interactive and Incremental Programming Environment. 157-165 - Leon J. Osterweil:
Toolpack - An Experimental Software Development Environment Research Project. 166-177
Maintenance Evaluation and Tools
- Jean Cochrane Zolnowski, P. D. Ting:
An Insider's Survey on Software Development. 178-187 - M. J. Lawrence:
An Examination of Evolution Dynamics. 188-196 - P. G. Hamer, G. D. Frewin:
M. H. Halstead's Software Science - A Critical Examination. 197-207
Specification Techniques
- Naoki Yonezaki, Takao Katayama:
Functional Specification of Synchronized Processes Based on Modal Logic. 208-217 - Toshiki Sakabe, Yasuyoshi Inagaki, Namio Honda:
Specification of Abstract Data Types with Partially Defined Operations. 218-224 - Sol J. Greenspan, John Mylopoulos, Alexander Borgida:
Capturing More World Knowledge in the Requirements Specification. 225-235
Tools for Program Design and Construction
- Andres Rudmik, B. E. Casey, H. Cohen:
Consistency Checking within Embedded Design Languages. 236-245 - S. Warren, Bruce E. Martin, Charles Hoch:
Experience with a Module Package in Developing Production Quality PASCAL Programs. 246-253 - Huang Cheng Cheng Kuo, C. H. Li, Jay Ramanathan:
A Form-Based Approach to Human Engineering Methodologies. 254-271
Testing and Tools
- Sandra Rapps, Elaine J. Weyuker:
Data Flow Analysis Techniques for Test Data Selection. 272-278 - D. V. Buyansky, J. W. Schatz:
No 1A ESS Laboratory Support System - Erasable Flag Facility. 279-286 - H. Ohba:
Software Quality = Test Accuracy * Test Coverage. 287-295
Software Notations
- M. M. Ling:
Designing Data Entry Programs Using State Diagram as a Common Model. 296-308 - Robert G. Babb II:
Data-Driven Implementation of Data Flow Diagrams. 309-318 - S. Ito:
Automatic Input of Flow Chart in Document Image. 319-329
Interactive Systems
- Yukikazu Nakamoto, T. Iwamoto, M. Hori, Kenichi Hagihara, Nobuki Tokura:
An Editor for Documentation in pi-System to Support Software Development and Maintenance. 330-339 - G. Beretta, Helmar Burkhart, Peter Fink, Jürg Nievergelt, Jan Stelovsky, Hirotsugo Sugaya:
XS-1: An Integrated Interactive System and Its Kernel. 340-349 - Luigi Petrone, Antonio Di Leva, Franco Sirovich:
DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements. 350-359
Case Studies
- David R. Barstow, Roger Duffey, Stephen W. Smoliar, Stanley Vestal:
An Automatic Programming System to Support an Experimental Science. 360-366 - P. Lucas, Tore Risch:
Representation of Factual Information by Equations and Their Evaluation. 367-376 - Eric Harslem, LeRoy E. Nelson:
A Retrospective on the Development of Star. 377-385
Program Analysis and Synthesis
- Ira R. Forman:
Global Data Flow Analysis by Decomposition into Primes. 386-392 - Kokichi Futatsugi, Koji Okada:
A Hierarchical Structuring Method for Functional Software Systems. 393-402 - Norio Shiratori, J. Gohara, Shoichi Noguchi:
A New Design Language for Communication Protocols and a Systematic Design Method of Communication Systems. 403-413
Short Papers
- K. Takahashi, T. Aso, M. Kobayashi:
Visual Aid for FORTRAN Program Debugging. 414-415 - B. Runge:
The Inspection Metho Applied to Small Projects. 416-417 - Joseph E. Urban:
Software Development with Executable Functional Specifications. 418-419 - K. Miyazawa, M. Oda, S. Kato:
The Portable Communication Protocol Program COMPAS for Data Terminal Systems. 420-421 - Yoshihisa Mano, Kazuhito Ohmaki, Koji Torii:
Early Experiences with a Multi-Display Programming Environment. 422-423 - Kazuhiko Chiba, Kazunori Konishi, Akira Kurematsu:
A Model for Description of Communication Protocol. 424-428
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:
