Search for Author All Reviews
	Rosenblum, David S.     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       Cascading verification: an integrated method for domain-specific model checking Zervoudakis F., Rosenblum D., Elbaum S., Finkelstein A.  ESEC/FSE 2013 (Proceedings of the 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Saint Petersburg, Russia, Aug 18-26, 2013) 400-410, 2013.  Type: Proceedings Model checking is used to verify behavior in system models, and Zervoudakis et al. present cascading verification, a novel technique for checking domain-specific models. In particular, formal knowledge of the domain can be used to incr...... Oct 10 2013     Using component metadata to regression test component-based software Orso A., Do H., Rothermel G., Harrold M., Rosenblum D. Software Testing, Verification & Reliability 17(2): 61-94, 2007.  Type: Article According to Brooks’ often-cited article [1], “The most radical possible solution for constructing software is not to construct it at all.” Component-based software development is popular, using open-sourc...... Nov 13 2007     Modeling software architectures in the Unified Modeling Language Medvidovic N., Rosenblum D., Redmiles D., Robbins J. ACM Transactions on Software Engineering and Methodology 11(1): 2-57, 2002.  Type: Article This is a very interesting technical paper that examines ways in which Unified Modeling Language (UML) provides support for architectural description languages (ADLs). The authors examine two different approaches: one that attempts to ...... Jun 5 2002     Design and evaluation of a wide-area event notification service Carzaniga A., Rosenblum D., Wolf A. ACM Transactions on Computer Systems 19(3): 332-383, 2001.  Type: Article Event notification systems deliver information sent by event publishers to clients who have subscribed to that information. Event notification underlies such now-popular applications as “instant messenger” and stock...... Feb 1 2002     A comparative study of coarse- and fine-grained safe regression test-selection techniques Bible J., Rothermel G., Rosenblum D. ACM Transactions on Software Engineering and Methodology 10(2): 149-183, 2001.  Type: Article Testing software that has been modified to incorporate enhancements or fix defects is a time-consuming effort. Traditionally, test software developed for the initial version of the software is completely re-run with the modified softwa...... Sep 1 2001     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy