The role for executable specifications in system maintenance

  • Zelkowitz M
  • Cardenas S
  • 5


    Mendeley users who have this article in their library.
  • 1


    Citations of this article.


As software becomes increasingly complex, two attributes of the system life cycle are taking on more important roles. We need the ability to formally specify the functionality of the systems we build in order to minimize costly development problems and, with long life times, we need the ability to enhance existing systems with new features in order to prolong their usefulness. This enhancement process also needs a mechanism for formally defining any new functionality on data objects placed upon the system. This paper describes the AS*research project which is addressing this issue. AS*is a language-independent specification language embedded within an existing programming language for the purpose of providing extensions to existing systems. This paper discusses the designs of AS*, the structure of the prototype implementation and describes some early experiences using the system. © 1991.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Marvin V. Zelkowitz

  • Sergio Cardenas

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free