![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
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
- Per Brinch Hansen:
A keynote address on concurrent programing. 1-6 - 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 - J. B. Synnott:
Managing software development - requirements to delivery. 19-24 - 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 - John B. Munson:
Software maintainability: A practical concern for life-cycle costs. 54-59 - 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 - Peter J. Denning:
Working sets today. 71-77 - Stephen G. Chappell, Newman Guttman, Warren H. Jessop, Terry L. Shockey:
EPLX: A High Level Language for Electronic Switching Systems. 78-83 - J. T. Beckett, S. W. Ng:
A general purpose microcode assembler. 84-89 - Clement L. McGowan:
Management planning for large software projects. 90-92 - Granino A. Korn:
Closing the software gap for interactive mini/microcomputation: Direct execution of microprogrammed block-diagram primitives. 93-103 - D. A. Anderson:
A Microprocessor Operating System for Real-Time Applications. 104-109 - F. A. Salomon:
Software development for microprocessors - A case study. 110-113 - Edward F. Miller Jr.:
Program testing - An overview for managers. 114-119 - Yaohan Chu:
Interprocedure structure. 120-125 - Maurice H. Halstead:
Management Prediction - Can Software Science Help? 126-128 - Cheryl A. Wiecek, Taylor L. Booth:
Realization considerations for dynamic performance analysis in automated software design. 129-134 - Terry G. Glagowski, John R. White:
A relational view of a software design model. 135-140 - Colin Whitby-Strevens:
Towards the performance evaluation of distributed computing systems. 141-146 - Earl C. Van Horn:
Software evolution using the SEER data base. 147-152 - Thomas G. Hallin, Robert C. Hansen:
Toward a better method of software testing i z. 153-157 - Jack A. Gaines Jr.:
An external debugging system for weapon system programs written in a higher level language. 158-162 - Stephen S. Yau, Fu-Chung Chen, K. H. Yau:
An approach to peal-time control flow checking. 163-168 - Tsun S. Chow:
Analysis of software design modeled by multiple finite state machines. 169-174 - George P. O'Leary:
The design of a high-speed arithmetic processor. 175-176 - Tim Pettibone:
FORTRAN subroutine initialization and communication in a two processor environment. 177-182 - Robert S. Norin:
Sparse matrix calculations using an array processor. 183-187 - B. N. Moore, R. Penumalli:
Simulation of relativistic electron beams on an AP-120B. 188-193 - George I. Davida, David L. Wells, John B. Kam:
Security and Privacy. 194-203 - Jonathan K. Millen:
Example of a formal flow violation. 204-208 - Richard A. DeMillo, David P. Dobkin:
Recent progress in secure computation. 209-214 - 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 - Rein Turn:
Technical aspects of privacy protection. 229-234 - Yoshiro Nakamura, Ryuzo Miyahara, Hideshi Takeuchi:
Complementary approach to the effective software development environment. 235-240 - Jerome L. Uhrig:
System requirements specification for real-time systems. 241-245 - Alan Schlukbier:
Small business applications for microcomputers. 247-252 - K. S. Shankar:
Data structures, types and abstractions. 253 - William Earl Boebert, William R. Franta, E. Douglas Jensen, Richard Y. Kain:
Decentralized executive control in distributed computer systems. 254-258 - Hon Fung Li, C. C. Lau:
A distributed multiprocessor traffic control system. 259-264 - 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 - Y. Edmund Lien, John H. Ying:
Design of a distributed Entity-Relationship database system. 277-282 - Sreekaanth S. Isloor, T. Anthony Marsland:
An effective "on-line" deadlock detection technique for distributed data base management systems. 283-288 - P. S. Para:
CLIO - A relational data base management system. 289-294 - James R. McSkimin:
REDAS - A relational data access system for real-time applications. 295-300 - Tomas Mirtin:
Realtime programming language PEARL - Concept and characteristics. 301-306 - I. L. Shaw, W. A. Edblad, A. M. Pavlovic:
Process control languages - designer's perspective of adequacy and future requirements. 307-309 - Lori A. Clarke:
Testing: Achievements and Frustrations. 310-314 - Richard G. Hamlet:
Test reliability and software maintenance. 315-320 - William E. Howden:
Functional program testing. 321-325 - Carl G. Davis, Charles R. Vick:
The software development system: Status and evolution. 326-331 - Mack W. Alford:
Software Requirements Engineering Methodology (SREM) at the age of two. 332-339 - Peter C. Belford:
Experience utilizing components of the software development system. 340-345 - William C. McDonald, J. M. Williams:
The Advanced Data Processing Testbed. 346-351 - 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 - Raymond T. Yeh, Philip Chang, C. Mohan:
A multi-level approach to data base design. 370-375 - Dale O. Knudson:
Obtaining data base management system independence. 376-381 - Tosiyasu L. Kunii, James C. Browne, Hideko S. Kunii:
An architecture for evolutionary database system design. 382-386 - Herbert Weber:
A software engineering approach to data base systems. 387-395 - 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 - Robert G. Kayel:
Data independent hierarchies. 419-423 - Donald R. Fitzwater:
A decomposition of the complexity of system development processes. 424-429 - Richard A. Thompson:
The structured design of a data compression program. 430-434 - Harold J. Kopp:
Experience with the DATATRAN System. 435-439 - J. W. Tippie:
Modular design of minicomputer applications. 440-443 - Joseph F. Gloudeman:
The modularity of MSC/NASTRAN. 444-446 - H. C. Honeck, M. M. Anderson:
The JOSHUA modular data-based system. 447-451 - Leland L. Beck:
A generalized implementation method for relational data sublanguages. 452-457 - 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 - C. W. Shen, Richard C. T. Lee:
A nearest neighbor search technique with short zero-in time. 470-475 - Roger R. Bate, George T. Ligler:
An approach to software testing: methodology and tools. 476-480 - Steven Cushing:
Security aspects of higher order software. 481-486 - Federica Liguori, Fabio Alberto Schreiber:
The software configurator : an aid to the industrial production of software. 487-492 - John D. Musa:
The use of software reliability measures in project management. 493-498 - William R. Bogdan:
Life cycle support of navy airborne antisubmarine warfare tactical software. 499-503 - G. S. Garmon:
Restructuring the Navy Tactical Data System. 504-507 - Norman F. Schneidewind:
Software engineering of the micro/mini computer subnet in computer networks. 508-513 - Frank Stepczyk:
A case study in real-time distributed processing design. 514-519 - Arthur C. M. Chen:
Computerized control and protection of electric power distribution system. 520 - Paul B. Moranda:
Limits to program testing with random number inputs. 521-526 - Michael R. Paige:
An analytical approach to software testing. 527-532 - Wen-Tsuen Chen, Jone-Ping Ho, Chia-Hsien Wen:
Dynamic validation of programs using assertion checking facilities. 533-538 - Carolyn Gannon:
JAVS: A Jovial Automated Verification System. 539-544 - J. R. Fragola:
The IEEE standards generation process. 545-550 - Michael Landes:
RADC software development specification. 551-554 - Fletcher J. Buckley:
Developing a Standard for Software Quality Assurance Plans. 555-558 - R. Konakovsky:
Safety evaluation of computer hardware and software. 559-564 - Roger C. Cheung:
A user-oriented software reliability model. 565-570 - Donald E. Wright, Bill D. Carroll:
An automated data collection system for the study of software reliability. 571-576 - Alan N. Sukert:
A four-project empirical study of software error prediction models. 577-582 - Tilak Agerwala, Bernard Lint:
Communication issues in parallel algorithms and systems. 583-588 - Kenneth J. Thurber:
Computer communication techniques. 589-594 - 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 - David C. Rine, George Davida:
Programs in software engineering education. 614-619 - 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 - Lawrence R. Marker:
Process Construction - An Overview. 636-644 - Charles B. Weinstock, Milton W. Green:
Reconfiguration stategies for the SIFT fault-tolerant computer. 645-650 - K. H. Kim, Herbert Hecht, J. Huang, Mahmoud Naghibzadeh:
Strategies for structured and fault-tolerant design of recovery programs. 651-656 - Margaret H. Hamilton, Saydean Zeldin:
Reliability in terms of predictability. 657-662 - John G. Yee, Stephen Y. H. Su:
A scheme for tolerating faulty data in real-time systems. 663-667 - Dharma P. Agrawal, Tse-Yun Feng, Chuan-lin Wu:
A survey of communication processor systems. 668-673 - 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 - Jon Livesey, Eric G. Manning:
What MININET Has Taught us about Programming Style. 692-697 - 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 - Raymond A. Liuzzi, P. Bruce Berra:
A data base machine design and evaluation facility. 716-721 - 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 - Julius T. Tou:
Computer-based intelligent information system. 735-740 - Yonah Wilamowsky, Moshe Shurin, Aaron M. Tenenbaum, George Weinberger:
A system for labor negotiations. 741-743 - Thomas H. Bruggere:
Business graphics: Making computers work for management. 744-748 - K. W. Krause, L. W. Diamant:
A management methodology for testing software requirements. 749-754 - Edward J. Strong:
Software reliability and maintainability in large-scale systems. 755-760 - S. Austin, D. MacCrone, J. Patrick Ryan:
Computer program development analysis. 761-763 - Cecil E. Martin, Ralph F. O'Bleness:
Life Cycle Management Concepts for Air Force Computer Resources. 764-768 - Jean-Loup Baer:
Software control and program design issues for alterable architectures. 769-774 - Svetlana P. Kartashev, Steven I. Kartashev:
Software problems for dynamic architectures: Adaptive assignment of hardware resources. 775-780 - G. Jack Lipovski:
On some parallel programming techniques. 781-789 - F. Saheban, Arthur D. Friedman:
A survey and methodology of reconfigurable multi-module systems. 790-796 - Arthur V. Pohm:
Impact of changing memory technology on computer education. 797-802 - Ranga Vemuri, J. V. Cornacchio:
Continuing education in microprocessors: Use of software simulators. 803-806 - Richard H. Austing, Gerald L. Engel:
Computers and society: Report of a workshop. 807-813 - Mark A. Holthouse, Stuart G. Greenberg:
Software technology for scientific and engineering applications. 814-818 - Barry A. Wyld:
"ASTMS and the computing industry". 819-821 - K. Mani Chandy, Jayadev Misra:
A nontrivial example of concurrent processing: Distributed simulation. 822-826 - Lawrence H. Putnam:
Example of an early sizing, cost and schedule estimate for an application software system. 827-832
![](https://dblp.org/img/cog.dark.24x24.png)
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.