Calhoun: The NPS Institutional Archive
Calhoun is the public access digital archive for NPS. The purpose of Calhoun is to make NPS-created scholarly content visible, searchable and available to the world. NPS faculty and researchers are invited to publish research works, documents and data in Calhoun. For more information, contact: NPSCalhoun@nps.edu.Learn more about Calhoun.
Collections in Calhoun
(SpringerLink, 2017-08-10);This paper presents a technique for reverse engineering, a software system generated from a concurrent unified modeling language state machine implementation. In its first step, a primitive sequential finite-state ...
Online, library-based visual formal specification monitoring system for monitoring log-files with visible and hidden data (SpringerLink, 2016-09-28);Runtime Monitoring (RM), also known as Runtime Verification (RV), is the process of monitoring and verifying the sequencing and temporal behavior of an underlying application and comparing it to the correct behavior ...