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-
Testing I
Sadahiro Isoda:
A Criticism on the Capture-and-Recapture Method for Software Reliability Assurance.
38-
Requirements Modelling
Laurent Perrussel:
Expressing Inter-Perspective Relationships: A Logical Approach.
58-63
Concurrency
Object-Oriented Development
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
Distributed Systems
Testing II
Development Environments I
Jun Han:
Providing Configuration Management Support in Software Engineering Environments.
282-
Formal Methods
Mark Utting:
Animating Z: Interactivity, Transparency and Equivalence.
294-303
Quality Assurance and Reliability
Reuse
Lindsay Groves:
Deriving Programs by Combining and Adapting Refinement Scripts.
354-363
Hyuksoo Han:
Relationship Between Query Interface and Profiles in Reuse Support System.
374-
The Specification Process; Maintenance
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
Information Systems Design and Management
Reasoning and Verification
Graeme Smith:
Reasoning about Object-Z Specifications.
489-497
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
Graham Low:
Is Software Engineering Really Engineering?
519
Ray Offen:
Is Software Engineering Really Engineering?
520