Search for Author All Reviews
	Notkin, David     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 7 reviews       Early detection of collaboration conflicts and risks Brun Y., Holmes R., Ernst M., Notkin D. IEEE Transactions on Software Engineering 39(10): 1358-1375, 2013.  Type: Article Collaboration in software development has become commonplace in industry, and the problems associated with conflicting versions of modified code have drawn some academic attention. The authors of this paper present Crystal (http://crys...... Jan 16 2014     Dynamically Discovering Likely Program Invariants to Support Program Evolution Ernst M., Cockrell J., Griswold W., Notkin D. IEEE Transactions on Software Engineering 27(2): 99-123, 2001.  Type: Article Many teachers of programming advocate the use of comments, but comments do not necessarily reflect what the code actually does, particularly after updating. The use of assertions (executable comments) is better, since their failure wil...... Sep 1 2001     Optimizing Symbolic Model Checking for Statecharts Chan W., Anderson R., Beame P., Notkin D., Jones D., Warner W. IEEE Transactions on Software Engineering 27(2): 170-190, 2001.  Type: Article Formal verification based on state exploration may be superior tosimulation and testing, since every possible behavior of the system ischecked for correctness. The authors report on two case studies thatapply symbolic model checking to...... Jul 1 2001     Evaluating The Mediator Method: Prism as a Case Study Sullivan K., Kalet I., Notkin D. IEEE Transactions on Software Engineering 22(8): 563-579, 1996.  Type: Article The authors present a case study of their experience in applying the mediator method in the development of a complex software environment with highly integrated behavioral relationships. The mediator method, described in a previous pap...... Jul 1 1997     Lightweight lexical source model extraction Murphy G., Notkin D. ACM Transactions on Software Engineering and Methodology 5(3): 262-292, 1996.  Type: Article LSME is a system that extracts useful information (“source models”) such as reference relationships from system artifacts such as source or structured data files. LSME employs user-specified nested regular expressio...... Mar 1 1997     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy