2. APSEC 1995: Brisbane, Queensland, Australia

@proceedings{DBLP:conf/apsec/1995,
  title     = {2nd Asia-Pacific Software Engineering Conference (APSEC '95),
               December 6-9, 1995, Brisbane, Queensland, Australia},
  booktitle = {APSEC},
  publisher = {IEEE Computer Society},
  year      = {1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynote Addresses

• Dines Bjørner:
  Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures. 2-11
  
• Motoshi Saeki:
  Communication, Collaboration, and Cooperation in Software Development-How Should We Support Group Work in Software Development? 12-
  

Testing I

• Tsong Yueh Chen, Chi Keen Low:
  Dynamic Data Flow Analysis for C++. 22-28
  
• Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima:
  Event Interactions Graph for Test-case Generation of Concurrent Programs. 29-37
  
• Sadahiro Isoda:
  A Criticism on the Capture-and-Recapture Method for Software Reliability Assurance. 38-
  

Requirements Modelling

• Stéphane S. Somé, Rachida Dssouli, Jean G. Vaucher:
  From Scenarios to Timed Automata: Building Specifications from Users Requirements. 48-57
  
• Laurent Perrussel:
  Expressing Inter-Perspective Relationships: A Logical Approach. 58-63
  
• Nobuyuki Miura, Haruhiko Kaiya, Motoshi Saeki:
  Building the Structure of Specification Documents from Utterances of Requirements Elicitation Meetings. 64-
  

Concurrency

• Lu Xu, Michal Young:
  Two Dimensional Concurrent Program Debugging. 76-85
  
• Heinz W. Schmidt, Jian Chen:
  Reasoning about Concurrent Objects. 86-95
  
• Hyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim:
  An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information. 96-
  

Object-Oriented Development

• Chien-Min Wang, Y. S. Kuo:
  Class Exerciser: A Basic CASE Tool for Object-Oriented Development. 108-116
  
• Suk-hyung Hwang, Yoshihiro Tsujino, Nobuki Tokura:
  A Reorganization Framework of the Object-Oriented Class Hierarchy. 117-126
  
• Kapsu Kim, Yeongi Shin, Chisu Wu:
  Complexity Measures for Object-Oriented Program Based on the Entropy. 127-136
  
• John W. Daly, James Miller, Andrew Brooks, Marc Roper, Murray Wood:
  A Survey of Experiences amongst Object-Oriented Practitioners. 137-
  

Software Process

• Val E. Veraart, S. L. Wright:
  Software Engineering Education - Adding Process to Projects Theory, Practice and Experience. 148-157
  
• Mikio Aoyama:
  Management of Distributed Concurrent Development for Large-Scale Software Systems. 158-167
  
• António Rito Silva, Pedro Sousa, José Alves Marques:
  Development of Distributed Applications with Separation of Concerns. 168-
  

Distributed Systems

• Wilson C. H. Cheng, Xiaohua Jia:
  A Hierarchical Framework for Designing Reliable Distributed Systems. 180-188
  
• Fumihiro Kumeno, Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden:
  Evolutional Agents: Field Oriented Programming Language, Flage. 189-198
  
• Flavio De Paoli, Francesco Tisato:
  Architectural Abstractions for Real-Time Software. 199-208
  
• Woei-Jiunn Tsaur, Shi-Jinn Horng:
  Toward Software Metrics for Distributed Software. 209-
  

Testing II

• Tsong Yueh Chen, Hing Leung, Yuen-Tak Yu:
  On the Analysis of Subdomain Testing Strategies. 218-224
  
• Chyan-Goei Chung, Jen-Gaw Lee:
  An Enhanced Zero-One Optimal Path Set Selection Method. 225-
  
• Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha:
  Testing of Object-Oriented Programs Based on Finite State Machines. 234-
  
• Harumi Watanabe, Tomohiro Kudoh:
  Test Suite Generation Methods for Concurrent Systems Based on Colored Petri Nets. 242-
  

Development Environments I

• Yoshiaki Kasahara, Yoshinari Nomura, Masayuki Kamachi, Jingde Cheng, Kazuo Ushijima:
  An Integrated Support Environment for Distributed Software Development based on Unified Program Representations. 254-263
  
• John C. Grundy, John G. Hosking:
  Software Environment Support for Integrated Formal Program Specification and Development. 264-273
  
• Keith J. Ransom, Chris D. Marlin:
  Modelling Systems that Integrate Programming Language and Environment Mechanisms. 274-281
  
• Jun Han:
  Providing Configuration Management Support in Software Engineering Environments. 282-
  

Formal Methods

• Mark Utting:
  Animating Z: Interactivity, Transparency and Equivalence. 294-303
  
• Jin Song Dong:
  Living with Free Type and Class Union. 304-312
  
• David J. Duke, Philip J. Barnard, Jon May, David A. Duce:
  Systematic Development of the Human Interface. 313-
  

Quality Assurance and Reliability

• Yoshio Kataoka, Masayuki Hirayama, Jiro Okayasu, Tetsuji Fukaya:
  An Approach to Reverse Quality Assurance with Data-Oriented Program Analysis. 324-332
  
• Judy Bamberger, James Hook:
  Teaching Software Quality and Leadership: Experiences and Successes. 333-344
  
• Sun Sup So, Yongseop Lim, Sung Deok Cha, Yong Rae Kwon:
  An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection. 345-
  

Reuse

• Lindsay Groves:
  Deriving Programs by Combining and Adapting Refinement Scripts. 354-363
  
• Saeko Matsuura, Shinichi Honiden:
  Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse. 364-373
  
• Hyuksoo Han:
  Relationship Between Query Interface and Profiles in Reuse Support System. 374-
  

The Specification Process; Maintenance

• Karl R. P. H. Leung, Daniel K. C. Chan:
  Prototyping the Structured Specification as Logic Programs. 380-389
  
• Akihiko Matsuo, Sanya Uehara, Minako Kimura:
  A Maintenance Support System based on High-Level Control-Flow and Data Dependency. 390-398
  
• Hisayuki Horai:
  Flexible Module Operation Scheme in Formal Specification Process. 399-
  

Development Environments II

• Cristina Cifuentes:
  An Environment for the Reverse Engineering of Executable Programs. 410-419
  
• Atsushi Ohnishi:
  CARD: An Environment for Software Requirements Definition. 420-429
  
• Frank Harmsen, Sjaak Brinkkemper:
  Design and Implementation of a Method Base Management System for a Situational CASE Environment. 430-438
  
• Lee Taeheun, Chisu Wu:
  A Simple Configuration Management System for CASE Repository. 439-
  

Information Systems Design and Management

• John V. Harrison, Paul A. Bailes, Anthony Berglas, Ian Peake:
  Re-engineering 4GL-based Information System Applications. 448-457
  
• David Leadbetter:
  An Integrated Approach to IS modeling. 458-467
  
• Stefan Dißmann, Volker Gruhn, Dirk Ohrndorf:
  Integration of Software Process Management and Development History Recording. 468-
  

Reasoning and Verification

• H. Becht, John Staples:
  Soft Typing of General First-Order Languages. 480-488
  
• Graeme Smith:
  Reasoning about Object-Z Specifications. 489-497
  
• Shaoying Liu, Rolf Adams:
  Limitations of Formal Methods and an Approach to Improvement. 498-
  

Panel Session

• Lin Zucconi:
  Software Process Improvement Paradigms. 510
  
• Lin Zucconi:
  Software Process Improvement Paradigms for IT Industry: Why the Bottom-Up Approach Fits Best. 511
  
• Barbara Imbor-Maciag:
  The Ericsson's Approach to Software Improvements. 512
  
• Ian J. Hayes, Keijiro Araki, David J. Duke, Val E. Veraart:
  Are Formal Methods Relevant? 513
  
• Graham C. Low, D. Ross Jeffery, Ray Offen, Judy Bamberger:
  Is Software Engineering Really Engineering? 518
  
• Graham Low:
  Is Software Engineering Really Engineering? 519
  
• Ray Offen:
  Is Software Engineering Really Engineering? 520
  
• D. Ross Jeffery:
  Software Engineering Research Validation. 522