Conferences in DBLP
(sew) Susan K. Donohue , Joanne Bechta Dugan , Charles L. Brown Is My Software "Good Enough" to Release? - A Probabilistic Assessment. [Citation Graph (0, 0)][DBLP ] Conf ] Moshood Omolade Saliu , Günther Ruhe Supporting Software Release Planning Decisions for Evolving Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pornpit Wongthongtham , Elizabeth Chang , C. Cheah , Tharam S. Dillon Software Engineering Sub-Ontology for Specific Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] David Garlan , William K. Reinholtz , Bradley R. Schmerl , Nicholas D. Sherman , Tony Tseng Bridging the Gap between Systems Design. [Citation Graph (0, 0)][DBLP ] Conf ] Swapna S. Gokhale , John R. Crigler , William H. Farr , Dolores R. Wallace System Availability Analysis Considering Hardware/Software Failure Severities. [Citation Graph (0, 0)][DBLP ] Conf ] Mariângela Vanzin , Marcelo Blois Ribeiro , Rafael Prikladnicki , Ilmari Ceccato , Dante Carlos Antunes Global Software Processes Definition in a Distributed Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Panas , Rüdiger Lincke , Jonas Lundberg , Welf Löwe A Qualitative Evaluation of a Software Development and Re-Engineering Project. [Citation Graph (0, 0)][DBLP ] Conf ] Michael S. Moore , Jeremy C. Price , Ben Abbott , John Liebetreu , Richard Reinhart , Thomas Kacpura Modeling and Analysis of Space Based Transceivers. [Citation Graph (0, 0)][DBLP ] Conf ] Mark E. M. Stewart Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Pizka Code Normal Forms. [Citation Graph (0, 0)][DBLP ] Conf ] Boby George , H. Lally Singh , Shawn A. Bohner , Denis Gracanin Requirements Capture for Cougaar Model-Driven Architecture System. [Citation Graph (0, 0)][DBLP ] Conf ] Lester O. Lobo , James D. Arthur An Objectives-Driven Process for Selecting Methods to Support Requirements Engineering Activities. [Citation Graph (0, 0)][DBLP ] Conf ] Norman F. Schneidewind Predicting Risk as a Function of Risk Factors. [Citation Graph (0, 0)][DBLP ] Conf ] Rattikorn Hewett , Remzi Seker A Risk Assessment Model of Embedded Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yangyang Yu , Barry W. Johnson The Quantitative Safety Assessment for Safety-Critical Software. [Citation Graph (0, 0)][DBLP ] Conf ] Rabih Bashroush , T. John Brown , Ivor T. A. Spence , Peter Kilpatrick ADLARS: An Architecture Description Language for Software Product Lines. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Kong , Kang Zhang , Jing Dong , Guang-Lei Song A Generative Style-driven Framework for Software Architecture Design. [Citation Graph (0, 0)][DBLP ] Conf ] Mahmoud O. Elish , David C. Rine Indicators of Structural Stability of Object-Oriented Designs: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew J. Kornecki , Janusz Zalewski Process-Based Experiment for Design Tool Assessment in Real-Time Safety-Critical Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] R. E. Kurt Stirewalt , Reimer Behrends , Laura K. Dillon Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ugo Buy , Mihai Lehene , Houshang Darabi Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Tiziana Margaria , Bernhard Steffen Second-Order Semantic Web. [Citation Graph (0, 0)][DBLP ] Conf ] Phillip A. Laplante , Colin J. Neill Uncertainty: A Meta-Property of Software. [Citation Graph (0, 0)][DBLP ] Conf ] Sten F. Andler , Lars Niklasson , Björn Olsson , Anne Persson , Leo J. De Vin , Benkt Wangler , Tom Ziemke , Tomas Planstedt Information Fusion from Databases, Sensors and Simulations: A Collaborative Research Program. [Citation Graph (0, 0)][DBLP ] Conf ] Phan C. Vinh , Jonathan P. Bowen A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher A. Rouff , Michael G. Hinchey , James L. Rash , Walter F. Truszkowski Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Wagner Towards Software Quality Economics for Defect-Detection Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Bettina Anders , Jörg Fellmann , Mikael Lindvall , Ioana Rus Experimenting with Software Architecture Flexibility Using an Implementation of the Tactical Separation Assisted Flight Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Peter C. Mehlitz , John Penix Design for Verification with Dynamic Assertions. [Citation Graph (0, 0)][DBLP ] Conf ] Ganesh J. Pai , Joanne Bechta Dugan , Khalid Lateef Bayesian Networks applied to Software IV&V. [Citation Graph (0, 0)][DBLP ] Conf ] David Coppit , Jennifer M. Haddox-Schatz On the Use of Specification-Based Assertions as Test Oracles. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Donzelli , Daniel Hirschbach , Victor R. Basili Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Lisa M. Boden , Robert Busser , Mark R. Blackburn , Aaron Nauman Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing. [Citation Graph (0, 0)][DBLP ] Conf ] 