Lawrence Markosian

According to our database, Lawrence Markosian authored at least 10 papers between 1986 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Architecting and generalizing a safety case for critical condition detection software: an experience report.

Martin S. Feather, Lawrence Z. Markosian

Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, 2013

2006

Software Assurance Research Infusion: The NASA Experience.

Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick

Proceedings of the Leveraging Applications of Formal Methods, 2006

1995

Customized Tools for Software Quality Assurance and Reengineering.

Charles H. Wells, Russell Brand, Lawrence Markosian

Proceedings of the 2nd Working Conference on Reverse Engineering, 1995

1994

Using an Enabling Technology to Reengineer Legacy Systems.

Lawrence Markosian, Philip Newcomb, Russell Brand, Scott Burson, Ted Kitzmiller

Commun. ACM, 1994

Application of REFINE Language Tools^TM to Software Quality Assurance.

Gordon Kotik, Lawrence Markosian

Proceedings of the Proceedings KBSE'94, 1994

1993

Automating the Modularization of Large COBOL Programs: Application of an Enabling Technology for Reengineering.

Philip Newcomb, Lawrence Markosian

Proceedings of Working Conference on Reverse Engineering, 1993

1990

Industrial experience in automating software re-engineering.

Lawrence Z. Markosian, Thomas Driscoll, Ron Hunter-Duvar, John Hartman, Wojtek Kozaczynski, Jim Q. Ning, Mark Seipler

Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

A program transformation approach to automating software re-engineering.

Scott Burson, Gordon Kotik, Lawrence Z. Markosian

Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

1989

Automating Software Analysis and Testing Using a Program Transformation System.

Gordon Kotik, Lawrence Markosian

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

1986

Knowledge-Based Software Development from Requirements to Code.

Stephen J. Westfold, Lawrence Markosian, William A. Brew

Proceedings of the Software Development and Ada, 1986