Paper Info
Title
Formal Analysis of UML-Based Designs
Abstract
This paper describes a design specification and analysis framework to support the 00 design stage. Structural and behavioral specifications of objects are integrated and formalized. To achieve this task, an object-oriented design language that captures the structural and behavioral models was defined. An environment consisting of a graphical user interface (GUI) and a processor for the language was implemented. The GUI supports the generation of UML-based designs. The major tasks of the processor are syntactic and semantic analyses, and code generation. Thus, designs can be evaluated and validated before implementation.
Year
Venue
Keywords
2004
SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2
object-oriented design,design specification,formal analysis,code generation
Field
DocType
Citations 
Programming language,Unified Modeling Language,Computer science,Formal methods
Conference
2
PageRank 
References 
Authors
0.41
3
2
Name
Order
Citations
PageRank
Boumediene Belkhouche15517.44
Anastasia Nix220.41