- Full text PDF available (1)
- This year (0)
- Last 5 years (1)
- Last 10 years (2)
Journals and Conferences
The paper provides a framework for precise definition of refinement. The notions of perspective and abstraction level for UML models are defined. Two kinds of refinement are explained: abstraction-level refinement and semantic-level refinement.
This is an attempt to use continous algebras to describe the semantics of CSP—continuity being used to solve recursive definitions of processes as infinite objects. By so doing, we combine the algebraic specifications of abstract data types with CSP to make up 2 new language, which is recommended as a promising candidate of specification language for… (More)
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 JavaBeanstrade. Specifying… (More)