2nd COMPSAC 1978: Chicago, Illinois, USA
- The IEEE Computer Society's Second International Computer Software and Applications Conference, COMPSAC 1978, 13-16 November, 1978, Chicago, Illinois, USA. IEEE 1978
- Evmenios P. Damon:
A management approach to total computer productivity at Goddard Space Flight Center. 7-12 - H. A. Bauer, R. H. Birchall:
Managing large scale software development with an automated change control system. 13-18 - Kyojiro Shizuka, Satoshi Sakashita:
Short COBOL a practical tool to reduce tedious programming procedures. 25-29 - Leon J. Osterweil, John R. Brown, Leon G. Stucki:
ASSET: A Lifecycle Verification and Visibility System. 30-35 - Richard N. Taylor, Leon J. Osterweil:
A facility for verification, testing and documentation of concurrent process software. 36-41 - Linda S. Hammond, Daniel L. Murphy, Mark K. Smith:
A system for analysis and verification of software design. 42-47 - S. S. Lamb, V. G. Leck, L. J. Peters, G. L. Smith:
SAMM: A modeling tool for requirements and design specification. 48-53 - Stephen S. Yau, James S. Collofello, T. MacGregor:
Ripple effect analysis of software maintenance. 60-65 - Kazu Okumoto, Amrit L. Goel:
Availability and other performance measures of software systems under imperfect maintenance. 66-70 - Stephen G. Chappell, Newman Guttman, Warren H. Jessop, Terry L. Shockey:
EPLX: A High Level Language for Electronic Switching Systems. 78-83 - Granino A. Korn:
Closing the software gap for interactive mini/microcomputation: Direct execution of microprogrammed block-diagram primitives. 93-103 - Cheryl A. Wiecek, Taylor L. Booth:
Realization considerations for dynamic performance analysis in automated software design. 129-134 - Jack A. Gaines Jr.:
An external debugging system for weapon system programs written in a higher level language. 158-162 - Tim Pettibone:
FORTRAN subroutine initialization and communication in a two processor environment. 177-182 - Dorothy E. Denning:
A method for maintaining routing data in automated record keeping systems. 215-219 - David K. Hsiao, Douglas S. Kerr, Stuart E. Madnick:
Operating system security a tutorial of current research. 220-228 - Yoshiro Nakamura, Ryuzo Miyahara, Hideshi Takeuchi:
Complementary approach to the effective software development environment. 235-240 - William Earl Boebert, William R. Franta, E. Douglas Jensen, Richard Y. Kain:
Decentralized executive control in distributed computer systems. 254-258 - J. G. Krishnayya, N. Viswanathan:
Information system for steel distridbution in India: DDP as an appropriate technology. 265-269 - Stephen R. Kimbleton:
Data sharing protocols: structure, requirements and interrelationships. 270-276 - Sreekaanth S. Isloor, T. Anthony Marsland:
An effective "on-line" deadlock detection technique for distributed data base management systems. 283-288 - I. L. Shaw, W. A. Edblad, A. M. Pavlovic:
Process control languages - designer's perspective of adequacy and future requirements. 307-309 - David F. Palmer, W. Michael Denny:
Distributed data processing requirements engineering: high level DDP design. 352-357 - James T. Lawson, Michael P. Mariani:
Distributed data processing system design - A look at the partitioning problem. 358-363 - H. Fitzgibbon, Bill P. Buckles, Joe E. Scalf:
Distributed data processing design evaluation through emulation. 364-369 - Tosiyasu L. Kunii, James C. Browne, Hideko S. Kunii:
An architecture for evolutionary database system design. 382-386 - Y. Matsumoto, S. Nakajima, S. Yamamoto, T. Sakai:
SPS: A Software Production System for mini-computers and micro-computers. 396-401 - D. Johnson, C. Kolberg, J. Sinnamon:
A programmable system for software configuration management. 402-407 - Christine L. Braun, Barry L. Wolman:
Tools and techniques for implementing a large compiler on a small computer. 408-414 - Jack D. Grimes:
How changing technology should effect computer science and engineering education. 415-418 - Chung-Shu Yang, Gerard Salton:
Best-match querying in general database systems-a language approach. 458-463 - John D. Gabbe, T. B. London, R. E. Miller, J. D. Beyer:
Applications of superimposed coding to partial-match retrieval. 464-469 - Federica Liguori, Fabio A. Schreiber:
The software configurator : an aid to the industrial production of software. 487-492 - William R. Bogdan:
Life cycle support of navy airborne antisubmarine warfare tactical software. 499-503 - Norman F. Schneidewind:
Software engineering of the micro/mini computer subnet in computer networks. 508-513 - Wen-Tsuen Chen, Jone-Ping Ho, Chia-Hsien Wen:
Dynamic validation of programs using assertion checking facilities. 533-538 - DonaLd E. Wright, B. D. Carroll:
An automated data collection system for the study of software reliability. 571-576 - William Earl Boebert, William R. Franta, E. Douglas Jensen, Richard Y. Kain:
Kernel primitives of the HXDP executive. 595-600 - Kenneth J. Thurber, Donald R. Anderson:
Hardware/Software trade-offs: Hardware Design Viewpoint. 601-606 - Frank M. Goetz, D. C. Plisch:
Hardware vs. software design tradeoffs for maintenance functions in high-reliability real time systems. 607-613 - N. W. Styer, Jon G. Bredeson:
Computer-assisted data communications engineering instruction. 620-625 - Richard A. Becker, John M. Chambers:
Design and Implementation of the 'S' System for Interactive Data Analysis. 626-629 - William Pferd, K. Ramachandran:
Computer aided automatic digitizing of engineering drawings. 630-635 - Charles B. Weinstock, Milton W. Green:
Reconfiguration stategies for the SIFT fault-tolerant computer. 645-650 - K. H. Kim, H. Hecht, J. Huang, Mahmoud Naghibzadeh:
Strategies for structured and fault-tolerant design of recovery programs. 651-656 - Ashok K. Agrawala, Jonathan R. Agre, K. D. Gordon:
The slotted ring vs. the token-controlled ring: A comparative evaluation. 674-679 - Pitro Zafiropulo:
Design rules for producing logically complete two-process interactions and communications protocols. 680-685 - Sigram Schindler, Jochen Didier, Michael Steinacker:
Design and Formal Specification of an X.25 Packet Level Protocol Implementation. 686-691 - P. Bruce Berra:
Recent developments in data base and information retrieval hardware architectures. 698-703 - Alan Jay Smith:
Directions for memory hierarchies and their components: Research and development. 704-709 - Victor Mayper, L. S. Michels, Alex L. Nagy:
A practical text search system for unindexed data. 710-715 - Albert Y. Teng, Ming T. Liu:
A formal approach to the desin and implementation of network communication protocol. 722-727 - Banh Tri An, Erol Gelenbe:
Near optimal behaviour of the packet switching broadcast channel. 728-734 - Yonah Wilamowsky, Moshe Shurin, Aaron Tenenbaum, George Weinberger:
A system for labor negotiations. 741-743 - Cecil E. Martin, Ralph F. O'Bleness:
Life Cycle Management Concepts for Air Force Computer Resources. 764-768 - Svetlana P. Kartashev, Steven I. Kartashev:
Software problems for dynamic architectures: Adaptive assignment of hardware resources. 775-780 - F. Saheban, Arthur D. Friedman:
A survey and methodology of reconfigurable multi-module systems. 790-796