default search action
2nd APSEC 1995: Brisbane, Queensland, Australia
- 2nd Asia-Pacific Software Engineering Conference (APSEC '95), December 6-9, 1995, Brisbane, Queensland, Australia. IEEE Computer Society 1995, ISBN 0-8186-7171-8
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-21
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, Sidney 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-
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
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
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
An Integrated Support Environment for Distributed Software Development based on Unified Program Representations. 254-263 - John C. Grundy
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 Kim Chung 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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: