default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th APSEC 2003: Chiang Mai, Thailand
- 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand. IEEE Computer Society 2003, ISBN 0-7695-2011-1
Keynote Speeches
- Takuya Katayama:
Science of Software Changes. 2 - Bertrand Meyer:
Blueprint for Real Progress in Software Engineering. 3 - Shi-Kuo Chang:
Is There a Happy Marriage between Software Engineering and Knowledge Engineering? 4
Requirements Engineering
- Martin S. Feather, Tim Menzies, Judith R. Connelly:
Matching Software Practitioner Needs to Researcher Activities. 6-16 - Junzo Kato, Morio Nagata, Shuichiro Yamamoto, Motoshi Saeki, Haruhiko Kaiya, Hisayuki Horai, Atsushi Ohnishi, Seiichi Komiya, Kenji Watahiki:
PAORE: Package Oriented Requirements Elicitation. 17-
Formal Methods (1)
- Andrew P. Martin
, Andrew Simpson:
Generalising the Z Schema Calculus: Database Schemas and Beyond. 28-37 - Moshe Deutsch, Martin C. Henson:
An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics. 38-48 - Guy H. Broadfoot, Philippa J. Broadfoot:
Academia and industry meet: Some experiences of formal methods in practice. 49-
Maintenance and Reuse
- Tao Qin, Lu Zhang, Zhiying Zhou, Dan Hao, Jiasu Sun:
Discovering Use Cases from Source Code using the Branch-Reserving Call Graph. 60-67 - Wei Zhao, Lu Zhang, Yin Liu, Jing Luo, Jiasu Sun:
Understanding How the Requirements Are Implemented in Source Code. 68-77 - A. S. M. Sajeev, Bugi Wibowo:
Regression Test Selection Based on Version Changes of Components. 78-
Software Testing (1)
- Nguyen Truong Thang, Takuya Katayama:
Towards a Sound Modular Model Checking of Collaboration-Based Software Designs. 88-97 - Anita Goel, Suresh Chand Gupta, Siri Krishan Wasan:
Controllability Mechanism for Object-Oriented Software Testing. 98-107 - Xin Wang, Qi Yan, XinJun Mao, Zhi-Chang Qi:
Generating Test Oracle for Role Binding in Multi-Agent Systems. 108-
Product Lines and Reuse
- Hongyu Zhang, Stan Jarzabek:
An XVCL Approach to Handling Variants: A KWIC Product Line Example. 116-125 - Minseong Kim, Hwasil Yang, Sooyong Park:
A Domain Analysis Method for Software Product Lines Based on Scenarios, Goals and Features. 126-135 - Jihyun Lee, Jin-Sam Kim, Gyu-Sang Shin:
Facilitating Reuse of Software Components using Repository Technology. 136-
Software Documentation
- Daniel Jarrott, Anthony MacDonald:
Developing Relational Navigation to Effectively Understand Software. 144-153 - Shahida Sulaiman, Norbik Bashah Idris, Shamsul Sahibuddin, Sarina Sulaiman:
Re-documenting, Visualizing and Understanding Software System Using DocLike Viewer. 154-163 - Satish Chandra Gupta, Tien Nhut Nguyen, Ethan V. Munson:
The Software Concordance: Using a Uniform Document Model to Integrate Program Analysis and Hypermedia. 164-
Formal Methods (2)
- Orieta Celiku, Joakim von Wright:
Implementing Angelic Nondeterminism. 176-185 - Yong Xia, Martin Glinz:
Rigorous EBNF-based Definition for a Graphic Modeling Language. 186-196 - Moshe Deutsch, Martin C. Henson, Besnik Kajtazi:
Modular refinement in novel schema calculi. 197-
Software Architecture and Object-Oriented
- Whey Seen Heah, Mohamed K. Omar:
A Two-Level Hierarchy Software Architecture Framework for the Manufacturing Industry. 208-214 - Yuming Zhou, Lijie Wen, Jianmin Wang, Yujian Chen, Hongmin Lu, Baowen Xu:
DRC: A Dependence Relationships Based Cohesion Measure for Classes. 215-223 - Wuwei Shen, Kevin J. Compton, James Huggins:
A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines. 224-
Software Process
- Paolo Ceravolo, Ernesto Damiani, Michele Marchesi, Sandro Pinna, Francesco Zavatarelli:
A Ontology-based Process Modelling for XP. 236-242 - Kamal Zuhairi Zamli, Peter A. Lee:
Modeling and Enacting Software Processes Using VRPML. 243-252 - Pornthep Seawlho, Taratip Suwannasart:
A SCM Workflow Model for CMM Organizations. 253-
Frameworks
- Ju Wang, Jinmiao Li, Greg Butler:
Implementing the PostgreSQL Query Optimizer within the OPT++ Framework. 262-272 - Kazutoshi Shimanaka, Junji Koga, Naoki Sugiwaka, Takeshi Sakamoto:
Application method for process frame-work. 273-
Computer Supported Cooperative Work and Software Engineering
- Kunihiko Chiken, Atsuo Hazeyama:
Awareness Support in Group-based Software Engineering Education System. 280-289 - Carl Cook, Neville Churcher:
An Extensible Framework for Collaborative Software Engineering. 290-
Mobile and Web Services
- Jia Yu, Jan Newmarch, Michael Geisler:
JINI/J2EE Bridge for Large-scale IP Phone Services. 302-309 - Deron Liang, Chen-Liang Fang, Chyouhwa Chen, Fengyi Lin:
Fault tolerant web service. 310-
Software Testing (2)
- Jason McDonald, Paul A. Strooper, Daniel Hoffman:
Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications. 322-331 - Nguyen Thanh Binh, Michel Delaunay, Chantal Robach:
Testing Criteria for Data Flow Software. 332-339 - Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack:
Challenging Formal Specifications by Mutation: a CSP security example. 340-
Component-Based Software Engineering (1)
- Sihem Ben Sassi, Lamia Labed Jilani, Henda Hajjami Ben Ghézala:
COTS Characterization Model in a COTS-Based Development Environment. 352-361 - Hiroyuki Ozaki, Shingo Ban, Katsuhiko Gondow, Takuya Katayama:
An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation. 362-370 - Suhaimi Ibrahim, Norbik Bashah Idris, Aziz Deraman:
Case study: Reconnaissance techniques to support feature location using RECON2. 371-
Software Design
- Sukhamay Kundu:
Modeling Complex Systems by A Set of Interacting Finite-State Models. 380-389 - Kevin Chan, Leon Sterling:
Specifying Roles within Agent-Oriented Software Engineering. 390-395 - Jung-Hwa Chae, Cheol-Jung Yoo, Yong-Sung Kim, Ok-Bae Chang:
XSLT Template Design for Generating the Web Presentation Layer. 396-
Formal Methods (3)
- Vangalur S. Alagar, M. Chen, Olga Ormandjieva, Mao Zheng:
Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. 406-414 - Benjamin W. Long:
Formal Verification of Type Flaw Attacks in Security Protocols. 415-424 - Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa:
Reasoning about Pointers in Refinement Calculus. 425-
Component-Based Software Engineering (2)
- Jun Han, Ksze Kae Ker:
Ensuring Compatible Interactions within Component-based Software Systems. 436-445 - David Hemer:
Specification matching of state-based modular components. 446-455 - Valerie Maxville, Chiou Peng Lam, Jocelyn Armarego:
Selecting Components: a Process for Context-Driven Evaluation. 456-
Software Development Method
- Anthony Senyard, Edmund Kazmierczak, Leon Sterling:
Software Engineering Methods for Neural Networks. 468-477 - Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth Breu:
Security-Critical System Development with Extended Use Cases. 478-487 - Siv Hilde Houmb, Jan Jürjens:
Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsec. 488-
Technical Reviews
- Yuk Kuen Wong, David Wilson:
Exploring the Relationship between Experience and Group Performance in Software Review. 500-509 - Shaoying Liu:
Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specification. 510-519 - Lesley Pek Wee Land, Bernard Wong, D. Ross Jeffery:
An Extension of the Behavioral Theory of Group Performance in Software Development Technical Reviews. 520-
Distributed Systems
- Doug Goldson:
Extending the theory of Owicki and Gries with asynchronous message passing. 532-541 - Nicholas Nicoloudis, Christine Mingins:
Psachno: A Dynamic and Generic Discovery Framework within a Peer-to-Peer Network Model. 542-551 - Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, Tohru Kikuno:
Evaluating Semantic Warnings in VoIP Programmable Services with Open Source Environment. 552-
Compute Supported Cooperative Work and Software Engineering (3)
- Jinmiao Li, Yun Mai, Greg Butler:
Implementing Exception Handling Policies for Workflow Management System. 564-573 - Xiaoguang Zhang, Jian Cao, Shen-sheng Zhang:
An Extended Policy Language for Role Resolution in Project-Oriented Workflow. 574-
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-12-11 20:50 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:
