no help available
no help available
authorThe blue social bookmark and publication sharing system.
bookmarks
- related tags
- tags
- No matching items.
- Myla Archer, Elizabeth I. Leonard, and Constance L. Heitmeyer. ESSoS, volume 7781 of Lecture Notes in Computer Science, page 171-180. Springer, (2013)Myla Archer, Elizabeth I. Leonard, and Constance L. Heitmeyer. ESSoS, volume 7781 of Lecture Notes in Computer Science, page 171-180. Springer, (2013)3 months agoby dblp1
- Constance L. Heitmeyer, and Nancy A. Lynch. RTSS, page 120-131. IEEE Computer Society, (1994)Constance L. Heitmeyer, and Nancy A. Lynch. RTSS, page 120-131. IEEE Computer Society, (1994)4 months and 3 days agoby dblp1
- Paul C. Clements, Constance L. Heitmeyer, Bruce G. Labaw, and A. T. Rose. RTSS, page 12-22. IEEE Computer Society, (1993)Paul C. Clements, Constance L. Heitmeyer, Bruce G. Labaw, and A. T. Rose. RTSS, page 12-22. IEEE Computer Society, (1993)4 months and 3 days agoby dblp1
- John D. McLean, Carl E. Landwehr, and Constance L. Heitmeyer. IEEE Symposium on Security and Privacy, page 188-194. IEEE Computer Society, (1984)John D. McLean, Carl E. Landwehr, and Constance L. Heitmeyer. IEEE Symposium on Security and Privacy, page 188-194. IEEE Computer Society, (1984)7 months agoby dblp1
- Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, and Ralph D. Jeffords. MEMOCODE, page 119-130. IEEE, (2012)Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, and Ralph D. Jeffords. MEMOCODE, page 119-130. IEEE, (2012)7 months agoby dblp1
- Stuart R. Faulk, and Constance L. Heitmeyer. ICSE, page 637-638. ACM, (1997)Stuart R. Faulk, and Constance L. Heitmeyer. ICSE, page 637-638. ACM, (1997)a year agoby dblp1
- Constance L. Heitmeyer, James Kirby, and Bruce G. Labaw. ICSE, page 610-611. ACM, (1997)Constance L. Heitmeyer, James Kirby, and Bruce G. Labaw. ICSE, page 610-611. ACM, (1997)a year agoby dblp2
- Constance L. Heitmeyer. Software and Systems Safety - Specification and Verification, volume 30 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2011)Constance L. Heitmeyer. Software and Systems Safety - Specification and Verification, volume 30 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2011)a year and 2 months agoby dblp1
- James A. Ballas, Constance L. Heitmeyer, and Manuel A. Pérez. CHI, page 127-134. ACM, (1992)James A. Ballas, Constance L. Heitmeyer, and Manuel A. Pérez. CHI, page 127-134. ACM, (1992)a year and 5 months agoby dblp1
- Tevfik Bultan, and Constance L. Heitmeyer. Design Autom. for Emb. Sys. 12(1-2):97-137 (2008)Tevfik Bultan, and Constance L. Heitmeyer. Design Autom. for Emb. Sys. 12(1-2):97-137 (2008)a year and 6 months agoby dblp1
- Constance L. Heitmeyer, and John D. McLean. IEEE Trans. Software Eng. 9(5):580-589 (1983)Constance L. Heitmeyer, and John D. McLean. IEEE Trans. Software Eng. 9(5):580-589 (1983)a year and 6 months agoby dblp1
- Jan Jürjens, Eduardo B. Fernández, Robert B. France, Bernhard Rumpe, and Constance L. Heitmeyer. UML Satellite Activities, volume 3297 of Lecture Notes in Computer Science, page 76-84. Springer, (2004)Jan Jürjens, Eduardo B. Fernández, Robert B. France, Bernhard Rumpe, and Constance L. Heitmeyer. UML Satellite Activities, volume 3297 of Lecture Notes in Computer Science, page 76-84. Springer, (2004)a year and 10 months agoby dblp1
- Constance L. Heitmeyer. MMM-ACNS, volume 2052 of Lecture Notes in Computer Science, page 84-89. Springer, (2001)Constance L. Heitmeyer. MMM-ACNS, volume 2052 of Lecture Notes in Computer Science, page 84-89. Springer, (2001)a year and 11 months agoby dblp1
- Angelo Gargantini, and Constance L. Heitmeyer. ESEC / SIGSOFT FSE, volume 1687 of Lecture Notes in Computer Science, page 146-162. Springer, (1999)Angelo Gargantini, and Constance L. Heitmeyer. ESEC / SIGSOFT FSE, volume 1687 of Lecture Notes in Computer Science, page 146-162. Springer, (1999)a year and 11 months agoby dblp2
- Constance L. Heitmeyer. FTRTFT, volume 1486 of Lecture Notes in Computer Science, page 18-26. Springer, (1998)Constance L. Heitmeyer. FTRTFT, volume 1486 of Lecture Notes in Computer Science, page 18-26. Springer, (1998)a year and 11 months agoby dblp1
- Hermann Kaindl, Sjaak Brinkkemper, Janis A. Bubenko Jr., Barbara Farbey, Sol J. Greenspan, Constance L. Heitmeyer, Julio Cesar Sampaio do Prado Leite, Nancy R. Mead, John Mylopoulos, and Jawed I. A. Siddiqi. Requir. Eng. 7(3):113-123 (2002)Hermann Kaindl, Sjaak Brinkkemper, Janis A. Bubenko Jr., Barbara Farbey, Sol J. Greenspan, Constance L. Heitmeyer, Julio Cesar Sampaio do Prado Leite, Nancy R. Mead, John Mylopoulos, and Jawed I. A. Siddiqi. Requir. Eng. 7(3):113-123 (2002)2 years agoby dblp1
- Myla Archer, Constance L. Heitmeyer, and Elvinia Riccobene. Autom. Softw. Eng. 9(3):201-232 (2002)Myla Archer, Constance L. Heitmeyer, and Elvinia Riccobene. Autom. Softw. Eng. 9(3):201-232 (2002)2 years agoby dblp1
- Ramesh Bharadwaj, and Constance L. Heitmeyer. Autom. Softw. Eng. 6(1):37-68 (1999)Ramesh Bharadwaj, and Constance L. Heitmeyer. Autom. Softw. Eng. 6(1):37-68 (1999)2 years agoby dblp1
- Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, and Elizabeth I. Leonard. Formal Methods in System Design 37(2-3):265-294 (2010)Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, and Elizabeth I. Leonard. Formal Methods in System Design 37(2-3):265-294 (2010)2 years and 3 months agoby dblp1
- Constance L. Heitmeyer. ICTSS, volume 6435 of Lecture Notes in Computer Science, page 15. Springer, (2010)Constance L. Heitmeyer. ICTSS, volume 6435 of Lecture Notes in Computer Science, page 15. Springer, (2010)2 years and 6 months agoby dblp1