Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
160 | R. A. Sprangler, Richard C. Linger |
The IBM Cleanroom Software Engineering Technology Transfer Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE ![In: Software Engineering Education, SEI Conference, 1992, Proceedings, pp. 380-394, 1992, Springer, 3-540-55963-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
127 | Zarrin Langari, Anne Banks Pidduck |
Quality, cleanroom and formal methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-5, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 1(1), pp. 81-94, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (6) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 122-131, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
112 | Richard C. Linger |
Cleanroom Process Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(2), pp. 50-58, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 188-197, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
83 | Michael R. Donat |
Enhancing cleanroom techniques with refinement calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, November 7-9, 1995, Toronto, Ontario, Canada, pp. 20, 1995, IBM. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
64 | Robert S. Oshana |
Tailoring Cleanroom for Industrial Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 15(6), pp. 46-55, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
64 | S. Wayne Sherer, Ara Kouchakdjian, Paul Arnold |
Experience Using Cleanroom Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 13(3), pp. 69-76, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
63 | Victor R. Basili, Scott Green |
Software Process Evolution at the SEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(4), pp. 58-66, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997., pp. 572-573, 1997, ACM, 0-89791-914-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
CMM, cleanroom software engineering |
50 | Graeme Smith |
The Second ISEW Cleanroom Workshop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997., pp. 674, 1997, ACM, 0-89791-914-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, USA, May 17-21, 1993., pp. 2-13, 1993, IEEE Computer Society / ACM Press, 0-89791-588-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (6) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 112-121, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
43 | John C. Martin |
Formal methods software engineering for the CARA system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 5(4), pp. 301-307, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 25-27 June 2001, Monterey, CA, USA, pp. 155-161, 2001, IEEE Computer Society, 0-7695-1206-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(6), pp. 420-434, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 2(1), pp. 93-106, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand, pp. 49-, 2003, IEEE Computer Society, 0-7695-2011-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Allan M. Stavely |
High-Quality Software through Semiformal Specification and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE&T ![In: 12th Conference on Software Engineering Education and Training, 22-24 March, 1999, New Orleans, Louisiana, USA, pp. 145-155, 1999, IEEE Computer Society, 0-7695-0131-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Bibars Amangeldy, Nurdaulet Tasmurzayev, Madina Mansurova, Baglan Imanbek, Talshyn Sarsembayeva |
Design and Development of IoT Based Medical Cleanroom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCI (CCIS Volume) ![In: Advances in Computational Collective Intelligence - 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings, pp. 459-469, 2023, Springer, 978-3-031-41773-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTC ![In: International Conference on Information and Communication Technology Convergence, ICTC 2021, Jeju Island, Korea, Republic of, October 20-22, 2021, pp. 795-797, 2021, IEEE, 978-1-6654-2383-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GetMobile Mob. Comput. Commun. ![In: GetMobile Mob. Comput. Commun. 24(2), pp. 12-16, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Chanipa Nivasanon, Lakkana Ruekkasaem, Pasura Aungkulanon |
Demand forecasting for online market stock: case study cleanroom apparel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC4E ![In: Proceedings of the 10th International Conference on E-Education, E-Business, E-Management and E-Learning, IC4E '19, Tokyo, Japan, January 10-13, 2019, pp. 292-297, 2019, ACM, 978-1-4503-6602-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustcom/BigDataSE/ISPA ![In: 2016 IEEE Trustcom/BigDataSE/ISPA, Tianjin, China, August 23-26, 2016, pp. 451-457, 2016, IEEE, 978-1-5090-3205-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, Seoul, CHI 2015 Extended Abstracts, Republic of Korea, April 18 - 23, 2015, pp. 1657-1662, 2015, ACM, 978-1-4503-3146-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Micromachines ![In: Micromachines 5(3), pp. 738-755, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, CHI '13, Paris, France, April 27 - May 2, 2013, Extended Abstracts, pp. 661-666, 2013, ACM, 978-1-4503-1952-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Jonathan Percival, Neil Harrison |
Developer Perceptions of Process Desirability: Test Driven Development and Cleanroom Compared. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 46th Hawaii International Conference on System Sciences, HICSS 2013, Wailea, HI, USA, January 7-10, 2013, pp. 4800-4809, 2013, IEEE Computer Society, 978-1-4673-5933-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW (Companion) ![In: CSCW '12 Computer Supported Cooperative Work, Seattle, WA, USA, February 11-15, 2012 - Companion Volume, pp. 143-146, 2012, ACM, 978-1-4503-1051-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Amy J. Ko, Jacob O. Wobbrock |
Cleanroom: Edit-Time Error Detection with the Uniqueness Heuristic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, Leganés-Madrid, Spain, 21-25 September 2010, Proceedings, pp. 7-14, 2010, IEEE Computer Society, 978-0-7695-4206-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Fan Lin, Wenhua Zeng, Guowu Chen, Yi Jiang |
The Embedded Product Testing Using Cleanroom Statistical Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIE (7) ![In: CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31 - April 2, 2009, Los Angeles, California, USA, 7 Volumes, pp. 750-754, 2009, IEEE Computer Society, 978-0-7695-3507-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hum. Comput. Interact. ![In: Hum. Comput. Interact. 23(1), pp. 47-99, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Zarrin Langari, Anne Banks Pidduck |
Quality, cleanroom and formal methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoSQ@ICSE ![In: Proceedings of the third workshop on Software quality, WoSQ@ICSE 2005, St. Louis, Missouri, USA, May 17, 2005, pp. 35-39, 2005, ACM, 1-59593-122-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Marc Frappier, Richard St-Denis |
Combining JSD and Cleanroom for Object-Oriented Scenario Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 61-74, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Donald Gotterbarn |
Cleanroom, PSP, and the Software Development Impact Statement: Developing the Right Attitude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE&T ![In: 12th Conference on Software Engineering Education and Training, 22-24 March, 1999, New Orleans, Louisiana, USA, pp. 80-, 1999, IEEE Computer Society, 0-7695-0131-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSE ![In: IEEE International Conference on Microelectronic Systems Education, MSE 1999, Arlington, Virginia, USA, July 19-21, 1999, pp. 69-70, 1999, IEEE Computer Society, 0-7695-0312-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Yukio Motoyoshi, Shigeru Otsuki |
An Incremental Project Plan: Introducing Cleanroom Method and Object-Oriented Development Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Forging New Links, Proceedings of the 1998 International Conference on Software Engineering, ICSE 98, Kyoto, Japan, April 19-25, 1998., pp. 430-433, 1998, IEEE Computer Society, 0-8186-8368-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Boris Beizer |
Soapbox: Cleanroom Process Model: A Critical Examination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 14(2), pp. 14-16, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSE ![In: Proceedings of the ACM SIGCSE 2nd Australasian Conference on Computer Science Education, ACSE 1997, Melbourne, Victoria, Australia, 1997, pp. 99-106, 1997, ACM, 0-89791-958-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decis. Support Syst. ![In: Decis. Support Syst. 17(1), pp. 55-71, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Graeme Smith |
First ISEW Cleanroom workshop summary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 21(4), pp. 41-44, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Syst. ![In: Int. J. Intell. Syst. 9(9), pp. 787-807, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. Maintenance Res. Pract. ![In: J. Softw. Maintenance Res. Pract. 6(2), pp. 100-102, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 36(1), pp. 55, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Philip A. Hausler, Richard C. Linger, Carmen J. Trammell |
Adopting Cleanroom Software Engineering with a Phased Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM Syst. J. ![In: IBM Syst. J. 33(1), pp. 89-109, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 1994 International Conference on Robotics and Automation, San Diego, CA, USA, May 1994, pp. 2578-2583, 1994, IEEE Computer Society, 0-8186-5330-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Philip A. Hausler, Richard C. Linger |
From software craft to software engineering: the Cleanroom method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'94, The 6th International Conference on Software Engineering and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia, pp. 172-179, 1994, Knowledge Systems Institute. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
26 | Harlan D. Mills |
Zero Defect Software: Cleanroom Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. ![In: Adv. Comput. 36, pp. 1-41, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Christopher J. Lokan |
The Cleanroom Process for Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aust. Comput. J. ![In: Aust. Comput. J. 25(4), pp. 129-134, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA, pp. 445-452, 1993, Knowledge Systems Institute. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
26 | Alan R. Hevner, Shirley A. Becker, Lenard B. Pedowitz |
Integrated CASE for Cleanroom Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 9(2), pp. 69-76, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Norman E. Fenton |
The Cleanroom Approach to Quality Software Development, by Michael Dyer, Wiley, 1992 (Book Review). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 2(1), pp. 44-45, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Michael Dyer |
The Cleanroom Approach to Quality Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. CMG Conference ![In: 18th International Computer Measurement Group Conference, December 7-11, 1992, Reno, Nevada, USA, Proceedings, pp. 1201-1212, 1992, Computer Measurement Group. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
26 | Glyn Normington |
Cleanroom and Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Z User Workshop ![In: Z User Workshop, London, UK, 14-15 December 1992, Proceedings, pp. 281-293, 1992, Springer, 3-540-19818-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Impact of Computer Supported Technologies in Information Systems Development ![In: The Impact of Computer Supported Technologies in Information Systems Development, Proceedings of the IFIP WG8.2 Working Conference on The Impact of Computer Supported Technologies in Information Systems Development, Minneapolis, Minnesota, USA, 14-17 June, 1992, pp. 97-114, 1992, North-Holland, 0-444-89649-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
26 | Michael D. Deck, Philip A. Hausler |
Cleanroom Software Engineering: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'90, Proceedings of the Second International Conference on Software Engineering and Knowledge Engineering, Skokie, USA, June 21-23, 1990, pp. 71-77, 1990, Knowledge Systems Institute. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
26 | Rainer Worst |
Cleanroom Software Development - Das aktuelle Schlagwort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 11(6), pp. 323-324, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Richard C. Linger, Harlan D. Mills |
A case study in cleanroom software engineering: the IBM COBOL Structuring Facility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Twelfth International Computer Software and Applications Conference, COMPSAC 1988, Proceedings, Chicago, IL, USA, 5-7 October, 1988, pp. 10-17, 1988, IEEE, 0-8186-0873-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
26 | Richard W. Selby, Victor R. Basili, F. Terry Baker |
Cleanroom Software Development: An Empirical Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 13(9), pp. 1027-1037, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Harlan D. Mills, Michael G. Dyer, Richard C. Linger |
Cleanroom Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 4(5), pp. 19-25, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Marc Frappier, Richard St-Denis |
EB 3: an entity-based black-box specification method for information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 2(2), pp. 134-149, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Pervasive Comput. ![In: IEEE Pervasive Comput. 5(1), pp. 47-53, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSE ![In: 2003 International Conference on Microelectronics Systems Education, MSE 2003, Educating Tomorrow's Microsystems Designers, Anaheim, CA, USA, June 1-2, 2003, pp. 14-15, 2003, IEEE Computer Society, 0-7695-1973-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Keith E. Ritala, Eric Miller |
Success Factors in Commercializing University MEMS Technology through the WTC?s Microfabrication Laboratory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMENS ![In: 2003 International Conference on MEMS, NANO, and Smart Systems (ICMENS 2003), 20-23 July 2003, Banff, Alberta, Canada, pp. 123-127, 2003, IEEE Computer Society, 0-7695-1947-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSE ![In: IEEE International Conference on Microelectronic Systems Education, MSE 1999, Arlington, Virginia, USA, July 19-21, 1999, pp. 28-29, 1999, IEEE Computer Society, 0-7695-0312-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Martin Neil, Gary Ostrolenk, Mary Tobin, Mark Southworth |
Lessons from Using Z to Specify a Software Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(1), pp. 15-23, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
fault density, reliability, Formal methods, statistical testing, practical experience |