Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Integrated Design and Process Technology, IDPT-2002 Printed in the United States of America, June, 2002
 

Summary: Integrated Design and Process Technology, IDPT-2002
Printed in the United States of America, June, 2002
c2002 Society for Desing and Process Science
On Specification Carrying Software,
its Refinement and Composition
Matthias Anlauff and Dusko Pavlovic
Kestrel Institute, Palo Alto
ma,dusko @kestrel.edu
ABSTRACT:
In this paper, we present the framework of evolving spec-
ifications (especs), implementing, in the categorical setting
of algebraic specifications, a logical view of state, known
from Hoare logic to abstract state machines (evolving al-
gebras). The categorical support for both top-down and
bottom-up development is thus extended from the refine-
ment and composition of the structure of programs, to the
refinement and composition of their behaviors.
While they were originally defined as specifications car-
rying state machines, especs can also be viewed from an-
other angle, as software components carrying their specifi-

  

Source: Anlauff, Matthias - Kestrel Institute

 

Collections: Computer Technologies and Information Sciences