![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
12th COMPSAC 1988: Chicago, IL, USA
- Twelfth International Computer Software and Applications Conference, COMPSAC 1988, Proceedings, Chicago, IL, USA, 5-7 October, 1988. IEEE 1988, ISBN 0-8186-0873-0
- Wei-Tek Tsai, Imran A. Zualkernan:
Object-oriented paradigm and software engineering. - Jeffrey J. P. Tsai, David Y. Yun, Mehdi T. Harandi, Murat M. Tanik, Wei-Tek Tsai, Walt Scacchi:
Expert systems and software engineering. - Wei-Tek Tsai, Imran A. Zualkernan:
Expert systems for software engineering? - Anthony Pau:
Technology transfer of software engineering to developing countries. - Murat M. Tanik:
In search of silver bullet [software engineering]. - Mehdi T. Harandi:
Knowledge-based software development: issues and strategies. - Peter Coad Jr.:
Object-oriented requirements analysis (OORA). - David A. Gustafson, Austin C. Melton, Ying-Chi Chen, Albert L. Baker, James M. Bieman:
The software process model. 3-9 - Richard C. Linger, Harlan D. Mills:
A case study in cleanroom software engineering: the IBM COBOL Structuring Facility. 10-17 - Wolfgang Faltenbacher:
Computer aided software configuration management with KMS. 18-25 - M. J. McPheters Jr., Thomas L. Casavant:
Experimental analysis of SIMD recursive digital filtering on the PASM system prototype. 26-32 - Pei-Yung Hsiao, Chen Yung Syau, Wu-Shiung Feng, T. M. Parng, Cheng-Chung Hsu:
A rule-based compactor for VLSI/CAD mask layout. 35-42 - Nikolaos G. Bourbakis, Allen Klinger:
A hierarchical coding of reduced picture information. 43-48 - Sharon L. Smith, Susan L. Gerhart:
STATEMATE and cruise control: a case study. 49-56 - Greg Kruger, Bob O'Donnell:
Applications of software reliability measurement to instruments and calculators. 58-59 - Maurice Naftalin:
Verifiable program construction in a user-friendly style. 60-66 - Toyohide Watanabe, Yuuji Yoshida, Teruo Fukumura:
Editing model based on the object-oriented approach. 67-74 - Pei Hsia, Alan T. Yaung:
Another approach to system decomposition: requirements clustering. 75-82 - Stephen S. Yau, Chung-Shyan Liu:
An approach to software requirement specification. 83-88 - Harlan D. Mills:
Software engineering-retrospect and prospect. 89-96 - Jai-Yong Lee, Douglas W. Jacobson:
Design and implementation of the high performance integrated voice/data (IVD) token ring protocol. 97-104 - Arbee L. P. Chen, E. Jane Cameron, George F. Shuttleworth, E. Carey Anderson:
A simulation approach for network operations performance studies. 105-112 - Reda A. Ammar, Bin Qin:
A technique to derive the detailed time costs of parallel computations. 113-119 - Matthias Hallmann:
Incorporating transactions in a requirement engineering method. 121-126 - Bryan Ratcliff:
Early and not-so-early prototyping-rationale and tool support. 127-134 - Rajendra P. Mikkilineni, Donald F. Utter Jr.:
Designing software for maintenance and performance. 135-140 - Jawed I. A. Siddiqi, Babak Khazaei:
Models of programmer behaviour: a comparative study. 141-146 - Marcia M. Kim, Walter R. Hall:
A comprehensive and aggressive quality assurance program as a foundation for improving software productivity. 147-154 - Anirudh Kulkarni, Jeffrey B. Greenspan, David A. Kriegman, J. J. Logan, Tina D. Roth:
A generic technique for developing a software sizing and effort estimation model. 155-161 - Qi Lu, Jiahua Qian:
An efficient method for incremental attribute evaluation by using multi-dependency. 162-169 - Anand Tripathi, Siong Ong:
Type management system in the Nexus distributed programming environment. 170-177 - Thomas Batz, Peter Baumann, Dagmar Köhler:
A data model supporting system engineering. 178-185 - D. J. Moore, Pamela A. Drew, Murthy Ganti, Rodolphe J. Nassif, Sunil Podar, David H. Taenzer:
Vishnu: an object-oriented database management system supporting software engineering. 186-192 - Herbert Weber:
CASE perspectives. 193-194 - Wilhelm Schafer:
Process control within a software production environment. 195-196 - Robin A. Nicholl:
Integrating three tool-based approaches to software engineering. 197-204 - Pankaj Jalote, Mallaku G. Caballero:
Automated testcase generation for data abstraction. 205-210 - Hideyuki Tokuda, Makoto Kotera:
Scheduler 1-2-3: an interactive schedulability analyzer for real-time systems. 211-219 - J. C. Hwang, M. W. Du, C. R. Chou:
Finding program slices for recursive procedures. 220-227 - Gerald Jones, Rubén Prieto-Díaz:
Building and managing software libraries. 228-236 - Hany M. Atchan, Rob Bell:
A model for development of customizable applications. 237-243 - Chung-Chi Jim Li, Paul Peichuan Chen, W. Kent Fuchs:
Local concurrent error detection and correction in data structures using virtual backpointers. 245-251 - Wei-Tek Tsai, Dmitry Volovik, Thomas F. Keefe, Mohamed E. Fayad:
Automatic test case generation from relational algebra queries. 252-258 - Bernhard Holtkamp:
Preserving autonomy in a heterogeneous multidatabase system. 259-266 - G. Jack Lipovski:
SIMD and MIMD processing in the Texas Reconfigurable Array Computer. 268-269 - Samuel A. Fineberg:
Experimentally based parallel architecture evaluation. 270-271 - Jon G. Kuhl:
A user's perspective on the state of parallel processing. 272-273 - Thomas L. Casavant:
Low-level programming of parallel supercomputers. 274-275 - Jia-Ping Wang, Sol M. Shatz:
Reliability-oriented task allocation in redundant distributed systems. 276-283 - Bruce M. McMillin, Lionel M. Ni:
Executable assertion development for the distributed parallel environment. 284-291 - G. H. Chen, Maw-Sheng Chern:
Designing parallel algorithms from forests and multistage graphs. 292-298 - Joseph P. Cavano:
Software issues facing parallel architectures. 300-301 - Geoffrey C. Fox:
Issues in software development for concurrent computers. 302-305 - Lucian Russell, R. N. C. Lightfoot:
Software development issues for parallel processing. 306-307 - Susumu Horiguchi, Yoshiharu Shigei:
Optimal number of processors for finding the maximum value on multiprocessor systems. 308-315 - Woei Lin, Tsang-Ling Sheu, Chita R. Das:
A quadtree communication structure for fast data searching and distribution. 316-323 - Aloke Gupta, W. Kent Fuchs:
Reliable garbage collection in distributed object oriented systems. 324-328 - Yuejun Jiang:
An algebraic technique for deductive database system. 329-336 - Yin-Fu Huang, Yeh-Hao Chin:
A probabilistic study on the transaction's waits and deadlocks. 337-344 - Mostafa A. Bassiouni:
A logic for handling time in temporal databases. 345-352 - Mukesh Singhal:
A fully-distributed approach to concurrency control in replicated database systems. 353-360 - Shuguang Hong, Fred J. Maryanski:
Database design tool generation via software reusability. 361-368 - Barbara A. Kitchenham:
An evaluation of software structure metrics. 369-376 - Kyoji Kawagoe:
A database query language for visual interfaces. 377-384 - William F. Bruno, Gopal Narayanaswami, Mikio Aoyama, Carl K. Chang:
A knowledge-based system approach to the development of a system functional requirement specification processor. 387-394 - Dong-Guk Shin, Fred J. Maryanski:
Knowledge-aided engineering environment for design and manufacturing. 395-401 - I. S. Law:
Liaison: an intelligent rule driven interface for software engineering environments. 402-409 - Jeffrey J. P. Tsai, Mikio Aoyama, Y. L. Chang:
Rapid prototyping using FRORL language. 410-417 - Pei-Min Chen, Ching-Roung Chou:
The requirement model in a knowledge-based rapid prototyping system. 418-426 - D. Vakil, Mehdi R. Zargham, Kenneth J. Danhof:
A knowledge-based system for multi-layer channel routing. 427-434 - Valdis Berzins:
Object-oriented techniques based on specifications. 437-438 - Rao V. Mikkilineni:
Potential use of the object paradigm for software engineering environments in the 1990s. 439-440 - Roger King:
Semantic and object-oriented database support for software environments. 441-442 - Matthew B. Lowrie, Benjamin W. Wah:
Learning heuristic functions for numeric optimization problems. 443-450 - Ifay F. Chang, Wei-Zhong Shao, Hoon-Heng Teh:
Heuristic solutions for the general maximum independent set problem with applications to expert system design. 451-455 - Kirk Kandt, Paul Yuenger:
Seismic event interpretation using scripts. 456-462 - Jocelyn S. Liu:
Modularity in the METAL system. 464-465 - Yukiko Sasaki Alam:
A preliminary study of appositive constructions in Japanese and English. 466-467 - Robin Cohen:
Coherent analysis of argumentative discourse. 468-469 - Takashi Sato, Jun-Ichi Aoe, Seigo Yasutome:
Contextual knowledge for summarizing Japanese texts and generating English sentences. 470-471 - Jun-Ichi Aoe, Seigo Yasutome, Takashi Sato:
An efficient digital search algorithm by using a double-array structure. 472-479 - Yuh Yaw, Belle W. Y. Wei, C. V. Ramamoorthy, Wei-Tek Tsai:
Extensions on performance evaluation techniques for concurrent systems. 480-484 - Xingui He:
Weighted fuzzy logic and its applications. 485-489 - Gen-Huey Chen, M. S. Yu, Lung-Tien Liu:
Nonrecursive algorithms for reconstructing a binary tree from its traversals. 490-492 - C. V. Ramamoorthy, Yuh Yaw, Wei-Tek Tsai:
Synthesis rules for cyclic interactions among processes in concurrent systems. 497-504 - Peil-Ying M. Chu, Ming T. Liu:
Protocol synthesis in a state-transition model. 505-512 - Kuo-Wei Hwang, Wei-Tek Tsai:
Asynchronous recovery protocols for distributed systems. 513-520
![](https://dblp.dagstuhl.de/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.