Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Hennicker, Rolf Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 2 of 2 reviews    
  On institutions for modular coalgebraic specifications
Kurtz A., Hennicker R. Theoretical Computer Science 280(1-2): 69-103, 2002.  Type: Article

Consider the set of operations in a specification for a state-based system. It is a common idea to split the set into “observers,” which determine an equivalence for the objects under consideration, and “...
...
Oct 18 2002  
  Observational implementation of algebraic specifications
Hennicker R. Acta Informatica 28(3): 187-230, 1991.  Type: Article

Hennicker takes an observational approach to the construction of implementations of algebraic specifications. An implementation is correct if it satisfies the input/output behavior required by the specification, irrespective of its int...
...
Jul 1 1992  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy