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