Fourth International Conference on Software Engineering and Knowledge Engineering: Proceedings |
Contents
Formal Program Developments Directed by Operational Properties Evaluation | 1 |
An Optomized Concurrency Control Algorithm for Transaction Processing | 15 |
Knowledge Engineering for Software Engineering | 26 |
Copyright | |
58 other sections not shown
Common terms and phrases
abstract data type abstraction activities actor algorithm analysis application approach architecture Artificial Intelligence attributes clause CLP(R compilation complex components Computer concept constraints construction cycle data blocks data types database defined definition described diagram domain entity environment evaluation example execution Expert System Figure files formal function goal graph Horn clause IEEE implementation inheritance input instance instantiated integration interaction interface knowledge base knowledge engineering knowledge representation layout logic program method module node object types object-oriented operations OPS5 output performance Petri Petri net predicate problem Proc procedure process models processors production programming language Prolog prototype query recursive relation relationship represent representation requirements reusable reuse reverse engineering rules schema semantics sequence simulation software development Software Engineering software process SPEC specification structure task tion transaction transformation transition tuple variables version space