Fourth International Conference on Software Engineering and Knowledge Engineering: Proceedings

Front Cover
IEEE Computer Society Press, 1992 - Expert systems (Computer science) - 641 pages

From inside the book

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

Bibliographic information