Search Results - "Dillon, Laura K."

Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components.

Authors: Dillon, Laura K. Stirewalt, R. E. Kurt

Source: IEEE Transactions on Software Engineering; February 2003, Vol. 29 Issue 2, p133-150, 18p

Task dependence and termination in Ada.

Authors: Dillon, Laura K.

Source: ACM Transactions on Software Engineering & Methodology; January 1997, Vol. 6, p80-110, 31p

Automated derivation of time bounds in uniprocessor concurrent systems.

Authors: Avrunin, George S. Corbett, James C. Dillon, Laura K.

Source: IEEE Transactions on Software Engineering; September 1994, Vol. 20, p708-719, 12p

Analyzing partially-implemented real-time systems.

Authors: Avrunin, George S. Corbett, James C. Dillon, Laura K.

Source: IEEE Transactions on Software Engineering; August 1998, Vol. 24 Issue 8, p602-614, 13p

{Special section: best papers of the 1996 International Symposium on Software Testing and Analysis}.

Authors: Dillon, Laura K. Zeil, Steven

Source: IEEE Transactions on Software Engineering; July 1996, Vol. 22, p441-507, 67p

A study of student strategies for the corrective maintenance of concurrent software.

Authors: Fleming, Scott D. Kraemer, Eileen Stirewalt, R. E. K. et al.

Source: ICSE: International Conference on Software Engineering; May2008, p759-768, 10p

Using formal models to objectively judge quality of multi-threaded programs in empirical studies.

Authors: Dillon, Laura K. Stirewalt, R. E. K. Kraemer, Eileen et al.

Source: ICSE: International Conference on Software Engineering; May2008, p33-38, 6p

Guest Editors' Introduction.

Authors: Dillon, Laura K. Tichy, Walter F.

Source: IEEE Transactions on Software Engineering; Jun2004, Vol. 30 Issue 6, p353-354, 2p

Verifying General Safety Properties of Ada Tasking Programs.

Authors: Dillon, Laura K.¹

Source: IEEE Transactions on Software Engineering. Jan90, Vol. 16 Issue 1, p51-63. 13p. 1 Color Photograph, 3 Diagrams.

Subjects: Ada (Computer program language), Programming languages, Mathematical logic, Computer systems, Telecommunication systems, Electronic systems

Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems.

Authors: Avrunin, George S. Dillon, Laura K. Wileden, Jack C. et al.

Source: IEEE Transactions on Software Engineering. Feb86, Vol. 12 Issue 2, p278-292. 15p. 9 Diagrams.

Subjects: Software architecture, Systems design, Concurrent engineering, Software engineering, Programming languages, Computer programming

A MODEL-BASED DESIGN-FOR-VERIFICATION APPROACH TO CHECKING FOR DEADLOCK IN MULTI-THREADED APPLICATIONS.

Authors: SARNA-STAROSTA, BEATA STIREWALT, R. E. K. DILLON, LAURA K.

Source: International Journal of Software Engineering & Knowledge Engineering; Apr2007, Vol. 17 Issue 2, p207-230, 24p, 5 Diagrams, 4 Charts

Guest Editors' Introduction: 2003 International Conference on Software Engineering.

Authors: Dillon, Laura K. Tichy, Walter F.

Source: IEEE Transactions on Software Engineering. Jun2004, Vol. 30 Issue 6, p353-354. 2p.

Subjects: Software engineering, Conferences & conventions, Software validation, Computer software development, Java programming language

Geographic Terms: Portland (Or.), Oregon, United States

INTRODUCTION TO THE SPECIAL ISSUE.

Authors: Dillon, Laura K. Sankar, Sriram

Source: IEEE Transactions on Software Engineering. May97, Vol. 23 Issue 5, p265-266. 2p.

Subjects: Formal methods (Computer science), Java programming language, Mathematics, Computer software development, Systems design

INTRODUCTION TO THE SPECIAL SECTION.

Authors: Dillon, Laura K. Zeil, Steven

Source: IEEE Transactions on Software Engineering. Jul96, Vol. 22 Issue 7, p441-441. 1p.

Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.

Authors: Avrunin, George S. Buy, Ugo A. Corbett, James C. et al.

Source: IEEE Transactions on Software Engineering. Nov91, Vol. 17 Issue 11, p1204-1222. 19p. 9 Diagrams, 6 Charts.

Subjects: Computer software, Computer systems, System analysis, Programming languages, Systems design