The Community for Technology Leaders
Proceedings of 1st Asia-Pacific Software Engineering Conference (1994)
Tokyo, Japan
Dec. 7, 1994 to Dec. 9, 1994
ISBN: 0-8186-6960-8
TABLE OF CONTENTS

Optimal release policies for hyper-geometric distribution software reliability growth model with scheduled delivery time (PDF)

Rong-Huei Hou , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
Ing-Yi Chen , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
Yi-Ping Chang , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
Sy-Yen Kuo , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
pp. 445-452

Prescriptive metrics for software quality assurance (PDF)

Chin-Feng Fan , Dept. of Comput. Eng. & Sci., Yuan-Ze Inst. of Technol., Chungli, Taiwan
pp. 430-438

Software Information Management System based on the entity-relationship model (PDF)

Moon Hae Kim , Dept. of Comput. Sci., Konkuk Univ., Seoul, South Korea
pp. 420-427

A hybrid program knowledge base for static program analyzers (PDF)

S. Jarzabek , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
Han Shen , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
Hock Chuan Chan , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 400-409

Object-oriented analysis and design support system using algebraic specification techniques (PDF)

J. Yamamoto , Res. & Dev. Center, Toshiba Corp., Kawasaki, Japan
A. Ohsuga , Res. & Dev. Center, Toshiba Corp., Kawasaki, Japan
S. Honiden , Res. & Dev. Center, Toshiba Corp., Kawasaki, Japan
pp. 388-397

When to inherit and when not to (PDF)

Y.S. Kuo , Inst. of Inf. Sci., Acad. Sinica, Taipei, Taiwan
pp. 378-387

A sentential function mapping method for object-oriented analysis and design (PDF)

Hyeonkon Kim , Inst. of Socio-Econ. Planning, Tsukuba Univ., Ibaraki, Japan
M. Bjom , Inst. of Socio-Econ. Planning, Tsukuba Univ., Ibaraki, Japan
Hui Yao , Inst. of Socio-Econ. Planning, Tsukuba Univ., Ibaraki, Japan
R. Hotaka , Inst. of Socio-Econ. Planning, Tsukuba Univ., Ibaraki, Japan
pp. 368-377

The Cogito Repository Manager (PDF)

O. Traynor , Software Verification Res. Centre, Queensland Univ., Brisbane, Qld., Australia
A. Bloesch , Software Verification Res. Centre, Queensland Univ., Brisbane, Qld., Australia
pp. 356-365

The Cogito methodology and system (PDF)

A. Bloesch , Dept. of Comput. Sci., Queensland Univ., Brisbane, Qld., Australia
E. Kazmierczak , Dept. of Comput. Sci., Queensland Univ., Brisbane, Qld., Australia
P. Kearney , Dept. of Comput. Sci., Queensland Univ., Brisbane, Qld., Australia
O. Traynor , Dept. of Comput. Sci., Queensland Univ., Brisbane, Qld., Australia
pp. 345-355

Formal definitions of behavioural compatibility for active and passive objects (PDF)

G. Smith , Dept. of Comput. Sci., Queensland Univ., Brisbane, Qld., Australia
pp. 336-344

PARTS-a temporal logic-based real-time software specification method supporting multiple-viewpoints (PDF)

K.C. Kang , Dept. of Comput. Sci. & Eng., Pohang Univ. of Sci. & Technol., South Korea
Kwang-Il Ko , Dept. of Comput. Sci. & Eng., Pohang Univ. of Sci. & Technol., South Korea
pp. 328-335

Scalability for graph based CASE tools (PDF)

M. Sifer , Sch. of Comput. Sci., Univ. of Technol., Sydney, NSW, Australia
pp. 317-326

Generating data access programs from PCTE schemas with constraints (PDF)

S. Atsushi , Dept. of Inf. Sci., Kyoto Univ., Japan
M. Naruki , Dept. of Inf. Sci., Kyoto Univ., Japan
A. Tsuneo , Dept. of Inf. Sci., Kyoto Univ., Japan
M. Yoshihiro , Dept. of Inf. Sci., Kyoto Univ., Japan
pp. 298-307

Process-sensitive software engineering environments: an object-oriented view (PDF)

Min Kang , Sch. of Comput. Sci. & Software Eng., Swinburne Univ. of Technol., Hawthorn, Vic., Australia
D.D. Grant , Sch. of Comput. Sci. & Software Eng., Swinburne Univ. of Technol., Hawthorn, Vic., Australia
pp. 287-295

Analysis and enactment of a distributed software process model: the AttNet model (PDF)

Woo Jin Leet , Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
In Sang Chung , Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Yong Rae Kwon , Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
pp. 278-286

Producing and managing software objects in the process programming environment OPM (PDF)

Y. Sugiyama , Dept. of Comput. Sci., Nihon Univ., Koriyama, Japan
pp. 268-277

Reachability testing: an approach to testing concurrent software (PDF)

Gwan-Hwan Hwang , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 246-255

Ordered sequence testing criteria for concurrent programs and the support tool (PDF)

E. Itoh , Dept. of Comput. Sci. & Commun. Eng., Kyushu Univ., Fukuoka, Japan
Y. Kawaguchi , Dept. of Comput. Sci. & Commun. Eng., Kyushu Univ., Fukuoka, Japan
pp. 236-245

Reversing concurrent systems into formal specifications (PDF)

K.R.P.H. Leung , Dept. of Comput., Hong Kong Polytech., Kowloon, Hong Kong
C.F.S. Yim , Dept. of Comput., Hong Kong Polytech., Kowloon, Hong Kong
pp. 229-234

A mapping system from Object-Z to C++ (PDF)

M. Fukagawa , Dept. of Comput. Sci., Meiji Univ., Kawasaki, Japan
T. Hikita , Dept. of Comput. Sci., Meiji Univ., Kawasaki, Japan
H. Yamazaki , Dept. of Comput. Sci., Meiji Univ., Kawasaki, Japan
pp. 220-228

Dynamic evolution of distributed systems specifications using reflective language (PDF)

I.A. Hamid , Dept. of Inf. Design, Tohoku Univ. of Art & Design, Yamaguta, Japan
pp. 208-219

Software process representation to support multiple views (PDF)

D. Jacobs , Discipline of Comput. Sci., Flinders Univ. of South Australia, Adelaide, SA, Australia
C. Marlin , Discipline of Comput. Sci., Flinders Univ. of South Australia, Adelaide, SA, Australia
pp. 197-205

BOOTSTRAP: a software process assessment and improvement methodology (PDF)

S. Simila , Dept. of Inf. Process. Sci., Oulu Univ., Finland
P. Kuvaja , Dept. of Inf. Process. Sci., Oulu Univ., Finland
L. Krzanik , Dept. of Inf. Process. Sci., Oulu Univ., Finland
pp. 183-196

Automated class testing: methods and experience (PDF)

D. Hoffman , Dept. of Comput. Sci., Victoria Univ., BC, Canada
pp. 163-171

Integrating data flow and domain testing (PDF)

Bingchiang Jeng , Dept. of Inf. Manage., Nat. Sun Yat-Sen Univ., Kaohsiung, Taiwan
pp. 154-162

A knowledge-based approach to regression testing (PDF)

Taewoong Jeon , R&D Center, Goldstar Industrial Systems, Kyongki-Do, South Korea
pp. 144-153

Object and domain policies specification (PDF)

D.C.C. Poo , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
Shwu-Yi Lee , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 133-142

A model-based MICOM application software development method (PDF)

K.C. Kang , Dept. of Comput. Sci. & Eng., Pohang Univ. of Sci. & Technol., South Korea
Sey-Chan Jang , Dept. of Comput. Sci. & Eng., Pohang Univ. of Sci. & Technol., South Korea
pp. 124-132

Supporting user-analyst interaction in functional requirements elicitation (PDF)

A. Cucchiarelli , Dept. of Comput. Sci., Ancona Univ., Italy
M. Panti , Dept. of Comput. Sci., Ancona Univ., Italy
S. Valenti , Dept. of Comput. Sci., Ancona Univ., Italy
pp. 114-123

Software documents, their relationships and properties (PDF)

Jun Han , Sch. of Comput. & Inf. Eng., Monash Univ., Clayton, Vic., Australia
pp. 102-111

Constraint-centered descriptions for automated tool invocation (PDF)

K. Tominaga , Dept. of Comput. Sci., Tokyo Eng. Univ., Japan
pp. 92-101

Guiding the requirements engineering process (PDF)

G. Rolland , Univ. de Paris Sorbonne, France
pp. 82-91

A software maintenance survey (PDF)

S.W.L. Yip , Dept. of Comput., Hong Kong Polytech., Kowloon, Hong Kong
pp. 70-79

Proprietary vs. "open systems" options in the construction of knowledge-based software reengineering environments (PDF)

P.A. Bailes , Dept. of Comput. Sci., Queensland Univ., Brisbane, Qld., Australia
S. Atkinson , Dept. of Comput. Sci., Queensland Univ., Brisbane, Qld., Australia
M. Chapman , Dept. of Comput. Sci., Queensland Univ., Brisbane, Qld., Australia
D. Johnston , Dept. of Comput. Sci., Queensland Univ., Brisbane, Qld., Australia
I. Peake , Dept. of Comput. Sci., Queensland Univ., Brisbane, Qld., Australia
pp. 60-69

A TAHG model based software generator system (PDF)

M. Shikida , Dept. of Comput. Sci., Tokyo Inst. of Technol., Japan
Y. Yamamoto , Dept. of Comput. Sci., Tokyo Inst. of Technol., Japan
Y. Kimura , Dept. of Comput. Sci., Tokyo Inst. of Technol., Japan
T. Tokuda , Dept. of Comput. Sci., Tokyo Inst. of Technol., Japan
pp. 50-57

Developing distributed applications by semantics-based automatic replication (PDF)

Sumin Huang , Inst. fur Inf., Freie Univ. Berlin, Germany
pp. 40-49

An adaptive user navigation mechanism and its evaluation (PDF)

J. Baeg , Dept. of Electr. Eng., Waseda Univ., Tokyo, Japan
pp. 29-37

Applying object-oriented construction to fault tolerant systems (PDF)

J. Miller , Dept. of Comput. Sci., Strathclyde Univ., Glasgow, UK
M. Wood , Dept. of Comput. Sci., Strathclyde Univ., Glasgow, UK
A. Brooks , Dept. of Comput. Sci., Strathclyde Univ., Glasgow, UK
M. Roper , Dept. of Comput. Sci., Strathclyde Univ., Glasgow, UK
pp. 22-28

Requirements engineering: a review and research agenda (PDF)

A. Finkelstein , Dept. of Comput. Sci., City Univ., London, UK
pp. 10-19

Analysis in software engineering (PDF)

K. Torii , Grad. Sch. of Inf. Sci., Nara Inst. of Sci. & Technol., Japan
pp. 2-6
87 ms
(Ver 3.3 (11022016))