Search results for "Cleanroom"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
160	R. A. Sprangler, Richard C. Linger	The IBM Cleanroom Software Engineering Technology Transfer Program.	CSEE	1992	DBLP DOI BibTeX RDF
127	Zarrin Langari, Anne Banks Pidduck	Quality, cleanroom and formal methods.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	cleanroom, formal methods, software quality
127	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
122	Robert S. Oshana	An Industrial Application of Cleanroom Software Engineering - Benefits through Tailoring.	HICSS (6)	1998	DBLP DOI BibTeX RDF
112	Richard C. Linger	Cleanroom Process Model.	IEEE Softw.	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
103	Robert S. Oshana, Richard C. Linger	Capability Maturity Model Software Development using Cleanroom Software Engineering Principles - Results of an Industry Project.	HICSS	1999	DBLP DOI BibTeX RDF
103	Richard C. Linger, Carmen J. Trammell	Integrating Software Development Technology and Management: Cleanroom Software Engineering and the CMM for Software.	HICSS (3)	1997	DBLP DOI BibTeX RDF
83	Michael R. Donat	Enhancing cleanroom techniques with refinement calculus.	CASCON	1995	DBLP BibTeX RDF
64	Robert S. Oshana	Tailoring Cleanroom for Industrial Use.	IEEE Softw.	1998	DBLP DOI BibTeX RDF
64	S. Wayne Sherer, Ara Kouchakdjian, Paul Arnold	Experience Using Cleanroom Software Engineering.	IEEE Softw.	1996	DBLP DOI BibTeX RDF
63	Victor R. Basili, Scott Green	Software Process Evolution at the SEL.	IEEE Softw.	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
50	Robert S. 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
50	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
50	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
45	Marc Frappier, Richard St-Denis	A Specification Method for Cleanroom's Black Box Description.	HICSS (6)	1998	DBLP DOI BibTeX RDF
43	John C. Martin	Formal methods software engineering for the CARA system.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Formal methods software engineering, Sequence enumeration, Cleanroom, Formal specification
43	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
43	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
43	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
38	Guy H. Broadfoot, Philippa J. Broadfoot	Academia and industry meet: Some experiences of formal methods in practice.	APSEC	2003	DBLP DOI BibTeX RDF
38	Allan M. Stavely	High-Quality Software through Semiformal Specification and Verification.	CSEE&T	1999	DBLP DOI BibTeX RDF
26	Bibars Amangeldy, Nurdaulet Tasmurzayev, Madina Mansurova, Baglan Imanbek, Talshyn Sarsembayeva	Design and Development of IoT Based Medical Cleanroom.	ICCCI (CCIS Volume)	2023	DBLP DOI BibTeX RDF
26	Israt Jahan, Md. Morshed Alam, Md. Faisal Ahmed, Yeong Min Jang	Anomaly Detection in Semiconductor Cleanroom Using Isolation Forest.	ICTC	2021	DBLP DOI BibTeX RDF
26	Klara Nahrstedt, Zhe Yang 0010, Tuo Yu, Patrick Su, Robert Kaufman, I-Shan Chen, Steven Konstanty, Mark McCollum, John Dallesasse	Senselet: Distributed Sensing Infrastructure for Improving Process Control and Safety in Academic Cleanroom Environments.	GetMobile Mob. Comput. Commun.	2020	DBLP DOI BibTeX RDF
26	Chanipa Nivasanon, Lakkana Ruekkasaem, Pasura Aungkulanon	Demand forecasting for online market stock: case study cleanroom apparel.	IC4E	2019	DBLP DOI BibTeX RDF
26	Lei Zhou, Xiaowei Liu, Qin Liu 0001, Guojun Wang 0001	A Cleanroom Monitoring System for Network Computing Service Based on Remote Attestation.	Trustcom/BigDataSE/ISPA	2016	DBLP DOI BibTeX RDF
26	Ilhan Aslan, Barbara Weixelbaumer, Bernhard Maurer, Daniela Wurhofer, Alexander Meschtscherjakov, Manfred Tscheligi	Sounds Like it Works: Music-based Navigation to Improve the Cleanroom Experience.	CHI Extended Abstracts	2015	DBLP DOI BibTeX RDF
26	Vânia C. Pinto, Paulo J. Sousa, Vanessa F. Cardoso, Graça Minas	Optimized SU-8 Processing for Low-Cost Microstructures Fabrication without Cleanroom Facilities.	Micromachines	2014	DBLP DOI BibTeX RDF
26	Ewald Strasser, Astrid Weiss, Roland Buchner, Manfred Tscheligi	Alert in the cleanroom: testing alerting modalities for a task guiding interface.	CHI Extended Abstracts	2013	DBLP DOI BibTeX RDF
26	Jonathan Percival, Neil Harrison	Developer Perceptions of Process Desirability: Test Driven Development and Cleanroom Compared.	HICSS	2013	DBLP DOI BibTeX RDF
26	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
26	Amy J. Ko, Jacob O. Wobbrock	Cleanroom: Edit-Time Error Detection with the Uniqueness Heuristic.	VL/HCC	2010	DBLP DOI BibTeX RDF
26	Fan Lin, Wenhua Zeng, Guowu Chen, Yi Jiang	The Embedded Product Testing Using Cleanroom Statistical Method.	CSIE (7)	2009	DBLP DOI BibTeX RDF
26	Scott A. Carter, Jennifer Mankoff, Scott R. Klemmer, Tara Matthews	Exiting the Cleanroom: On Ecological Validity and Ubiquitous Computing.	Hum. Comput. Interact.	2008	DBLP DOI BibTeX RDF
26	Zarrin Langari, Anne Banks Pidduck	Quality, cleanroom and formal methods.	WoSQ@ICSE	2005	DBLP DOI BibTeX RDF
26	Marc Frappier, Richard St-Denis	Combining JSD and Cleanroom for Object-Oriented Scenario Specification.	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
26	Donald Gotterbarn	Cleanroom, PSP, and the Software Development Impact Statement: Developing the Right Attitude.	CSEE&T	1999	DBLP DOI BibTeX RDF
26	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
26	Yukio Motoyoshi, Shigeru Otsuki	An Incremental Project Plan: Introducing Cleanroom Method and Object-Oriented Development Method.	ICSE	1998	DBLP DOI BibTeX RDF
26	Boris Beizer	Soapbox: Cleanroom Process Model: A Critical Examination.	IEEE Softw.	1997	DBLP DOI BibTeX RDF
26	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
26	Carmen J. Trammell, Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner	The incremental development process in Cleanroom software engineering.	Decis. Support Syst.	1996	DBLP DOI BibTeX RDF
26	Graeme Smith	First ISEW Cleanroom workshop summary.	ACM SIGSOFT Softw. Eng. Notes	1996	DBLP DOI BibTeX RDF
26	Fred Highland, Brent D. Kornman	A design language and the use of cleanroom methodology for knowledge-based system development.	Int. J. Intell. Syst.	1994	DBLP DOI BibTeX RDF
26	Dorothy R. Graham	The cleanroom approach to software quality development, Michael Dyer. John Wiley & Sons, Chichester, 1992, ISBN 0471-54823-5. Price: £23.50.	J. Softw. Maintenance Res. Pract.	1994	DBLP DOI BibTeX RDF
26	M. Jenner	The cleanroom approach to quality software development : M Dyer John Wiley (1992) 198 pp £42.50 ISBN 0 471 54823 5.	Inf. Softw. Technol.	1994	DBLP DOI BibTeX RDF
26	Philip A. Hausler, Richard C. Linger, Carmen J. Trammell	Adopting Cleanroom Software Engineering with a Phased Approach.	IBM Syst. J.	1994	DBLP DOI BibTeX RDF
26	James E. Spencer Jr., Pradeep K. Goel	A Robotic System for Inspecting HEPA Filters in a Large Cleanroom Facility at the NASA Kennedy Space Center.	ICRA	1994	DBLP DOI BibTeX RDF
26	Philip A. Hausler, Richard C. Linger	From software craft to software engineering: the Cleanroom method.	SEKE	1994	DBLP BibTeX RDF
26	Harlan D. Mills	Zero Defect Software: Cleanroom Engineering.	Adv. Comput.	1993	DBLP DOI BibTeX RDF
26	Christopher J. Lokan	The Cleanroom Process for Software Development.	Aust. Comput. J.	1993	DBLP BibTeX RDF
26	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
26	Alan R. Hevner, Shirley A. Becker, Lenard B. Pedowitz	Integrated CASE for Cleanroom Development.	IEEE Softw.	1992	DBLP DOI BibTeX RDF
26	Norman E. Fenton	The Cleanroom Approach to Quality Software Development, by Michael Dyer, Wiley, 1992 (Book Review).	Softw. Test. Verification Reliab.	1992	DBLP DOI BibTeX RDF
26	Michael Dyer	The Cleanroom Approach to Quality Software Development.	Int. CMG Conference	1992	DBLP BibTeX RDF
26	Glyn Normington	Cleanroom and Z.	Z User Workshop	1992	DBLP DOI BibTeX RDF
26	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
26	Michael D. Deck, Philip A. Hausler	Cleanroom Software Engineering: Theory and Practice.	SEKE	1990	DBLP BibTeX RDF
26	Rainer Worst	Cleanroom Software Development - Das aktuelle Schlagwort.	Inform. Spektrum	1988	DBLP BibTeX RDF
26	Richard C. Linger, Harlan D. Mills	A case study in cleanroom software engineering: the IBM COBOL Structuring Facility.	COMPSAC	1988	DBLP DOI BibTeX RDF
26	Richard W. Selby, Victor R. Basili, F. Terry Baker	Cleanroom Software Development: An Empirical Evaluation.	IEEE Trans. Software Eng.	1987	DBLP DOI BibTeX RDF
26	Harlan D. Mills, Michael G. Dyer, Richard C. Linger	Cleanroom Software Engineering.	IEEE Softw.	1987	DBLP DOI BibTeX RDF
24	Marc Frappier, Richard St-Denis	EB 3: an entity-based black-box specification method for information systems.	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	Trace-based specifications, Black-box specifications, JSD, Cleanroom, Patterns, Process algebra
19	Frédéric Thiesse, Markus Dierkes, Elgar Fleisch	LotTrack: RFID-Based Process Control in the Semiconductor Industry.	IEEE Pervasive Comput.	2006	DBLP DOI BibTeX RDF	Pervasive Computing, Mobile Applications
19	G. Gautier, Samuel Crand, Olivier Bonnaud	Dynamic electrical characterization of CMOS-like Thin Film Transistor circuits.	MSE	2003	DBLP DOI BibTeX RDF
19	Keith E. Ritala, Eric Miller	Success Factors in Commercializing University MEMS Technology through the WTC?s Microfabrication Laboratory.	ICMENS	2003	DBLP DOI BibTeX RDF
19	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
19	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