Abstract is missing.
- Is My Software Good Enough to Release? - A Probabilistic AssessmentSusan K. Donohue, Joanne Bechta Dugan, Charles L. Brown. 5-13 [doi]
- Supporting Software Release Planning Decisions for Evolving SystemsMoshood Omolade Saliu, Günther Ruhe. 14-26 [doi]
- Software Engineering Sub-Ontology for Specific Software DevelopmentPornpit Wongthongtham, Elizabeth Chang, C. Cheah, Tharam S. Dillon. 27-33 [doi]
- Bridging the Gap between Systems DesignDavid Garlan, William K. Reinholtz, Bradley R. Schmerl, Nicholas D. Sherman, Tony Tseng. 34-46 [doi]
- System Availability Analysis Considering Hardware/Software Failure SeveritiesSwapna S. Gokhale, John R. Crigler, William H. Farr, Dolores R. Wallace. 47-56 [doi]
- Global Software Processes Definition in a Distributed EnvironmentMariângela Vanzin, Marcelo Blois Ribeiro, Rafael Prikladnicki, Ilmari Ceccato, Dante Carlos Antunes. 57-65 [doi]
- A Qualitative Evaluation of a Software Development and Re-Engineering ProjectThomas Panas, Rüdiger Lincke, Jonas Lundberg, Welf Löwe. 66-75 [doi]
- Modeling and Analysis of Space Based TransceiversMichael S. Moore, Jeremy C. Price, Ben Abbott, John Liebetreu, Richard Reinhart, Thomas Kacpura. 76-88 [doi]
- Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic AnalysisMark E. M. Stewart. 89-96 [doi]
- Code Normal FormsMarkus Pizka. 97-108 [doi]
- Requirements Capture for Cougaar Model-Driven Architecture SystemBoby George, H. Lally Singh, Shawn A. Bohner, Denis Gracanin. 109-117 [doi]
- An Objectives-Driven Process for Selecting Methods to Support Requirements Engineering ActivitiesLester O. Lobo, James D. Arthur. 118-130 [doi]
- Predicting Risk as a Function of Risk FactorsNorman F. Schneidewind. 131-141 [doi]
- A Risk Assessment Model of Embedded Software SystemsRattikorn Hewett, Remzi Seker. 142-149 [doi]
- The Quantitative Safety Assessment for Safety-Critical SoftwareYangyang Yu, Barry W. Johnson. 150-162 [doi]
- ADLARS: An Architecture Description Language for Software Product LinesRabih Bashroush, T. John Brown, Ivor T. A. Spence, Peter Kilpatrick. 163-173 [doi]
- A Generative Style-driven Framework for Software Architecture DesignJun Kong, Kang Zhang, Jing Dong, Guang-Lei Song. 173-182 [doi]
- Indicators of Structural Stability of Object-Oriented Designs: A Case StudyMahmoud O. Elish, David C. Rine. 183-192 [doi]
- Process-Based Experiment for Design Tool Assessment in Real-Time Safety-Critical Software DevelopmentAndrew J. Kornecki, Janusz Zalewski. 193-200 [doi]
- Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory SystemsR. E. Kurt Stirewalt, Reimer Behrends, Laura K. Dillon. 201-210 [doi]
- Latency-Based Supervisors for Enforcing Deadlines in Time Petri NetsUgo Buy, Mihai Lehene, Houshang Darabi. 211-218 [doi]
- Second-Order Semantic WebTiziana Margaria, Bernhard Steffen. 219-227 [doi]
- Uncertainty: A Meta-Property of SoftwarePhillip A. Laplante, Colin J. Neill. 228-233 [doi]
- Information Fusion from Databases, Sensors and Simulations: A Collaborative Research ProgramSten F. Andler, Lars Niklasson, Björn Olsson, Anne Persson, Leo J. de Vin, Benkt Wangler, Tom Ziemke, Tomas Planstedt. 234-244 [doi]
- A Provable Algorithm for Reconfiguration in Embedded Reconfigurable ComputingPhan C. Vinh, Jonathan P. Bowen. 245-252 [doi]
- Towards a Hybrid Formal Method for Swarm-Based Exploration MissionsChristopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski. 253-264 [doi]
- Towards Software Quality Economics for Defect-Detection TechniquesStefan Wagner. 265-274 [doi]
- Experimenting with Software Architecture Flexibility Using an Implementation of the Tactical Separation Assisted Flight EnvironmentBettina Anders, Jörg Fellmann, Mikael Lindvall, Ioana Rus. 275-284 [doi]
- Design for Verification with Dynamic AssertionsPeter C. Mehlitz, John Penix. 285-292 [doi]
- Bayesian Networks applied to Software IV&VGanesh J. Pai, Joanne Bechta Dugan, Khalid Lateef. 293-304 [doi]
- On the Use of Specification-Based Assertions as Test OraclesDavid Coppit, Jennifer M. Haddox-Schatz. 305-314 [doi]
- Using Visualization to Understand Dependability: A Tool Support for Requirements AnalysisPaolo Donzelli, Daniel Hirschbach, Victor R. Basili. 315-324 [doi]
- Extending Simulink Models With Natural Relations To Improve Automated Model-Based TestingLisa M. Boden, Robert Busser, Mark R. Blackburn, Aaron Nauman. 325-332 [doi]