Följ
Robyn Lutz
Titel
Citeras av
Citeras av
År
Analyzing software requirements errors in safety-critical, embedded systems
RR Lutz
IEEE Int'l Symp Requirements Engineering, 126-133, 1993
4561993
Experiences using lightweight formal methods for requirements modeling
S Easterbrook, R Lutz, R Covington, J Kelly, Y Ampo, D Hamilton
IEEE Transactions on Software Engineering 24 (1), 4-14, 1998
2441998
Software engineering for safety
RR Lutz
Proceedings of the 22th International Conference on Software Engineering …, 2000
212*2000
A software fault tree approach to requirements analysis of an intrusion detection system
G Helmer, J Wong, M Slagell, V Honavar, L Miller, R Lutz
Requirements Engineering Journal 7 (4), 207-220, 2002
1872002
Targeting safety-related errors during software requirements analysis
RR Lutz
1st SIGSOFT Symposium on Foundations of Software Engineering (FSE) 18 (5 …, 1993
1871993
Safety analysis of software product lines using state-based modeling
J Liu, J Dehlinger, R Lutz
Journal of Systems and Software 80 (11), 1879-1892, 2007
1252007
Safety analysis of software product lines using state-based modeling
J Liu, J Dehlinger, R Lutz
Software Reliability Engineering, 2005. ISSRE 2005. 16th IEEE International …, 2005
1252005
Empirical analysis of safety-critical anomalies during operations
RR Lutz
IEEE Transactions on Software Engineering 30 (3), 172-180, 2004
1112004
Requirements analysis using forward and backward search
RR Lutz, RM Woodhouse
Annals of Software Engineering 3 (1), 459-475, 1997
1071997
Software fault tree analysis for product lines
J Dehlinger, RR Lutz
8th IEEE Int'l Symp High Assurance Systems Engineering, 12-21, 2004
852004
Compositional model checking of software product lines using variation point obligations
J Liu, S Basu, RR Lutz
Automated Software Engineering 18 (1), 39-76, 2011
742011
PLFaultCAT: A product-line software fault tree analysis tool
J Dehlinger, RR Lutz
Automated Software Engineering 13 (1), 169-193, 2006
672006
Operational anomalies as a cause of safety-critical requirements evolution
RR Lutz, IC Mikulski
Journal of Systems and Software 65 (2), 155-161, 2003
662003
Bi-directional analysis for certification of safety-critical software
RR Lutz, RM Woodhouse
First Int'l Sofware Assurance Certification Conf, 1999
651999
Trace queries for safety requirements in high assurance systems
J Cleland-Huang, M Heimdahl, J Huffman Hayes, R Lutz, P Maeder
Requirements Engineering: Foundation for Software Quality: 18th …, 2012
642012
Parallel web service composition in moscoe: A choreography-based approach
J Pathak, S Basu, R Lutz, V Honavar
4th European Conf on Web Services, 3-12, 2006
532006
Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle
R Lutz, A Patterson-Hine, S Nelson, CR Frost, D Tal, R Harris
Requirements Engineering 12, 41-54, 2007
522007
Are change metrics good predictors for an evolving software product line?
S Krishnan, C Strasburg, RR Lutz, K Goševa-Popstojanova
Proceedings of the 7th International Conference on Predictive Models in …, 2011
512011
Extending the product family approach to support safe reuse
RR Lutz
Journal of Systems and Software 53 (3), 207-217, 2000
502000
Bi-directional safety analysis of product lines
Q Feng, RR Lutz
Journal of Systems and Software 78 (2), 111-127, 2005
482005
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20