Search for Author All Reviews
	France, Robert B.     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        An approach to checking consistency between UML class model and its Java implementation Chavez H., Shen W., France R., Mechling B., Li G. IEEE Transactions on Software Engineering 42(4): 322-344, 2016.  Type: Article Checking for consistency between a design and its implementation is usually done manually. It is crucial to check that the diagrams, especially class diagrams, developed at the design level are consistent with the system as developed a...... Jan 12 2017     A UML-Based Pattern Specification Technique France R., Kim D., Ghosh S., Song E. IEEE Transactions on Software Engineering 30(3): 193-206, 2004.  Type: Article France, Kim, Ghosh, and Song propose a pattern specification technique that employs unified modeling language (UML) pattern design. The proposed technique creates specialized metamodels that characterize UML design models of pattern so...... Oct 8 2004     Semantically Extended Dataflow Diagrams: A Formal Specification Tool France R. IEEE Transactions on Software Engineering 18(4): 329-346, 1992.  Type: Article A technique is presented to semantically extend the dataflow diagrams (DFDs) used in structured analysis to facilitate the use of DFDs as documentation and formal specification tools. A formal specification is generated from a given D...... Aug 1 1993
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy