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-2003 Printed in the United States of America, June, 2003
 

Summary: Integrated Design and Process Technology, IDPT-2003
Printed in the United States of America, June, 2003
2003 Society for Design and Process Science
1
MANAGED ASSERTIONS FOR COMPONENT CONTRACTS
Nam Tran, Christine Mingins, David Abramson
School of Computer Science and Software Engineering
Monash University
900 Dandenong Rd, Caulfield East 3145, Australia
Tel: (61 3) 9903 1218 Fax: (61 3) 9903 1077
Email: {nam.tran, cmingins, davida}@csse.monash.edu.au
ABSTRACT: Behavioral specifications in interface con-
tracts are important measures for improving quality of
software components. Binary components of different
language origins need a common understanding of behav-
ioral contracts to work effectively in component-based
systems. We propose a system by which behavioral speci-
fications in the spirit of Design by ContractTM
can accom-
pany binary components and be available at runtime to

  

Source: Abramson, David - Caulfield School of Information Technology, Monash University

 

Collections: Computer Technologies and Information Sciences