Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
software engineering
biblio
A Regression Model Based Approach for Identifying Security Requirements in Open Source Software Development
Submitted by grigby1 on Mon, 03/05/2018 - 1:08pm
open source software development
up-front RE
textual information retrieval techniques
testing
software engineering
security requirements identification methods
security requirements identification
security of data
security
Resiliency
resilience
requirements engineering
regression model based approach
regression analysis
pubcrawl
OSS projects
coding theory
Open Source Software
Metrics
Measurement
Logistics
logistic regression
lightweight representation
just-in-time requirements engineering
information retrieval
Formal Specification
Cryptography
Compositionality
Complexity theory
comment writing
comment security aspect
biblio
A Software Security Case Developing Method Based on Hierarchical Argument Strategy
Submitted by grigby1 on Fri, 02/02/2018 - 1:27pm
Reliability engineering
threat classification
Stakeholders
software reliability
software engineering
software assurance
Software
security of data
security
Scalability
Safety
argument pattern
pubcrawl
pattern classification
hierarchical software security case development method
hierarchical asset-threat-control
hierarchical argument strategy
composability
assurance case
asset identification
asset classification
argument strategy
biblio
Improving Attention to Security in Software Design with Analytics and Cognitive Techniques
Submitted by grigby1 on Fri, 02/02/2018 - 1:27pm
software design
security
security design
Security Engineering
security knowledge
security of data
social aspects of automation
Software
software assurance
secure software
software development life cycle
software engineering
software security
testing
threat
tools
Vulnerability
encoding
build security in
building security in
Buildings
chasm
cognitive techniques
composability
developer productivity
diverse development organization
automated tools
Organizations
pubcrawl
Scalability
SDLC
secure design
secure development
secure engineering
biblio
An IDE for the Design, Verification and Implementation of Security Protocols
Submitted by grigby1 on Wed, 01/10/2018 - 12:19pm
intuitive language AnB
verification
tools
software engineering
security protocols
security of data
secure distributed applications
Resiliency
pubcrawl
Protocols
protocol verification
program verification
program compilers
model checker OFMC
Java
AnBx compiler
integrated development environment
implementation
Generators
formal verification
Formal Specification
formal modelling
formal method tools
encryption
Eclipse-based IDE
design
dependable distributed applications
composability
compiler security
code generator
biblio
Cross-Project Defect Prediction Using a Credibility Theory Based Naive Bayes Classifier
Submitted by grigby1 on Thu, 12/28/2017 - 1:30pm
predictive security metrics
transfer learning
Training data
Training
target projects
target data distribution
standards
source projects
software quality
software engineering
Software
quality assurance
pubcrawl
program debugging
Bayes methods
Predictive models
Predictive Metrics
pattern classification
novel reweighting mechanism
Nai¨ve Bayes classifier
Metrics
Insurance
cross-project defect prediction
credibility theory based naive Bayes classifier
credibility theory
CPDP
computer science
biblio
Columbus: Filesystem Tree Introspection for Software Discovery
Submitted by grigby1 on Tue, 12/12/2017 - 1:19pm
Metadata Discovery Problem
tools
standards
software packaging knowledge
software packages
software management
software engineering
software discovery
Scalability
Resiliency
querying package management tools
pubcrawl
program diagnostics
problem diagnosis
Packaging
Operational analytics
agile development practices
metadata
meta data
machine learning methods
licensing requirement compliance
learning (artificial intelligence)
filesystem tree introspection
file metadata
feature extraction
drift detection situations
Docker Images
data structures
Compositionality
Columbus
Cloud Computing
cloud
biblio
Security threat identification using energy points
Submitted by grigby1 on Mon, 12/04/2017 - 12:58pm
pubcrawl
software engineering
software development lifecycle
Software
security threat identification
security process
security of data
security mechanisms
security breaches
SDLC
Scientific Computing Security
Resiliency
Central Processing Unit
Power demand
power aware computing
Metrics
energy points
energy consumption
energy based denial of service attacks
DoS attack
cosmic Method
Computers
Computer crime
Compositionality
biblio
Security Expert Recommender in Software Engineering
Submitted by K_Hooper on Wed, 11/01/2017 - 11:09am
expert recommendation
expert systems
Human behavior
information security
Ontology
pubcrawl
recommender system
resilience
Scalability
software engineering
stack overflow
biblio
Privacy-by-Design Framework for Assessing Internet of Things Applications and Platforms
Submitted by K_Hooper on Wed, 10/25/2017 - 11:55am
Human behavior
Internet of Things
privacy
Privacy Policies
pubcrawl
Scalability
software engineering
file
07965451.pdf
Submitted by drwright on Wed, 09/06/2017 - 11:29am
RASA
test efforts
Stack traces
Software systems
software engineering
software development lifecycle
security of data
security
risk-based attack surface approximation
attack surface
random sampling
proactive security reviews
prediction models
Mozilla Firefox
microsoft windows
Measurement
Computer bugs
« first
‹ previous
…
9
10
11
12
13
14
15
16
17
next ›
last »
