Elaine Jessica Weyuker is an ACM Fellow, an IEEE Fellow (since 2003), and an AT&T Fellow at Bell Labs for research in software metrics and testing as well...
9 KB (620 words) - 00:21, 2 May 2024
Howden. Additional work on different kinds of oracles was explored by Elaine Weyuker. An oracle can operate separately from the SUT; accessed at test runtime...
13 KB (1,572 words) - 13:41, 26 April 2024
Notes. Gerald Weinberg: Wrote The Psychology of Computer Programming. Elaine Weyuker: Software testing Jeannette Wing: Formal specifications. Ed Yourdon:...
26 KB (2,090 words) - 04:18, 8 December 2023
Award Winner Past Abie Award winners include Ruzena Bajcsy, BlogHer, Elaine Weyuker and Unoma Ndili Okorafor. The Computing Research Association’s Committee...
24 KB (1,974 words) - 01:51, 26 April 2024
Harvey Weiss: professor of Near Eastern Archeology at Yale University Elaine Weyuker: Computer scientist and member of the National Academy of Engineering...
81 KB (9,503 words) - 10:11, 26 February 2024
Boehm 2001 Manny Lehman 2002 Jesse H. Poore 2003 Victor Basili 2004 Elaine Weyuker 2006 John C. Knight 2007 Bev Littlewood 2009 Bertrand Meyer 2011 John...
9 KB (1,054 words) - 13:10, 7 April 2024
Edith Bülbring Edith Marion Patch Edith Pretty Edna Grossman Elaine Fuchs Elaine Weyuker Elda Emma Anderson Eleanor Anne Ormerod Eleanor Glanville Eleanor...
24 KB (2,503 words) - 00:07, 23 December 2023
for Identity-Inclusive Computing Education (AiiCE) In 2008, Barr and Elaine Weyuker organized a major ACM-W initiative to provide scholarships to women...
11 KB (1,177 words) - 00:00, 23 April 2024
1017/S0140525X08004998. ISSN 1469-1825. PMID 18826669. Davis, Martin; Weyuker, Elaine J.; Sigal, Ron (1994). Computability, complexity, and languages: fundamentals...
22 KB (2,198 words) - 03:06, 13 January 2024
Richmond, Alice M. Rivlin, Ruth Simmons, Elizabeth Spelke, Joan Steitz, Elaine Weyuker, and Maria T. Zuber. As is typical with NAS reports, after the Committee...
11 KB (1,210 words) - 22:15, 17 February 2023
University Department of Mathematics, January 2020, p. 2. Martin Davis, Elaine J. Weyuker, Computability, Complexity, and Languages: Fundamentals of Theoretical...
6 KB (687 words) - 06:57, 13 January 2024
Software Foundation, Inc. 2002 Moshe Y. Vardi Rice University 2002 Elaine Weyuker AT&T Labs Research 2002 Steve Wozniak Wheels of Zeus 2002 Steven M....
18 KB (87 words) - 05:12, 11 February 2023
Anchor Canada, p. 14, ISBN 9780385672665. Davis, Martin; Sigal, Ron; Weyuker, Elaine J. (1994), Computability, Complexity, and Languages: Fundamentals of...
11 KB (1,220 words) - 10:34, 15 May 2024
1145/62959.62964. ISSN 0001-0782. OCLC 4761120261. S2CID 207647895. Weyuker, Elaine J.; Jeng, Bingchiang (1991). "Analyzing Partition Testing Strategies"...
3 KB (335 words) - 02:49, 9 May 2024
York: Wiley. ISBN 9780471198970. 2014 Dover reprint Davis, Martin; Weyuker, Elaine J.; Sigal, Ron (1994). Computability, complexity, and languages: fundamentals...
15 KB (1,297 words) - 06:55, 6 May 2024
Springer-Verlag. ISBN 3-540-60420-0. Davis, Martin D.; Sigal, Ron; Weyuker, Elaine J. (1994). Computability, Complexity, and Languages: Fundamentals of...
3 KB (446 words) - 00:52, 11 November 2023
rewriting, Birkhäuser, 1988, ISBN 0-387-13715-7. Martin Davis, Ron Sigal, Elaine J. Weyuker, Computability, complexity, and languages: fundamentals of theoretical...
21 KB (3,402 words) - 01:48, 15 December 2023
Media. p. 730. ISBN 978-1-85233-074-3. Davis, Martin; Sigal, Ron; Weyuker, Elaine J. (1994). Computability, Complexity, and Languages: Fundamentals of...
27 KB (3,503 words) - 08:28, 14 March 2024
1007/978-3-319-15579-1_48. ISBN 978-3-319-15578-4. Davis, Martin; Ron Sigal; Elaine J. Weyuker (1994). Second Edition: Computability, Complexity, and Languages and...
29 KB (3,605 words) - 20:35, 13 May 2024
rather than providing proofs of the results. Martin Davis, Ron Sigal, Elaine J. Weyuker, Computability, complexity, and languages: fundamentals of theoretical...
18 KB (2,127 words) - 16:47, 28 April 2024
original on December 27, 2006. Retrieved December 9, 2015. Davis, Martin; Weyuker, Elaine J.; Sigal, Ron (1994). Computability, complexity, and languages: fundamentals...
195 KB (18,414 words) - 10:48, 13 May 2024
identity functions, and Multiplication. Davis, Martin; Ron Sigal; Elaine J. Weyuker (1994). Computability, Complexity, and Languages and Logic: Fundamentals...
74 KB (9,581 words) - 08:12, 14 May 2024
LNCS 277, Springer-Verlag (1987). Other Martin Davis, Ron Sigal, Elaine J. Weyuker, (1994) Computability, Complexity, and Languages: Fundamentals of...
31 KB (4,374 words) - 04:37, 5 April 2024
Mathematical Sciences, New York University, 1974. Martin Davis, Ron Sigal, Elaine J. Weyuker, (1994) Computability, Complexity, and Languages: Fundamentals of...
22 KB (2,783 words) - 12:20, 7 October 2023
tier A. FCT 2011 (retrieved 2013-06-03) Martin Davis, Ron Sigal, Elaine J. Weyuker, Computability, complexity, and languages: fundamentals of theoretical...
42 KB (4,804 words) - 14:39, 7 May 2024
Publish Company, Inc. ISBN 978-0-8053-0143-4. Davis, Martin; Sigal, Ron; Weyuker, Elaine J. (1994). Computability, Complexity, and Languages and Logic: Fundamentals...
41 KB (4,540 words) - 14:21, 29 November 2023
Alan C. Shaw Ben Shneiderman Kenneth Steiglitz Donald F. Towsley Elaine J. Weyuker Peter Widmayer Robert Wilensky Philip S. Yu Paolo Zanella [it] Dharma...
37 KB (3,836 words) - 04:39, 17 March 2024
on Software Engineering. 16 (12): 1402–1411. doi:10.1109/32.62448. Weyuker, Elaine J. (1 November 1982). "On Testing Non-Testable Programs". The Computer...
45 KB (4,894 words) - 11:44, 15 May 2024
Ralph Johnson and John Vlissides 2010, Axel van Lamsweerde 2008, Elaine J. Weyuker 2007, David Harel 2006, Nancy Leveson 2004, Leon J. Osterweil 2003...
15 KB (1,368 words) - 10:45, 15 April 2024