Search for Author All Reviews
	Chechik, Marsha     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       A survey of tool-supported assurance case assessment techniques Maksimov M., Kokaly S., Chechik M. ACM Computing Surveys 52(5): 1-34, 2019.  Type: Article Assurance case assessment techniques find application in the study of complex system reliability and safety, for example, nuclear reactors, energy systems, aircraft, and so on....... Mar 1 2021     Automatic Analysis of Consistency between Requirements and Designs Chechik M., Gannon J. IEEE Transactions on Software Engineering 27(7): 651-672, 2001.  Type: Article Verifying consistency between requirements and design is an important, but difficult problem. Several techniques have been studied and evaluated in the past, but most of them require the definition of complex program invariants, or soo...... Mar 1 2002     Automatic verification of requirements implementation Chechik M., Gannon J.  Software testing and analysis (Proceedings of the 1994 international symposium, Seattle, Washington, United States, Aug 17-19, 1994) 1-14, 1994.  Type: Proceedings The authors have developed a tool called Analyzer for analyzing requirements coded in Software Cost Reduction (SCR) format. SCR requirements model an event-based system as a state machine that interacts with its environment’s...... Nov 1 1995
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy