A Lightweight Code Analysis and its Role in Evaluation of a Dependability Case Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Insti

First Page		Document Content
Date: 2012-02-19 15:58:07 Systems engineering Formal methods Software requirements Quality Safety engineering Dependability Reliability engineering Problem frames approach Software development methodology Software development Software Science		A Lightweight Code Analysis and its Role in Evaluation of a Dependability Case Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Insti Add to Reading List Source URL: people.csail.mit.edu Download Document from Source Website File Size: 484,83 KB Share Document on Facebook

	Towards a methodology for rigorous development of generic requirements patterns DocID: 1rqUO - View Document
	University of Washington CSE 403 Software Engineering Spring 2015 Final Exam June 08, 2015 DocID: 1roMU - View Document
	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.2.A DocID: 1rf0O - View Document
	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1-1 DocID: 1qOkE - View Document
	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D27 DocID: 1qLb7 - View Document