What people are saying - Write a review
We haven't found any reviews in the usual places.
An Optomized Concurrency Control Algorithm for Transaction Processing
Knowledge Engineering for Software Engineering
An Integrated System for Query Formulation and Database Design
37 other sections not shown
abstract data type abstraction activities actor algorithm analysis application approach architecture Artificial Intelligence attributes CLP(R compilation complex components Computer concept constraints construction context cycle data blocks data type database defined definition described diagram domain entity environment evaluation example execution expert system Figure files formal function goal graph graphic object Horn clause IEEE implementation inheritance input instance instantiation integration interaction interface knowledge base knowledge engineering knowledge representation layout logic program method module node object types object-oriented operations OPS5 output performed predicate problem Proc procedure process models production programming language Prolog protein prototype query recursive relation relationship represent representation requirements reusable reuse reverse engineering rules schema semantics sequence simulation software development Software Engineering Software Maintenance software process software system SPEC specification task tion transaction transformation tuple variables version space