Communications of the ACM
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
A formal framework for the Java bytecode language and verifier
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Program development by stepwise refinement
Communications of the ACM
Behavioural analysis of the enterprise JavaBeans component architecture
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Construction engineering II: JavaBeans-based framework for construction simulation
Proceedings of the 32nd conference on Winter simulation
Java Language Specification, Second Edition: The Java Series
Java Language Specification, Second Edition: The Java Series
Type-Safe Prototype-Based Component Evolution
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Proceedings of the 25th International Conference on Software Engineering
A Classification of Concurrency Failures in Java Components
IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
Bean markup language: a composition language for JavaBeans components
COOTS'01 Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 6
Only the Best Can Make It: Optimal Component Selection
Electronic Notes in Theoretical Computer Science (ENTCS)
A survey of component based system quality assurance and assessment
Information and Software Technology
Universal connection architecture for interactive applications to achieve distributed computing
Journal of Network and Computer Applications
| Hi-index | 0.00 |
Component based software development focuses on building software systems by assembling existing software components. This makes the systems more maintainable, reduces development time and minimizes development as well as maintenance costs. The Java programming language supports component based software development through JavaBeansTM. Specifying JavaBeans in a natural language is ambiguous to the software systems developers. The use of a formal technique helps to express JavaBeans and consequently JavaBeans-based software systems precisely . This paper presents a formal model of JavaBeans, whereby a system can be divided into a number of interconnected JavaBeans. We adopt the notion of refinement to formalize the replaceability of JavaBeans.