Abstract is missing.
- Object-oriented methods-why we need themStephen Joseph. [doi]
- Software reuse and CASE toolsMatthieu Dabin. 2-3 [doi]
- An approach to reusable software through prototyping and set-oriented languagesEmst-Erich Doberkat. 4-5 [doi]
- Software reuse trends in the United StatesRubén Prieto-Díaz. 6-7 [doi]
- An experience of software reuse activitiesSadahiro Isoda. 8-9 [doi]
- A tool for the static optimization of concurrent programsFabrizio Baiardi, Laura Ricci. 10-17 [doi]
- Skewed partition-theory and practice [parallel programming]Chung-Ta King. 18-23 [doi]
- Compiler techniques to extract parallelism within a nested loopChien-Min Wang, Sheng-De Wang. 24-29 [doi]
- Extending the E-R concepts to capture natural language semantics for database accessFrank S. C. Tseng, Arbee L. P. Chen, Wei-Peng Yang. 30-35 [doi]
- Conditional transactions: a model of computation for active databasesJaideep Srivastava, Kuo-Wei Hwang, Wei-Tek Tsai. 36-41 [doi]
- Adding methods to relational database constructsKatsumi Tanaka, Norio Sanada. 42-49 [doi]
- Dynamic object models with spatial applicationQing Li, Mike P. Papazoglou, John L. Smith. 50-55 [doi]
- A tasking deadlock detector for Ada programsJingde Cheng, Yoshiaki Kasahara, Kazuo Ushijima. 56-63 [doi]
- Efficient techniques for deadlock resolution in distributed systemsYuan-Chieh Chow, William F. Klostermeyer, Kenneth Luo. 64-69 [doi]
- A deadlock detection and resolution algorithm for sequential transaction processing with multiple lock modesYoung Chul Park, Peter Scheuermann. 70-77 [doi]
- Deadlock detection in distributed database systems: a performance evaluation studyOmran Bukhres, Kenneth Magel. 78-83 [doi]
- Aspects of mapping tasks onto parallel processing systemsHoward Jay Siegel, James B. Armstrong, Daniel W. Watson, Wayne G. Nation, Mark Allemang. 84-89 [doi]
- Specifications of a general user interface in LOTOS and OBJDeddo Wiersma, Kazuhito Ohmaki, Kokichi Futatsugi. 90-97 [doi]
- Developing user interfaces by stimulus-response demonstrationDavid Wolber, Gene L. Fisher. 98-103 [doi]
- Specification of user-interfaces using CRUISE/OBSERVAviv Cohen, Shmuel S. Tyszberowicz, Amiram Yehudai. 104-109 [doi]
- A spatial data model underlying human interaction with object-oriented spatial databasesEliseo Clementini, Paolino Di Felice, Alessandro D'Atri. 110-117 [doi]
- A multimedia knowledge-based systemTetsuo Sakaguchi, Takehisa Fujita, Shigeo Sugimoto, Koichi Tabata. 118-123 [doi]
- An integrated knowledge-based intelligent programming environment for novice programmersHaruki Ueno. 124-129 [doi]
- Test consulting system for switching systemsC. L. Ho, Hisashi Manabe, Hideo Yabe. 130-135 [doi]
- A shell for cooperative planningN. Kanai, Yoshio Tozawa. 136-141 [doi]
- RT-FRORL: a formal requirements specification language for specifying real-time systemsJeffrey J. P. Tsai, Hung-Chin Jang, Karen J. Schellinger. 142-148 [doi]
- Synthesizing procedural abstractions from formal specificationsBetty H. C. Cheng. 149-154 [doi]
- Formal specification of software systems using two-level grammarBarrett R. Bryant. 155-160 [doi]
- Software specification in business terminologyJun Ginbayashi, Keiji Hashimoto. 161-168 [doi]
- Expert system building toolsDick B. Simmons, Terry D. Escamilla, Newton C. Ellis. 169-174 [doi]
- ABC-a new approach to distributed programmingDavid L. Cohn, Arindam Banerji. 175-182 [doi]
- ParC project: practical constructs for parallel programming languagesR. Govindarajan, Lifu Guo, Sheng Yu, P. Wang. 183-189 [doi]
- A concurrent programming language Cable and its visualization facilityKazuyuki Yoshida, Kazuhiro Goto, Tetsuya Harada, Takashi Imanaga, Kouichi Utsumiya, Kazuyoshi Korida. 190-195 [doi]
- SUIT: software user interface design toolNobuko Kishi, Kazuo Satoh, Keiichi Itoh. 196-203 [doi]
- Design of generalized document viewer using object chain representationNobuhiro Ajitomi. 204-211 [doi]
- A visual data manipulation language for a semantic data modelTakao Miura. 212-218 [doi]
- Functional language for enacting software processesKatsuro Inoue, Takeshi Ogihara, Hajimu Iida, Minoru Nitta. 219-224 [doi]
- A new control flow representationPierre N. Robillard, Mario Simoneau. 225-230 [doi]
- An algebraic specification of a reflective languageMasahito Kurihara, Azuma Ohuchi. 231-236 [doi]
- A formal approach to the semantic specification of data flow diagramsTong Liu, C. S. Tang, Rui Zhang. 237-242 [doi]
- Software productivity and quality measurementsD. Paul Smith, Weider D. Yu, Kiichi Fujino, James R. Hemsley, Gerald J. Knutson, Donald J. Reifer, William B. Smith. 244-254 [doi]
- A high-level tool for parallel program developmentKenneth J. Danhof, Mehdi R. Zargham. 255-260 [doi]
- Design of a system for software testing and debugging for multiprocessor avionics systemsJames E. Lumpp Jr., Roger K. Shultz, Thomas L. Casavant. 261-268 [doi]
- A prototype concurrent simulation toolkitVaidy S. Sunderam, Vernon Rego. 269-274 [doi]
- Design of a parallel theorem prover for first order logicWen-Tsuen Chen, Tzren-Ru Chou, Kuen-Rong Hsieh, Huai-Jen Liu. 275-280 [doi]
- Compiling recursive Prolog programs with list structure into procedural languagesYoung K. Nam, Lawrence J. Henschen. 281-287 [doi]
- Information caching in the execution of logic programsChih-Hao Huang, Jie-Yong Juang. 288-293 [doi]
- Performance analysis of optimistic concurrency control schemes with different rerun policiesPhilip S. Yu, Daniel M. Dias. 294-300 [doi]
- A general model for non-uniform data access in a database systemSujata Banerjee, Victor O. K. Li. 301-306 [doi]
- Qualitative reasoning-based parameter tuning on bottleneck of synchronized queueing networkKiyoshi Itoh, Shinichi Honiden, Keisuke Shida, Takaaki Konno. 307-314 [doi]
- Scalable, parallel performance environmentsDaniel A. Reed. 315-316 [doi]
- Integrated debugging and performance monitoring for parallel programsDavid W. Krumme, Alva L. Couch. 317-318 [doi]
- Nested report generation for object-oriented databasesKunitoshi Tsuruoka. 319-326 [doi]
- Dynamic spatial query language: a customized query language for object-oriented database systemsW. S. Luk, Amelia Choi. 327-332 [doi]
- A type system for an object-oriented database systemXuequn Wu. 333-338 [doi]
- Protocol validation using a pumping-based approachKuo-Chung Tai, Hong-Fa Ho, Gen-Huey Chen. 339-344 [doi]
- On generating test data from prototypesRen-Juh Lea, Slong Chen, Chyan-Goei Chung. 345-350 [doi]
- Compiler-integrated program mutationRichard A. DeMillo, Edward W. Krauser, Aditya P. Mathur. 351-356 [doi]
- Implicit joins in the structural data modelByung Suk Lee, Witold Litwin, Gio Wiederhold. 357-364 [doi]
- Estimating recursive query costs for various parallel environmentsFrédéric Andrés, Y. Viegmont. 365-372 [doi]
- Visual knowledge query language as a front-end to relational systemsKeng L. Siau, Hock Chuan Chan, K. P. Tan. 373-378 [doi]
- Unifying data grouping and knowledge grouping through nested relation based knowledge representationQiming Chen, Yahiko Kambayashi. 379-384 [doi]
- There are no silver bullets! [software engineering]Michael Harris. 386-387 [doi]
- On formalizing software process description: Consortium's exampleRobert Chi Tau Lai. 388-389 [doi]
- Foolproofing and quality feedback: keys of process-based managementTakeshi Nakajo. 390-391 [doi]
- Execution mode management and CU/PE overlap in an SIMD/SPMD parallel language/compilerMark A. Nichols, Howard Jay Siegel, Henry G. Dietz. 392-397 [doi]
- A thread facility based on user/kernel cooperation in the XERO operating systemShigekazu Inohara, Kazuhiko Kato, Atsunobu Narita, Takashi Masuda. 398-405 [doi]
- Scheduling performance polymorphic computations in real-time systemsPeng Tu, Kwei-Jay Lin. 406-411 [doi]
- CHASE: a bug-locating assistant systemTakao Shimomura, Sadahiro Isoda. 412-417 [doi]
- An automatic debugging approach for logic programming with a method for propagating constraintsTetsuji Fukaya, Morio Nagata. 418-423 [doi]
- Experimental evaluation of the cost effectiveness of software reviewsShinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno, Koji Torii. 424-429 [doi]
- Quality-time tradeoffs in simulated annealing for VLSI placementSrilata Raman, Benjamin W. Wah. 430-435 [doi]
- A dynamic strategy for multiple stacks manipulationBeen-Chian Chien, Wei-Pang Yang. 436-441 [doi]
- A data compression scheme which achieves good compression for practical useYoshihisa Mano, Yutaka Sato. 442-449 [doi]
- Standardized object services for complex business application supportRao Mikkilineni. 451-452 [doi]
- An object-oriented approach to software development for parallel processing systemsStephen S. Yau, Xiaoping Jia, Doo-Hwan Bae, Madhan Chidambaram, Gil-Ho Oh. 453-458 [doi]
- A parallel object-oriented language A-NETL and its programming environmentTsutomu Yoshinaga, Takanobu Baba. 459-464 [doi]
- A distributed Smalltalk based on process-object modelY. S. Lee, J.-H. Huang, F.-J. Wang. 465-471 [doi]
- Requirements engineering metamodel: An integrated view of requirementsKathleen A. Jordan, Alan M. Davis. 472-478 [doi]
- SOFTON: a flexible software construction model by interface mediationYoshinori Kishimoto, Koichi Yamano. 479-486 [doi]
- Generating software development environments from the description of product relationsHajimu Iida, Yoshihiro Nishimura, Katsuro Inoue, Koji Torii. 487-492 [doi]
- Re-affirming support for a transformational approach to software development: theory and practiceBryan Ratcliff. 493-498 [doi]
- Specifications reuse process modeling and case study-based evaluationsMasao Matsumoto, Satoshi Hayano, Takahiro Kudo, Hideo Yoshida, Shunzo Imai, Kiyoshi Ohshima. 499-506 [doi]
- Analyzing and evaluating fundamental design process of checkout system for artificial spacecraftSumio Mochizuki, Akira Yamauchi, Takuya Katayama. 507-514 [doi]
- Melding software processes into software object databasesYing Yang. 515-520 [doi]
- Criteria for selecting software process modelsLinda C. Alexander, Alan M. Davis. 521-528 [doi]
- Class modules in object-oriented software developmentJianhua Zhu. 529-530 [doi]
- Evaluation of OOAD methodologiesMohammad A. Ketabchi. 531-532 [doi]
- Formal and informal approaches for validationTetsuo Tamai. 534-535 [doi]
- Pisa parallel processing project on general-purpose highly-parallel computersFabrizio Baiardi, Marco Danelutto, Roberto Di Meglio, Mehdi Jazayeri, Michael Mackey, Susanna Pelagatti, Fabrizio Petrini, Timothy S. Sullivan, Marco Vanneschi. 536-543 [doi]
- Development of the parallel inference machine RAP/LOP-WAM and its optimized parallel compilerYaoqing Gao, Dingxing Wang, Meiming Shen, Weiming Zheng, Xiaolin Qiu. 544-549 [doi]
- Approaches to implementation of multiple DRB stations in tightly-coupled computer networksK. H. (Kane) Kim, B. J. Min. 550-557 [doi]
- Software productivity measurementsWeider D. Yu, D. Paul Smith, Steel T. Huang. 558-564 [doi]
- Software metrics for CASE developmentGraham Tate, June M. Verner. 565-570 [doi]
- Software engineering measurement: A modular courseMartin Bush, Meg Russell. 571-576 [doi]
- Software reliability measurements through combination models: approaches, results, and a CASE toolMichael R. Lyu, Allen P. Nikora. 577-584 [doi]
- A software reliability growth model for test-effort managementShigeru Yamada, Jun Hishitani, Shunji Osaki. 585-590 [doi]
- Fault analysis based on fault reporting in JSP software developmentYukio Mohri, Tohru Kikuno. 591-596 [doi]
- Software reliability model selectionGeorge J. Knafl, Jerome Sacks. 597-601 [doi]
- Performance, effectiveness, and reliability issues in software testingAditya P. Mathur. 604-605 [doi]
- Timestamping events for inferring `affects' relation and potential causalityMohan Ahuja, Timothy Carlson, Ashwani Gahlot, Deborah Shands. 606-611 [doi]
- Designing massively parallel algorithms with ParallaxisThomas Bräunl. 612-617 [doi]
- VERT-verification of real-time programsMike Beaven, Brad Elmore, Dan C. Marinescu, Ryan Stansifer. 618-625 [doi]
- A business form recognition systemArturo Pizano, May-Inn Tan, Naoto Gambo. 626-632 [doi]
- Publishing tools need both: state-oriented and task-oriented version supportAnja Weber. 633-639 [doi]
- Compound document processing systemSuliman Al-Hawamdeh, Christopher J. C. Loke. 640-644 [doi]
- Optimal data migration policies in distributed databasesTony P. Ng. 645-650 [doi]
- A symmetric and resilient configuration scheme for multiple name serversAmane Nakajima. 651-658 [doi]
- Decomposition and allocation of flat-structured problemsPeng Hu, Bogong Su, Chunyi Shi. 659-664 [doi]
- Fault-tolerant parallel matrix multiplication with one iteration fault detection latencyChul-Eui Hong, Bruce M. McMillin. 665-672 [doi]
- Design of reliable broadcast protocol for selectively partially ordering PDUsAkihito Nakamura, Makoto Takizawa. 673-679 [doi]
- Automated test data generation for distributed softwareBogdan Korel, Horst F. Wedde, Roger Ferguson. 680-685 [doi]
- Application development using Smalltalk and C++Toshiyuki Kishi, Rie Shinozaki, Masaaki Hama, Hajime Sawada, Mitsuru Kagawa. 686-692 [doi]
- An update protocol for an OODB with integrityRichard Bigelow, Patrick Thompson, Carl Tsai, Hirohisa Yamaguchi. 693-698 [doi]
- SODA: a security model for object-oriented database management systemsThomas F. Keefe. 699-704 [doi]
- Programming in a mother tongue: philosophy, implementation, practice and effectToshio Souya, Eiichi Hayakawa, Masayuki Honma, Hidehiro Fukushima, Mitaro Namiki, Nobumasa Takahashi, Masaki Nakagawa. 705-712 [doi]
- DADENT: a cost-effective environment for developing distributed softwareXiaoming Li, Zhongxiang Jiang, Lijie Jin, Sifei Li. 713-718 [doi]
- Semiparallel execution of compiled Lisp programsMasa-Aki Fukase, Tadao Nakamura. 719-724 [doi]