Combining software evidence - Research Database, The University of York

By the same authors

Using Scenarios to Identify and Trade-Off Dependability Objectives in Design
Despotou, G., McDermid, J. A. & Kelly, T. P., 2005.
Research output: Contribution to conference › Paper › peer-review
A framework for synthesis of safety justification for digitally enabled healthcare services
Despotou, G., Ryan, M., Arvanitis, T. N., Rae, A. J., White, S., Kelly, T. & Jones, R. W., 24 Apr 2017
Article in DIGITAL HEALTH
Assurance cases and prescriptive software safety certification: a comparative study
Hawkins, R. D., Habli, I., Kelly, T. & McDermid, J. A., Nov 2013
Article in Safety science
Large-scale complex IT Systems
Sommerville, I., Cliff, D., Calinescu, R., Keen, J., Kelly, T., Kwiatkowska, M., McDermid, J. & Paige, R., Jul 2012
Article in Communications of the ACM
Introducing safety cases for health IT
Despotou, G., Kelly, T., White, S. & Ryan, M., 2012, Software Engineering in Health Care (SEHC), 2012 4th International Workshop on. p. 44-50
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

From the same journal

Challenges and Opportunities in Agile Development in Safety Critical Systems: A Survey
Doss, O. & Kelly, T. P., Mar 2016
Article in ACM SIGSOFT Software Engineering Notes
Failure modelling in software architecture design for safety
Wu, W. & Kelly, T., 2005
Article in ACM SIGSOFT Software Engineering Notes

Combining software evidence: arguments and assurance

Research output: Contribution to journal › Article › peer-review

Links

http://doi.acm.org/10.1145/1082983.1083182

Author(s)

Department/unit(s)

Computer Science

Publication details

Journal	ACM SIGSOFT Software Engineering Notes
Date	Published - 2005
Issue number	4
Volume	30
Number of pages	7
Pages (from-to)	1-7
Original language	English

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

York staff: edit these data