Conferences in DBLP
(sew) Ioana Rus , Forrest Shull , Paolo Donzelli Decision Support for Using Software Inspections. [Citation Graph (0, 0)][DBLP ] Conf ] Edgardo Palza , Christopher P. Fuhrman , Alain Abran Establishing a Generic and Multidimensional Measurement Repository in CMMI context. [Citation Graph (0, 0)][DBLP ] Conf ] Valerie Wyatt , Justin S. Di Stefano , Mike Chapman , Edward Aycoth A Metrics Based Approach for Identifying Requirements Risks. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Samy Sidky , James D. Arthur RGML: A Markup Language for Characterizing Requirements Generation Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Aluízio Haendchen Filho , Arndt von Staa , Carlos José Pereira de Lucena A Component-Based Model for Building Reliable Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher Rouff , Walter Truszkowski , James L. Rash , Michael G. Hinchey Formal Approaches to Intelligent Swarms. [Citation Graph (0, 0)][DBLP ] Conf ] Ashish Tiwari , Purnendu Sinha , Umabharathi Ramachandran On the Run-time Verification of Autonomy Software. [Citation Graph (0, 0)][DBLP ] Conf ] Ann Q. Gates , Oscar Mondragon , Mary Payne , Steve Roach Instrumentation of Intermediate Code for Runtime Verification. [Citation Graph (0, 0)][DBLP ] Conf ] David Owen , Tim Menzies , Mats Per Erik Heimdahl , Jimin Gao On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. [Citation Graph (0, 0)][DBLP ] Conf ] Dustin Geletko , Tim Menzies Model-Based Software Testing via Incremental Treatment Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjai Rayadurgam , Mats P. E. Heimdahl Generating MC/DC Adequate Test Sequences Through Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] David M. Raffo , Wayne W. Wakeland Assessing IV&V Benefits Using Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew J. Kornecki , Janusz Zalewski Design Tool Assessment for Safety-Critical Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Lüders Adopting a Software Component Model in Real-Time Systems Development. [Citation Graph (0, 0)][DBLP ] Conf ] Janusz Zalewski Software Dynamics: A New Measure of Performance for Real-Time Software. [Citation Graph (0, 0)][DBLP ] Conf ] Doron Drusinsky , Garth Watney Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine. [Citation Graph (0, 0)][DBLP ] Conf ] Lorin Hochstein , Mikael Lindvall Diagnosing architectural degeneration. [Citation Graph (0, 0)][DBLP ] Conf ] Shawn A. Bohner , Denis Gracanin Software Impact Analysis in a Virtual Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Rick Kazman , Mark Klein , Robert L. Nord Tailorable Architecture Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Sunil Kamavaram , Katerina Goseva-Popstojanova Sensitivity of Software Usage to Changes in the Operational Profile. [Citation Graph (0, 0)][DBLP ] Conf ] Frantz Iwu , Ian Toyn Modelling and Analysing Fault Propagation in Safety-Related Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Swapna S. Gokhale Optimal Software Release Time Incorporating Fault Correction. [Citation Graph (0, 0)][DBLP ] Conf ] Norman F. Schneidewind Applying Fault Correction Profiles. [Citation Graph (0, 0)][DBLP ] Conf ] Dolores Zage , Wayne Zage A Stress-Point Resolution System Based on Module Signatures. [Citation Graph (0, 0)][DBLP ] Conf ] David P. Gilliam , John Powell , Eric Haugh , Matt Bishop Addressing Software Security and Mitigations in the Life Cycle. [Citation Graph (0, 0)][DBLP ] Conf ] Massood Towhidnejad , Dolores R. Wallace , Albert M. Gallo Validation of Object Oriented Software Design With Fault Tree Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher P. Fuhrman , Fatime Djlive , Edgardo Palza Software Verification and Validation within the (Rational) Unified Process. [Citation Graph (0, 0)][DBLP ] Conf ] Ted Bennett , Paul Wennberg Maintaining Verification Test Consistency Between Executable Specifications and Embedded Software in a Virtual System Integration Laboratory Environment. [Citation Graph (0, 0)][DBLP ] Conf ] 