| Title: | AN IMPLEMENTATION LEVEL FORMAL MODEL FOR JAVABEANS |
| DOI No: | 10.1142/9781860948534_0051 |
| Source: | INNOVATIVE APPLICATIONS OF INFORMATION TECHNOLOGY FOR THE DEVELOPING WORLD (pp 321-329)
|
| Author(s): | BHIM PRASAD UPADHYAYA
Department of Computer Science, Maharishi University of Management, 1000 North 4th Street, Fairfield, IA 52557, USA
BIRENDRA KESHARI
Department of Comptuer Science and Engineering, Kathmandu University, P. O. Box 6250, Kathmandu, Nepal
|
| Abstract: | A formal model containing design level formalisms provides the concepts, notations and properties that can be used while designing and implementing the software of any size and complexity with JavaBeans. This abstraction level does not provide much information in debugging the incorrect programs. Hence, it is necessary to introduce a level of formalisms that provides a way of executing the bean programs step by step on a computer. This paper presents formal aspects of specifying and executing bean programs by refining a formal model with the aid of an observational semantics. |
| Full Text: | View full text in PDF format (338KB) |
| TOC: | Back to Table of Contents |
|
|
