default search action
9th APSEC 2002: Gold Coast, Queensland, Australia
- 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 4-6 December 2002, Gold Coast, Queensland, Australia. IEEE Computer Society 2002, ISBN 0-7695-1850-8
Requirements Engineering
- Didar Zowghi
, Nur Nurmuliani:
A Study of the Impact of Requirements Volatility on Software Project Performance. 3-11 - Soon-Kyeong Kim, David A. Carrington:
Integrating Use-Case Analysis and Task Analysis for Interactive Systems. 12-21 - Michael J. Rees:
A Feasible User Story Tool for Agile Software Development? 22-
Formal Methods (Refinement)
- Moshe Deutsch, Martin C. Henson, Steve Reeves
Results on Formal Stepwise Design in Z. 33-42 - Geoffrey Watson:
Refining Exceptions Using King and Morgan's exit Construct. 43-51 - Jamie Shield, Ian J. Hayes:
Refining Object-Oriented Invariants and Dynamic Constraints. 52-
Components
- Henrik Algestam, Marcus Offesson, Lars Lundberg:
Using Components to Increase Maintainability in a Large Telecommunication System. 65-73 - Yan Jenny Liu, Ian Gorton, Anna Liu, Shiping Chen
Evaluating the Scalability of Enterprise JavaBeans Technology. 74-83 - Robert Elfwing, Ulf Paulsson, Lars Lundberg:
Performance of SOAP in Web Service Environment Compared to CORBA. 84-
Design
- Anne Hannington, Karl Reed:
Towards a Taxonomy for Guiding Multimedia Application Development. 97-106 - Mitsutaka Okazaki, Toshiaki Aoki
Extracting threads from concurrent objects for the design of embedded systems. 107-116 - Deron Liang, Chen-Liang Fang, Chyouhwa Chen, Fengyi Lin:
A nested invocation suppression mechanism for active replication fault-tolerant CORBA. 117-
Formal Specifications Analysis
- Doug Goldson:
Formal Verification of mu-Charts. 129- - Neil J. Robinson, Colin J. Fidge
Animation of Data Refinements. 137-146 - Ralph-Johan Back, Cristina Cerschi Seceleanu
Symbolic Simulation of Hybrid Systems. 147-
Programming Languages and Software Engineering
- Tetsuo Kamina, Tetsuo Tamai:
Embedding XML Processing Toolkit on General Purpose Programming Language. 159-166 - Ka Boon Ng, Chiu Wo Choi
A Software Engineering Approach to Constraint Programming Systems. 167-175 - Yoshida Atsushi, Fukuyasu Naoki:
A Virtual File System for Source Program Editing. 176-
Keynote
- Stephen E. Cross:
A Quality Doctrine for Software: Do It Right the First Time. 187-
Education
- Andreas Braun, Allen H. Dutoit, Andreas Harrer
iBistro: A Learning Environment for Knowledge Construction in Distributed Software Engineering Courses. 197-203 - J. Barrie Thompson, Helen M. Edwards:
An Account and Appraisal of the Ongoing Development of the Software Engineering Volume of CC2001 and its International Applicability. 204-216
Model Checking
- Shin Nakajima:
Behavioural Analysis of Component Framework with Multi-Valued Transition System. 217-226 - Natalia Ioustinova, Natalia Sidorova, Martin Steffen:
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. 227-
Human Computer Interaction
- Takeshi Chusho, Katsuya Fujiwara
Automatic Filling in a Form by an Agent for Web Applications. 239-247 - Naoki Ohsugi, Akito Monden
A Recommendation System for Software Function Discovery. 248-
Keynote
- Pankaj Jalote:
Lessons Learned in Framework-Based Software Process Improvement. 261-
Software Design and Architecture
- Lee Momtahan, Andrew P. Martin
e-Science Experiences: Software Engineering Practice and the EU DataGrid. 269-275 - Masami Noro, Atsushi Kumazaki:
On Aspect-Oriented Software Architecture: It Implies a Process as Well as a Product. 276-285 - Heeseok Choi, Keunhyuk Yeom:
An Approach to Software Architecture Evaluation with the 4+1 View Model of Architecture. 286-
Formal Methods (Components)
- Colin J. Fidge
Contextual Matching of Software Library Components. 297-306 - David Hemer:
Computer-aided programming using formally specified design templates. 307-316 - Sukhamay Kundu:
Finite-State Modeling in Software Design: Some Fundamental Techniques. 317-
Software Maintenance
- Yasushi Ueda, Toshihiro Kamiya, Shinji Kusumoto, Katsuro Inoue:
On Detection of Gapped Code Clones using Gap Locations. 327-336 - Sang-Uk Jeon, Joon-Sang Lee, Doo-Hwan Bae:
An Automated Refactoring Approach to Design Pattern-Based Program Transformations in Java Programs. 337- - Ying Zou, Kostas Kontogiannis:
Quality Driven Transformation Compositions for Object Oriented Migration. 346-
Software Process
- Yun Yang:
Tool Interfacing Mechanisms for Programming-for-the-Large and Programming-for-the-Small. 359-365 - James M. Hogan, Glenn Smith, Richard N. Thomas
The Real World Software Process. 366-375 - Seungjin Lee, Junho Shim
A Metal Model Approach using UML for Task Assignment Policy in Software Process. 376-
Formal Methods (Design)
- Marc Aiguier, Christophe Gaston
Feature Logics and Refinement. 385- - Pao-Ann Hsiung, Trong-Yen Lee, Feng-Shi Su:
Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling. 395-404 - Jing Sun
Specifying and Reasoning about Generic Architecture in TCOZ. 405-
Server-Based Applications
- Nicholas Nicoloudis, Christine Mingins:
XML Web Services Automation: A Software Engineering Approach. 417-424 - Chayan Tapabut, Twittie Senivongse, Kokichi Futatsugi:
Defining Attribute Templates for Descriptions of Distributed Services. 425-434 - Shiping Chen
A Predictive Performance Model to Evaluate the Contention Cost in Application Servers. 435-
Panel
- J. Barrie Thompson:
Software Engineering Professionalism: Is There a Global Dimension To This? 443-
Review and Testing
- Daniel Powell:
Deriving Verification Conditions and Program Assertions to Support Software Inspection. 447-456 - Ahyoung Sung, Byoungju Choi:
An Interaction Testing Technique between Hardware and Software in Embedded Systems. 457-464 - Ponrudee Netisopakul, Lee J. White, John Morris:
Data Coverage Testing. 465-
UML
- Tetsuro Katayama:
Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML. 475-484 - Mathupayas Thongmak
Design of Rules for Transforming UML Sequence Diagrams into Java code. 485- - Hung Ledang, Jeanine Souquières:
Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. 495-
Measurement
- Jaspar Cahill, James M. Hogan, Richard N. Thomas
The Java Metrics Reporter- An Extensible Tool for 00 Software Analysis. 507-516 - Aftab Ahmad, Muhammad Talha:
A Measurement Based Comparative Evaluation of Effectiveness of Object-Oriented Versus Conventional Procedural Programming Techniques and Languages. 517-526 - John Leaney, David Rowe, Tim O'Neill:
Issues in the construction of new measures within the discipline of Open Systems. 527-
Keynote
- D. Ross Jeffery, Louise Scott:
Has Twenty-five Years of Empirical Software Engineering Made a Difference? 539-
Documentation
- Andreas Kacofegitis, Neville Churcher:
Theme-Based Literate Programming. 549-557 - Shahida Sulaiman
Production and Maintenance of System Documentation: What, Why, When and How Tools Should Support the Practice. 558-
Project Management
- Noriko Hanakawa, Ken-ichi Matsumoto, Koji Torii:
A communication workload estimation model based on relationships among shared works for software development projects. 571-580 - Frank Padberg:
Using Process Simulation to Compare Scheduling Strategies for Software Projects. 581-
Knowledge-Based Approaches
- Chengqi Zhang
An Agent-Based Framework for Petroleum Information Services from Distributed Heterogeneous Data Resources. 593-602 - Louise Scott, Lucila Carvalho
A Process-Centred Experience Repository for a Small Software Organisation. 603-610
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-17 20:46 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: