Search Results - "Stirewalt, R. E. K."

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

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.

Subjects: Logic programming, Frame synchronizers, Software engineering, Computer software development, Object monitors (Computer software), Semantic networks (Information theory)

RETRIEVAL BY CONSTRUCTION:: A TRACEABILITY TECHNIQUE TO SUPPORT VERIFICATION AND VALIDATION OF UML FORMALIZATIONS.

Authors: DENG, MIN STIREWALT, R. E. K. CHENG, BETTY H. C.

Source: International Journal of Software Engineering & Knowledge Engineering. Oct2005, Vol. 15 Issue 5, p837-872. 36p.

Subjects: Unified modeling language, Computer software development, Software verification, Information retrieval, Graphic methods