WorldCat Identities

Abd-El-Hafiz, Salwa K.

Overview
Works: 7 works in 17 publications in 1 language and 213 library holdings
Genres: Academic theses 
Roles: Author
Classifications: QA76.M3,
Publication Timeline
.
Most widely held works by Salwa K Abd-El-Hafiz
Packaging reusable components : the specification of programs by Victor R Basili( Book )

1 edition published in 1992 in English and held by 5 WorldCat member libraries worldwide

This knowledge-base is built, in a specific domain, by designing plans that allow us to recognize stereotypical code patterns and to associate them with their specifications. A consistent and accurate specification of the whole loop construct is then synthesized from the understanding of its fragments. An example is provided to illustrate this technique for a program with a simple loop structure."
A knowledge-based approach to program understanding by Salwa K Abd-El-Hafiz( Book )

2 editions published in 1994 in English and held by 5 WorldCat member libraries worldwide

Abstract: "Program understanding plays an important role in nearly all software related tasks. It is vital to the maintenance and reuse activities and is indispensable for improving the quality of software development. This study presents a knowledge-based program understanding approach, which documents programs by generating first order predicate logic annotations of their loops. A classification of loops according to their complexity levels is presented. Based on this taxonomy, variations on the basic analysis approach that best fit each of the different classes are described. In general, mechanical annotation of loops is performed by first decomposing them using data flow analysis. This decomposition encapsulates closely related statements in events, which can be analyzed individually
A tool for assisting the understanding and formal development of software by Salwa K Abd-El-Hafiz( Book )

1 edition published in 1993 in English and held by 4 WorldCat member libraries worldwide

Finally, different applications of the tool, including the application of assisting the formal development of software, are discussed. This discussion focuses on how the tool can help in validating the proof obligations generated during the last stage of the operation refinement process of VDM and Z."
A knowledge-based approach to the analysis of loops by Salwa K Abd-El-Hafiz( Book )

1 edition published in 1994 in English and held by 4 WorldCat member libraries worldwide

Abstract: "This paper presents a knowledge-based analysis approach which generates first order predicate logic annotations of loops. A classification of loops according to their complexity levels is presented. Based on this taxonomy, variations on the basic analysis approach that best fit each of the different classes are described. In general, mechanical annotation of loops is performed by first decomposing them using data flow analysis. This decomposition encapsulates closely related statements in events, which can be analyzed individually. Specifications of the resulting loop events are then obtained by utilizing patterns, called plans, stored in a knowledge base
Proceedings of the IASTED International Conference on Software engineering as part of the 22nd IASTED International Multi-Conference on Applied Informatics : February 17-19, 2004, Innsbruck, Austria by IASTED International Multi-Conference on Applied informatics( Book )

1 edition published in 2004 in English and held by 2 WorldCat member libraries worldwide

A tool for understanding programs using functional specification abstraction by Salwa K Abd-El-Hafiz( )

1 edition published in 1990 in English and held by 1 WorldCat member library worldwide

 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.67 for Packaging ... to 0.97 for Proceeding ...)

Alternative Names
ʿAbd al-Ḥāfiẓ, Salwā K.

Languages