Learn More
Formal specifications have been proposed as a basis for accessing reusable components from libraries, and various fine-grained specification-matching approaches have been developed to assist in searching libraries. Typically, however, the granularity of matching has been too fine for reuse to be effective. Compounding the problem is the fact that(More)
Phatak, Sucheta Chintamani. Master of Science, Purdue University, August, 2009. Multilevel Specification for Adaptive Services. Major Professor: Rajeev Raje. Software services which are integral part of a distributed system are traditionally developed using a fixed set of design decisions. Such a set places limits on the capabilities of the service. Factors(More)
Component based software engineering (CBSE), can in principle lead to savings in the time and cost of software development, by encouraging software reuse. However the reality is that CBSE has not been widely adopted. From a technical perspective, the reason is largely due to the difficulty of locating suitable components in the library and adapting these(More)
The CARE project investigated integration of wellunderstood formal development principles into an industrial organisation’s software development methodology. The result was a method for construction and verification of programs from formal specifications, using libraries of preproven, formally specified components. Tools help the user build products by(More)