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 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, 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

last updated on Tue May 21 01:50:27 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page