Table of Contents

• Object modelling for open network managementColin Ashford. [doi]
• Are formal methods useful for software development?Horst F. Wedde, Betty H. C. Cheng, David Gries, N. Shankar, Kwei-Jay Lin, Mark A. Ardis. 2-9 [doi]
• The identification and use of properties and relationships between properties of the software developmentRui Gustavo Crespo. 10-16 [doi]
• On the nature of bias and defects in the software specification processPablo A. Straub, Marvin V. Zelkowitz. 17-24 [doi]
• A software re-engineering process modelEric J. Byrne, David A. Gustafson. 25-30 [doi]
• Organizing software repositories modeling requirements and implementation experiencesThomas Rose 0001, Matthias Jarke, John Mylopoulos. 31-38 [doi]
• Two-way coloring approaches for method dispatching in object-oriented programming systemsShih-Kun Huang, Deng-Jyi Chen. 39-44 [doi]
• H-PCTE-a high performance object management system for system development environmentsUdo Kelter. 45-50 [doi]
• A software engineering, visualization methodology for parallel processing systemsJames Arthur Kohl, Thomas L. Casavant. 51-56 [doi]
• Multilanguage programming: an automatic-type-mapping approachArturo J. Sanchez-Ruiz, Ephraim P. Glinert. 57-62 [doi]
• A cost model for software conversion based on program characteristics and a converter effectA. Kanai, T. Furuyama, M. Takahashi. 63-68 [doi]
• Software diversity metrics and measurementsMichael R. Lyu, Jia Hong Chen, Algirdas Avizienis. 69-78 [doi]
• Reuse engineering: software construction from reusable componentsHarald C. Gall, René Klösch. 79-86 [doi]
• A view of the GDMO interface definition languageR. A. Fraley. 88-89 [doi]
• Performance evaluation of dynamic supporting algorithmsPing Hu, Steve R. Wilbur. 90-95 [doi]
• How the use of the STePS method can improve software quality and aid project managementJ. Barrie Thompson, Helen M. Edwards. 96-101 [doi]
• A distributed cooperative CASE environment for communications softwareMikio Aoyama, Masami Nakamura, Shinya Kawajiri, Kousuke Takahashi, Takanori Hashizume, Takashi Komuro. 102-108 [doi]
• Panel on management of emerging software technologiesVijay K. Vaishnavi, D. Abbott, T. A. Cooper, K. Walling. 109-114 [doi]
• Metawidgets: towards a theory of multimodal interface designMeera Blattner, Ephraim P. Glinert, Joaquim A. Jorge, Gary R. Ormsby. 115-120 [doi]
• SimUI: graphical user interface evaluation using playbackNobuko Kishi. 121-127 [doi]
• A software engineering perspective to the design of a user interface frameworkHans-Werner Six, Josef Voss. 128-134 [doi]
• Distributed EZ [string processing language]Alvaro E. Campos, David R. Hanson. 136-142 [doi]
• Dynamic load balancing algorithms in loosely-coupled real-time systemsT.-Y. Cheng, Jen-Yao Chung, Kwei-Jay Lin. 143-148 [doi]
• A signature efficient solution for remote file comparisonSamantha Edirisooriya, Geetani Edirisooriya. 149-154 [doi]
• Industrial strength software engineering training programsJoseph E. Urban, R. Frye, A. Miller, A. G. Rao. 155-161 [doi]
• Enforcement of integrity constraints against transactions with transition axiomsSang Ho Lee, Lawrence J. Henschen, Myoung-Ho Kim, Yoon-Joon Lee. 162-167 [doi]
• Highly available atomic objectsT. P. Ng. 168-175 [doi]
• ORL: an object retrieval language interface to an object algebraSusan Darling Urban, Chiung-hsun Chen Lai, Sanjay Saxena. 176-181 [doi]
• Fault-tolerant concurrent branch and bound algorithms derived from program verificationHanan Lutfiyya, Aggie Y. Sun, Bruce M. McMillin. 182-187 [doi]
• Fault tolerant process planning and controlRumi M. Dubash, I-Ling Yen, Farokh B. Bastani. 188-193 [doi]
• Software fault-tolerance in functional programmingR. Govindarajan. 194-199 [doi]
• Building information system requirements using generic structuresGeorges Grosz. 200-205 [doi]
• Program derivation in PowerEpsilonM.-Y. Zhu, C.-W. Wang. 206-211 [doi]
• Structured analysis using hierarchical predicate transition netsXudong He, C.-H. Yang. 212-217 [doi]
• A metalanguage based on a theory of specificationKarl B. Zerangue, Joseph E. Urban. 218-223 [doi]
• Integrating object and relational technologiesScott Danforth. 225-226 [doi]
• A transparent monitoring tool for shared-memory multiprocessorsDavid F. Robinson, Betty H. C. Cheng, Richard J. Enbody. 227-232 [doi]
• SAD kernels: a software tool to evaluate synchronization behavior of multiprocessorsArun K. Nanda, Lionel M. Ni. 233-238 [doi]
• An object-oriented toolkit for constructing specification editorsRobert H. Bourdeau, Betty H. C. Cheng. 239-244 [doi]
• The use of formal methods in parallel operating systemsJohn A. Keane, Walter Hussak. 245-250 [doi]
• A partitioning approach for object-oriented software development for parallel processing systemsStephen S. Yau, Doo-Hwan Bae, Gilda Pour. 251-256 [doi]
• WARASA: an enhanced C++ for concurrent programming on shared memory multiprocessor computersYun Jiang, Akifumi Makinouchi. 257-262 [doi]
• The area-wide real-time traffic control system (ARTC): a distributed computing systemJunguk L. Kim, Jyh-Charn Liu, Prabaharan I. Swarnam, Taesoon Park, Ying Hao, Thomas Urbanik. 263-268 [doi]
• Strategies for machine instruction transformation in an expert systemMan L. Li, Willis K. King. 269-276 [doi]
• Application of a neural network to human tastingA. Suganuma, M. Kataoka, Keijiro Araki. 277-282 [doi]
• What does a public data Internet do?R. D. Collet. 283-284 [doi]
• Commercialization of the InternetIttai Hershman. 285-286 [doi]
• Support tool and strategy for type error correction with polymorphic typesHiroshi Maruyama, Masaki Matsuyama, Keijiro Araki. 287-293 [doi]
• A framework of a logic-based transformation systemJeffrey J. P. Tsai, Ray-Yuan Sheu, Bing Li. 294-299 [doi]
• Experimental evaluation of certification trails using abstract data type validationDwight S. Wilson, Gregory F. Sullivan, Gerald M. Masson. 300-305 [doi]
• IDA-intrusion detection alertKaren L. Petersen. 306-311 [doi]
• Agents to guide operators with recognition of time seriesHiromitsu Shimakawa, Y. Sugitani, Kouji Kikkawa, T. Watanabe. 312-319 [doi]
• Testing expert systems using conventional techniquesWei-Tek Tsai, Shekhar H. Kirani, Imran A. Zualkernan. 320-325 [doi]
• VATPA: a simulation environment for message-passing concurrent systemsHui Liu, Maung T. Nyeu, David Y. Y. Yun, Woei Lin. 326-331 [doi]
• Stack simulation for set-associative V/R-type cachesC. Eric Wu, Yarsun Hsu, Yew-Huey Liu. 332-339 [doi]
• 2: a simulator for fine-grained message-passing multicomputers in k-ary n-cube networksJing-Shiang Tseng, Chung-Ta King. 340-345 [doi]
• Development of a multimedia document management system for cooperative work environmentSugao Sumiya, Takashi Saito. 346-355 [doi]
• The ORDIT approach to requirements identificationJohn E. Dobson, Andrew J. C. Blyth, J. Chudge, Ros Strens. 356-361 [doi]
• Traceability between requirements and design: a transformational approachJürgen Börstler, Thorsten Janning. 362-368 [doi]
• A neural network for fast inferencing on a fuzzy knowledge baseK. S. Kumar, M. Sparancia, A. Unnikrishnan. 369-374 [doi]
• Intelligent vs. unintelligent programming systems for novicesHaider Ali Ramadhan. 375-380 [doi]
• The management of uncertainty in software developmentLuqi, Daniel E. Cooke. 381-386 [doi]