Universität Bremen  
  FB 3  
  AG BKB > Publikationen > Suche > Deutsch
English
 

Suche nach Veröffentlichungen - Detailansicht

 
Art der Veröffentlichung: Artikel in Sammlung
Autor: T. Mossakowski
Herausgeber: M. Nielsen, U. Engberg
Titel: Heterogeneous development graphs and heterogeneous borrowing
Buch / Sammlungs-Titel: Foundations of Software Science and Computation Structures
Band: 2303
Seite(n): 326 – 341
Serie / Reihe: Lecture Notes in Computer Science
Erscheinungsjahr: 2002
Verleger: Springer-Verlag
Abstract / Kurzbeschreibung: Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. Often, different aspects of a software system have to be specified in different logics, since the construction of a huge logic covering all needed features would be too complex to be feasible. Therefore, we introduce em heterogeneous development graphs as a means to cope with heterogeneous specifications.

We cover both the semantics and the proof theory of heterogeneous development graphs. A proof calculus can be obtained either by combining proof calculi for the individual logics, or by representing these in some ``universal'' logic like higher-order logic in a coherent way and then ``borrowing'' its calculus for the heterogeneous language.
Internet: http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,1,1;
PDF Version: http://www.informatik.uni-bremen.de/~till/papers/hetdg.pdf
PostScript Version: http://www.informatik.uni-bremen.de/~till/papers/hetdg.ps
Status: Reviewed
Letzte Aktualisierung: 31. 01. 2006

 Zurück zum Suchergebnis
 
   
Autor: Automatisch generierte Seite
 
  AG BKB 
Zuletzt geändert am: 9. Mai 2023   impressum