Search results for "critical software"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Richard Bubel, Reiner Hähnle	Integration of informal and formal development of object-oriented safety-critical software.	STTT	2005	DBLP DOI BibTeX RDF	UML, Formal specification, Design patterns, OCL, Safety-critical software
3	Davide Falessi, Guido Pennella, Giovanni Cantone	Experiences, Strategies and Challenges in Adapting PVM to VxWorks Hard Real-Time Operating System, for Safety-Critical Software.	PVM/MPI	2005	DBLP DOI BibTeX RDF	Open Source Software (OSS), Safety-Critical Software (SCS), Embedded Hard Real-Time (HRT) Distributed Systems, Experimental Software Engineering (ESE), Parallel Virtual Machine (PVM)
3	Haiying Tu, Fangmei Wu	How to Design an Environment Simulator for Safety Critical Software Testing.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	Simulation, Software Testing, Object-Oriented Design, Fault-Injection, Safety-Critical Software, Black-Box Testing
3	Zhongwei Xu, Fangmei Wu	A Novel Testing Approach for Safety-Critical Software.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	Software-critical software, software testing, interlocking
3	Weiwei Li, Zhongwei Xu, Yan Jin	An Approach for Testing Safety-Critical Software.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF	Failure Severity Level, Failure Frequency, Integrity Level, Safety-Critical Software, Software Safety, Software Validation
3	Bev Littlewood, David Wright	Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	operational testing, testing stopping rule, software reliability, Safety-critical software, statistical testing
3	Giuseppe Iazeolla, Raffaela Mirandola, Andrea D'Ambrogio	Collaborative IV&V by SPEED: a tool-kit for the performance IV&V of critical software. (PDF / PS)	WETICE	1995	DBLP DOI BibTeX RDF	collaborative software verification, Software Performance Evaluation and Modeling, Master Model, performance analysis model, software workload model, abstract machine model, database management systems, program verification, performance predictions, software performance evaluation, database design, computer aided software engineering, safety-critical software, software performance engineering, SPEED, life cycle, hybrid simulation, software engineering methodology, software toolkit, critical software
3	Norman F. Schneidewind	Predictions for increasing confidence in the reliability of safety critical software.	ICECCS	1995	DBLP DOI BibTeX RDF	residual faults, time to next failure, NASA Space Shuttle Primary Avionics Software System, reliability, software reliability, safety-critical software, safety critical software, confidence
3	T. M. Bull, E. J. Younger, Keith H. Bennett, Z. Luo	Bylands: reverse engineering safety-critical systems. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	safety-critical software maintenance, Bylands, real-time existing code, high level design extraction, formal transformations, abstract representation, requirements analyses, very-high-level domain languages, real-time systems, reverse engineering, reverse engineering, software maintenance, systems analysis, safety-critical systems, high level languages, safety-critical software, temporal constraints
3	Joanne M. Atlee, John A. McDermid	Integrating requirements analysis and safety analysis. (PDF / PS)	RE	1995	DBLP DOI BibTeX RDF	system safety requirements, design description, formal specification, systems analysis, requirements analysis, requirements specification, safety critical systems, safety-critical software, safety critical software, functional requirements, safety analysis, high level design
3	Hong Zhu, Patrick A. V. Hall, John H. R. May, T. Cockram	Injecting Faults into Environment Simulators for Testing Safety Critical Software.	EDCC	1994	DBLP DOI BibTeX RDF	Simulation, Software testing, Program transformation, Fault injection, Safety critical software
2	Junbeom Yoo, Eunkyoung Jee, Sung Deok Cha	Formal Modeling and Verification of Safety-Critical Software.	IEEE Software	2009	DBLP DOI BibTeX RDF
2	Young-Mi Kim, Choong-Heui Jeong, A-Rang Jeong, Hyeon Soo Kim	Risky Module Estimation in Safety-Critical Software.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
2	Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Dennis Plunkett	Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems.	APSEC	2007	DBLP DOI BibTeX RDF
2	David Lorge Parnas, Sergiy A. Vilkomir	Precise Documentation of Critical Software.	HASE	2007	DBLP DOI BibTeX RDF	testing, specifications, documentation, critical software
2	Horst Miedl, Jang-Soo Lee, Arndt Lindner, Ernst Hoffman, Josef Märtz, Young-Jun Lee, Jong-Gyun Choi, Jang-Yeol Kim, Kyoung-Ho Cha, Se Woo Cheon, Cheol-Kwon Lee, Gee-Yong Park, Kee-Choon Kwon	Defense-in-Depth and Diverse Qualification of Safety-Critical Software.	SAFECOMP	2007	DBLP DOI BibTeX RDF
2	Mário Brito, John May	Safety Critical Software Process Improvement by Multi-objective Optimization Algorithms.	ICSP	2007	DBLP DOI BibTeX RDF	Software Safety standards, Bayesian belief networks - Genetic Algorithms
2	Benjamin M. Brosgol	Languages for Safety-Critical Software: Issues and Assessment.	ICSE Companion	2007	DBLP DOI BibTeX RDF
2	Alan Hartman, Mika Katara, Amit M. Paradkar	Domain specific approaches to software test automation.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	domain specific test automation, exploratory testing, feature testing, multi-threaded debugging, wireless sensor software, model based testing, data exchangeability, constraint logic programming, safety critical software, test prioritization, event driven systems
2	Alan Hartman, Mika Katara, Amit M. Paradkar	Domain specific approaches to software test automation.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	domain specific test automation, exploratory testing, feature testing, multi-threaded debugging, wireless sensor software, model based testing, data exchangeability, constraint logic programming, safety critical software, test prioritization, event driven systems
2	Alan Wassyng, Mark Lawford	Software tools for safety-critical software development.	STTT	2006	DBLP DOI BibTeX RDF
2	Guido Pennella, Christian Di Biagio, Alessandro Colicchia, Gianfranco Pesce, Giovanni Cantone	Monitoring Distributed Systems for Safety Critical Software: A Goal-Driven Approach and Prototype-Tool.	ISPA Workshops	2006	DBLP DOI BibTeX RDF	Performance-measurement Tools, Software engineering, Hard Real-time Systems, Distributed and parallel systems
2	Michalis D. Galanis, Grigoris Dimitroulakos, Costas E. Goutis	Speedups from Partitioning Critical Software Parts to Coarse-Grain Reconfigurable Hardware.	ASAP	2005	DBLP DOI BibTeX RDF
2	Wolfgang Herzner, Stephan Ramberger, Thomas Länger, Christian Reumann, Thomas Gruber, Christian Sejkora	Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software.	SAFECOMP	2005	DBLP DOI BibTeX RDF
2	Alan Wassyng, Mark Lawford, Xiayong Hu	Timing Tolerances in Safety-Critical Software.	FM	2005	DBLP DOI BibTeX RDF	timing tolerances, real-time, requirements, safety-critical
2	Robyn R. Lutz, Stacy Nelson, Ann Patterson-Hine, Chad R. Frost, Doron Tal	Identifying Contingency Requirements Using Obstacle Analysis.	RE	2005	DBLP DOI BibTeX RDF	contingency requirements, obstacle analysis, anomaly-handling, autonomy, safety-critical software, requirements evolution
2	M. M. Adams, Philip B. Clayton	ClawZ: Cost-Effective Formal Verification for Control Systems.	ICFEM	2005	DBLP DOI BibTeX RDF	industrial formal verification, ProofPower, Eurofighter Typhoon, Ada, refinement, Z, control systems, safety-critical software, Simulink, real-time software, formal proof
2	Shiping Yang, Nan Sang, Guangze Xiong	Safety Testing of Safety Critical Software Based on Critical Mission Duration.	PRDC	2004	DBLP DOI BibTeX RDF	Safety Testing, Safety Critical System, Bayesian Analysis, Stopping Rules, Reliability Testing
2	Robert G. Pettit IV, Julie A. Street	Lessons Learned Applying UML in the Design of Mission Critical Software.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
2	Lazar Crawford, Jared Erwin, Steafano Grimaldi, Soma Mitra, Andrew J. Kornecki, David P. Gluch	A Study of Automatic Code Generation for Safety-Critical Software: Preliminary Report.	HASE	2004	DBLP DOI BibTeX RDF
2	Jiong Yan, Ji Wang, Huowang Chen	UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software.	ISPA	2004	DBLP DOI BibTeX RDF
2	Junbeom Yoo, Sung Deok Cha, Han Seiong Son, Chang Hwoi Kim, Jang-Soo Lee	PLC-Based Safety Critical Software Development for Nuclear Power Plants.	SAFECOMP	2004	DBLP DOI BibTeX RDF
2	Kelly Weyrauch, Mary Poppendieck, Ron Morsicato, Nancy Van Schooenderwoert, Bill Pyritz	Agile Methods for Safety-Critical Software Development.	XP/Agile Universe	2004	DBLP DOI BibTeX RDF
2	Jorge Rady de Almeida Jr., João Batista Camargo Jr., Bruno Abrantes Basseto, Sérgio Miranda Paz	Best Practices in Code Inspection for Safety-Critical Software.	IEEE Software	2003	DBLP DOI BibTeX RDF	inspection checklist, safety-critical software, code inspection
2	P. V. Bhansali	A systematic approach to identifying a safe subset for safety-critical software.	ACM SIGSOFT Software Engineering Notes	2003	DBLP DOI BibTeX RDF	safe subset, programming languages, design methodologies
2	Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival	A static analyzer for large safety-critical software.	PLDI	2003	DBLP DOI BibTeX RDF	verification, real-time, static analysis, embedded, abstract interpretation, floating point, safety-critical software, reactive, abstract domains
2	Fangmei Wu, Lei Huang	Efficiency Analysis and Safety Assessment of Automatic Testing for Safety-Critical Software.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
2	Robyn R. Lutz, Ines Carmen Mikulski	Requirements Discovery during the Testing of Safety-Critical Software. (PDF / PS)	ICSE	2003	DBLP DOI BibTeX RDF
2	Jason Bowers, John May, Erik Melander, Matthew Baarman, Azeem Ayoob	Tailoring XP for Large System Mission Critical Software Development.	XP/Agile Universe	2002	DBLP DOI BibTeX RDF
2	Paul Townend, Jie Xu, Malcolm Munro	Building Dependable Software for Critical Applications: Multi-Version Software versus One Good Version.	WORDS	2001	DBLP DOI BibTeX RDF	Critical software and systems, industrial embedded systems, multi-version software, reliability and safety, fault tolerance
2	Colin O'Halloran	Issues for the Automatic Generation of Safety Critical Software. (PDF / PS)	ASE	2000	DBLP DOI BibTeX RDF	Automatic code generation, safety critical
2	Paolo Traverso, Piergiorgio Bertoli	Mechanized result verification: an industrial application.	STTT	2000	DBLP DOI BibTeX RDF	Mechanized result verification, Online/offline checking, Validation, Decomposition, Safety critical software
2	Fangmei Wu, Meng Li	Railway Signaling Safety-critical Software Testing Based on Dynamic Decision Table.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	dynamic decision table, software testing, safety-critical software, interlocking
2	David Lorge Parnas	Systematic Techniques for Inspecting Critical Software.	TOOLS	1999	DBLP DOI BibTeX RDF
2	Paul B. Carpenter	Verification of requirements for saftey-critical software.	SIGAda	1999	DBLP DOI BibTeX RDF	IEEE/EIA 12207, requirements-based testing, UML, requirements analysis, software verification, DO-178B
2	Haiying Tu, Fangmei Wu, Xiaoxu Ren	Rough-Hierarchical Testing for Safety Critical Software.	Asian Test Symposium	1998	DBLP DOI BibTeX RDF
2	Ferdinand J. Dafelmair	Model and Implementation of a Secure SW-Development Process for Mission Critical Software.	SAFECOMP	1998	DBLP DOI BibTeX RDF
2	J. Boulanger, V. Delebarre, Stéphane Natkin, J. Ozello	Deriving Safety Properties of Critical Software from the System Risk Analysis Application to Ground Transportation Systems. (PDF / PS)	HASE	1997	DBLP DOI BibTeX RDF
2	Tien-fu Chang, Alejandro Danylyzsn, So Norimatsu, Jose Rivera, David Shepard, Anthony Lattanze, James E. Tomayko	"Continuous Verification" in Mission Critical Software Development.	HICSS	1997	DBLP DOI BibTeX RDF
2	Herbert Hecht, Myron Hecht	Test-Linked Specification For Safety-Critical Software.	HICSS	1997	DBLP DOI BibTeX RDF
2	Marie-Elena C. Kidd	Ensuring critical event sequences in high consequence computer based systems as inspired by path expressions.	ECBS	1997	DBLP DOI BibTeX RDF	critical event sequences, unstable operating environments, fault managemen, high consequence software, embedding checkpoints, update points, finite automata, path expressions, computer based systems, hardware failures, critical software
2	Norman F. Schneidewind	Reliability Modeling for Safety Critical Software.	Ada-Europe	1996	DBLP DOI BibTeX RDF
2	Farokh B. Bastani, Bojan Cukic	Impact of program transformation on software reliability assessment. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	statistical sampling method, complete program paths, partial proofs, reliability assessment procedure, formal methods, program transformation, program verification, correctness, software fault tolerance, safety critical software, test cases, operational profile, reliability estimate, software reliability assessment
2	John C. Knight, Bev Littlewood	Guest Editors' Introduction: Critical Task of Writing Dependable Software.	IEEE Software	1994	DBLP DOI BibTeX RDF	dependable software, rigorous techniques, mathematical techniques, program writing, programming, software reliability, safety, safety-critical software
1	Daniel Santamaría, Francisco Alarcón, Antonio Jiménez, Antidio Viguria, Manuel Bejar, Aníbal Ollero	Model-Based Design, Development and Validation for UAS Critical Software.	Journal of Intelligent and Robotic Systems	2012	DBLP DOI BibTeX RDF
1	Frank Ortmeier, Simon Struck, Michael Lipaczewski	Using model-based analysis in certification of critical software-intensive systems.	Software Engineering (Workshops)	2012	DBLP BibTeX RDF
1	Kevin Gary, Andinet Enquobahrie, Luis Ibáñez, Patrick Cheng, Ziv Yaniv, Kevin Cleary, Shylaja Kokoori, Benjamin Muffih, John Heidenreich	Agile methods for open source safety-critical software.	Softw., Pract. Exper.	2011	DBLP DOI BibTeX RDF
1	B. Scott Andersen, George Romanski	Verification of Safety-critical Software.	ACM Queue	2011	DBLP DOI BibTeX RDF
1	B. Scott Andersen, George Romanski	Verification of safety-critical software.	Commun. ACM	2011	DBLP DOI BibTeX RDF
1	Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival	Static analysis by abstract interpretation of embedded critical software.	ACM SIGSOFT Software Engineering Notes	2011	DBLP DOI BibTeX RDF
1	Richard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke	High-integrity agile processes for the development of safety critical software.	IJCCBS	2011	DBLP DOI BibTeX RDF
1	Mehrdad Sabetzadeh, Shiva Nejati, Lionel C. Briand, Anne-Heidi Evensen Mills	Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience.	HASE	2011	DBLP DOI BibTeX RDF
1	Xavier Leroy	Verified squared: does critical software deserve verified tools?	POPL	2011	DBLP DOI BibTeX RDF
1	Haralambi Haralambiev, Stanimir Boychev, Delyan Lilov, Kraicho Kraichev	Applying source code analysis techniques: A case study for a large mission-critical software system.	EUROCON	2011	DBLP DOI BibTeX RDF
1	Yongfeng Yin, Bin Liu, Duo Su	Research on Formal Verification Technique for Aircraft Safety-Critical Software.	JCP	2010	DBLP DOI BibTeX RDF
1	Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina	Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting.	J. Autom. Reasoning	2010	DBLP DOI BibTeX RDF
1	Jos J. M. Trienekens, Rob J. Kusters, Dennis C. Brussel	Quality specification and metrication, results from a case-study in a mission-critical software domain.	Software Quality Journal	2010	DBLP DOI BibTeX RDF
1	Richard F. Paige	Traceability in model-driven safety critical software engineering.	ECMFA-TW	2010	DBLP DOI BibTeX RDF
1	Daniel Kästner, Reinhold Heckmann, Christian Ferdinand	100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis.	SAFECOMP	2010	DBLP DOI BibTeX RDF
1	Marko Ikonen, Pekka Abrahamsson	Anticipating Success of a Business-Critical Software Project: A Comparative Case Study of Waterfall and Agile Approaches.	ICSOB	2010	DBLP DOI BibTeX RDF
1	Xuecheng Wang, Risheng Yang, Minyan Lu, Haifeng Li	Discrete Bayesian-Based Scheme of Software Reliability Demonstration Testing with Decreasing Function for the Safety Critical Software.	CIS	2010	DBLP DOI BibTeX RDF
1	Martijn M. H. P. van den Heuvel, Reinder J. Bril, Peter van de Velde, Johan J. Lukkien	Towards verification-based development of in-vehicle safety critical software: a case study.	EDCC-CARS	2010	DBLP DOI BibTeX RDF
1	Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff	Software certification consortium: certification methods for safety-critical software.	CASCON	2010	DBLP DOI BibTeX RDF
1	W. Eric Wong, Vidroha Debroy, Adithya Surampudi, HyeonJeong Kim, Michael F. Siok	Recent Catastrophic Accidents: Investigating How Software was Responsible.	SSIRI	2010	DBLP DOI BibTeX RDF	catastrophic accidents, mishaps, safety-critical software systems, Software safety
1	Indika Meedeniya	An incremental methodology for quantitative software architecture evaluation with probabilistic models.	ICSE	2010	DBLP DOI BibTeX RDF	delta evaluation, incremental evaluation models, architecture evaluation, probabilistic properties
1	Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek	Developing safety critical Java applications with oSCJ/L0.	JTRES	2010	DBLP DOI BibTeX RDF	memory management, Java virtual machine, safety critical systems
1	Vittorio Cortellessa, Anne Martens, Ralf Reussner, Catia Trubiani	Towards the identification of "Guilty" performance antipatterns.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	performance analysis, feedback, software performance engineering, antipatterns
1	Philippe Ayrault, Thérèse Hardin, François Pessaux	Development Life-cycle of Critical Software Under FoCaL.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Bente Anda, Kai Hansen, Gunhild Sand	An investigation of use case quality in a large safety-critical software development project.	Information & Software Technology	2009	DBLP DOI BibTeX RDF
1	Haklin Kimm, Sung Y. Shin, Ho-sang Ham, Chang Oan Sung	Failure management development for integrated automotive safety-critical software systems.	SAC	2009	DBLP DOI BibTeX RDF
1	Tim Buxton, Alvin Tarrell, Ann L. Fruhling	Heuristic Evaluation of Mission-Critical Software Using a Large Team.	HCI	2009	DBLP DOI BibTeX RDF	Decision Support, Heuristic Evaluation, Usability Evaluation Methods
1	Gang Yu, Zhong wei Xu, Jun wei Du	An Approach for Automated Safety Testing of Safety-Critical Software System Based on Safety Requirements.	IFITA	2009	DBLP DOI BibTeX RDF
1	Etienne Borde, Grégory Haïk, Laurent Pautet	Mode-based reconfiguration of critical software component architectures.	DATE	2009	DBLP BibTeX RDF
1	Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço	Experience report: using objective caml to develop safety-critical embedded tools in a certification framework.	ICFP	2009	DBLP DOI BibTeX RDF	SCADE SUITE 6, safety critical, objective caml, DO-178B
1	Mauricio Alférez, Ana Moreira, Uirá Kulesza, João Araújo, Ricardo Mateus, Vasco Amaral	Detecting feature interactions in SPL requirements analysis models.	FOSD	2009	DBLP DOI BibTeX RDF	software product lines requirements, feature interactions
1	Xavier Leroy	Formal verification of a realistic compiler.	Commun. ACM	2009	DBLP DOI BibTeX RDF
1	Roman L. Lysecky, Frank Vahid	Design and implementation of a MicroBlaze-based warp processor.	ACM Trans. Embedded Comput. Syst.	2009	DBLP DOI BibTeX RDF	soft processor cores, FPGA, dynamic optimization, hardware/software partitioning, configurable logic, Warp processors, just-in-time (JIT) compilation
1	Billy Bob Brumley, Risto M. Hakala	Cache-Timing Template Attacks.	ASIACRYPT	2009	DBLP DOI BibTeX RDF	cache-timing attacks, elliptic curve cryptography, side channel attacks
1	Colin O'Halloran	Guess and Verify - Back to the Future.	FM	2009	DBLP DOI BibTeX RDF	Models, Verification, Software, Automation, Cost, Proof, Simulink
1	Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska	Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control.	SAFECOMP	2009	DBLP DOI BibTeX RDF
1	Steffen Schulz, Ahmad-Reza Sadeghi	Secure VPNs for Trusted Computing Environments.	TRUST	2009	DBLP DOI BibTeX RDF
1	Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong	Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Operating system verification, Hardware interrupts, Preemptive threads, Thread libraries, Modularity, Separation logic, Synchronization primitives
1	Jeanine Souquières	A Component-Based Approach for the Verification of Safety-Critical Software.	ERCIM News	2008	DBLP BibTeX RDF
1	Pedro Merino, Erwin Schoitsch	Introduction to the Special Theme "Safety-Critical Software".	ERCIM News	2008	DBLP BibTeX RDF
1	Darren D. Cofer, Michael W. Whalen, Steven P. Miller	Model-Checking of Safety-Critical Software for Avionics.	ERCIM News	2008	DBLP BibTeX RDF
1	Michael D. Harrison, José Creissac Campos	Analysing Human Aspects of Safety-Critical Software.	ERCIM News	2008	DBLP BibTeX RDF
1	Akihiro Hayashi, Nobuhiro Kataoka	A Method to Identify Critical Software Process Improvement Area Using Quality Function Deployment.	CIMCA/IAWTIC/ISE	2008	DBLP DOI BibTeX RDF
1	Haruka Nakao, Adam Trendowicz, Jürgen Münch	Estimating the Effort of Independent Verification and Validation in the Context of Mission-critical Software Systems - A Case Study.	SEKE	2008	DBLP BibTeX RDF
1	Benjamin M. Brosgol	MP1: languages for safety-critical software: issues and assessment.	SIGAda	2008	DBLP DOI BibTeX RDF	do-178, security, software engineering, design, reliability, ada, object-oriented, software, safety, languages, systems, assurance, safety-critical, high integrity
1	Emanuel S. Grant, Hassan Reza	Towards Model Driven Testing for Mission Critical Software Systems.	Software Engineering Research and Practice	2008	DBLP BibTeX RDF