Abstract is missing.
- Enforcing Safety and Progress Properties: An Approach to Concurrent Program DerivationBrijesh Dongol, Ian J. Hayes. 3-12 [doi]
- Simulating Software Evolution with Varying Numbers of Developers and Validation Using OSSBenjamin Stopford, Steve Counsell, E. Nasseri. 13-22 [doi]
- From Requirements to Embedded Software - Formalising the Key StepsToby Myers, R. Geoff Dromey. 23-33 [doi]
- Change Propagation Analysis Using Domain InformationAmir Aryani, Ian D. Peake, Margaret Hamilton, Heinz W. Schmidt, Michael Winikoff. 34-43 [doi]
- Model-Driven Code Generation for Secure Smart Card ApplicationsNina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif. 44-53 [doi]
- Towards Specification Based Testing for Semantic Web ServicesM. Shaban Jokhio, Gillian Dobbie, Jing Sun. 54-63 [doi]
- Supporting Multi-path UI Development with Vertical RefinementJudy Bowen, Steve Reeves. 64-72 [doi]
- Objectivity in Research: Challenges from the Evidence-Based ParadigmStuart M. Charters, David Budgen, Mark Turner, Barbara A. Kitchenham, Pearl Brereton, Stephen G. Linkman. 73-80 [doi]
- Critic Authoring Templates for Specifying Domain-Specific Visual Language Tool CriticsNorhayati Mohd. Ali, John G. Hosking, Jun Huh, John C. Grundy. 81-90 [doi]
- How Fields are Used in Java: An Empirical StudyEwan D. Tempero. 91-100 [doi]
- A Framework for Scope, Cost and Effort Estimation for Service Oriented Architecture (SOA) ProjectsLiam O Brien. 101-110 [doi]
- Integrated Data Mapping for a Software Meta-toolJun Huh, John C. Grundy, John G. Hosking, Karen Na-Liu Li, Robert Amor. 111-120 [doi]
- Hermes: A Tool for Testing Mobile Device ApplicationsSakura She, Sasindran Sivapalan, Ian Warren. 121-130 [doi]
- Semantic Impact and Faults in Source Code Changes: An Empirical StudyDanhua Shao, Sarfraz Khurshid, Dewayne E. Perry. 131-141 [doi]
- Scalable Emulation of Enterprise SystemsCameron Hine, Jean-Guy Schneider, Jun Han, Steven Versteeg. 142-151 [doi]
- A Perspective-Based Model of Quality for Software Engineering ProcessesTrent Kroeger, Neil Davidson. 152-161 [doi]
- An Approach for Comparison of Architecture Level Change Impact Analysis Methods and Their Relevance in Web Systems EvolutionZafar Mehboob, Didar Zowghi, David Lowe. 162-172 [doi]
- Dynamic Relational Behaviour for Large-Scale SystemsKirsten Winter, Robert Colvin, R. Geoff Dromey. 173-182 [doi]
- Dynamic Service Selection for Service Composition with Time ConstraintsAzlan Ismail, Jun Yan, Jun Shen. 183-190 [doi]
- A Multi Faceted Management Interface for Web ServicesJustin King, Alan W. Colman. 191-199 [doi]
- The Significance of Participant Experience when Evaluating Software Inspection TechniquesDavid A. McMeekin, Brian R. von Konsky, Michael C. Robey, David J. A. Cooper. 200-209 [doi]
- A Comprehensive Feature-Oriented Traceability Model for Software Product Line DevelopmentLiwei Shen, Xin Peng, Wenyun Zhao. 210-219 [doi]
- RE-UML: An Extension to UML for Specifying Component-Based Software SystemSajjad Mahmood, Richard Lai. 220-228 [doi]
- A Conceptual Model of Software Engineering Research ApproachesShayne Flint. 229-236 [doi]
- Inter-agent Data Flow Analysis of Abstract State MachinesAlessandra Cavarra. 237-245 [doi]
- Connector-Driven Process for the Gradual Evolution of Component-Based SoftwareHuaxi (Yulin) Zhang, Christelle Urtado, Sylvain Vauttier. 246-255 [doi]
- Formal Semantics Based Translator Generation and Tool Development in PracticePeter Fritzson, Adrian Pop, David Broman, Peter Aronsson. 256-266 [doi]
- Extending Process Improvement into a New Organizational UnitUolevi Nikula, Petri Oinonen, Lea Hannola. 267-276 [doi]
- Assuring Lock Usage in Multithreaded Programs with Fractional PermissionsYang Zhao, John Boyland. 277-286 [doi]
- A Formal Perspective for Service Coordination Framework in Service Oriented ArchitectureQin Li, Huibiao Zhu, Jifeng He. 287-296 [doi]
- Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level LanguageHuibiao Zhu, Yongxin Zhao, Jifeng He. 297-306 [doi]
- Risk Implications of Software Project Organization StructuresPaul L. Bannerman. 307-316 [doi]
- Component Coordination in GLooJean-Guy Schneider, Markus Lumpe. 317-326 [doi]
- Software Development Cost Estimation Using Analogy: A ReviewJacky Keung. 327-336 [doi]
- WAD Workflow System: Data-Centric Workflow SystemAndrew J. Robinson, J. Wenny Rahayu, Tharam S. Dillon. 337-344 [doi]
- Qualitative vs. Quantitative Software Process Simulation Modeling: Conversion and ComparisonHe Zhang, Barbara A. Kitchenham, D. Ross Jeffery. 345-354 [doi]