3 stories on
Sort by: Date | Relevance
whitepaper This paper describes an approach for verifying programs in the presence of data abstraction and information hiding, which are key features of modern programming languages with objects and modules. The paper introduces a new specification language...
[10 Apr 2008]
whitepaper It has to comply with the requirements of the business process, which is the first abstraction of the view of the database. The database needs a structure definition to be able to store data and to recognize the content and be able to retrieve...
[03 Aug 2004]
whitepaper Such a document is the interface allowing to exchange monitoring information between peer components located in different domains as well as between components at different levels of abstraction in the same domain.
[16 Jul 2004]
Sort by: Date | Relevance
Copyright ©1995-2008 CNET Networks, Inc. All rights reserved. Top of page