Search results for "Cleanroom"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Richard C. Linger	Cleanroom Process Model.	IEEE Software	1994	DBLP DOI BibTeX RDF	cleanroom process model, team-oriented process, code increments, statistical quality certification, software quality, program verification, quality control, statistical quality control, correctness verification, cleanroom software engineering
3	Zarrin Langari, Anne Banks Pidduck	Quality, cleanroom and formal methods.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	cleanroom, formal methods, software quality
3	Carmen J. Trammell, Leon H. Binder, Cathrine E. Snyder	The Automated Production Control Documentation System: A Case Study in Cleanroom Software Engineering.	ACM Trans. Softw. Eng. Methodol.	1992	DBLP DOI BibTeX RDF	box structures, statistical testing, statistical quality control, cleanroom software engineering
2	John C. Martin	Formal methods software engineering for the CARA system.	STTT	2004	DBLP DOI BibTeX RDF	Formal methods software engineering, Sequence enumeration, Cleanroom, Formal specification
2	Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps	Model Based Testing in Evolutionary Software Development.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF	Cleanroom SW Engineering, Rapid Prototyping, Extreme Programming, Reactive Systems, Constraint Logic Programming, Incremental Development, Test Case Generation
2	Robert Oshana, Richard C. Linger	Capability Maturity Model Software Development using Cleanroom Software Engineering Principles - Results of an Industry Project. (PDF / PS)	HICSS	1999	DBLP DOI BibTeX RDF
2	Robert Oshana	Tailoring Cleanroom for Industrial Use.	IEEE Software	1998	DBLP DOI BibTeX RDF
2	Robert Oshana	An Industrial Application of Cleanroom Software Engineering - Benefits through Tailoring. (PDF / PS)	HICSS	1998	DBLP DOI BibTeX RDF
2	Mary E. Helander, Ming Zhao, Niclas Ohlsson	Planning Models for Software Reliability and Cost.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Budget constraints, cleanroom software development, Budget-Constrained Reliability-Maximization (BCRM) Model, cost planning, failure intensity, reliability allocation, Reliability-Constrained Cost-Minimization (RCCM) Model, software reliability. (*Terms introduced in this paper.), linear programming, software components, certification, nonlinear programming, COCOMO, operational profile, Lagrangian multipliers
2	Richard C. Linger, Carmen J. Trammell	Integrating Software Development Technology and Management: Cleanroom Software Engineering and the CMM for Software.	HICSS	1997	DBLP DOI BibTeX RDF
2	Robert Oshana, Frank P. Coyle	Implementing Cleanroom Software Engineering into a Mature CMM-Based Software Organization.	ICSE	1997	DBLP DOI BibTeX RDF	CMM, cleanroom software engineering
2	Graeme Smith	The Second ISEW Cleanroom Workshop.	ICSE	1997	DBLP DOI BibTeX RDF	software reliability certification, statistical usage testing, verification, formal specification, software process improvement, technology transfer, stepwise refinement, cleanroom software engineering
2	S. Wayne Sherer, Ara Kouchakdjian, Paul Arnold	Experience Using Cleanroom Software Engineering.	IEEE Software	1996	DBLP DOI BibTeX RDF
2	Michael R. Donat	Enhancing cleanroom techniques with refinement calculus.	CASCON	1995	DBLP DOI BibTeX RDF
2	Victor R. Basili, Scott Green	Software Process Evolution at the SEL.	IEEE Software	1994	DBLP DOI BibTeX RDF	software process evolution, SEL, Software Engineering Laboratory, National Aeronautics and Space Administration, Goddard Space Flight Center, process effects, systematic process, candidate process, evolutionary process, cleanroom development method, code comments, developer effort, standards, software quality, software metrics, aerospace computing, reading techniques, Quality Improvement Paradigm
2	Richard C. Linger	Cleanroom Software Engineering for Zero-Defect Software.	ICSE	1993	DBLP BibTeX RDF	box structures, software quality certification, statistical usage testing, formal specification, incremental development, correctness verification, cleanroom software engineering
2	James A. Whittaker, Jesse H. Poore	Markow Analysis of Software Specifications.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF	Cleanroom, box structure method, usage distribution, Markov chain, certification, stochastic process, software specification, statistical test
2	R. A. Sprangler, Richard C. Linger	The IBM Cleanroom Software Engineering Technology Transfer Program.	CSEE	1992	DBLP DOI BibTeX RDF
1	Patricia M. Kluckner, Roland Buchner, Astrid Weiss, Manfred Tscheligi	Repair now: collaboration between maintainers, operators and equipment in a cleanroom.	CSCW (Companion)	2012	DBLP DOI BibTeX RDF
1	Andrew J. Ko, Jacob O. Wobbrock	Cleanroom: Edit-Time Error Detection with the Uniqueness Heuristic.	VL/HCC	2010	DBLP DOI BibTeX RDF
1	Fan Lin, Wenhua Zeng, Guowu Chen, Yi Jiang	The Embedded Product Testing Using Cleanroom Statistical Method.	CSIE	2009	DBLP DOI BibTeX RDF
1	Frédéric Thiesse, Markus Dierkes, Elgar Fleisch	LotTrack: RFID-Based Process Control in the Semiconductor Industry.	IEEE Pervasive Computing	2006	DBLP DOI BibTeX RDF	Pervasive Computing, Mobile Applications
1	Marc Frappier, Richard St.-Denis	EB 3: an entity-based black-box specification method for information systems.	Software and System Modeling	2003	DBLP DOI BibTeX RDF	Trace-based specifications, Black-box specifications, JSD, Cleanroom, Patterns, Process algebra
1	Guy H. Broadfoot, Philippa J. Broadfoot	Academia and industry meet: Some experiences of formal methods in practice.	APSEC	2003	DBLP DOI BibTeX RDF
1	Keith E. Ritala, Eric Miller	Success Factors in Commercializing University MEMS Technology through the WTC?s Microfabrication Laboratory.	ICMENS	2003	DBLP DOI BibTeX RDF
1	G. Gautier, S. Crand, Olivier Bonnaud	Dynamic electrical characterization of CMOS-like Thin Film Transistor circuits.	MSE	2003	DBLP DOI BibTeX RDF
1	D. Guillet, K. Mourgues, R. Rogel, H. Lhermite, Olivier Bonnaud	Student Realization in Cleanroom of Silicon-Germanium Thin Film Transistors.	MSE	1999	DBLP DOI BibTeX RDF
1	Donald Gotterbarn	Cleanroom, PSP, and the Software Development Impact Statement: Developing the Right Attitude. (PDF / PS)	CSEE&T	1999	DBLP DOI BibTeX RDF
1	Allan M. Stavely	High-Quality Software through Semiformal Specification and Verification. (PDF / PS)	CSEE&T	1999	DBLP DOI BibTeX RDF
1	Sandrine Lucas, N. Outaleb, Olivier Bonnaud, J. Pine	Realization and SEM Observation of Polysilicon and Aluminium Cantilever Using Surface Micromachining Technology.	MSE	1999	DBLP DOI BibTeX RDF
1	Yukio Motoyoshi, Shigeru Otsuki	An Incremental Project Plan: Introducing Cleanroom Method and Object-Oriented Development Method.	ICSE	1998	DBLP DOI BibTeX RDF
1	Martin Neil, Gary Ostrolenk, Mary Tobin, Mark Southworth	Lessons from Using Z to Specify a Software Tool.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	fault density, reliability, Formal methods, statistical testing, practical experience
1	Boris Beizer	Soapbox: Cleanroom Process Model: A Critical Examination.	IEEE Software	1997	DBLP DOI BibTeX RDF
1	Shereef Abu Al-Maati, William D. Shoaff	Integrating literate programming and cleanroom software engineering to teach software engineering skills.	ACSE	1997	DBLP DOI BibTeX RDF
1	Philip A. Hausler, Richard C. Linger, Carmen J. Trammell	Adopting Cleanroom Software Engineering with a Phased Approach.	IBM Systems Journal	1994	DBLP BibTeX RDF
1	James E. Spencer Jr., P. K. Goel	A Robotic System for Inspecting HEPA Filters in a Large Cleanroom Facility at the NASA Kennedy Space Center.	ICRA	1994	DBLP BibTeX RDF
1	Philip A. Hausler, Richard C. Linger	From software craft to software engineering: the Cleanroom method.	SEKE	1994	DBLP BibTeX RDF
1	Christopher J. Lokan	The Cleanroom Process for Software Development.	Australian Computer Journal	1993	DBLP BibTeX RDF
1	Harlan D. Mills	Zero Defect Software: Cleanroom Engineering.	Advances in Computers	1993	DBLP DOI BibTeX RDF
1	Todd R. Kushner, Deborah S. Eisenberg	Experience Verifying a Rule-based Program as Part of a Cleanroom Project: AOEXPERT/MVS.	SEKE	1993	DBLP BibTeX RDF
1	Alan R. Hevner, Shirley A. Becker, Lenard B. Pedowitz	Integrated CASE for Cleanroom Development.	IEEE Software	1992	DBLP DOI BibTeX RDF
1	Norman E. Fenton	The Cleanroom Approach to Quality Software Development, by Michael Dyer, Wiley, 1992 (Book Review).	Softw. Test., Verif. Reliab.	1992	DBLP DOI BibTeX RDF
1	Shirley A. Becker, Eugene G. McGuire, Fred Niederman	A Preliminary Study on the Group Dynamics of the Cleanroom Systems Development Process.	The Impact of Computer Supported Technologies in Information Systems Development	1992	DBLP BibTeX RDF
1	Glyn Normington	Cleanroom and Z.	Z User Workshop	1992	DBLP BibTeX RDF
1	Michael Dyer	The Cleanroom Approach to Quality Software Development.	Int. CMG Conference	1992	DBLP BibTeX RDF
1	Michael D. Deck, Philip A. Hausler	Cleanroom Software Engineering: Theory and Practice.	SEKE	1990	DBLP BibTeX RDF
1	Rainer Worst	Cleanroom Software Development - Das aktuelle Schlagwort.	Informatik Spektrum	1988	DBLP BibTeX RDF
1	Richard W. Selby, Victor R. Basili, Terry Baker	Cleanroom Software Development: An Empirical Evaluation.	IEEE Trans. Software Eng.	1987	DBLP DOI BibTeX RDF