Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Formal Methods for Software Engineering - Languages, Methods, Application Domains (Hardcover, 1st ed. 2022)
Loot Price: R1,245
Discovery Miles 12 450
You Save: R591
(32%)
|
|
Formal Methods for Software Engineering - Languages, Methods, Application Domains (Hardcover, 1st ed. 2022)
Series: Texts in Theoretical Computer Science. An EATCS Series
Expected to ship within 12 - 17 working days
|
Software programs are formal entities with precise meanings
independent of their programmers, so the transition from ideas to
programs necessarily involves a formalisation at some point. The
first part of this graduate-level introduction to formal methods
develops an understanding of what constitutes formal methods and
what their place is in Software Engineering. It also introduces
logics as languages to describe reasoning and the process algebra
CSP as a language to represent behaviours. The second part offers
specification and testing methods for formal development of
software, based on the modelling languages CASL and UML. The third
part takes the reader into the application domains of normative
documents, human machine interfaces, and security. Use of notations
and formalisms is uniform throughout the book. Topics and features:
Explains foundations, and introduces specification, verification,
and testing methods Explores various application domains Presents
realistic and practical examples, illustrating concepts Brings
together contributions from highly experienced educators and
researchers Offers modelling and analysis methods for formal
development of software Suitable for graduate and undergraduate
courses in software engineering, this uniquely practical textbook
will also be of value to students in informatics, as well as to
scientists and practical engineers, who want to learn about or work
more effectively with formal theories and methods. Markus
Roggenbach is a Professor in the Dept. of Computer Science of
Swansea University. Antonio Cerone is an Associate Professor in the
Dept. of Computer Science of Nazarbayev University, Nur-Sultan.
Bernd-Holger Schlingloff is a Professor in the Institut fur
Informatik of Humboldt-Universitat zu Berlin. Gerardo Schneider is
a Professor in the Dept. of Computer Science and Engineering of
University of Gothenburg. Siraj Ahmed Shaikh is a Professor in the
Institute for Future Transport and Cities of Coventry University.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.