The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were sub

This volume results from the four-day scientific Second International East/West Database Workshop which took place 25th-28th September 1994, in Klagenfurt, Aust

This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus

This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE

This volume results from the regular sessions of the Second International Workshop of the Moscow ACM SIGMOD Chapter "Advances in Databases and Information Syste