Table of Contents

• Analysis in software engineeringKoji Torii. 2-6 [doi]
• Requirements engineering: a review and research agendaAnthony Finkelstein. 10-19 [doi]
• Applying object-oriented construction to fault tolerant systemsJames Miller, Murray Wood, Andrew Brooks, Marc Roper. 22-28 [doi]
• An adaptive user navigation mechanism and its evaluationJeongwon Baeg, Atsushi Hirahara, Yoshiaki Fukazawa. 29-37 [doi]
• Developing distributed applications by semantics-based automatic replicationSumin Huang. 40-49 [doi]
• A TAHG model based software generator systemMikifumi Shikida, Yasuhide Yamamoto, Yoshimasa Kimura, Takehiro Tokuda. 50-57 [doi]
• Proprietary vs. "open systems" options in the construction of knowledge-based software reengineering environmentsPaul A. Bailes, Steven Atkinson, Murray Chapman, Dan B. Johnston, Ian Peake. 60-69 [doi]
• A software maintenance surveyS. W. L. Yip, T. Lam. 70-79 [doi]
• Guiding the requirements engineering processColette Rolland, Naveen Prakash. 82-91 [doi]
• Constraint-centered descriptions for automated tool invocationKazuto Tominaga, Takehiro Tokuda. 92-101 [doi]
• Software documents, their relationships and propertiesJun Han. 102-111 [doi]
• Supporting user-analyst interaction in functional requirements elicitationAlessandro Cucchiarelli, Maurizio Panti, Salvatore Valenti. 114-123 [doi]
• A model-based MICOM application software development methodKyo Chul Kang, Sey-Chan Jang. 124-132 [doi]
• Object and domain policies specificationDanny C. C. Poo, Shwu-Yi Lee. 133-142 [doi]
• A knowledge-based approach to regression testingTaewoong Jeon, Anneliese von Mayrhauser. 144-153 [doi]
• Integrating data flow and domain testingBingchiang Jeng. 154-162 [doi]
• Automated class testing: methods and experienceDaniel Hoffman, Jonathan Smillie, Paul A. Strooper. 163-171 [doi]
• From the software process to software quality: BOOTSTRAP and ISO 9000Hans-Jürgen Kugler, Richard Messnarz. 174-182 [doi]
• BOOTSTRAP: a software process assessment and improvement methodologyJouni Similä, Pasi Kuvaja, Lech Krzanik. 183-196 [doi]
• Software process representation to support multiple viewsDavid Jacobs, Chris D. Marlin. 197-205 [doi]
• Dynamic evolution of distributed systems specifications using reflective languageIssam A. Hamid, Mohammed Erradi. 208-219 [doi]
• A mapping system from Object-Z to C++Masakazu Fukagawa, Teruo Hikita, Hiroshi Yamazaki. 220-228 [doi]
• Reversing concurrent systems into formal specificationsKarl R. P. H. Leung, Clement F. S. Yim. 229-234 [doi]
• Ordered sequence testing criteria for concurrent programs and the support toolEisuke Itoh, Yutaka Kawaguchi, Zengo Furukawa, Kazuo Ushijima. 236-245 [doi]
• Reachability testing: an approach to testing concurrent softwareGwan-Hwan Hwang, Kuo-Chung Tai, Ting-Lu Huang. 246-255 [doi]
• Fall-in C: a software tool for pitfall detection in C programsTetsuro Kakeshita, Mariko Oda, Yoshihiro Imamura. 256-265 [doi]
• Producing and managing software objects in the process programming environment OPMYasuhiro Sugiyama. 268-277 [doi]
• Analysis and enactment of a distributed software process model: the AttNet modelWoo Jin Lee, In Sang Chung, Yong Rae Kwon. 278-286 [doi]
• Process-sensitive software engineering environments: an object-oriented viewMin Kang, Douglas D. Grant. 287-295 [doi]
• Generating data access programs from PCTE schemas with constraintsAtsushi Sawada, Naruki Mitsuda, Tsuneo Ajisaka, Yoshihiro Matsumoto. 298-307 [doi]
• An analysis of the effects and evaluation of upper CASE tools for embedded microprocessors in Japan and the USNaomi Fujimura. 308-316 [doi]
• Scalability for graph based CASE toolsMark Sifer, John Potter. 317-326 [doi]
• PARTS-a temporal logic-based real-time software specification method supporting multiple-viewpointsKyo Chul Kang, Kwang-Il Ko. 328-335 [doi]
• Formal definitions of behavioural compatibility for active and passive objectsGraeme Smith. 336-344 [doi]
• The Cogito methodology and systemAnthony C. Bloesch, Edmund Kazmierczak, Peter Kearney, Owen Traynor. 345-355 [doi]
• The Cogito Repository ManagerOwen Traynor, Anthony C. Bloesch. 356-365 [doi]
• A sentential function mapping method for object-oriented analysis and designHyeon Kon Kim, Michael Björn, Hui Yao, Ryosuke Hotaka. 368-377 [doi]
• When to inherit and when not toY. S. Kuo. 378-387 [doi]
• Object-oriented analysis and design support system using algebraic specification techniquesJunichi Yamamoto, Akihiko Ohsuga, Shinichi Honiden. 388-397 [doi]
• A hybrid program knowledge base for static program analyzersS. Jarzabek, Han Shen, H. C. Chan. 400-409 [doi]
• Software Information Management System based on the entity-relationship modelMoon-hae Kim, Young-Chul Shim. 420-427 [doi]
• Prescriptive metrics for software quality assuranceChin-Feng Fan, Swu Yih. 430-438 [doi]
• An approach to predict software maintenance cost based on ripple complexityToyohiko Hirota, M. Tohki, C. Michael Overstreet, Masaaki Hashimoto, Robert Cherinka. 439-444 [doi]
• Optimal release policies for hyper-geometric distribution software reliability growth model with scheduled delivery timeRong-Huei Hou, Ing-Yi Chen, Yi-Ping Chang, Sy-Yen Kuo. 445-452 [doi]