This tuturial offers selected papers from the LASER summer Schools 2007 and 2008, covering verification of fine-grain concurrency and transactions, the SCOOP mo

(NOTE: this Beta Edition may contain errors. See http://saasbook.info for details.) A one-semester college course in software engineering focusing on cloud comp

This book covers diverse aspects of advanced computer and communication engineering, focusing specifically on industrial and manufacturing theory and applicatio

This text is written with a business school orientation, stressing the how to and heavily employing CASE technology throughout. The courses for which this text

This text teaches students basic software engineering skills and helps practitioners refresh their knowledge and explore recent developments in the field, inclu