7. APSEC 2000: Singapore

@proceedings{DBLP:conf/apsec/2000,
  title     = {7th Asia-Pacific Software Engineering Conference (APSEC 2000),
               5-8 December 2000, Singapore},
  booktitle = {APSEC},
  publisher = {IEEE Computer Society},
  year      = {2000},
  isbn      = {0-7695-0915-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Tutorials

• Brian Henderson-Sellers:
  Advanced OO Modeling: Metamodels and Notations. 2
  Electronic Edition (link) BibTeX
• Brian Henderson-Sellers:
  Beyond RUP. 3-
  Electronic Edition (link) BibTeX

Keynote I

• Jeannette M. Wing:
  Survivability Analysis of Networked Systems . 6-7
  Electronic Edition (link) BibTeX
• Kyo Chul Kang, Ji Y. Lee, Hye J. Kim:
  Co-development of real-time systems and their simulation environments. 8-15
  Electronic Edition (link) BibTeX
• Ian J. Hayes:
  Reasoning about real-time programs using idle-invariant assertions. 16-23
  Electronic Edition (link) BibTeX
• Jaewon Oh, Hyokyung Bahn, Chris Wu, Kern Koh:
  Pareto-based soft real-time task scheduling in multiprocessor systems. 24-
  Electronic Edition (link) BibTeX

Software Engineering: Education & Practice I

• Bernd Brügge, Allen H. Dutoit, Rafael Kobylinski, Günter Teubner:
  Transatlantic project courses in a university environment. 30-37
  Electronic Edition (link) BibTeX
• Paul J. Layzell, Pearl Brereton, A. French:
  Supporting collaboration in distributed software engineering teams. 38-45
  Electronic Edition (link) BibTeX
• Judy Brown:
  Bloodshot eyes: workload issues in computer science project courses. 46-
  Electronic Edition (link) BibTeX

Formal Methods I

• Jesús Manuel Almendros-Jiménez, Luis González-Jiménez:
  The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design. 54-61
  Electronic Edition (link) BibTeX
• Yoshinao Isobe, Kazuhito Ohmaki:
  A process logic for distributed system synthesis . 62-69
  Electronic Edition (link) BibTeX
• Jifeng He, C. A. R. Hoare:
  Unifying theories of healthiness condition. 70-
  Electronic Edition (link) BibTeX

Software Reliability

• Natalia Sidorova, Martin Steffen:
  Verification of a wireless ATM medium-access protocol. 84-91
  Electronic Edition (link) BibTeX
• Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng:
  Monitoring facilities in languages supporting development of concurrent self-measurement programs. 92-99
  Electronic Edition (link) BibTeX
• Stefan Biffl, Thomas Grechenig, Monika Köhle:
  Evaluation of inspectors' defect estimation accuracy for a requirements document after individual inspection. 100-
  Electronic Edition (link) BibTeX

Analysis/Design I

• Sukhamay Kundu:
  The concept of path-closed subsets and its use in software functional design. 112-119
  Electronic Edition (link) BibTeX
• Clare Churcher, Theresa McLennan, Alan McKinnon:
  Pragmatic data modelling and design for end users. 120-126
  Electronic Edition (link) BibTeX
• Nikolay Mehandjiev, Craig Gaskell:
  Requirements engineering and strategic decision exploration: an area for interdisciplinary research. 127-
  Electronic Edition (link) BibTeX

Keynote II

• Axel van Lamsweerde:
  Building Formal Models for Software Requirements. 134-
  Electronic Edition (link) BibTeX

Testing/Verification

• Stefan Biffl:
  Analysis of the impact of reading technique and inspector capability on individual inspection performance. 136-145
  Electronic Edition (link) BibTeX
• Karl R. P. H. Leung, Wai Wong:
  Deriving test cases using class vectors. 146-153
  Electronic Edition (link) BibTeX
• Xuandong Li, Johan Lilius:
  Checking compositions of UML sequence diagrams for timing inconsistency. 154-161
  Electronic Edition (link) BibTeX
• Padmanabhan Krishnan:
  Consistency checks for UML. 162-
  Electronic Edition (link) BibTeX

Component Based Development

• Michihiro Matsumoto, Kokichi Futatsugi:
  The support tool for highly reliable component-based software development. 172-179
  Electronic Edition (link) BibTeX
• Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills:
  Formal specification of Catalysis frameworks. 180-187
  Electronic Edition (link) BibTeX
• Henrik Hermansson, Mattias Johansson, Lars Lundberg:
  A distributed component architecture for a large telecommunication application. 188-195
  Electronic Edition (link) BibTeX
• Amnart Pohthong, David Budgen:
  Accessing software component documentation during design: an observational study. 196-
  Electronic Edition (link) BibTeX

Requirements Engineering

• Toshihiko Tsumaki, Yoshitomi Morisawa:
  A framework of requirements tracing using UML. 206-213
  Electronic Edition (link) BibTeX
• Keith H. Bennett, Paul J. Layzell, David Budgen, Pearl Brereton, Linda A. Macaulay, Malcolm Munro:
  Service-based software: the future for flexible software. 214-221
  Electronic Edition (link) BibTeX
• Nigel Stanger:
  Translating descriptions of a viewpoint among different representations. 222-229
  Electronic Edition (link) BibTeX
• Chris Matthews, Paul A. Swatman:
  Fuzzy concepts and formal methods: some illustrative examples. 230-
  Electronic Edition (link) BibTeX

UML/Object-Z/Z

• Soon-Kyeong Kim, David A. Carrington:
  An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study. 240-248
  Electronic Edition (link) BibTeX
• WoonKiong Tan:
  A semantic model of a small typed functional language using Object-Z. 249-257
  Electronic Edition (link) BibTeX
• Greg Reeve, Steve Reeves:
  mu-Charts and Z: examples and extensions. 258-
  Electronic Edition (link) BibTeX

Software Maintenance

• Yang Li, Hongji Yang, William C. Chu:
  Fusing ambiguous domain knowledge slices in a reverse engineering process. 266-273
  Electronic Edition (link) BibTeX
• Lindsay Groves:
  A formal approach to program modification. 274-281
  Electronic Edition (link) BibTeX
• Anthony Cox, Charles L. A. Clarke:
  A comparative evaluation of techniques for syntactic level source code analysis. 282-
  Electronic Edition (link) BibTeX

Architecture Framework I

• Henrik Bærbak Christensen, Henrik Røn:
  A case study of horizontal reuse in a project-driven organisation. 292-298
  Electronic Edition (link) BibTeX
• Volker H. Schroeter:
  PMF/GRIP a framework for the development and implementation of reuse models. 299-310
  Electronic Edition (link) BibTeX
• Martin K. Purvis, Maryam Purvis, Selena Lemalu:
  An adaptive distributed workflow system framework. 311-
  Electronic Edition (link) BibTeX

Analysis/Design II

• Kenha Park, Jintae Kim, Sooyong Park:
  Goal based agent-oriented software modeling. 320-324
  Electronic Edition (link) BibTeX
• Vincenza Carchiolo, S. D'ambra, Alessandro Longheu, Michele Malgeri:
  Issues in object orienting the ST Microelectronics manufacturing model. 325-329
  Electronic Edition (link) BibTeX
• Karl R. P. H. Leung:
  Extending Statecharts with ad lib and multi-thread features. 330-
  Electronic Edition (link) BibTeX

Architecture Framework II

• Rakesh Agarwal, Giorgio Bruno, Marco Torchiano:
  Enterprise modeling using class and instance models. 336-343
  Electronic Edition (link) BibTeX
• Yan Xia, Anthony Tung Shuen Ho, YuCheng Zhang:
  CIMO - Component Integration MOdel. 344-348
  Electronic Edition (link) BibTeX
• Takeshi Chusho, Hisashi Ishigure, Naoyuki Konda, Tomoaki Iwata:
  Component-based application development on architecture of a model, UI and components. 349-
  Electronic Edition (link) BibTeX

Component Based Development

• Jooyoung Seo, Byoungju Choi:
  Tailoring test process by using the component-based development paradigm and the XML technology. 356-363
  Electronic Edition (link) BibTeX
• D. Janaki Ram, M. Sreekanth:
  Reusable integrated components of inter-related patterns for software development. 364-371
  Electronic Edition (link) BibTeX
• Xia Cai, Michael R. Lyu, Kam-Fai Wong, Roy Ko:
  Component-based software engineering: technologies, development frameworks, and quality assurance schemes. 372-
  Electronic Edition (link) BibTeX

Keynote III

• Gene F. Hoffnagle:
  Experiences in Systems Evolution: Practical Aspects and Cautionary Tales. 382-
  Electronic Edition (link) BibTeX

Software Engineering: Education & Practice II

• Gay Costain:
  Selecting an object-oriented process for student analysts. 384-391
  Electronic Edition (link) BibTeX
• Atsuo Hazeyama, Keiji Osada, Youzou Miyadera, Setsuo Yokoyama:
  An education support system of information system design and implementation and lessons learned from its application. 392-396
  Electronic Edition (link) BibTeX
• Ivica Crnkovic, Magnus Larsson, Frank Lüders:
  Implementation of a software engineering course for computer science students. 397-401
  Electronic Edition (link) BibTeX
• J. Paynter, J. Ong, L. Frazer:
  A preliminary comparison of computer mediated training tools. 402-
  Electronic Edition (link) BibTeX

Formal Methods II

• Motoshi Saeki:
  Behavioral specification of GOF design patterns with LOTOS. 408-415
  Electronic Edition (link) BibTeX
• Li Shuguang, Jiang Qing, Chris George:
  Combining case-based and model-based reasoning: a formal specification. 416-420
  Electronic Edition (link) BibTeX
• Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto:
  A GUI and testing tool for SOFL. 421-
  Electronic Edition (link) BibTeX

Software Process

• Brian Henderson-Sellers, Richard Dué, Ian M. Graham, Graham Collins:
  Third generation OO processes: a critique of RUP and OPEN from a project management perspective. 428-435
  Electronic Edition (link) BibTeX
• Brian Henderson-Sellers, M. K. Serour:
  Creating a process for transitioning to object technology. 436-440
  Electronic Edition (link) BibTeX
• Geoffrey G. Roy, Terence L. Woodings:
  A framework for risk analysis in software engineering. 441-
  Electronic Edition (link) BibTeX

Software Metrics

• Danita Hartley, Neville Churcher, Greg Albertson:
  Virtual worlds for Web site visualisation. 448-455
  Electronic Edition (link) BibTeX
• Houari A. Sahraoui, Mounir Boukadoum, Hakim Lounis, Frédéric Ethève:
  Predicting class libraries interface evolution: an investigation into machine learning approaches. 456-464
  Electronic Edition (link) BibTeX
• Vojislav B. Misic:
  Coherence equals cohesion-or does it? 465-
  Electronic Edition (link) BibTeX

Distributed Systems

• Clare Churcher, Alan McKinnon, Roger Jarquin:
  Visualising the influence of data structure choice on the performance of a distributed database system. 472-479
  Electronic Edition (link) BibTeX
• Mariusz Nowostawski, Geoff Bush, Martin K. Purvis, Stephen Cranefield:
  Platforms for agent-oriented software engineering. 480-488
  Electronic Edition (link) BibTeX
• Jessica Chen:
  A study on static analysis in network of synchronizing FSMs. 489-493
  Electronic Edition (link) BibTeX