𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Software Engineering Foundations

✍ Scribed by Yingxu Wang


Publisher
AUERBACH / CRC Press
Year
2007
Tongue
English
Leaves
1419
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Foundations of Software Engineering
✍ Ashfaque Ahmed, Bhanu Prasad πŸ“‚ Library πŸ“… 2016 πŸ› Auerbach Publications;CRC Press 🌐 English

<P>The best way to learn software engineering is by understanding its core and peripheral areas. <B>Foundations of Software Engineering</B> provides in-depth coverage of the areas of software engineering that are essential for becoming proficient in the field. The book devotes a complete chapter to

Software Engineering Foundations: A Soft
✍ Yingxu Wang (Author) πŸ“‚ Library πŸ“… 2007 πŸ› Auerbach Publications

<p>A groundbreaking book in this field, Software Engineering Foundations: A Software Science Perspective integrates the latest research, methodologies, and their applications into a unified theoretical framework. Based on the author`s 30 years of experience, it examines a wide range of underlying th

Foundations for Software Engineering Met
✍ Hussmann H. πŸ“‚ Library 🌐 English

Π˜Π·Π΄Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ Springer, 1997, -288 pp.<div class="bb-sep"></div>Formal methods in computer science aim at a scientific foundation on which methods and tools for practical system construction can be based. Practice requires methods for the specification of software systems, tools for checking specific

Formal Foundations for Software Engineer
✍ Heinrich Hußmann (eds.) πŸ“‚ Library πŸ“… 1997 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integration of the different methods is demonstrated. Secondly, the formalism is used as a systematic semant

Formal Foundations for Software Engineer
✍ Heinrich Hußmann (eds.) πŸ“‚ Library πŸ“… 1997 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integration of the different methods is demonstrated. Secondly, the formalism is used as a systematic semant