WIT Press


A Prototyping Technology For Typed Object-oriented Software Development

Price

Free (open access)

Paper DOI

10.2495/SQM940312

Volume

9

Pages

16

Published

1994

Size

1,390 kb

Author(s)

R. Bagai, S. Alagic & R. Sunderraman

Abstract

We present a typed object-oriented prototyping technology and its associ- ated methodology for large-scale quality software development. The tech- nology supports a design methodology that leads to the development of strongly and largely statically typed software. In addition to pushing static type checking to its limits, the proposed technology relies heavily on Horn logic based specifications that capture the semantic subtleties of the target paradigm. The underlying type system supports advanced features, such as inheritance, behavioural subtyping, and subtype and parametric poly- morphism. The core of the technology is an object-oriented, logic based, strongly-typed specification language, and its interpretive implementation. The result is a powerful prototyping tool for software development, which permits rapid prot

Keywords