Semi-automatic program construction from specifications using library modules

Nishida, Fujio; Takamatsu, Shinobu; Fujita, Yoneharu; Tani, Tadaaki

doi:10.1109/32.92909

Cited by 19 publications

(4 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Various diagrammatic program design techniques have been developed [1][2] and some of them can generate source codes automatically. We have also studied a method of semi-automatic specification refinement and program generation using library modules [3].…”

Section: Introductionmentioning

confidence: 99%

Input-Output Conditions for Automatic Program Generation Using Petri Nets

Osogami

Yamanishi

Uosaki

2011

Knowledge-Based and Intelligent Information and Engineering Systems

View full text Add to dashboard Cite

Abstract. Recently, demand for software has been increasing due to the influence of factory and office automation, so a software crisis has begun. Concerned with this situation, interest of automatic program generation has been increased. An automatic program generation system MAPP(Module Aided Programming system by Prolog) uses specifications written in easily understood language, and data structures with customized target objects using the generic Prolog module library. During program generation, using input and output conditions of modules, MAPP tries to compensate for any missing specifications when they are not completely described. In this paper, Petri nets will be used corresponds input-output conditions check of MAPP modules. The reachability of Petri net is mathematically analyzable using state equation, algebraic equation or incidence matrices of Petri nets.

show abstract

Section: Introductionmentioning

confidence: 99%

Input-Output Conditions for Automatic Program Generation Using Petri Nets

Osogami

Yamanishi

Uosaki

2011

Knowledge-Based and Intelligent Information and Engineering Systems

View full text Add to dashboard Cite

show abstract

“…As to this problem [1][2][3], for example, literature [1] studied on a manufacturing system reconstruction method, Kang, Tzong-Shyan studied automatic processing program system feature representation and classification [2]. Literature [4] use improved hybrid genetic algorithm to optimize the multi-set expression of the knowledge network, resulting in new knowledge network and a new system.…”

Section: Introductionmentioning

confidence: 99%

Minimum Automatic Construction of the Adaptive MIS Based on the User’s Function Requirement

Xue

2012

AMR

View full text Add to dashboard Cite

This paper deals with the minimum automatic construction approach to the Management Information Systems (MIS) based on the user’s function requirement. Firstly, the principles of MIS minimum construction are proposed, and the matching problem in the minimum construction is analyzed. Then the contracted conformity degree of the module functions is defined and the matching algorithms of modules in the bottom layer are given. Then, the steps of minimum automatic construction are also presented. Finally, the automatic construction is exemplified, the result of which shows the effectiveness and the feasibility of the method.

show abstract

“…The goal of software reuse is to increase the productivity of programmers and improve the quality of Using formal speci cations to represent software components facilitates determination of reusability because the formal representation more precisely characterizes the functionality of the software 8,9,10,11,12]. In addition, the well-de ned syntax of formal speci cation languages makes processing amenable to automation.…”

Section: Introductionmentioning

confidence: 99%

Using Automated Reasoning Techniques to Determine Software Reuse

Jeng

Cheng

1992

Int. J. Soft. Eng. Knowl. Eng.

View full text Add to dashboard Cite

Reusing software may greatly increase the productivity of software engineers and improve the quality of developed software. Software component libraries have been suggested as a means for facilitating reuse. A major difficulty in designing software libraries is in the selection of a component representation that will facilitate the classification and the retrieval processes. Using formal specifications to represent software components facilitates the determination of reusable software because they more precisely characterize the functionality of the software, and the well-defined syntax makes processing amenable to automation. This paper presents an approach, based on formal methods, to the classification, organization and retrieval of reusable software components. From a set of formal specifications, a two-tiered hierarchy of software components is constructed. The formal specifications represent software that has been implemented and verified for correctness. The lower-level hierarchy is created by a subsumption test algorithm that determines whether one component is more general than another; this level facilitates the application of automated logical reasoning techniques for a fine-grained, exact determination of reusable candidates. The higher-level hierarchy provides a coarse-grained determination of reusable candidates and is constructed by applying a hierarchical clustering algorithm to the most general components from the lower-level hierarchy. The hierarchical organization of the software component specifications provides a means for storing, browsing, and retrieving reusable components that is amenable to automation. In addition, the formal specifications facilitate the verification process that proves a given software component correctly satisfies the current problem. A prototype browser that provides a graphical framework for the classification and retrieval process is described.

show abstract

Semi-automatic program construction from specifications using library modules

Cited by 19 publications

References 18 publications

Input-Output Conditions for Automatic Program Generation Using Petri Nets

Input-Output Conditions for Automatic Program Generation Using Petri Nets

Minimum Automatic Construction of the Adaptive MIS Based on the User’s Function Requirement

Using Automated Reasoning Techniques to Determine Software Reuse

Contact Info

Product

Resources

About