DocumentCode :
2640831
Title :
Supporting tool for assembling software specification and design methods
Author :
Saeki, Motoshi ; Tsuchida, Mikiya ; Nishiue, Koichiro
Author_Institution :
Dept. of Comput. Sci., Tokyo Inst. of Technol., Japan
fYear :
2000
fDate :
2000
Firstpage :
419
Lastpage :
428
Abstract :
Specification and design methods for software systems and their support tools are one of the most significant key factors for obtaining success in development projects. Although we have many excellent methods, such as object-oriented analysis and design, we should adapt them into methods that are suitable for a project and its environment, so that we can have more powerful and effective methods. CAME (computer-aided method engineering) is a computerized tool to support the construction and management of methods. Our CAME tool has a method base that stores method fragments and supports in order to assemble the fragments into a suitable method. The method base is implemented on an object base system, and the operations for editing and assembling method fragments are done with a method editor on the WWW. The tool generates the schema of a repository from the product description of a method, and Web pages from its procedural description. The generated Web pages guide the developers following the method, and invoke suitable CASE tools. To generate meaningful method fragments, we need method assembly rules. Our CAME tool can check if the fragments are satisfied with these rules or not, by using Prolog
Keywords :
computer aided software engineering; formal specification; formal verification; information resources; object-oriented methods; software tools; CAME tool; CASE tools; Prolog; Web page generation; World Wide Web; computer-aided method engineering; editing operations; formal verification; method assembly rules; method base; method editor; method fragment assembly; object base system; object-oriented analysis; object-oriented design; product description; repository schema generation; software design methods; software development projects; software specification methods; Assembly; Design methodology; Engineering management; Power engineering and energy; Power engineering computing; Power system management; Software design; Software systems; Software tools; Web pages;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Software and Applications Conference, 2000. COMPSAC 2000. The 24th Annual International
Conference_Location :
Taipei
ISSN :
0730-3157
Print_ISBN :
0-7695-0792-1
Type :
conf
DOI :
10.1109/CMPSAC.2000.884759
Filename :
884759
Link To Document :
بازگشت