IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Rigorous Approach to Requirements Validation

Fourth IEEE International Conference on Software Engineering and Formal Methods

Author(s): S. Sukumaran ; A. Sreenivas ; R. Venkatesh
Sponsor(s): IEEE Comput. Soc
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Pune, India
Conference Date: 11 September 2006
Page(s): 236 - 245
ISBN (Paper): 0-7695-2678-0
DOI: 10.1109/SEFM.2006.5
Regular:

Visual notations such as the UML are popularly used by practitioners to model different aspects of a software system. In earlier work, we presented a semantics of UML object diagrams to facilitate... View More

Advertisement