Table of Contents

• Science of Software ChangesTakuya Katayama. 2 [doi]
• Blueprint for Real Progress in Software EngineeringBertrand Meyer. 3 [doi]
• Is There a Happy Marriage between Software Engineering and Knowledge Engineering?Shi-Kuo Chang. 4 [doi]
• Matching Software Practitioner Needs to Researcher ActivitiesMartin S. Feather, Tim Menzies, Judith R. Connelly. 6-16 [doi]
• PAORE: Package Oriented Requirements ElicitationJunzo Kato, Morio Nagata, Shuichiro Yamamoto, Motoshi Saeki, Haruhiko Kaiya, Hisayuki Horai, Atsushi Ohnishi, Seiichi Komiya, Kenji Watahiki. 17 [doi]
• Generalising the Z Schema Calculus: Database Schemas and BeyondAndrew Martin, Andrew Simpson. 28-37 [doi]
• An Analysis of Backward Simulation Data-Refinement for Partial Relation SemanticsMoshe Deutsch, Martin C. Henson. 38-48 [doi]
• Academia and industry meet: Some experiences of formal methods in practiceGuy H. Broadfoot, Philippa J. Broadfoot. 49 [doi]
• Discovering Use Cases from Source Code using the Branch-Reserving Call GraphTao Qin, Lu Zhang, Zhiying Zhou, Dan Hao, Jiasu Sun. 60-67 [doi]
• Understanding How the Requirements Are Implemented in Source CodeWei Zhao, Lu Zhang, Yin Liu, Jing Luo, Jiasu Sun. 68-77 [doi]
• Regression Test Selection Based on Version Changes of ComponentsA. S. M. Sajeev, Bugi Wibowo. 78 [doi]
• Towards a Sound Modular Model Checking of Collaboration-Based Software DesignsNguyen Truong Thang, Takuya Katayama. 88-97 [doi]
• Controllability Mechanism for Object-Oriented Software TestingAnita Goel, S. C. Gupta, Siri Krishan Wasan. 98-107 [doi]
• Generating Test Oracle for Role Binding in Multi-Agent SystemsXin Wang, Qi Yan, XinJun Mao, Zhi-Chang Qi. 108 [doi]
• An XVCL Approach to Handling Variants: A KWIC Product Line ExampleHongyu Zhang, Stan Jarzabek. 116-125 [doi]
• A Domain Analysis Method for Software Product Lines Based on Scenarios, Goals and FeaturesMinseong Kim, Hwasil Yang, Sooyong Park. 126-135 [doi]
• Facilitating Reuse of Software Components using Repository TechnologyJihyun Lee, Jin-Sam Kim, Gyu-Sang Shin. 136 [doi]
• Developing Relational Navigation to Effectively Understand SoftwareDaniel Jarrott, Anthony MacDonald. 144-153 [doi]
• Re-documenting, Visualizing and Understanding Software System Using DocLike ViewerShahida Sulaiman, Norbik Bashah Idris, Shamsul Sahibuddin, Sarina Sulaiman. 154-163 [doi]
• The Software Concordance: Using a Uniform Document Model to Integrate Program Analysis and HypermediaSatish Chandra Gupta, Tien Nhut Nguyen, Ethan V. Munson. 164 [doi]
• Implementing Angelic NondeterminismOrieta Celiku, Joakim von Wright. 176-185 [doi]
• Rigorous EBNF-based Definition for a Graphic Modeling LanguageYong Xia, Martin Glinz. 186-196 [doi]
• Modular refinement in novel schema calculiMoshe Deutsch, Martin C. Henson, Besnik Kajtazi. 197 [doi]
• A Two-Level Hierarchy Software Architecture Framework for the Manufacturing IndustryWhey Seen Heah, Mohamed K. Omar. 208-214 [doi]
• DRC: A Dependence Relationships Based Cohesion Measure for ClassesYuming Zhou, Lijie Wen, Jianmin Wang, Yujian Chen, Hongmin Lu, Baowen Xu. 215-223 [doi]
• A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State MachinesWuwei Shen, Kevin J. Compton, James Huggins. 224 [doi]
• A Ontology-based Process Modelling for XPPaolo Ceravolo, Ernesto Damiani, Michele Marchesi, Sandro Pinna, Francesco Zavatarelli. 236-242 [doi]
• Modeling and Enacting Software Processes Using VRPMLKamal Zuhairi Zamli, Peter Lee. 243-252 [doi]
• A SCM Workflow Model for CMM OrganizationsPornthep Seawlho, Taratip Suwannasart. 253 [doi]
• Implementing the PostgreSQL Query Optimizer within the OPT++ FrameworkJu Wang, Jinmiao Li, Greg Butler. 262-272 [doi]
• Application method for process frame-workKazutoshi Shimanaka, Junji Koga, Naoki Sugiwaka, Takeshi Sakamoto. 273 [doi]
• Awareness Support in Group-based Software Engineering Education SystemKunihiko Chiken, Atsuo Hazeyama. 280-289 [doi]
• An Extensible Framework for Collaborative Software EngineeringCarl Cook, Neville Churcher. 290 [doi]
• JINI/J2EE Bridge for Large-scale IP Phone ServicesJia Yu, Jan Newmarch, Michael Geisler. 302-309 [doi]
• Fault tolerant web serviceDeron Liang, Chen-Liang Fang, Chyouhwa Chen, Fengyi Lin. 310 [doi]
• Tool Support for Generating Passive C++ Test Oracles from Object-Z SpecificationsJason McDonald, Paul A. Strooper, Daniel Hoffman. 322-331 [doi]
• Testing Criteria for Data Flow Software332-339 [doi]
• Challenging Formal Specifications by Mutation: a CSP security exampleThitima Srivatanakul, John A. Clark, Susan Stepney, Fiona A. C. Polack. 340 [doi]
• COTS Characterization Model in a COTS-Based Development EnvironmentSihem Ben Sassi, Lamia Labed Jilani, Henda Hajjami Ben Ghézala. 352-361 [doi]
• An Environment for Evolutionary Prototyping Java Programs based on Abstract InterpretationHiroyuki Ozaki, Shingo Ban, Katsuhiko Gondow, Takuya Katayama. 362-370 [doi]
• Case study: Reconnaissance techniques to support feature location using RECON2Suhaimi Ibrahim, Norbik Bashah Idris, Aziz Deraman. 371 [doi]
• Modeling Complex Systems by A Set of Interacting Finite-State ModelsSukhamay Kundu. 380-389 [doi]
• Specifying Roles within Agent-Oriented Software EngineeringKevin Chan, Leon Sterling. 390-395 [doi]
• XSLT Template Design for Generating the Web Presentation LayerJung-Hwa Chae, Cheol-Jung Yoo, Yong-Sung Kim, Ok-Bae Chang. 396 [doi]
• Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive SystemsVangalur S. Alagar, M. Chen, Olga Ormandjieva, Mao Zheng. 406-414 [doi]
• Formal Verification of Type Flaw Attacks in Security ProtocolsBenjamin W. Long. 415-424 [doi]
• Reasoning about Pointers in Refinement CalculusRalph-Johan Back, Xiaocong Fan, Viorel Preoteasa. 425 [doi]
• Ensuring Compatible Interactions within Component-based Software SystemsJun Han, Ksze Kae Ker. 436-445 [doi]
• Specification matching of state-based modular componentsDavid Hemer. 446-455 [doi]
• Selecting Components: a Process for Context-Driven EvaluationValerie Maxville, Chiou Peng Lam, Jocelyn Armarego. 456 [doi]
• Software Engineering Methods for Neural NetworksAnthony Senyard, Edmund Kazmierczak, Leon Sterling. 468-477 [doi]
• Security-Critical System Development with Extended Use CasesGerhard Popp, Jan Jürjens, Guido Wimmel, Ruth Breu. 478-487 [doi]
• Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsecSiv Hilde Houmb, Jan Jürjens. 488 [doi]
• Exploring the Relationship between Experience and Group Performance in Software ReviewYuk Kuen Wong, David Wilson. 500-509 [doi]
• Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal SpecificationShaoying Liu. 510-519 [doi]
• An Extension of the Behavioral Theory of Group Performance in Software Development Technical ReviewsLesley Pek Wee Land, Bernard Wong, D. Ross Jeffery. 520 [doi]
• Extending the theory of Owicki and Gries with asynchronous message passingDoug Goldson. 532-541 [doi]
• Psachno: A Dynamic and Generic Discovery Framework within a Peer-to-Peer Network ModelNicholas Nicoloudis, Christine Mingins. 542-551 [doi]
• Evaluating Semantic Warnings in VoIP Programmable Services with Open Source EnvironmentPattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, Tohru Kikuno. 552 [doi]
• Implementing Exception Handling Policies for Workflow Management SystemJinmiao Li, Yun Mai, Greg Butler. 564-573 [doi]
• An Extended Policy Language for Role Resolution in Project-Oriented WorkflowXiaoguang Zhang, Jian Cao, Shen-sheng Zhang. 574 [doi]