2. APSEC 1995: Brisbane, Queensland, Australia

2nd Asia-Pacific Software Engineering Conference (APSEC '95), December 6-9, 1995, Brisbane, Queensland, Australia. IEEE Computer Society 1995

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-

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-

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-

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-

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-

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 Manuel Antunes Sousa, José Alves Marques:
Development of Distributed Applications with Separation of Concerns. 168-

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-

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-

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-

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-

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-

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-

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-

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-

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-

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-

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

Last update Fri May 24 18:29:27 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page