DocumentCode :
3387655
Title :
Generating Java Code from Design Patterns Formalized in BPSL
Author :
Taibi, Toufik ; Mkadmi, Taieb
Author_Institution :
Coll. of Inf. Technol., United Arab Emirates Univ., Al Ain
fYear :
2006
fDate :
Nov. 2006
Firstpage :
1
Lastpage :
5
Abstract :
Design patterns are typically described using informal notations which give rise to ambiguity and limit tool support. Balanced pattern specification language (BPSL) is intended to formally specify patterns in order to allow rigorous reasoning about them and facilitate tool support. This work describes the design and development of a Java code generator from BPSL specification of the structural aspect of patterns. The tool first parses a BPSL specification in order to check its lexical, syntactic and semantic correctness, before generating a skeleton Java code
Keywords :
Java; object-oriented programming; specification languages; Java code; Java-based lexer; balanced pattern specification language; object oriented programming; Character generation; Design methodology; Educational institutions; Java; Logic; Skeleton; Software quality; Specification languages; BPSL; CUP; JLex; lexer; parser;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Innovations in Information Technology, 2006
Conference_Location :
Dubai
Print_ISBN :
1-4244-0674-9
Electronic_ISBN :
1-4244-0674-9
Type :
conf
DOI :
10.1109/INNOVATIONS.2006.301944
Filename :
4085459
Link To Document :
بازگشت