Sciweavers

488 search results - page 13 / 98
» ST-Tool: A CASE Tool for Security Requirements Engineering
Sort
View
PEPM
2010
ACM
14 years 4 months ago
PET: a partial evaluation-based test case generation tool for Java bytecode
PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Par...
Elvira Albert, Miguel Gómez-Zamalloa, Germ&...
RE
2004
Springer
14 years 23 days ago
RETNA: From Requirements to Testing in a Natural Way
Most problems in building and refining a system can be traced back to errors in requirements. Poorly organized requirements, most often in natural language are among the major ca...
Ravishankar Boddu, Lan Guo, Supratik Mukhopadhyay,...
CLEIEJ
2010
13 years 4 months ago
Synchronous versus Asynchronous interaction between users of two collaborative tools for the production of Use Cases
The performance of requirement engineers in the production of Use Cases is analyzed and compared using a collaborative editor in synchronous mode versus one in asynchronous mode, ...
Carlos M. Fuenzalida, Hector B. Antillanca
SOCO
2009
Springer
14 years 1 months ago
Specifying and Composing Non-functional Requirements in Model-Based Development
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, T...
VIZSEC
2004
Springer
14 years 23 days ago
PortVis: a tool for port-based detection of security events
Most visualizations of security-related network data require large amounts of finely detailed, high-dimensional data. However, in some cases, the data available can only be coars...
Jonathan McPherson, Kwan-Liu Ma, Paul Krystosk, To...