![]() |
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
||
Showing 1 - 1 of 1 matches in All Departments
This book presents an overview of two approaches to software engineering - formal methods and object-oriented techniques - and by extracting the best aspects of each demonstrates how better and safer software is being developed. Three main strands of research are identified and discussed: the application of formal techniques to object technology; the extension of formal methods with object-oriented concepts; and the formal foundations of object technology. Examples of each approach are included and areas such as concurrency and real time, which are especially important in the development of large scale, distributed and safety critical systems, are addressed. By focusing on these two, previously independent, techniques and illustrating how their merger is resulting in the development of tools which are essential to the development of large scale software the editors of this book have provided valuable coverage of this rapidly developing and important area.
|
You may like...
Emerging Trends in Neuro Engineering and…
Asim Bhatti, Kendall H. Lee, …
Hardcover
R4,666
Discovery Miles 46 660
Cuito Cuanavale - 12 Months Of War That…
Fred Bridgland
Paperback
(4)
Viral, Parasitic, Bacterial, and Fungal…
Debasis Bagchi, Amitava Das, …
Paperback
R3,433
Discovery Miles 34 330
Coquelle Thompson, Athabaskan Witness…
Lionel Youst, William R. Seaburg
Hardcover
R1,070
Discovery Miles 10 700
Clinically Relevant Resistance in Cancer…
Borje Andersson, David Murray
Hardcover
R2,711
Discovery Miles 27 110
|