default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th COMPSAC 1991: Tokyo, Japan
- Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, COMPSAC 1991, Tokyo, Japan, 11-13 September, 1991. IEEE 1991, ISBN 0-8186-2152-4
- Stephen Joseph:
Object-oriented methods-why we need them. - Matthieu Dabin:
Software reuse and CASE tools. 2-3 - Ernst-Erich Doberkat:
An approach to reusable software through prototyping and set-oriented languages. 4-5 - Rubén Prieto-Díaz:
Software reuse trends in the United States. 6-7 - Sadahiro Isoda:
An experience of software reuse activities. 8-9 - Fabrizio Baiardi
, Laura Ricci:
A tool for the static optimization of concurrent programs. 10-17 - Chung-Ta King:
Skewed partition-theory and practice [parallel programming]. 18-23 - Chien-Min Wang, Sheng-De Wang:
Compiler techniques to extract parallelism within a nested loop. 24-29 - Frank S. C. Tseng, Arbee L. P. Chen, Wei-Peng Yang:
Extending the E-R concepts to capture natural language semantics for database access. 30-35 - Jaideep Srivastava, Kuo-Wei Hwang, Wei-Tek Tsai:
Conditional transactions: a model of computation for active databases. 36-41 - Katsumi Tanaka, Norio Sanada:
Adding methods to relational database constructs. 42-49 - Qing Li, Mike P. Papazoglou, John L. Smith:
Dynamic object models with spatial application. 50-55 - Jingde Cheng, Yoshiaki Kasahara, Kazuo Ushijima:
A tasking deadlock detector for Ada programs. 56-63 - Yuan-Chieh Chow, William F. Klostermeyer, Kenneth Luo:
Efficient techniques for deadlock resolution in distributed systems. 64-69 - Young Chul Park, Peter Scheuermann:
A deadlock detection and resolution algorithm for sequential transaction processing with multiple lock modes. 70-77 - Omran A. Bukhres, Kenneth Magel:
Deadlock detection in distributed database systems: a performance evaluation study. 78-83 - Howard Jay Siegel, James B. Armstrong, Daniel W. Watson, Wayne G. Nation, Mark Allemang:
Aspects of mapping tasks onto parallel processing systems. 84-89 - Deddo Wiersma, Kazuhito Ohmaki, Kokichi Futatsugi:
Specifications of a general user interface in LOTOS and OBJ. 90-97 - David Wolber, Gene L. Fisher:
Developing user interfaces by stimulus-response demonstration. 98-103 - Aviv Cohen, Shmuel S. Tyszberowicz, Amiram Yehudai:
Specification of user-interfaces using CRUISE/OBSERV. 104-109 - Eliseo Clementini, Paolino Di Felice, Alessandro D'Atri:
A spatial data model underlying human interaction with object-oriented spatial databases. 110-117 - Tetsuo Sakaguchi, Takehisa Fujita, Shigeo Sugimoto, Koichi Tabata:
A multimedia knowledge-based system. 118-123 - Haruki Ueno:
An integrated knowledge-based intelligent programming environment for novice programmers. 124-129 - C. L. Ho, Hisashi Manabe, Hideo Yabe:
Test consulting system for switching systems. 130-135 - N. Kanai, Yoshio Tozawa:
A shell for cooperative planning. 136-141 - Jeffrey J. P. Tsai, Hung-Chin Jang, Karen J. Schellinger:
RT-FRORL: a formal requirements specification language for specifying real-time systems. 142-148 - Betty H. C. Cheng:
Synthesizing procedural abstractions from formal specifications. 149-154 - Barrett R. Bryant:
Formal specification of software systems using two-level grammar. 155-160 - Jun Ginbayashi, Keiji Hashimoto:
Software specification in business terminology. 161-168 - Dick B. Simmons, Terry D. Escamilla, Newton C. Ellis:
Expert system building tools. 169-174 - David L. Cohn, Arindam Banerji:
ABC-a new approach to distributed programming. 175-182 - R. Govindarajan, Lifu Guo, Sheng Yu, P. Wang:
ParC project: practical constructs for parallel programming languages. 183-189 - Kazuyuki Yoshida, Kazuhiro Goto, Tetsuya Harada, Takashi Imanaga, Kouichi Utsumiya, Kazuyoshi Korida:
A concurrent programming language Cable and its visualization facility. 190-195 - Nobuko Kishi, Kazuo Satoh, Keiichi Itoh:
SUIT: software user interface design tool. 196-203 - Nobuhiro Ajitomi:
Design of generalized document viewer using object chain representation. 204-211 - Takao Miura:
A visual data manipulation language for a semantic data model. 212-218 - Katsuro Inoue, Takeshi Ogihara, Hajimu Iida, Minoru Nitta:
Functional language for enacting software processes. 219-224 - Pierre N. Robillard, Mario Simoneau:
A new control flow representation. 225-230 - Masahito Kurihara, Azuma Ohuchi:
An algebraic specification of a reflective language. 231-236 - Tong Liu, C. S. Tang, Rui Zhang:
A formal approach to the semantic specification of data flow diagrams. 237-242 - D. Paul Smith, Weider D. Yu, Kiichi Fujino, James R. Hemsley, Gerald J. Knutson, Donald J. Reifer, William B. Smith:
Software productivity and quality measurements. 244-254 - Kenneth J. Danhof, Mehdi R. Zargham:
A high-level tool for parallel program development. 255-260 - James E. Lumpp Jr., Roger K. Shultz, Thomas L. Casavant:
Design of a system for software testing and debugging for multiprocessor avionics systems. 261-268 - Vaidy S. Sunderam, Vernon Rego:
A prototype concurrent simulation toolkit. 269-274 - Wen-Tsuen Chen, Tzren-Ru Chou, Kuen-Rong Hsieh, Huai-Jen Liu:
Design of a parallel theorem prover for first order logic. 275-280 - Young K. Nam, Lawrence J. Henschen:
Compiling recursive Prolog programs with list structure into procedural languages. 281-287 - Chih-Hao Huang, Jie-Yong Juang:
Information caching in the execution of logic programs. 288-293 - Philip S. Yu, Daniel M. Dias:
Performance analysis of optimistic concurrency control schemes with different rerun policies. 294-300 - Sujata Banerjee, Victor O. K. Li:
A general model for non-uniform data access in a database system. 301-306 - Kiyoshi Itoh, Shinichi Honiden, Keisuke Shida, Takaaki Konno:
Qualitative reasoning-based parameter tuning on bottleneck of synchronized queueing network. 307-314 - Daniel A. Reed:
Scalable, parallel performance environments. 315-316 - David W. Krumme, Alva L. Couch:
Integrated debugging and performance monitoring for parallel programs. 317-318 - Kunitoshi Tsuruoka:
Nested report generation for object-oriented databases. 319-326 - W. S. Luk, Amelia Choi:
Dynamic spatial query language: a customized query language for object-oriented database systems. 327-332 - Xuequn Wu:
A type system for an object-oriented database system. 333-338 - Kuo-Chung Tai, Hong-Fa Ho, Gen-Huey Chen:
Protocol validation using a pumping-based approach. 339-344 - Ren-Juh Lea, Slong Chen, Chyan-Goei Chung:
On generating test data from prototypes. 345-350 - Richard A. DeMillo, Edward W. Krauser, Aditya P. Mathur:
Compiler-integrated program mutation. 351-356 - Byung Suk Lee, Witold Litwin, Gio Wiederhold:
Implicit joins in the structural data model. 357-364 - Frédéric Andrès, Y. Viegmont:
Estimating recursive query costs for various parallel environments. 365-372 - Keng L. Siau, Hock Chuan Chan, K. P. Tan:
Visual knowledge query language as a front-end to relational systems. 373-378 - Qiming Chen, Yahiko Kambayashi:
Unifying data grouping and knowledge grouping through nested relation based knowledge representation. 379-384 - Michael Harris:
There are no silver bullets! [software engineering]. 386-387 - Robert Chi Tau Lai:
On formalizing software process description: Consortium's example. 388-389 - Takeshi Nakajo:
Foolproofing and quality feedback: keys of process-based management. 390-391 - Mark A. Nichols, Howard Jay Siegel, Henry G. Dietz:
Execution mode management and CU/PE overlap in an SIMD/SPMD parallel language/compiler. 392-397 - Shigekazu Inohara, Kazuhiko Kato, Atsunobu Narita, Takashi Masuda:
A thread facility based on user/kernel cooperation in the XERO operating system. 398-405 - Peng Tu, Kwei-Jay Lin:
Scheduling performance polymorphic computations in real-time systems. 406-411 - Takao Shimomura, Sadahiro Isoda:
CHASE: a bug-locating assistant system. 412-417 - Tetsuji Fukaya, Morio Nagata:
An automatic debugging approach for logic programming with a method for propagating constraints. 418-423 - Shinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno, Koji Torii:
Experimental evaluation of the cost effectiveness of software reviews. 424-429 - Srilata Raman, Benjamin W. Wah:
Quality-time tradeoffs in simulated annealing for VLSI placement. 430-435 - Been-Chian Chien, Wei-Pang Yang:
A dynamic strategy for multiple stacks manipulation. 436-441 - Yoshihisa Mano, Yutaka Sato:
A data compression scheme which achieves good compression for practical use. 442-449 - Rao Mikkilineni:
Standardized object services for complex business application support. 451-452 - Stephen S. Yau, Xiaoping Jia, Doo-Hwan Bae, Madhan Chidambaram, Gil-Ho Oh:
An object-oriented approach to software development for parallel processing systems. 453-458 - Tsutomu Yoshinaga, Takanobu Baba:
A parallel object-oriented language A-NETL and its programming environment. 459-464 - Y. S. Lee, J. H. Huang, Feng-Jian Wang:
A distributed Smalltalk based on process-object model. 465-471 - Kathleen A. Jordan, Alan M. Davis:
Requirements engineering metamodel: An integrated view of requirements. 472-478 - Yoshinori Kishimoto, Koichi Yamano:
SOFTON: a flexible software construction model by interface mediation. 479-486 - Hajimu Iida, Yoshihiro Nishimura, Katsuro Inoue, Koji Torii:
Generating software development environments from the description of product relations. 487-492 - Bryan Ratcliff:
Re-affirming support for a transformational approach to software development: theory and practice. 493-498 - Masao Matsumoto, Satoshi Hayano, Takahiro Kudo, Hideo Yoshida, Shunzo Imai, Kiyoshi Ohshima:
Specifications reuse process modeling and case study-based evaluations. 499-506 - Sumio Mochizuki, Akira Yamauchi, Takuya Katayama:
Analyzing and evaluating fundamental design process of checkout system for artificial spacecraft. 507-514 - Ying Yang:
Melding software processes into software object databases. 515-520 - Linda C. Alexander, Alan M. Davis:
Criteria for selecting software process models. 521-528 - Jianhua Zhu:
Class modules in object-oriented software development. 529-530 - Mohammad A. Ketabchi:
Evaluation of OOAD methodologies. 531-532 - Tetsuo Tamai:
Formal and informal approaches for validation. 534-535 - Fabrizio Baiardi, Marco Danelutto, Roberto Di Meglio, Mehdi Jazayeri, Michael Mackey, Susanna Pelagatti, Fabrizio Petrini, Timothy S. Sullivan, Marco Vanneschi:
Pisa parallel processing project on general-purpose highly-parallel computers. 536-543 - Yaoqing Gao, Dingxing Wang, Meiming Shen, Weiming Zheng, Xiaolin Qiu:
Development of the parallel inference machine RAP/LOP-WAM and its optimized parallel compiler. 544-549 - K. H. (Kane) Kim, B. J. Min:
Approaches to implementation of multiple DRB stations in tightly-coupled computer networks. 550-557 - Weider D. Yu, D. Paul Smith, Steel T. Huang:
Software productivity measurements. 558-564 - Graham Tate, June M. Verner:
Software metrics for CASE development. 565-570 - Martin Bush, Meg Russell:
Software engineering measurement: A modular course. 571-576 - Michael R. Lyu, Allen P. Nikora:
Software reliability measurements through combination models: approaches, results, and a CASE tool. 577-584 - Shigeru Yamada, Jun Hishitani, Shunji Osaki:
A software reliability growth model for test-effort management. 585-590 - Yukio Mohri, Tohru Kikuno:
Fault analysis based on fault reporting in JSP software development. 591-596 - George J. Knafl, Jerome Sacks:
Software reliability model selection. 597-601 - Aditya P. Mathur:
Performance, effectiveness, and reliability issues in software testing. 604-605 - Mohan Ahuja, Timothy Carlson, Ashwani Gahlot, Deborah Shands:
Timestamping events for inferring 'affects' relation and potential causality. 606-611 - Thomas Bräunl:
Designing massively parallel algorithms with Parallaxis. 612-617 - Mike Beaven, Brad Elmore, Dan C. Marinescu, Ryan Stansifer:
VERT-verification of real-time programs. 618-625 - Arturo Pizano, May-Inn Tan, Naoto Gambo:
A business form recognition system. 626-632 - Anja Weber:
Publishing tools need both: state-oriented and task-oriented version support. 633-639 - Suliman Al-Hawamdeh, Christopher J. C. Loke:
Compound document processing system. 640-644 - Tony P. Ng:
Optimal data migration policies in distributed databases. 645-650 - Amane Nakajima:
A symmetric and resilient configuration scheme for multiple name servers. 651-658 - Peng Hu, Bogong Su, Chunyi Shi:
Decomposition and allocation of flat-structured problems. 659-664 - Chul-Eui Hong, Bruce M. McMillin:
Fault-tolerant parallel matrix multiplication with one iteration fault detection latency. 665-672 - Akihito Nakamura, Makoto Takizawa:
Design of reliable broadcast protocol for selectively partially ordering PDUs. 673-679 - Bogdan Korel, Horst F. Wedde, Roger Ferguson:
Automated test data generation for distributed software. 680-685 - Toshiyuki Kishi, Rie Shinozaki, Masaaki Hama, Hajime Sawada, Mitsuru Kagawa:
Application development using Smalltalk and C++. 686-692 - Richard Bigelow, Patrick Thompson, Carl Tsai, Hirohisa Yamaguchi:
An update protocol for an OODB with integrity. 693-698 - Thomas F. Keefe:
SODA: a security model for object-oriented database management systems. 699-704 - Toshio Souya, Eiichi Hayakawa, Masayuki Honma, Hidehiro Fukushima, Mitaro Namiki, Nobumasa Takahashi, Masaki Nakagawa:
Programming in a mother tongue: philosophy, implementation, practice and effect. 705-712 - Xiaoming Li, Zhongxiang Jiang, Lijie Jin, Sifei Li:
DADENT: a cost-effective environment for developing distributed software. 713-718 - Masa-Aki Fukase, Tadao Nakamura:
Semiparallel execution of compiled Lisp programs. 719-724
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 2025-02-20 00:33 CET 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:
