The Community for Technology Leaders
Software Engineering, International Conference on (2006)
Shanghai, China
May 20, 2006 to May 28, 2006
ISBN: 1-59593-375-1
TABLE OF CONTENTS
Keynote Talks

Development of software engineering: co-operative efforts from academia, government and industry (Abstract)

Hong Mei , Peking University, Beijing, China
Fuqing Yang , Peking University, Beijing, China
pp. 2-11

A view of 20th and 21st century software engineering (Abstract)

Barry Boehm , University of Southern California, University Park Campus, Los Angeles
pp. 12-29

Optimization of software development (PDF)

Reinhold Achatz , Siemens Corporate Technology
pp. 30
Invited Talks

Empirically driven SE research: state of the art and required maturity (PDF)

Sebastian Elbaum , University of Nebraska, Lincoln, Nebraska
Victor Basili , University of Maryland, College Park, Maryland
pp. 32

Challenges in automotive software engineering (Abstract)

Manfred Broy , Technische Universit?t M?nchen, M?nchen, Germany
pp. 33-42

Living assistance systems: an ambient intelligence approach (Abstract)

Arthur Karshmer , University of South Florida, Lakeland, Florida
Rosemarie Lamm , University of South Florida, Lakeland, Florida
J? Nehmer , University of Kaiserslautern, Kaiserslautern, Germany
Martin Becker , Fraunhofer IESE, Kaiserslautern, Germany
pp. 43-50
Architecture & Design I

Architectural support for trust models in decentralized applications (Abstract)

Girish Suryanarayana , University of California, Irvine, Irvine, CA
Justin R. Erenkrantz , University of California, Irvine, Irvine, CA
Richard N. Taylor , University of California, Irvine, Irvine, CA
Mamadou H. Diallo , University of California, Irvine, Irvine, CA
pp. 52-61

Efficient exploration of service-oriented architectures using aspects (Abstract)

Ingolf H. Kr? , University of California, San Diego, La Jolla, CA
Michael Meisinger , Technische Universit?t M?nchen, Garching, Germany
Reena Mathew , University of California, San Diego, La Jolla, CA
pp. 62-71

Symbolic invariant verification for systems with dynamic structural adaptation (Abstract)

Holger Giese , University of Paderborn, Germany
Dirk Beyer , EPFL, Lausanne, Switzerland
Basil Becker , University of Paderborn, Germany
Florian Klein , University of Paderborn, Germany
Daniela Schilling , University of Paderborn, Germany
pp. 72-81
Test & Analysis I

Improving test suites for efficient fault localization (Abstract)

Yves Le Traon , France Télécom R&D, Cedex, France
Franck Fleurey , IRISA, Cedex, France
Benoit Baudry , IRISA, Cedex, France
pp. 82-91

Automated, contract-based user testing of commercial-off-the-shelf components (Abstract)

Lionel C. Briand , Carleton University, Ottawa, Canada and Simula Research Laboratory, Norway
Yvan Labiche , Carleton University,Ottawa, Canada
Michal M. S?wka , Carleton University,Ottawa, Canada
pp. 92-101

An intensional approach to the specification of test cases for database applications (Abstract)

David Willmor , University of Manchester, Oxford Road, Manchester, UK
Suzanne M. Embury , University of Manchester, Oxford Road, Manchester, UK
pp. 102-111
Software Components & Reuse

Feature oriented refactoring of legacy applications (Abstract)

Jia Liu , University of Texas at Austin, Austin, Texas
Christian Lengauer , Fakult?t f?r Mathematik und Informatik Universit?t Passau, Passau, Germany
Don Batory , University of Texas at Austin, Austin, Texas
pp. 112-121

Aspectual mixin layers: aspects and features in concert (Abstract)

Sven Apel , University of Magdeburg, Magdeburg, Germany
Thomas Leich , University of Magdeburg, Magdeburg, Germany
Gunter Saake , University of Magdeburg, Magdeburg, Germany
pp. 122-131

Evaluating pattern catalogs: the computer games experience (Abstract)

J. Schaeffer , University of Alberta
M. Cutumisu , University of Alberta
J. Siegel , University of Alberta
M. McNaughton , University of Alberta
T. Roy , University of Alberta
M. Carbonaro , University of Alberta
D. Szafron , University of Alberta
C. Onuczko , University of Alberta
pp. 132-141
Test & Analysis II

HDD: hierarchical delta debugging (Abstract)

Ghassan Misherghi , University of California, Davis, CA
Zhendong Su , University of California, Davis, CA
pp. 142-151

Managing space for finite-state verification (Abstract)

Lori A. Clarke , University of Massachusetts, Amherst, Massachusetts
George S. Avrunin , University of Massachusetts, Amherst, Massachusetts
Jianbin Tan , University of Massachusetts, Amherst, Massachusetts
pp. 152-161

Backwards-compatible array bounds checking for C with very low overhead (Abstract)

Vikram Adve , University of Illinois at Urbana-Champaign, Urbana, IL
Dinakar Dhurjati , University of Illinois at Urbana-Champaign, Urbana, IL
pp. 162-171
Reverse Engineering & Refactoring

JunGL: a scripting language for refactoring (Abstract)

Ran Ettinger , University of Oxford, United Kingdom
Oege de Moor , University of Oxford, United Kingdom
Mathieu Verbaere , University of Oxford, United Kingdom
pp. 172-181

Inferring templates from spreadsheets (Abstract)

Robin Abraham , Oregon State University
Martin Erwig , Oregon State University
pp. 182-191

Semantics-based reverse engineering of object-oriented data models (Abstract)

Raghavan Komondoor , IBM Research
G. Ramalingam , IBM Research
John Field , IBM Research
Saurabh Sinha , IBM Research
pp. 192-201
Architecture & Design II

Modeling behavioral design patterns of concurrent objects (Abstract)

Robert G. Pettit , The Aerospace Corporation, Chantilly, VA
Hassan Gomaa , George Mason University, Fairfax, VA
pp. 202-211

Modeling aspect mechanisms: a top-down approach (Abstract)

David H. Lorenz , University of Virginia, Charlottesville, VA
Sergei Kojarski , University of Virginia, Charlottesville, VA
pp. 212-221
Test & Analysis III

Modular checking for buffer overflows in the large (Abstract)

Daniel Wang , Microsoft Corporation, Redmond, WA
Zhe Yang , Microsoft Corporation, Redmond, WA
Brian Hackett , Stanford University, Stanford, CA
Manuvir Das , Microsoft Corporation, Redmond, WA
pp. 232-241

Discovering faults in idiom-based exception handling (Abstract)

Arie van Deursen , Delft University, Delft, The Netherlands
Tom Tourw? , Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands
Magiel Bruntink , Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands
pp. 242-251

Static detection of leaks in polymorphic containers (Abstract)

Monica S. Lam , Stanford University
David L. Heine , Tensilica, Inc.
pp. 252-261
Test & Analysis IV

Osprey: a practical type system for validating dimensional unit correctness of C programs (Abstract)

Zhendong Su , University of California, Davis, CA
Lingxiao Jiang , University of California, Davis, CA
pp. 262-271

Locating faults through automated predicate switching (Abstract)

Xiangyu Zhang , The University of Arizona, Tucson, AZ
Rajiv Gupta , The University of Arizona, Tucson, AZ
Neelam Gupta , The University of Arizona, Tucson, AZ
pp. 272-281

Perracotta: mining temporal API rules from imperfect traces (Abstract)

Thirumalesh Bhat , Microsoft Corporation
Manuvir Das , Microsoft Corporation
David Evans , University of Virginia
Deepali Bhardwaj , Microsoft Corporation
Jinlin Yang , University of Virginia
pp. 282-291
Theory & Formal Methods

Incremental consistency checking for pervasive context (Abstract)

W. K. Chan , Hong Kong University of Sci.&Tech., Kowloon, Hong Kong, China
Chang Xu , Hong Kong University of Sci.&Tech., Kowloon, Hong Kong, China
S. C. Cheung , Hong Kong University of Sci.&Tech., Kowloon, Hong Kong, China
pp. 292-301

Interacting process classes (Abstract)

Ankit Goel , National University of Singapore
Sun Meng , National University of Singapore
P. S. Thiagarajan , National University of Singapore
Abhik Roychoudhury , National University of Singapore
pp. 302-311

Symbolic model checking of declarative relational models (Abstract)

Daniel Jackson , Massachusetts Institute of Technology, Cambridge, MA
Felix Sheng-Ho Chang , Massachusetts Institute of Technology, Cambridge, MA
pp. 312-320
Empirical Methods & Measurement

Estimating LOC for information systems from their conceptual data models (Abstract)

Hongyu Zhang , RMIT University, Melbourne, Victoria, Australia
Yuan Zhao , Nanyang Technological University, Singapore
Hee Beng Kuan Tan , Nanyang Technological University, Singapore
pp. 321-330

Development of a hybrid cost estimation model in an iterative manner (Abstract)

Nahomi Kikuchi , Information-technology Promotion Agency, Bunkyo-Ku, Tokyo, Japan and Oki Electric Industry Co., Ltd., Warabi-shi, Saitama, Japan
J? M? , Fraunhofer Institute for Experimental Software Engineering, Kaiserslautern, Germany
Kenji Yokoyama , Information-technology Promotion Agency, Bunkyo-Ku, Tokyo, Japan
Jens Heidrich , Fraunhofer Institute for Experimental Software Engineering, Kaiserslautern, Germany
Adam Trendowicz , Fraunhofer Institute for Experimental Software Engineering, Kaiserslautern, Germany
Yasushi Ishigai , Information-technology Promotion Agency, Bunkyo-Ku, Tokyo, Japan
pp. 331-340

On the success of empirical studies in the international conference on software engineering (Abstract)

Carmen Zannier , University of Calgary, Calgary, AB, CAN
Frank Maurer , University of Calgary, Calgary, AB, CAN
Grigori Melnik , University of Calgary, Calgary, AB, CAN
pp. 341-350
Software Process & Workflow

Publishing and composition of atomicity-equivalent services for B2B collaboration (Abstract)

S. C. Cheung , Hong Kong University of Science and Technology, Hong Kong, China
Chunyang Ye , Hong Kong University of Science and Technology, Hong Kong, China
W. K. Chan , Hong Kong University of Science and Technology, Hong Kong, China
pp. 351-360

Who should fix this bug? (Abstract)

Lyndon Hiew , University of British Columbia
Gail C. Murphy , University of British Columbia
John Anvik , University of British Columbia
pp. 361-370

Model-based development of dynamically adaptive software (Abstract)

Betty H. C. Cheng , Michigan State University, East Lansing, MI
Ji Zhang , Michigan State University, East Lansing, MI
pp. 371-380
Development with UML

Instant consistency checking for the UML (Abstract)

Alexander Egyed , Teknowledge Corporation, Marina Del Rey, CA
pp. 381-390

Traffic-aware stress testing of distributed systems based on UML models (Abstract)

Vahid Garousi , Carleton University, Ottawa, ON, Canada
Lionel C. Briand , Carleton University, Ottawa, ON, Canada and Simula Research Laboratory, Lysaker, Norway
Yvan Labiche , Simula Research Laboratory, Lysaker, Norway
pp. 391-400

Effects of defects in UML models: an experimental investigation (Abstract)

Christian F. J. Lange , Eindhoven University of Technology, Eindhoven, The Netherlands
Michel R. V. Chaudron , Eindhoven University of Technology, Eindhoven, The Netherlands
pp. 401-411
Risk Analysis

Experiences and results from initiating field defect prediction and product test prioritization efforts at ABB Inc. (Abstract)

Mary Shaw , Carnegie Mellon University, Pittsburgh, PA
Paul Luo Li , Carnegie Mellon University, Pittsburgh, PA
Brian Robinson , ABB, Inc, Wickliffe, OH
James Herbsleb , Carnegie Mellon University, Pittsburgh, PA
pp. 413-422

A risk-driven method for eXtreme programming release planning (Abstract)

Mingshu Li , Chinese Academy of Sciences
Meng Huang , Chinese Academy of Sciences and Graduate University of Chinese Academy of Sciences, Beijing, P.R. China
Juan Li , Chinese Academy of Sciences and Graduate University of Chinese Academy of Sciences, Beijing, P.R. China
Fengdi Shu , Chinese Academy of Sciences
pp. 423-430

Assessing COTS integration risk using cost estimation inputs (Abstract)

Ye Yang , University of Southern California, Los Angeles, CA
Barry Boehm , University of Southern California, Los Angeles, CA
Betsy Clark , Software Metrics, Inc., Haymarket, VA
pp. 431-438
Using Metrics

Lessons learnt from the analysis of large-scale corporate databases (Abstract)

Ross Jeffery , National ICT Australia and University of New South Wales, Everleigh, Australia
Cat Kutay , National ICT Australia and University of New South Wales, Everleigh, Australia
Barbara Kitchenham , National ICT Australia, Everleigh, Australia
Colin Connaughton , IBM Global Services A/NZ, St Leonards, Australia
pp. 439-444

Metrics for model driven requirements development (Abstract)

Brian Berenbach , Siemens Corporate Research, Inc., Princeton, NJ
Gail Borotto , Siemens Corporate Research, Inc., Princeton, NJ
pp. 445-451

Mining metrics to predict component failures (Abstract)

Nachiappan Nagappan , Microsoft Research, Redmond, WA
Thomas Ball , Microsoft Research, Redmond, WA
Andreas Zeller , Saarland University, Saarbr?cken, Germany
pp. 452-461
Experiences with Open Source and Legacy Systems

Experiences with place lab: an open source toolkit for location-aware computing (Abstract)

William G. Griswold , University of California, San Diego
James Scott , Intel Research Cambridge
Yatin Chawathe , Intel Research Seattle
Mike Chen , Intel Research Seattle
Ian Smith , Intel Research Seattle
Timothy Sohn , University of California, San Diego
Anthony LaMarca , Intel Research Seattle
pp. 462-471

A case study of a corporate open source development model (Abstract)

Anita Garvert , Lucent Technologies, Inc., Naperville, IL
James D. Herbsleb , Carnegie Mellon University, Pittsburgh, PA
Vijay K. Gurbani , Lucent Technologies, Inc., Naperville, IL
pp. 472-481

Redesigning legacy applications for the web with UWAT+: a case study (Abstract)

Scott Tilley , Florida Institute of Technology
Damiano Distante , University of Sannio, Italy
Shihong Huang , Florida Atlantic University
Gerardo Canfora , University of Sannio, Italy
pp. 482-491
Software Development Practices

Maintaining mental models: a study of developer work habits (Abstract)

Thomas D. LaToza , Carnegie Mellon University, Pittsburgh, PA
Gina Venolia , Microsoft Research, Redmond, WA
Robert DeLine , Microsoft Research, Redmond, WA
pp. 492-501

Applying the Value/Petri process to ERP software development in China (Abstract)

Barry Boehm , University of Southern California, Los Angeles, CA
Jian L? , Institute of Computer Software, Nanjing University, China
LiGuo Huang , University of Southern California, Los Angeles, CA
Hao Hu , Institute of Computer Software, Nanjing University, China
Jidong Ge , Institute of Computer Software, Nanjing University, China
Cheng Qian , Neusoft Co., Ltd., Shenyang, China
pp. 502-511

Applying regression test selection for COTS-based applications (Abstract)

Karen Smiley , ABB Inc.
Laurie Williams , North Carolina State University, Raleigh, NC
Brian Robinson , ABB Inc.
Jiang Zheng , North Carolina State University, Raleigh, NC
pp. 512-522
Development Technique

Reengineering standalone C++ legacy systems into the J2EE partition distributed environment (Abstract)

Xinyu Wang , Zhejiang University, Hangzhou, P.R.China
Jianling Sun , Zhejiang University, Hangzhou, P.R.China
Zhijun He , Zhejiang University, Hangzhou, P.R.China
Srinivasa R. Maddineni , Securities Trading IT State Street Corporation, Boston, MA
Xiaohu Yang , Zhejiang University, Hangzhou, P.R.China
Chao Huang , Zhejiang University, Hangzhou, P.R.China
pp. 525-533

UML-based service robot software development: a case study (Abstract)

Mun-Taek Choi , Korea Institute of Science and Technology, Seoul, REP. of KOREA
Sooyong Park , Sogang University, Seoul, REP. of KOREA
Minseong Kim , Sogang University, Seoul, REP. of KOREA
Suntae Kim , Sogang University, Seoul, REP. of KOREA
Munsang Kim , Korea Institute of Science and Technology, Seoul, REP. of KOREA
Hassan Gomaa , George Mason University, Fairfax, VA
pp. 534-543

Analysis of the interaction between practices for introducing XP effectively (Abstract)

Makoto Sakai , SRA Key Technology Laboratry, Inc., Tokyo, Japan
Osamu Kobayashi , Software Research Associates, Inc., Osaka, Japan
Eddy Parkinson , Osaka University, Osaka, Japan
Mitsuyoshi Kawabata , Agileware, Osaka, Japan
pp. 544-550
Evaluation

Experiments on quality evaluation of embedded software in Japan robot software design contest (Abstract)

Eiji Nakajima , Mamezou Co., Ltd.
Kenji Hiranabe , Change Vision, Inc.
Hiroyuki Watanabe , Ogis-RI Co., Ltd., Tokyo, Japan
Yasuhide Kobayashi , Afrel, Inc., Fukui, Japan
Hironori Washizaki , National Institute of Informatics, Chiyoda-ku, Tokyo, Japan
Kazuya Fukuda , Toyoko System Corporation
Yuji Hagiwara , CATS CO., LTD.
pp. 551-560

Procurement of enterprise resource planning systems: experiences with some Hong Kong companies (Abstract)

Pak-Lok Poon , The Hong Kong Polytechnic University, Kowloon, Hong Kong
Yuen Tak Yu , City University of Hong Kong, Kowloon Tong, Hong Kong
pp. 561-568

Detecting low usability web pages using quantitative data of users' behavior (Abstract)

Makoto Sakai , SRA Key Technology Laboratory, Inc., Tokyo, Japan
Noboru Nakamichi , Nara Institute of Science and Technology, Nara, Japan
Ken-ichi Matsumoto , Nara Institute of Science and Technology, Nara, Japan
Kazuyuki Shima , Hiroshima City University, Hiroshima, Japan
pp. 569-576
Software Process

Experiences of applying SPC techniques to software development processes (Abstract)

Mutsumi Komuro , Hitachi Software Eng., Tokyo, Japan
pp. 577-584

BSR: a statistic-based approach for establishing and refining software process performance baseline (Abstract)

Lang Gou , Chinese Academy of Sciences, Beijing, P.R. CHINA and Graduate University of Chinese Academy of Sciences, Beijing, P.R. CHINA
Xia Liu , Chinese Academy of Sciences, Beijing, P.R. CHINA and Graduate University of Chinese Academy of Sciences, Beijing, P.R. CHINA
Qing Wang , Chinese Academy of Sciences, Beijing, P.R. CHINA
Mingshu Li , Chinese Academy of Sciences, Beijing, P.R. CHINA
Yongji Wang , Chinese Academy of Sciences, Beijing, P.R. CHINA
Nan Jiang , Chinese Academy of Sciences, Beijing, P.R. CHINA and Graduate University of Chinese Academy of Sciences, Beijing, P.R. CHINA
pp. 585-594

Practical approach to development of SPI activities in a large organization: Toshiba's SPI history since 2000 (Abstract)

Hideto Ogasawara , TOSHIBA Corporation, Kawasaki, Japan
Takashi Ishikawa , TOSHIBA Corporation, Kawasaki, Japan
Tetsuro Moriya , TOSHIBA Corporation, Kawasaki, Japan
pp. 595-599
Posters

Estimation of project success using Bayesian classifier (Abstract)

Osamu Mizuno , Osaka University, Osaka, Japan
Nahomi Kikuchi , Information-technology Promotion Agency, Tokyo, Japan
Tohru Kikuno , Osaka University, Osaka, Japan
Seiya Abe , Osaka University, Osaka, Japan
Masayuki Hirayama , Information-technology Promotion Agency, Tokyo, Japan
pp. 600-603

Efficiency analysis of model-based review in actual software design (Abstract)

Hiroshi Watanabe , National Institute of Advanced Industrial Science and Technology (AIST), Osaka, Japan
Hitoshi Furusawa , National Institute of Advanced Industrial Science and Technology (AIST), Osaka, Japan
Eun-Hye Choi , National Institute of Advanced Industrial Science and Technology (AIST), Osaka, Japan
pp. 604-607

Research journey towards industrial application of reuse technique (Abstract)

Ulf Pettersson , ST Electronics (Info-Software Systems) Pte. Ltd.
Stan Jarzabek , National University of Singapore
pp. 608-611

A series of development methodologies for a variety of systems in Korea (Abstract)

Jihyun Lee , Electronics and Telecommunications Research Institute, Daejeon, Korea
Jin-Hee Cho , Electronics and Telecommunications Research Institute, Daejeon, Korea
Jin-Sam Kim , Electronics and Telecommunications Research Institute, Daejeon, Korea
pp. 612-615

Effects of software industry structure on a research framework for empirical software engineering (Abstract)

Katsuro Inoue , Osaka Univ.
Yoshiki Higo , Osaka Univ.
Nahomi Kikuchi , IPA/SEC
Satoshi Iwamura , NTT Software (EASE)
Ken-ichi Matsumoto , NAIST (EASE)
Yoshiki Mitani , IPA/SEC, NAIST (EASE)
Tomoko Matsumura , NAIST (EASE)
Mike Barker , NAIST (EASE)
pp. 616-619

Experience from applying RIM to educational ERP development (Abstract)

Nakornthip Prompoon , Chulalongkorn University, Patumwan, Bangkok Thailand
Juthamas Oonhawat , Chulalongkorn University, Patumwan, Bangkok Thailand
Daricha Sutivong , Chulalongkorn University, Patumwan, Bangkok Thailand
Autcha Mutchalintungkul , Chulalongkorn University, Patumwan, Bangkok Thailand
Kittiphong Pholpipatanaphong , Chulalongkorn University, Patumwan, Bangkok Thailand
pp. 620-623

Critical factors in establishing and maintaining trust in software outsourcing relationships (Abstract)

Phong Thanh Nguyen , University of New South Wales, Sydney, Australia
June M. Verner , National ICT Australia Ltd., Alexandria, Australia
Muhammad Ali Babar , University of New South Wales, Sydney, Australia and National ICT Australia Ltd., Alexandria, Australia
pp. 624-627

Software practices in five ASEAN countries: an exploratory study (Abstract)

Nguyen Nam Hai , Vietnam National University, Hanoi, Vietnam
Ow Siew Hock , University of Malaya, Kuala Lumpur, Malaysia
Raymund Sison , De La Salle University, Manila, Philippines
Wanchai Rivepiboon , Chulalongkorn University, Bangkok, Thailand
Stanislaw Jarzabek , National University of Singapore, Singapore
pp. 628-631

Overseas development for a major U.S. eCommerce website (Abstract)

Lei Zeng , eHealth Inc.
Christine Chau , eHealth Inc.
Sheldon Wang , eHealth Inc.
Jiang Wu , eHealth Inc.
Jinsong Lin , eHealth Inc.
pp. 632-635

An experimental comparison of four test suite reduction techniques (Abstract)

Lu Zhang , Peking University, Beijing, P.R. China
Hong Mei , Peking University, Beijing, P.R. China
Hao Zhong , Peking University, Beijing, P.R. China
pp. 636-640
Advanced Topics in Software Engineering Education

Using return on investment to compare agile and plan-driven practices in undergraduate group projects (Abstract)

P. J. Rundle , Heriot-Watt University, Edinburgh, UK
R. G. Dewar , Heriot-Watt University, Edinburgh, UK
pp. 649-654

So you want brooks in your classroom? (Abstract)

David Klappholz , Stevens Institute of Technology
Daniel Port , University of Hawaii at Manoa
pp. 655-660
Software Engineering Education Fundamentals

Software engineering for undergraduates (Abstract)

Nenad Stankovic , University of Aizu, Fukushima, Japan
pp. 661-666

Dimensions of software engineering course design (Abstract)

Mario Bernhart , Vienna University of Technology
Thomas Grechenig , Vienna University of Technology
Jennifer Hetzl , Vienna University of Technology
Wolfgang Zuser , Vienna University of Technology
pp. 667-672

Inculcating invariants in introductory courses (Abstract)

David Evans , University of Virginia
Michael Peck , Johns Hopkins University
pp. 673-678
Distributed Development

Distributed development: an education perspective on the global studio project (Abstract)

Neel Mullick , Siemens Corporate Research, Princeton, NJ
Patrick Keil , Technische Universit?t M?nchen, Garching, Germany
Allen E. Milewski , Monmouth University, West Long Branch, NJ
Ita Richardson , University of Limerick, Ireland
pp. 679-684

Instructional design and assessment strategies for teaching global software development: a framework (Abstract)

Daniela Damian , University of Victoria, Canada
Allyson Hadwin , University of Victoria, Canada
Ban Al-Ani , University of Victoria, Canada
pp. 685-690
Posters

Assessing undergraduate experience of continuous integration and test-driven development (Abstract)

Jon Bowyer , University of Dundee, Dundee, UK
Janet Hughes , University of Dundee, Dundee, UK
pp. 691-694

A comparison of communication technologies to support novice team programming (Abstract)

Jody Ryall , University of Victoria, Canada
Davor CubraniC , University of Victoria, Canada
Margaret-Anne D. Storey , University of Victoria, Canada
pp. 695-698

Experience in teaching a software reengineering course (Abstract)

Mohammad El-Ramly , University of Leicester, UK
pp. 699-702

Teaching framework for software development methods (Abstract)

Orit Hazzan , Technion - Israel Institute of Technology, Haifa, ISRAEL
Yael Dubinsky , Technion - Israel Institute of Technology, Haifa, ISRAEL
pp. 703-706

A software process for time-constrained course projects (Abstract)

Wilson P. Paula Filho , Federal University of Minas Gerais, Belo Horizonte, Brazil
pp. 707-710
Ubiquitous and Distributed Systems

Challenges in the age of ubiquitous computing: a case study of T-Engine, an open development platform for embedded systems (Abstract)

Ken Sakamura , Graduate School of the University of Tokyo, Bunkyo-ku, Tokyo, JAPAN
pp. 713-720

A software architecture-based framework for highly distributed and data intensive scientific applications (Abstract)

Nenad Medvidovic , University of Southern California, Los Angeles, CA
Steve Hughes , California Institute of Technology, Pasadena, CA
Daniel J. Crichton , California Institute of Technology, Pasadena, CA
Chris A. Mattmann , California Institute of Technology, Pasadena, CA and University of Southern California, Los Angeles, CA
pp. 721-730
Domain-Specific Challenges

A research agenda for distributed software development (Abstract)

Bikram Sengupta , IBM Research and Indian Institute of Technology, New Delhi, India
Vibha Sinha , IBM Research and Indian Institute of Technology, New Delhi, India
Satish Chandra , IBM Research, Hawthorne, NY
pp. 731-740

Managing exceptions in the medical workflow systems (Abstract)

Minmin Han , Siemens Corporate Research Inc., Princeton, NJ
Xiping Song , Siemens Corporate Research Inc., Princeton, NJ
Thomas Thiery , Technische Universit?t M?nchen, Garching bei M?nchen, Germany
pp. 741-750
Formal Methods

Formal methods in industry: achievements, problems, future (Abstract)

Jean-Raymond Abrial , Swiss Federal Institute of Technology Zurich
pp. 761-768
Verification and Testing

LTSA-WS: a tool for model-based verification of web service compositions and choreography (Abstract)

Sebastian Uchitel , Imperial College London, United Kingdom
Jeff Kramer , Imperial College London, United Kingdom
Jeff Magee , Imperial College London, United Kingdom
Howard Foster , Imperial College London, United Kingdom
pp. 771-774

HighSpec: a tool for building and checking OZTA models (Abstract)

J. S. Dong , National University of Singapore
P. Hao , National University of Singapore
S. C. Qin , Durham University, U.K
X. Zhang , National University of Singapore
pp. 775-778

GridUnit: software testing on the grid (Abstract)

Walfredo Cirne , Universidade Federal de Campina Grande, Campina Grande, Brazil
Francisco Brasileiro , Universidade Federal de Campina Grande, Campina Grande, Brazil
Patricia Machado , Universidade Federal de Campina Grande, Campina Grande, Brazil
Alexandre Duarte , Universidade Federal de Campina Grande, Campina Grande, Brazil
pp. 779-782
Development and Transformation

ASADAL: a tool system for co-development of software and test environment based on product line engineering (Abstract)

Yeop Chang , Pohang University of Science and Technology, Pohang, South Korea
Miyoung Ahn , Pohang University of Science and Technology, Pohang, South Korea
Kyungseok Kim , Pohang University of Science and Technology, Pohang, South Korea
Kyo C. Kang , Pohang University of Science and Technology, Pohang, South Korea
Hyejung Kim , Pohang University of Science and Technology, Pohang, South Korea
Minseok Seo , Pohang University of Science and Technology, Pohang, South Korea
pp. 783-786

Developing and executing java AWT applications on limited devices with TCPTE (Abstract)

Giuseppe Di Santo , University of Sannio, Benevento (Italy)
Gerardo Canfora , University of Sannio, Benevento (Italy)
Eugenio Zimeo , University of Sannio, Benevento (Italy)
pp. 787-790

Interactive transformation of java programs in eclipse (Abstract)

Susan L. Graham , University of California, Berkeley, Berkeley, CA
Marat Boshernitsan , University of California, Berkeley, Berkeley, CA
pp. 791-794
Data Base and Business Process

Preventing SQL injection attacks using AMNESIA (Abstract)

William G. J. Halfond , Georgia Institute of Technology
Alessandro Orso , Georgia Institute of Technology
pp. 795-798

A framework for automatic generation of evolvable e-commerce workplaces using business processes (Abstract)

Qi Zhang , Queen's University, Kingston, ON, Canada
Ying Zou , Queen's University, Kingston, ON, Canada
pp. 799-802

LISFS: a logical information system as a file system (Abstract)

Yoann Padioleau , ?cole des Mines de Nantes, Nantes, France
Olivier Ridoux , Universit? de Rennes 1/IRISA, Rennes, France
Benjamin Sigonneau , Universit? de Rennes 1/IRISA, Rennes, France
pp. 803-806
Posters

Relational programming with CrocoPat (Abstract)

Dirk Beyer , Ecole Polytechnique F?d?rale de Lausanne, Lausanne, Switzerland
pp. 807-810

Addressing crosscutting deployment and configuration concerns of distributed real-time and embedded systems via aspect-oriented&model-driven software development (Abstract)

Douglas C. Schmidt , Vanderbilt University, Nashville, TN
Aniruddha Gokhale , Vanderbilt University, Nashville, TN
Gan Deng , Vanderbilt University, Nashville, TN
pp. 811-814

FormulaBuilder: a tool for graph-based modelling and generation of formulae (Abstract)

Bernhard Steffen , University of Dortmund, Dortmund, Germany
Sven J?rges , University of Dortmund, Dortmund, Germany
Tiziana Margaria , University of Potsdam, Potsdam
pp. 815-818

Tools for model-based security engineering (Abstract)

Jorge Fox , Technische Universit?t M?nchen
Jan J?rjens , TU Munich, Germany
pp. 819-822

LtRules: an automated software library usage rule extraction tool (Abstract)

Chang Liu , Ohio University
En Ye , Ohio University
Debra J. Richardson , University of California, Irvine
pp. 823-826

MuJava: a mutation system for java (Abstract)

Jeff Offutt , George Mason University
Yu-Seung Ma , Electronics and Telecommunication Research Institute, Korea
Yong-Rae Kwon , Korea Advanced Institute of Science and Technology, Korea
pp. 827-830

A tool for analyzing and detecting malicious mobile code (Abstract)

Tadashi Inoue , SRA Key Technology Laboratory, Inc., Tokyo, Japan
Toshimi Sawada , SRA Key Technology Laboratory, Inc., Tokyo, Japan
Tomonori Izumida , National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, Japan
Akira Mori , National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, Japan
pp. 831-834

Automatic extraction of abstract-object-state machines from unit-test executions (Abstract)

Evan Martin , North Carolina State University, Raleigh, NC
Hai Yuan , North Carolina State University, Raleigh, NC
Tao Xie , North Carolina State University, Raleigh, NC
pp. 835-838

3D visualization for concept location in source code (Abstract)

Andrian Marcus , Wayne State University, Detroit, MI
Xinrong Xie , Wayne State University, Detroit, MI
Denys Poshyvanyk , Wayne State University, Detroit, MI
pp. 839-842
Architecture

Towards a distributed software architecture evaluation process: a preliminary assessment (Abstract)

Barbara Kitchenham , University of New South Wales, Sydney, Australia
Muhammed Ali Babar , National ICT Australia Ltd; Sydney, Australia and University of New South Wales, Sydney, Australia
Ian Gorton , University of New South Wales, Sydney, Australia
pp. 845-848

Identifying "good" architectural design alternatives with multi-objective optimization strategies (Abstract)

Lars Grunske , University of Queensland, St Lucia, Brisbane, Australia
pp. 849-852

Estimating software component reliability by leveraging architectural models (Abstract)

Nenad Medvidovic , University of Southern California, Los Angeles, CA
Leslie Cheung , University of Southern California, Los Angeles, CA
Leana Golubchik , University of Southern California, Los Angeles, CA
Roshanak Roshandel , Seattle University, Seattle, WA and University of Southern California, Los Angeles, CA
Somo Banerjee , University of Southern California, Los Angeles, CA
pp. 853-856

An architectural style for high-performance asymmetrical parallel computations (Abstract)

Nenad Medvidovic , University of Southern California, Los Angeles, California
David Woollard , University of Southern California, Los Angeles, California
pp. 857-860
Formal Methods and Analysis

Dynamically discovering likely interface invariants (Abstract)

Yannis Smaragdakis , Georgia Institute of Technology, Atlanta, GA
Christoph Csallner , Georgia Institute of Technology, Atlanta, GA
pp. 861-864

Easy language extension with meta-aspectJ (Abstract)

Yannis Smaragdakis , Georgia Institute of Technology, Atlanta, GA
Shan Shan Huang , Georgia Institute of Technology, Atlanta, GA
pp. 865-868

Evaluation of mutation testing for object-oriented programs (Abstract)

Yu-Seung Ma , Electronics and Telecommunication Research Institute, Korea
Mary Jean Harrold , Georgia Institute of Technology
Yong-Rae Kwon , Korea Advanced Institute of Science and Technology, Korea
pp. 869-872

Integrating static analysis and general-purpose theorem proving for termination analysis (Abstract)

Panagiotis Manolios , Georgia Institute of Technology
Daron Vroon , Georgia Institute of Technology
pp. 873-876

The problem of knowledge decoupling in software development projects (Abstract)

Yutaka Yamauchi , Palo Alto Research Center, Palo Alto, CA
Erik Vinkhuyzen , Palo Alto Research Center, Palo Alto, CA
Nozomi Ikeya , Palo Alto Research Center, Palo Alto, CA
Jack Whalen , Palo Alto Research Center, Palo Alto, CA
pp. 877-880
Metrics

Designing an economic-driven evaluation framework for process-oriented software technologies (Abstract)

Bela Mutschler , DaimlerChrysler Research and Technology, Ulm, Germany
Manfred Reichert , University of Twente
Johannes Bumiller , DaimlerChrysler Research and Technology, Ulm, Germany
pp. 885-888

Portfolio management of software development projects using COCOMO II (Abstract)

Wiboon Jiamthubthugsin , Chulalongkorn University, Bangkok, Thailand
Daricha Sutivong , Chulalongkorn University, Bangkok, Thailand
pp. 889-892
Program Analysis

Effective identification of source code authors using byte-level information (Abstract)

Georgia Frantzeskou , University of the Aegean, Karlovasi, Greece
Sokratis Katsikas , University of the Aegean, Karlovasi, Greece
Efstathios Stamatatos , University of the Aegean, Karlovasi, Greece
Stefanos Gritzalis , University of the Aegean, Karlovasi, Greece
pp. 893-896

An empirical study on decision making in off-the-shelf component-based development (Abstract)

Marco Torchiano , Politecnico di Torino, Torino, Italy
Maurizio Morisio , Politecnico di Torino, Torino, Italy
Christian Bunse , Fraunhofer IESE, Kaiserslautern, Germany
Odd Petter N. Slyngstad , Norwegian University of Science and Technology (NTNU), Trondheim, Norway
Jingyue Li , Norwegian University of Science and Technology (NTNU), Trondheim, Norway
Reidar Conradi , Norwegian University of Science and Technology (NTNU), Trondheim, Norway and Simula Research Laboratory, Lysaker, Norway
pp. 897-900

Understanding software application interfaces via string analysis (Abstract)

Evan Martin , North Carolina State University, Raleigh, NC
Tao Xie , North Carolina State University, Raleigh, NC
pp. 901-904

Using an information retrieval system to retrieve source code samples (Abstract)

Renuka Sindhgatta , Infosys Technologies Limited Electronics City, Bangalore, India
pp. 905-908

Ensemble of missing data techniques to improve software prediction accuracy (Abstract)

Michelle Cartwright , Brunel University, United Kingdom
Martin Shepperd , Brunel University, United Kingdom
Bhekisipho Twala , Brunel University, United Kingdom
pp. 909-912

A methodology and tool for performance analysis of distributed server systems (Abstract)

Varsha Apte , Indian Institute of Technology, Mumbai, India
Rukma Prabhu Verlekar , Indian Institute of Technology, Mumbai, India
pp. 913-916
Requirements Engineering

The role of asynchronous discussions in increasing the effectiveness of remote synchronous requirements negotiations (Abstract)

Daniela Damian , University of Victoria, BC, Canada
Filippo Lanubile , University of Bari, Bari, Italy
Teresa Mallardo , University of Bari, Bari, Italy
pp. 917-920

Analysis of multi-agent systems based on KAOS modeling (Abstract)

Hiroyuki Nakagawa , The University of Tokyo, Tokyo, Japan and Kajima Corporation, Tokyo, Japan
Shinichi Honiden , The University of Tokyo, Tokyo, Japan and National Institute of Informatics, Japan
Takuya Karube , The University of Tokyo, Tokyo, Japan
pp. 926-929

Understanding requirements for computer-aided healthcare workflows: experiences and challenges (Abstract)

Minmin Han , Siemens Corporate Research Inc., Princeton, NJ
Andrei Girenkov , Siemens Corporate Research Inc., Princeton, NJ
Gilberto Matos , Siemens Corporate Research Inc., Princeton, NJ
Beatrice Hwong , Siemens Corporate Research Inc., Princeton, NJ
Arnold Rudorfer , Siemens Corporate Research Inc., Princeton, NJ
Xiping Song , Siemens Corporate Research Inc., Princeton, NJ
Christopher Nelson , Siemens Corporate Research Inc., Princeton, NJ
pp. 930-934
Presentations

Automating bug report assignment (Abstract)

John Anvik , University of British Columbia
pp. 937-940

P2P file sharing analysis for a better performance (Abstract)

Martha-Rocio Ceballos , Polytechnic University of Catalonia
pp. 941-944

A framework for modelling and analysis of software systems scalability (Abstract)

Tony Wicks , Searchspace Ltd, London, United Kingdom
David S. Rosenblum , University College London, London, United Kingdom
Leticia Duboc , University College London, London, United Kingdom
pp. 949-952

Refactoring-aware version control (Abstract)

Tammo Freese , University of Oldenburg, Oldenburg, Germany
pp. 953-956

Testing-based interactive fault localization (Abstract)

Dan Hao , Peking University, Beijing, P.R. China
pp. 957-960

Unanticipated reuse of large-scale software features (Abstract)

Reid Holmes , University of Calgary, Calgary, AB, Canada
pp. 961-964

Visual languages for event integration specification (Abstract)

Na Liu , University of Auckland, Auckland, New Zealand
pp. 969-972

XML conceptual modeling with XUML (Abstract)

Qing Yang , Wuhan University of Technology, P. R. China
HongXing Liu , HuaZhong University of Science and Technology, P. R. China
YanSheng Lu , HuaZhong University of Science and Technology, P. R. China
pp. 973-976

Experimental program analysis: a new paradigm for program analysis (Abstract)

Joseph R. Ruthruff , University of Nebraska--Lincoln, Lincoln, Nebraska
pp. 977-980

The echo approach to formal verification (Abstract)

Xiang Yin , University of Virginia, Charlottesville, VA
pp. 981-984

A new approach for software testability analysis (Abstract)

Liang Zhao , TsingHua University, Beijing, China
pp. 985-988
Posters

Debugging by asking questions about program output (Abstract)

Andrew Ko , Carnegie Mellon University, Pittsburgh, PA
pp. 989-992

Improving the quality of UML models in practice (Abstract)

Christian F. J. Lange , Eindhoven University of Technology, Eindhoven, The Netherlands
pp. 993-996

Developing cost-effective model-based techniques for GUI testing (Abstract)

Qing Xie , University of Maryland, College Park, MD
pp. 997-1000

Taking lessons from history (Abstract)

Thomas Zimmermann , Saarland University, Saarbr?cken, Germany
pp. 1001-1005

Software engineering for secure systems (PDF)

Mattia Monga , Universit? degli Studi di Milano, Milan, Italy
Danilo Bruschi , Universit? degli Studi di Milano, Milan, Italy
Bart De Win , Katholieke Universiteit Leuven, Leuven, Belgium
pp. 1007-1008

Second international workshop on interdisciplinary software engineering research (WISER) (PDF)

Pearl Brereton , Keele University, Keele, Staffordshire, U.K.
Nikolay Mehandjiev , The University of Manchester, Manchester, U.K.
John Hosking , The University of Auckland, Auckland, New Zealand
pp. 1009-1010

Third international summit on software engineering education (SSEE III): bridging the university/industry gap (PDF)

Helen M. Edwards , University of Sunderland, Sunderland, United Kingdom
J. Barrie Thompson , University of Sunderland, Sunderland, United Kingdom
pp. 1011-1012

Software engineering for adaptive and self-managing systems (PDF)

Stephen Fickas , University of Oregon
Jeff Magee , Imperial College, UK
Betty H. C. Cheng , Michigan State University
Hausi M? , University of Victoria, Canada
Rog?rio de Lemos , University of Kent, UK
David Garlan , Carnegie Mellon University, Pittsburgh, PA
Richard Taylor , University of California, Irvine, CA
pp. 1015-1016

The role of abstraction in software engineering (PDF)

Jeff Kramer , Imperial College, London, U.K.
Orit Hazzan , Technion - Israel Institute of Technology, Haifa, Israel
pp. 1017-1018

Workshop description of 4th workshop on software quality (WOSQ) (PDF)

Sunita Chulani , IBM Research, San Jose, CA
Barry Boehm , University of Southern California, CA
June Verner , National ICT Australia, Australia
Bernard Wong , University of Technology, Sydney
pp. 1019-1020

MSR 2006: the 3rd international workshop on mining software repositories (PDF)

Stephan Diehl , Universit?t Trier, Trier, Germany
Harald Gall , University of Z?rich, Z?rich, Switzerland
Martin Pinzger , University of Z?rich, Z?rich, Switzerland
Ahmed E. Hassan , Research In Motion (RIM), Waterloo, Canada
pp. 1021

Fifth workshop on software engineering for large-scale multi-agent systems (SELMAS) (PDF)

Alessandro Garcia , Lancaster University, Lancaster, UK
Carlos Lucena , DI - PUC-Rio, Rio de Janeiro/RJ, Brazil
Holger Giese , University of Paderborn, Paderborn, Germany
Ho-fung Leung , The Chinese University of Hong Kong, Hong Kong, China
Ricardo Choren , SE/8 - IME, Rio de Janeiro/RJ, Brazil
Alexander Romanovsky , University of Newcastle, Newcastle upon Tyne, UK
pp. 1022-1023

Workshop on technology transfer in software engineering (PDF)

Warren Harrison , Portland State University, Portland, OR
R. J. Wieringa , University of Twente, AE Enschede - The Netherlands
pp. 1024-1025

First international workshop on global integrated model management (PDF)

Jean-Marie Favre , University of Grenoble, Grenoble, France
Bernhard Rumpe , Braunschweig University of Technology, Braunschweig, Germany
Jean B?zivin , ATLAS (INRIA&LINA), University of Nantes, Nantes, France
pp. 1026-1027

The first international workshop on automation of software test (PDF)

Joseph R. Horgan , Telcordia Technologies, Piscataway, NJ
J. Jenny Li , Avaya Labs, Basking Ridge, NJ
Hong Zhu , Oxford Brookes University, Oxford, United Kingdom
S. C. Cheung , The Hong Kong University of Science and Technology, Clear Water Bay, Hong Kong
pp. 1028-1029

2nd international workshop on advances and applications of problem frames (PDF)

Karl Cox , National ICT Australia
Lucia Rapanotti , Open University, UK
Zhi Jin , Chinese Academy of Sciences
Jon G. Hall , Open University, UK
pp. 1030-1031

Global software development for the practitioner (PDF)

Yvonne Hsieh , University of British Columbia, Vancouver BC, Canada
Deependra Moitra , Infosys Technologies, Bangalore, India
Philippe Kruchten , University of British Columbia, Vancouver BC, Canada
Christof Ebert , Alcatel, Paris, France
Wolfgang Strigel , QA Labs, Vancouver BC Canada
Eve MacGregor , University of British Columbia, Vancouver BC, Canada
pp. 1032-1033

3rd international workshop on software engineering for automotive systems - SEAS 2006 (PDF)

Alexander Pretschner , ETH Zentrum, Z?
Christian Salzmann , BMW Car IT GmbH, M?nchen
Thomas Stauner , BMW AG, M?nchen
Martin Rappl , TU M?nchen, Garching
pp. 1034

Fourth international workshop on dynamic analysis (WODA 2006) (PDF)

Andy Podgurski , Case Western Reserve University, Cleveland, OH
Neelam Gupta , The University of Arizona, Tucson, AZ
pp. 1035

International workshop on service oriented software engineering (IW-SOSE'06) (PDF)

Andrea Polini , Istituto di Scienza e Tecnologie dell'Informazione (ISTI/CNR), Pisa, Italy
Jun Han , Swinburne University of Technology, Melbourne, Australia
Yanbo Han , Chinese Academy of Sciences, Beijing, China
Andrea Zisman , City University, London, UK
Elisabetta Di Nitto , Politecnico di Milano, Milano, Italy
Robert J. Hall , AT&T Labs Research, Florham Park, NJ
Kurt Sandkuhl , J?nk?ping University, J?nk?ping, Sweden
pp. 1036-1037

The 8th international workshop on economics-driven software engineering research (PDF)

Rick Kazman , University of Hawaii and SEI/CMU, Pittsburgh, PA
Kevin Sullivan , University of Virginia, Charlottesville, VA
pp. 1038

Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM) (Abstract)

Michael Meisinger , Technische Universit?t, Garching, Germany
Jon Whittle , George Mason University, Fairfax, VA
Leif Geiger , University of Kassel, Kassel, Germany
pp. 1039-1040
Full Day Tutorials

Software engineering themes for the future (PDF)

Gerhard Fischer , University of Colorado, Boulder, CO
pp. 1043-1044

Case studies for software engineers (PDF)

Dewayne E. Perry , The University of Texas at Austin
Steve Easterbrook , University of Toronto
Susan Elliott Sim , University of California, Irvine
pp. 1045-1046

Engineering safety-related requirements for software-intensive systems (PDF)

Donald Firesmith , Carnegie Mellon University, Pittsburgh, PA
pp. 1047-1048

Variability management in software product line engineering (PDF)

Klaus Pohl , University of Limerick, Limerick, Ireland and University of Duisburg-Essen, Essen, Germany
Andreas Metzger , University of Duisburg-Essen, Essen, Germany
pp. 1049-1050

Performing systematic literature reviews in software engineering (PDF)

Pearl Brereton , Keele University, Staffordshire, U.K.
David Budgen , Durham University, Durham, U.K.
pp. 1051-1052

Cost-effective engineering of web applications pragmatic reuse: building web application product lines (PDF)

Ulf Pettersson , ST Electronics (Info-Software Systems) Pte. Ltd.
Stan Jarzabek , National University of Singapore
pp. 1053-1054

Software evolution: analysis and visualization (PDF)

Michele Lanza , University of Lugano, Switzerland
Harald C. Gall , University of Zurich, Zurich
pp. 1055-1056

Agile methods: moving towards the mainstream of the software industry (PDF)

Frank Maurer , University of Calgary, Calgary, Alberta, Canada
Grigori Melnik , University of Calgary, Calgary, Alberta, Canada
pp. 1057-1058

Designing concurrent, distributed, and real-time applications with UML (PDF)

Hassan Gomaa , George Mason University, Fairfax, VA
pp. 1059-1060
Half-Day Tutorials

Aspect-oriented software development beyond programming (PDF)

Ana Moreira , Universidade Nova de Lisboa, Lisboa, Portugal
Awais Rashid , Lancaster University, Lancaster, UK
Alessandro Garcia , Lancaster University, Lancaster, UK
pp. 1061-1062

Tutorial: towards dynamic web services (PDF)

Sam Guinea , Politecnico di Milano, Milano, Italy
Luciano Baresi , Politecnico di Milano, Milano, Italy
pp. 1067-1068

Tutorial: an overview of UML 2 (PDF)

Bran Selic , IBM Canada, Kanata, Ontario, CANADA
pp. 1069-1070

Web service orchestration with BPEL (PDF)

Bruno Wassermann , University College London, London, UK
Wolfgang Emmerich , University College London, London, UK
Howard Foster , Imperial College London, London, UK
Liang Chen , University College London, London, UK
pp. 1071-1072

Creative requirements: invention and its role in requirements engineering (PDF)

Neil Maiden , City University, London, UK
Suzanne Robertson , Atlantic Systems Guild, London, UK
James Robertson , Atlantic Systems Guild, London, UK
pp. 1073-1074

Testing concurrent java components (PDF)

Luke Wildman , The University of Queensland
Paul Strooper , The University of Queensland
pp. 1075-1076

Modeling of component based systems (PDF)

Gang Huang , Peking University, Beijing, China
Weizhong Shao , Peking University, Beijing, China
Haiyan Zhao , Peking University, Beijing, China
pp. 1077-1078

How to integrate usability into the software development process (PDF)

Natalia Juristo , Universidad Politecnica de Madrid, (Madrid) - Spain
Xavier Ferre , Universidad Politecnica de Madrid, (Madrid) - Spain
pp. 1079-1080

Software component models (PDF)

Kung-Kiu Lau , The University of Manchester, Manchester, UK
pp. 1081-1082
97 ms
(Ver 3.1 (10032016))