6. APSEC 1999: Takamatsu, Japan

Software Evolution

• Takako Nakatani, Tetsuo Tamai:
  Empirical Observations on Object Evolution. 2-9
  
• Ladan Tahvildari, Richard Gregory, Kostas Kontogiannis:
  An Approach for Measuring Software Evolution Using Source Code Features. 10-17
  
• Takashi Kobayashi, Motoshi Saeki:
  Software Development Based on Software Pattern Evolution. 18-
  

Components and Frameworks 1

• Vu N. Tran, Dar-Biau Liu:
  Application of CBSE to Projects with Evolving Requirements - A Lesson-Learned. 28-37
  
• Hyung-Ho Kim, Doo-Hwan Bae, Dong Kwan Kim, Hyo Taeg Jung, Yun Dae Chung:
  An Operational Component Specification Method. 38-45
  
• Young Ran Yu, Soo Dong Kim, Dong Kwan Kim:
  Connector Modeling Method for Component Extraction. 46-53
  
• Sang Duck Lee, Young Jong Yang, Eun Sook Cho, Soo Dong Kim, Sung Yul Rhew:
  COMO: A UML-Based Component Development Methodology. 54-
  

Internet Applications Engineering

• Danny C. C. Poo, Teck-Kang Toh, Christopher S. G. Khoo, Glenn Hong:
  Development of an Intelligent Web Interface to Online Library Catalog Databases. 64-71
  
• Fumihiko Kitayama, Shin'ichi Hirose, Goh Kondoh, Kazushi Kuse:
  Design of a Framework for Dynamic Content Adaptation to Web-Enabled Terminals and Enterprise Applications. 72-79
  
• Sukanya Suranauwarat, Hideo Taniguchi, Kazuo Ushijima:
  Evaluation of Process Scheduling Mechanism for a Web Server Based on Its Behavior while Executing. 80-87
  
• Junichi Funasaka, Keizo Saisho, Akira Fukuda:
  Automatic Selecting of Required NetNews Articles. 88-
  

Formal and Visual Methods

• Ekaterina Pavlova, Dang Van Hung:
  A Formal Specification of the Concurrency Control in Real-Time Databases. 94-101
  
• Soon-Kyeong Kim, David A. Carrington:
  Visualization of Formal Specifications. 102-109
  
• Takayoshi Noguchi, Jiro Tanaka:
  Interactive Layout Method for Object Diagrams of OMT. 110-117
  
• Atsushi Ohnishi, Yongil Shin:
  A Visual Programming Method for Developing Sequence Controller Programs. 118-
  

Empirical Software Engineering

• Daniel Port, Monica McArthur:
  A Study of Productivity and Efficiency for Object-Oriented Methods and Languages. 128-
  
• Andrew Brooks, Shingo Takada, Louise Scott:
  Strongly Formative Pilot Studies on Constraints in Early Life-Cycle Work. 614-
  
• Yasuhiro Takemura, Kazuyuki Shima, Ken-ichi Matsumoto, Katsuro Inoue, Koji Torii:
  Factor Analysis of Comprehension States in the Learning Phases of a Programming Language. 136-143
  
• Satoru Uehara, Osamu Mizuno, Tohru Kikuno:
  A Straightforward Approach to Effort Estimation for Updating Programs in Object-Oriented Prototyping Development. 144-
  

Components and Frameworks 2

• Seoyoung Park, Chisu Wu:
  Intelligent Search Agent for Software Components. 154-161
  
• Hoijin Yoon, Byoungju Choi:
  Inter-Class Test Technique Between Black-Box-Class and White-Box-Class for Component Customization Failures. 162-165
  
• Jae Jeong You, Soo Dong Kim:
  SMARTS: A Smart CORBA Trader Service. 166-173
  
• Kent K. T. Cheung, Horace Ho-Shing Ip, Ringo W. K. Lam, Rudolf Hanka, Lilian H. Y. Tang, Grant Fuller:
  An Object-Oriented Framework for Content-Based Image Retrieval Based on 5-Tier Architecture . 174-
  

Business Process Modeling and Applications

• Hiroyuki Tarumi, Tetsuya Matsuyama, Yahiko Kambayashi:
  Evolution of Business Processes and a Process Simulation Tool. 180-187
  
• Usha V. Subramanian:
  An Event, Activity and Process Based Methodology for Requirements Elicitation and Its Application to an Educational Information System. 188-195
  
• Yuan Li, Zhiping Fan, Xuan Zhao:
  An Integrated Framework of Supply Chain Management System. 196-199
  
• Volker Gruhn, Ursula Wellen:
  Software Support for Distributed Business Processes. 200-
  

Requirements Engineering

• Hideaki Sugimoto, Atsushi Ohnishi:
  A Detecting and Interpreting Method of the Inconsistency of Software Requirements Specifications. 208-215
  
• Takahiro Nakanishi, Motoshi Saeki:
  Using Multiple Graphs of Programs to Modify Specifications. 216-223
  
• Haruhiko Kaiya, Kenji Kaijiri:
  Conducting Requirements Evolution by Replacing Components in the Current System. 224-
  

Software Architectures

• Natsuko Noda, Tomoji Kishi:
  On Aspect-Oriented Design: An Approach to Designing Quality Attributes. 230-237
  
• Nico H. Lassing, Daan B. B. Rijsenbrij, Hans van Vliet:
  Towards a Broader View on Software Architecture Analysis of Flexibility. 238-245
  
• Perfecto Mariño, César A. Sigüenza, Juan B. Nogueira, Francisco Poza, Miguel Angel Domínguez:
  A Reusable Distributed Software Architecture Driven by Metadata. 246-
  

Software Agents 1

• Wu Wen, Fumio Mizoguchi:
  Analysis and Verification of Multi-Agent Interaction Protocols. 252-259
  
• Takahiro Kawamura, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden:
  Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems. 260-267
  
• David Ramamonjisoa, Issam A. Hamid:
  Design and Implementation of Multi-Agent for Intelligent Software. 268-
  

Tools and Environments

• Minoru Harada, Takahiro Mizuno:
  Executable C++ Program Generation from the Structured Object-Oriented Design Diagrams. 630-
  
• Taegyun Kim, Gyusang Shin, Euyseok Hong:
  Experience with Porting a Unix Version CASE Tool to the Corresponding Java Version. 622-
  
• J. Jenny Li, Joseph Robert Horgan:
  chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications. 274-
  

Software Patterns

• Alejandra Cechich, Richard Moore:
  A Formal Basis for Object-Oriented Patterns. 284-291
  
• Mika Ohtsuki, Akifumi Makinouchi, Norihiko Yoshida:
  A Source Code Generation Support System Using Design Pattern Documents Based on SGML. 292-299
  
• William C. Chu, Chih-Wei Lu, J. P. Shiu, Xudong He:
  Pattern Based Software Re-engineering: A Case Study. 300-308
  
• Motoshi Saeki:
  Reusing Use Case Descriptions for Requirements Specification: Towards Use Case Patterns. 309-
  

Software Agents 2

• Minjeong Kim, Seungyun Lee, Injae Park, Jintae Kim, Sooyong Park:
  Agent-Oriented Software Modeling. 318-325
  
• Greg Butler, Andrea Gantchev, Peter Grogono:
  Reusable Strategies for Software Agents via the Subsumption. 326-333
  
• Naoyasu Ubayashi, Tetsuo Tamai:
  An Evolutional Cooperative Computation Based on Adaptation to Environment. 334-
  

Program Slicing and Analysis 1

• Yoshiyuki Ashida, Fumiaki Ohata, Katsuro Inoue:
  Slicing Methods Using Static and Dynamic Analysis Information. 344-350
  
• Hee Beng Kuan Tan, Juan Tiang Kow:
  Extracting Code Fragment that Implements Functionality. 351-354
  
• Hiroshi Maruyama, Keijiro Araki:
  VRML Program Slicing. 355-358
  
• Narasimhaiah Gorla, Kang Zhang:
  Deriving Program Physical Structures Using Bond Energy Algorithm. 359-
  

Object-Oriented Methodologies 1

• Yongzhong Tu, Wei-Tek Tsai, Yang Xiang:
  Specifying Constraints with Message Sequence Specifications. 368-375
  
• Ali Hamie:
  Enhancing the Object Constraint Language for More Expressive Specifications. 376-383
  
• Yu Liu, Chee Kheong Siew, Xun Yi, Yuan Miao:
  Improving Object Oriented Analysis by Explicit Change Analysis. 384-387
  
• Liwu Li:
  Object-Oriented Essential Modeling. 388-
  

Software Engineering Practice

• Kwanwoo Lee, Kyo Chul Kang, Sajoong Kim, Jaejoon Lee:
  Feature-Oriented Engineering of PBX Software. 394-403
  
• Shaoying Liu, Masaomi Shibata, Ryuichi Sato:
  Applying SOFL to Develop a University Information System. 404-411
  
• Hassan Abolhassani, Hui Chen, Behrouz H. Far, Zenya Koono:
  Software Creation: Detail of Human Design Knowledge and Its Application to Automatic Software Design. 412-419
  
• Raghu Singh:
  A Systematic Approach to Software Safety. 420-
  

Program Slicing and Analysis 2

• Tsuyoshi Ohta, Tadanori Mizuno:
  Towards an Algorithmic Debugging for Distributed Programs. 426-433
  
• Vladimir I. Shelekhov, Sergey V. Kuksenko:
  On the Practical Static Checker of Semantic Run-Time Errors. 434-440
  
• Yusuke Nonaka, Katsuhiko Hatano, Yoshinari Nomura, Jingde Cheng, Kazuo Ushijima:
  A System Dependence Net Generator for Ada Programs. 441-448
  
• Jan Philipps, Oscar Slotosch:
  The Quest for Correct Systems: Model Checking of Diagrams and Datatypes. 449-
  

Behavior and Semantic Models

• Michihiro Matsumoto, Kokichi Futatsugi:
  Simply Observable Behavioral Specification. 460-467
  
• Yoonsik Cheon, Heung-Nam Kim:
  Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks. 468-475
  
• Masami Noro, Tsuneo Ajisaka:
  Manipulating Software Semantics with Unified Computational Model and Software Quark Model. 476-
  

Real-Time Software Engineering

• Hiromitsu Shimakawa, George Ido, Hideyuki Takada, Satoshi Horiike, Hyogo Amagasaki:
  Expanding Small Example into Large Scale Real-Time Control System. 486-493
  
• Tetsuro Katayama, Keizo Saisho, Akira Fukuda:
  Proposal of a Support System for Device Driver Generation. 494-
  

Reengineering and Maintenance

• Keiko Kawabe, Akihiko Matsuo, Sanya Uehara, Akira Ogawa:
  Interactive Variable Classification Technique to Support the Maintenance of COBOL Business Application Systems. 500-506
  
• Oh-Cheon Kwon, Gyu-Sang Shin, Cornelia Boldyreff, Malcolm Munro:
  Maintenance with Reuse: An Integrated Approach Based on Software Configuration Management. 507-515
  
• Daniel Häggander, PerOlof Bengtsson, Jan Bosch, Lars Lundberg:
  Maintainability Myth Causes Performance Problems in SMP Application. 516-
  

Object-Oriented Methodologies 2

• Gustaf Neumann, Uwe Zdun:
  Enhancing Object-Based System Composition through Per-Object Mixins. 522-529
  
• Gang Xing, Michael R. Lyu:
  Testing, Reliability, and Interoperability Issues in the CORBA Programming Paradigm. 530-537
  
• Jin Song Dong, Brendan P. Mahony, Neale Fulton: Capturing Periodic Concurrent Interactions of Mission Computer Tasks. 538-545

Last update Tue May 21 16:14:37 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page