Abstract is missing.
- Object-oriented paradigm and software engineeringWei-Tek Tsai, Imran A. Zualkernan. [doi]
- In search of silver bullet [software engineering]M. M. Tanik. [doi]
- Knowledge-based software development: issues and strategiesMehdi T. Harandi. [doi]
- Expert systems and software engineeringJeffrey J. P. Tsai, David Y. Yun, Mehdi T. Harandi, Murat M. Tanik, Wei-Tek Tsai, Walt Scacchi. [doi]
- Technology transfer of software engineering to developing countriesAnthony Pau. [doi]
- Object-oriented requirements analysis (OORA)Peter Coad Jr.. [doi]
- Expert systems for software engineering?Wei-Tek Tsai, Imran A. Zualkernan. [doi]
- The software process modelDavid A. Gustafson, Austin C. Melton, Ying-Chi Chen, Albert L. Baker, James M. Bieman. 3-9 [doi]
- A case study in cleanroom software engineering: the IBM COBOL Structuring FacilityRichard C. Linger, Harlan D. Mills. 10-17 [doi]
- Computer aided software configuration management with KMSWolfgang Faltenbacher. 18-25 [doi]
- Experimental analysis of SIMD recursive digital filtering on the PASM system prototypeM. J. McPheters Jr., Thomas L. Casavant. 26-32 [doi]
- A rule-based compactor for VLSI/CAD mask layoutPei-Yung Hsiao, Chen Yung Syau, Wu-Shiung Feng, T. M. Parng, Cheng-Chung Hsu. 35-42 [doi]
- A hierarchical coding of reduced picture informationNikolaos G. Bourbakis, Allen Klinger. 43-48 [doi]
- STATEMATE and cruise control: a case studySharon L. Smith, Susan L. Gerhart. 49-56 [doi]
- Applications of software reliability measurement to instruments and calculatorsGreg Kruger, Bob O'Donnell. 58-59 [doi]
- Verifiable program construction in a user-friendly styleMaurice Naftalin. 60-66 [doi]
- Editing model based on the object-oriented approachToyohide Watanabe, Yuuji Yoshida, Teruo Fukumura. 67-74 [doi]
- Another approach to system decomposition: requirements clusteringPei Hsia, Alan T. Yaung. 75-82 [doi]
- An approach to software requirement specificationStephen S. Yau, Chung-Shyan Liu. 83-88 [doi]
- Software engineering-retrospect and prospectHarlan D. Mills. 89-96 [doi]
- Design and implementation of the high performance integrated voice/data (IVD) token ring protocolJai-Yong Lee, Douglas W. Jacobson. 97-104 [doi]
- A simulation approach for network operations performance studiesArbee L. P. Chen, E. Jane Cameron, George F. Shuttleworth, E. Carey Anderson. 105-112 [doi]
- A technique to derive the detailed time costs of parallel computationsReda A. Ammar, Bin Qin. 113-119 [doi]
- Incorporating transactions in a requirement engineering methodMatthias Hallmann. 121-126 [doi]
- Early and not-so-early prototyping-rationale and tool supportBryan Ratcliff. 127-134 [doi]
- Designing software for maintenance and performanceR. P. Mikkilineni, D. F. Utter. 135-140 [doi]
- Models of programmer behaviour: a comparative studyJawed I. A. Siddiqi, Babak Khazaei. 141-146 [doi]
- A comprehensive and aggressive quality assurance program as a foundation for improving software productivityMarcia M. Kim, Walter R. Hall. 147-154 [doi]
- A generic technique for developing a software sizing and effort estimation modelAnirudh Kulkarni, Jeffrey B. Greenspan, David A. Kriegman, J. J. Logan, Tina D. Roth. 155-161 [doi]
- An efficient method for incremental attribute evaluation by using multi-dependencyQi Lu, Jiahua Qian. 162-169 [doi]
- Type management system in the Nexus distributed programming environmentAnand Tripathi, Siong Ong. 170-177 [doi]
- A data model supporting system engineeringThomas Batz, Peter Baumann, Dagmar Köhler. 178-185 [doi]
- Vishnu: an object-oriented database management system supporting software engineeringD. J. Moore, Pamela A. Drew, Murthy Ganti, R. J. Nassif, Sunil Podar, David H. Taenzer. 186-192 [doi]
- CASE perspectivesHerbert Weber. 193-194 [doi]
- Process control within a software production environmentWilhelm Schafer. 195-196 [doi]
- Integrating three tool-based approaches to software engineeringRobin A. Nicholl. 197-204 [doi]
- Automated testcase generation for data abstractionPankaj Jalote, Mallaku G. Caballero. 205-210 [doi]
- Scheduler 1-2-3: an interactive schedulability analyzer for real-time systemsHideyuki Tokuda, Makoto Kotera. 211-219 [doi]
- Finding program slices for recursive proceduresJ. C. Hwang, M. W. Du, C. R. Chou. 220-227 [doi]
- Building and managing software librariesGerald Jones, Rubén Prieto-Díaz. 228-236 [doi]
- A model for development of customizable applicationsHany M. Atchan, Rob Bell. 237-243 [doi]
- Local concurrent error detection and correction in data structures using virtual backpointersChung-Chi Jim Li, Paul Peichuan Chen, W. Kent Fuchs. 245-251 [doi]
- Automatic test case generation from relational algebra queriesWei-Tek Tsai, Dmitry Volovik, Thomas F. Keefe, Mohamed E. Fayad. 252-258 [doi]
- Preserving autonomy in a heterogeneous multidatabase systemBernhard Holtkamp. 259-266 [doi]
- SIMD and MIMD processing in the Texas Reconfigurable Array ComputerG. Jack Lipovski. 268-269 [doi]
- Experimentally based parallel architecture evaluationSamuel A. Fineberg. 270-271 [doi]
- A user's perspective on the state of parallel processingJon G. Kuhl. 272-273 [doi]
- Low-level programming of parallel supercomputersThomas L. Casavant. 274-275 [doi]
- Reliability-oriented task allocation in redundant distributed systemsJia-Ping Wang, Sol M. Shatz. 276-283 [doi]
- Executable assertion development for the distributed parallel environmentBruce M. McMillin, Lionel M. Ni. 284-291 [doi]
- Designing parallel algorithms from forests and multistage graphsG. H. Chen, Maw-Sheng Chern. 292-298 [doi]
- Software issues facing parallel architecturesJoseph P. Cavano. 300-301 [doi]
- Issues in software development for concurrent computersGeoffrey C. Fox. 302-305 [doi]
- Software development issues for parallel processingLucian Russell, R. N. C. Lightfoot. 306-307 [doi]
- Optimal number of processors for finding the maximum value on multiprocessor systemsSusumu Horiguchi, Yoshiharu Shigei. 308-315 [doi]
- A quadtree communication structure for fast data searching and distributionWoei Lin, Tsang-Ling Sheu, Chita R. Das. 316-323 [doi]
- Reliable garbage collection in distributed object oriented systemsAloke Gupta, W. Kent Fuchs. 324-328 [doi]
- An algebraic technique for deductive database systemY. J. Jiang. 329-336 [doi]
- A probabilistic study on the transaction's waits and deadlocksYin-Fu Huang, Yeh-Hao Chin. 337-344 [doi]
- A logic for handling time in temporal databasesMostafa A. Bassiouni. 345-352 [doi]
- A fully-distributed approach to concurrency control in replicated database systemsMukesh Singhal. 353-360 [doi]
- Database design tool generation via software reusabilityShuguang Hong, Fred J. Maryanski. 361-368 [doi]
- An evaluation of software structure metricsBarbara A. Kitchenham. 369-376 [doi]
- A database query language for visual interfacesKyoji Kawagoe. 377-384 [doi]
- A knowledge-based system approach to the development of a system functional requirement specification processorWilliam F. Bruno, Gopal Narayanaswami, Mikio Aoyama, Carl K. Chang. 387-394 [doi]
- Knowledge-aided engineering environment for design and manufacturingDong-Guk Shin, Fred J. Maryanski. 395-401 [doi]
- Liaison: an intelligent rule driven interface for software engineering environmentsI. S. Law. 402-409 [doi]
- Rapid prototyping using FRORL languageJeffrey J. P. Tsai, Mikio Aoyama, Y. L. Chang. 410-417 [doi]
- The requirement model in a knowledge-based rapid prototyping systemPei-Min Chen, Ching-Roung Chou. 418-426 [doi]
- A knowledge-based system for multi-layer channel routingD. Vakil, Mehdi R. Zargham, Kenneth J. Danhof. 427-434 [doi]
- Object-oriented techniques based on specificationsValdis Berzins. 437-438 [doi]
- Potential use of the object paradigm for software engineering environments in the 1990sRao V. Mikkilineni. 439-440 [doi]
- Semantic and object-oriented database support for software environmentsRoger King. 441-442 [doi]
- Learning heuristic functions for numeric optimization problemsMatthew B. Lowrie, Benjamin W. Wah. 443-450 [doi]
- Heuristic solutions for the general maximum independent set problem with applications to expert system designIfay F. Chang, Wei-Zhong Shao, Hoon heng Teh. 451-455 [doi]
- Seismic event interpretation using scriptsKirk Kandt, Paul Yuenger. 456-462 [doi]
- Modularity in the METAL systemJocelyn S. Liu. 464-465 [doi]
- A preliminary study of appositive constructions in Japanese and EnglishYukiko Sasaki Alam. 466-467 [doi]
- Coherent analysis of argumentative discourseRobin Cohen. 468-469 [doi]
- Contextual knowledge for summarizing Japanese texts and generating English sentencesTakashi Sato, Jun-Ichi Aoe, Seigo Yasutome. 470-471 [doi]
- An efficient digital search algorithm by using a double-array structureJun-Ichi Aoe, Seigo Yasutome, Takashi Sato. 472-479 [doi]
- Extensions on performance evaluation techniques for concurrent systemsYuh Yaw, Belle W. Y. Wei, C. V. Ramamoorthy, Wei-Tek Tsai. 480-484 [doi]
- Weighted fuzzy logic and its applicationsXingui He. 485-489 [doi]
- Nonrecursive algorithms for reconstructing a binary tree from its traversalsGen-Huey Chen, M. S. Yu, Lung-Tien Liu. 490-492 [doi]
- Synthesis rules for cyclic interactions among processes in concurrent systemsC. V. Ramamoorthy, Yuh Yaw, Wei-Tek Tsai. 497-504 [doi]
- Protocol synthesis in a state-transition modelPeil-Ying M. Chu, Ming T. Liu. 505-512 [doi]
- Asynchronous recovery protocols for distributed systemsKuo-Wei Hwang, Wei-Tek Tsai. 513-520 [doi]