ผู้เขียน: Moira C. Norrie

Increasingly, formal specification is being used by database researchers to describe and understand the systems they are designing and implementing. Similarly, those working on formal specification t …

Since the late 1980s, the CAi SE conferences have provided a forum for the p- sentation and exchange of research results and practical experiences within the ?eld of Information Systems Engineering. …

…

This book constitutes the refereed proceedings of the 25th International Conference on Advanced Information Systems Engineering, CAi SE 2013, held in Valencia, Spain, in June 2013.The 44 revised full …