Formal requirements elicitation with FRET
D Giannakopoulou, A Mavridou, J Rhein… - … for Software Quality …, 2020 - ntrs.nasa.gov
FRET is a tool for writing, understanding, formalizing and analyzing requirements. Users
write requirements in an intuitive, restricted natural language, called FRETISH, with precise …
write requirements in an intuitive, restricted natural language, called FRETISH, with precise …
Generation of formal requirements from structured natural language
D Giannakopoulou, T Pressburger, A Mavridou… - … Foundation for Software …, 2020 - Springer
Abstract [Motivation] The use of structured natural languages to capture requirements
provides a reasonable trade-off between ambiguous natural language and unintuitive formal …
provides a reasonable trade-off between ambiguous natural language and unintuitive formal …
Validated templates for specification of complex LTL formulas
Formal verification approaches that check software correctness against formal specifications
have been shown to improve program dependability. Tools such as Specification Pattern …
have been shown to improve program dependability. Tools such as Specification Pattern …
Online testing of LTL properties for Java code
LTL specifications are commonly used in runtime verification to describe the requirements
about the system behavior. Efficient techniques derive, from LTL specifications, monitors that …
about the system behavior. Efficient techniques derive, from LTL specifications, monitors that …
Verification requirements for secure and reliable cloud computing
WA Ghumman, J Lässig - 2013 International Conference on …, 2013 - ieeexplore.ieee.org
Cloud computing has been widely adopted in a large variety of applications. This brings
besides others also many new challenges in the fields of security and reliability. Like any …
besides others also many new challenges in the fields of security and reliability. Like any …
An approach to enhance students' competency in software verification techniques
In this paper we present an approach used to enhance students' competency in software
verification. Students were asked to apply software verification techniques to a complex …
verification. Students were asked to apply software verification techniques to a complex …
[PDF][PDF] Consistency Checks of System Properties Using LTL and Büchi Automata.
Although formal approaches to software assurance such as model checking and theorem
proving improve system dependability, software development professionals have yet to …
proving improve system dependability, software development professionals have yet to …
[PDF][PDF] Enhancing Property Specification Tools With Validation Techniques.
S Salamah, M Del Buono, E Baily, S Printy, D Ferris… - SEKE, 2009 - Citeseer
Although formal approaches to software assurance such as runtime monitoring and model
checking have been shown to improve system dependability, software development …
checking have been shown to improve system dependability, software development …
[图书][B] Specification of data properties to identify anomalies in scientific sensor data
IJ Gallegos - 2011 - search.proquest.com
Environmental scientists use advanced sensor technology such as meteorological towers,
wireless sensor networks and robotic trams equipped with sensors to perform data collection …
wireless sensor networks and robotic trams equipped with sensors to perform data collection …
[PDF][PDF] Salamah Salamah, Ph. D.
PB Specifications - Cell, 2006 - hb2504.utep.edu
Salamah Salamah, Ph.D. Page 1 Salamah Salamah, Ph.D. Associate Professor Computer
Science The University of Texas at El Paso Office: 915-747-6671 isalamah@utep.edu Education …
Science The University of Texas at El Paso Office: 915-747-6671 isalamah@utep.edu Education …