Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
PROPEL:An Approach Supporting Property Elucidation Rachel L. Smith, George S. Avrunin, LoriA. Clarke, and Leon J. Osterweil
 

Summary: PROPEL:An Approach Supporting Property Elucidation
Rachel L. Smith, George S. Avrunin, LoriA. Clarke, and Leon J. Osterweil
Departmentof Computer Science
Universityof Massachusetts
Amherst, Massachusetts01003
(413) 545-2013
{rasmith, avrunin, clarke, Ijo}@cs.umass.edu
ABSTRACT
Property specifications concisely describe what a software system
is supposed to do. It is surprisingly difficult to write these
properties correctly. There are rigorous mathematical formalisms
for representing properties, but these are often difficult to use. No
matter what notation is used, however, there are often subtle, but
important, details that need to be considered. PROPEL aims to
make the job of writing and understanding properties easier by
providing templates that explicitly capture these details as options
for commonly-occurring property patterns. These templates are
represented using both "disciplined" natural language and finite-
state automata, allowing the specifier to easily move between
these two representations.

  

Source: Avrunin, George S. - Department of Mathematics and Statistics, University of Massachusetts at Amherst

 

Collections: Mathematics