Abstract is missing.
- The Role of Empirical Study in Software EngineeringVictor R. Basili. 3-6 [doi]
- An Empirical Study on the Relationship between Defective Requirements and Test FailuresRobert W. Ferguson, Giuseppe Lami. 7-10 [doi]
- Qualitative Modeling for Requirements EngineeringTim Menzies, Julian Richardson. 11-20 [doi]
- Analyzing and Systematizing Current Traceability SchemasAngelina Espinoza, Pedro Pablo Alarcón, Juan Garbajosa. 21-32 [doi]
- Service Engineering: Linking Business and ITTiziana Margaria, Bernhard Steffen. 33-36 [doi]
- A Comparative Study of Monitoring Tools for Pattern-Centric BehaviorBenjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan. 37-46 [doi]
- Understanding Open Source Software through Software Archaeology: The Case of NethackMelissa M. Simmons, Pamela Vercellone-Smith, Phillip A. Laplante. 47-58 [doi]
- Goal-Driven Software DevelopmentIngo Schnabel, Markus Pizka. 59-65 [doi]
- Understanding Change Requests to Predict Software ImpactChristopher Ackermann, Mikael Lindvall. 66-75 [doi]
- Software Project Management Tools: Making a Practical Decision Using AHPNorita Ahmad, Phillip A. Laplante. 76-84 [doi]
- The Grand Challenge in Informatics: Engineering Software-Intensive SystemsManfred Broy. 85-88 [doi]
- Unified Software Method: An Engineering Approach to Software EngineeringStéphane Mercier, Michel Lavoie, Roger Champagne. 89-96 [doi]
- A Reverse-Engineering Approach to Understanding B Specifications with UML DiagramsAkram Idani, Yves Ledru, Didier Bert. 97-106 [doi]
- SPDW: A Software Development Process Performance Data Warehousing EnvironmentKarin Becker, Duncan Dubugras A. Ruiz, Virginia S. Cunha, Taisa C. Novello, Franco Vieira e Souza. 107-118 [doi]
- Cross-Platform Development: Software that LastsJudith Bishop, R. Nigel Horspool. 119-122 [doi]
- Using Simulation to Validate Style-Specific Architectural Refactoring PatternsZoë R. Stephenson, John A. McDermid, Jason Choy. 123-132 [doi]
- Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model CheckerPavel Parizek, Frantisek Plasil, Jan Kofron. 133-141 [doi]
- An Eclipse Plug-in for the Java PathFinder Runtime Verification SystemFrancesca Arcelli Fontana, Claudia Raibulet, Ivano Rigo, Luigi Ubezio. 142-152 [doi]
- Pseudo-Exhaustive Testing for SoftwareD. Richard Kuhn, Vadim Okun. 153-158 [doi]
- An Optimized Grid-Based, OGC Standards-Compliant Collaborative Software System for Serving NASA Geospatial DataAijun Chen, Liping Di, Yaxing Wei, Yuqi Bai, Yang Liu. 159-166 [doi]
- Targeting Prediction: Engineering a Distributed Event Processor for an Autonomic Biometric SystemRoy Sterritt, Edward Hanna, Patricia O Hagan, Grainne Garrity. 167-174 [doi]
- What Have We Not Learned about Teaching Programming?David Gries. 175-178 [doi]
- Integrating Probability with Time and Shared-Variable ConcurrencyHuibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen. 179-189 [doi]
- An Operational Semantics of an Event-Driven System-Level SimulatorXiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin. 190-202 [doi]
- First Steps in the Verified Software Grand ChallengeJim Woodcock. 203-206 [doi]
- Formal Verification of Abstract System and Protocol SpecificationsAxel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala. 207-211 [doi]
- Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling TechniquesJianli Xu. 212-222 [doi]
- Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel SourcePeter T. Breuer, Simon Pickin, María M. Larrondo-Petrie. 223-233 [doi]
- Retrenching the Purse: Finite Exception Logs, and Validating the SmallRichard Banach, Michael Poppleton, Susan Stepney. 234-248 [doi]
- Towards Open-World Software: Issue and ChallengesLuciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi. 249-252 [doi]
- Using Jaza to Animate RoZ Specifications of UML Class DiagramsYves Ledru. 253-262 [doi]
- A Verified Formal Model of a VC GeneratorR. D. Arthan. 263-271 [doi]
- Using Views to Specify a Synchronization Aspect for Object-Oriented LanguagesR. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends. 272-281 [doi]
- Formal Z Specifications of Several Flat Role-Based Access Control ModelsAli E. Abdallah, Etienne J. Khayat. 282-292 [doi]