Zobrazeno 1 - 10
of 34
pro vyhledávání: '"Jeffrey J. Joyce"'
Publikováno v:
SAE Technical Paper Series.
Publikováno v:
RE
The feature interaction problem appears in many different kinds of complex systems, especially systems whose elements are created or maintained by separate entities - for example, a modern automobile that incorporates electronic systems produced by d
Publikováno v:
SAE Technical Paper Series.
Autor:
Jeffrey J. Joyce, Michael R. Donat
Publikováno v:
INCOSE International Symposium. 8:166-170
A partially automated process for generating test procedures has been experimentally applied to a portion of the Software Requirements Specification for an Air Traffic Management system. This process uses algorithms based on formal logic to automate
Publikováno v:
2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE).
Publikováno v:
INCOSE International Symposium. 6:463-470
This paper describes the possible process elements and benefits of applying “Formal Methods” to the specification and testing of software requirements. It is argued that the overall effort required to generate test cases can be significantly redu
Autor:
Jeffrey J. Joyce, Kalman C. Toth
Publikováno v:
INCOSE International Symposium. 5:917-921
This paper advocates the use of process definition methods to drive the “industrialization” of new techniques – that is, the transformation of a technique, or combination of techniques, developed by a research organization into a production pro
Publikováno v:
MiSE
We propose to use model checking to detect feature interactions in a set of features under design for an automotive embedded system. In this paper, we present (1) the characteristics of the feature interaction problem in the automotive domain that ma
Autor:
Jeffrey J. Joyce, Nancy A. Day
Publikováno v:
ICRE
Many organizations desire the convenience of using multiple notations within a requirements specification. Rather than using separate tools for each notation, we advocate combining the parts semantically for tool-based analysis. We describe a framewo
Autor:
Nancy A. Day, Jeffrey J. Joyce
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540664635
TPHOLs
TPHOLs
Symbolic functional evaluation (SFE) is the extension of an algorithm for executing functional programs to evaluate expressions in higher-order logic. SFE carries out the logical transformations of expanding definitions, beta-reduction, and simplific
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::96a206bcded93b7347f8a9458c96a249
https://doi.org/10.1007/3-540-48256-3_23
https://doi.org/10.1007/3-540-48256-3_23