Zobrazeno 1 - 10
of 70
pro vyhledávání: '"Laura K Dillon"'
Autor:
Andrew McDonald, Laura K. Dillon
Publikováno v:
SIGCSE
Undergraduate students at Michigan State University (MSU) have offered Spartan Girls Who Code (SGWC) clubs on the MSU campus for three spring semesters. Marketed to 6th-12th graders who identify as female, SGWC aims to (1) introduce participants to t
Autor:
Alison Dobbins, Noah Keppers, Madeline Levinson, Laura K. Dillon, Charles B. Owen, Matthew Rhodes
Publikováno v:
International Journal of Pervasive Computing and Communications. 13:26-40
Purpose The purpose of this paper is to present the design and evolution of the Dancing Computer project. Dancing Computer is an ongoing research project at the Michigan State University, which is developing a system that aims to increase computer li
Publikováno v:
SIGCSE
Recently, many computing departments in universities and colleges around the nation have seen increases in enrollments in the major. While these increases are largely welcome, it is important that the student population be diversified even as enrollm
Design and Evaluation of Extensions to UML Sequence Diagrams for Modeling Multithreaded Interactions
Publikováno v:
Information Visualization. 8:120-136
Learning about concurrency and synchronization is difficult for novices. Our research seeks to support and improve the teaching and learning of concurrency concepts and to improve comprehension of the intricacies of multiple thread interactions. This
Publikováno v:
International Journal of Software Engineering and Knowledge Engineering. 17:207-230
This paper explores an approach to design for verification in systems built atop a middleware framework which separates synchronization concerns from the "core-functional logic" of a program. The framework is based on a language-independent compositi
Autor:
Laura K. Dillon, R. E. K. Stirewalt
Publikováno v:
IEEE Transactions on Software Engineering. 29:133-150
Amalia is a generator framework for constructing analyzers for operationally defined formal notations. These generated analyzers are components that are designed for customization and integration into a larger environment. The customizability, and ef
Publikováno v:
MiSE
As a bridge from informal business requirements to precise specifications, conceptual models serve a critical role in the development of enterprise systems. Instantiating conceptual models with test data can help stakeholders validate the model and p
Autor:
R. E. Kurt Stirewalt, Laura K. Dillon
Publikováno v:
SSR
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of software that traverses these structures. Unfortunately, the visitor pattern i
Autor:
Laura K. Dillon, Chang Xu
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 40:38-39
This report summarizes our experience organizing and holding the Software Engineering Educators' Symposium (SEES) in Hong Kong, China in 2014. We describe the event, feedback received from SEES attendees, and lessons learned holding SEES outside the
Publikováno v:
ICSE
Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, such as a specification or programming language. There are, however, many