Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
SoS Lablet Reports
CPS-VO
»
SoS Archives
»
SoS Lablet Reports
» CMU
CMU
biblio
Exploring Language Support for Immutability
Submitted by Jamie Presken on Tue, 12/06/2016 - 9:06am
CMU
Empirical studies of programmers
Immutability
July'16
Mutability
Programmer productivity
Programming language design
Programming language usability
CMU
July'16
biblio
Security Requirements Patterns: Understanding the Science Behind the Art of Pattern Writing
Submitted by Jamie Presken on Tue, 12/06/2016 - 8:52am
CMU
Empirical Development of Patterns
security requirements patterns
Software patterns
CMU
biblio
System M: A Program Logic for Code Sandboxing and Identification
Submitted by Jamie Presken on Tue, 12/06/2016 - 8:46am
Apr'15
CMU
CMU
Apr'15
biblio
Robustness of Network Metrics in the Context of Digital Communication Data
Submitted by Jamie Presken on Tue, 12/06/2016 - 8:35am
Apr'15
CMU
digital communication
network analysis
sampling
CMU
Apr'15
biblio
Estimating Centrality Statistics for Large Scale and Sampled Networks: Some Approaches and Complications
Submitted by Jamie Presken on Tue, 12/06/2016 - 8:30am
Apr'15
CMU
graph typology
network analysis
sampling error
CMU
Apr'15
biblio
Inductive and Coinductive Session Types in Higher-Order Concurrent Programs
Submitted by Jamie Presken on Tue, 12/06/2016 - 8:06am
CMU
CMU
biblio
Analyzing Interactions and Isolation among Configuration Options
Submitted by Jamie Presken on Tue, 12/06/2016 - 7:56am
certification
CMU
composability
configuration options
July'14
network analysis
Security Metrics
CMU
July'14
biblio
Domain Specific Security through Extensible Type Systems
Submitted by Jamie Presken on Mon, 12/05/2016 - 2:59pm
CMU
extensibility
security
CMU
biblio
A Framework to Measure Experts' Decision Making in Security Requirements Analysis
Submitted by Jamie Presken on Mon, 12/05/2016 - 2:39pm
CMU
decision-making
July'14
Patterns
requirements analysis
security
Situation Awareness
CMU
July'14
biblio
Software engineering for self-adaptive systems: A second research roadmap
Submitted by Jamie Presken on Mon, 12/05/2016 - 2:09pm
CMU
CMU
« first
‹ previous
…
7
8
9
10
11
12
13
14
15
…
next ›
last »
