RE: [sc] new books

RE: [sc] new books

From: SPRIGGS, John J <John.SPRIGGS_at_xxxxxx>
Date: Tue, 29 Nov 2011 12:12:12 +0000
Message-ID: <A1C5FECF192E1B4EBCA752FFB1BFA14D0A2F1B@xxxxxx>
GSN - The Goal Structuring Notation:
A Structured Approach to Presenting Arguments

Springer  ISBN 978-1-4471-2311-8

This book is both for the aspiring writer of arguments in GSN and for those who wish to read, review and understand them.  It presents a clear exposition of the notation, starting from first principles and showing why each symbol is needed and how it should be used.

I wrote the book to be read in sequence from front to back.  I have presented the information incrementally.  It is a narrative, with each chapter building on what has gone before.  Clear guidance and simple examples are given of each piece of the notation as it is introduced.  Once sufficient notation is to hand, I give an example that has a chapter of its own and serves as a vehicle to introduce further new concepts and guidance over subsequent chapters.

Note that book is not a learned dissertation.  I am not presenting research, or a theory of argumentation, rather I am providing a practitioners' guide to the GSN - How to write it, how to read it and how to review it.

This will also be available in e-book form and as separate e-chapters.

-----Original Message-----
From: safety-critical-request@xxxxxx [mailto:safety-critical-request@xxxxxx] On Behalf Of jean-louis Boulanger
Sent: 25 November 2011 21:50
To: safety-critical@xxxxxx
Subject: [sc] new books

Content-Type: multipart/mixed;
X-YCS-Spam-Score: 0.0 (/)


Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: quoted-printable

*Static Analysis of Software*

*t**hE **A**bStRACt **I**ntERPREtAtIon*

*Edited by Jean-Louis Boulanger, Consultant*

*This book presents real examples of the formal techniques called*

*=93abstract interpretation=94 currently being used in various industrial*

*fields: railway, aeronautics, space, automotive, etc.*

*The current literature seems to only provide very general books on the*

*formal techniques. The purpose of this book is to present students and*

*researchers, in a single book, with the wealth of experience of people*

*who are intrinsically involved in the realization and evaluation of*

*software-based safety critical systems. As the authors are people
currently working within*

*the industry, the usual problems of confidentiality, which can occur with
other books, is*

*not an issue and so makes it possible to supply new useful information

*architectural plans, real examples**).*

ISBN 9781848213203 =95 October 2011 =95 352 pages =95 Hardback =95 234x156 =
mm =95
165.00 $

Mr Jean-louis Boulanger


Content-Type: text/plain
X-Original-Content-Type: text/html; charset=windows-1252

[The content of this part has been removed by the mailing list software]


If you are not the intended recipient, please notify our Help Desk at Email isproduction@xxxxxx
immediately. You should not copy or use this email or attachment(s) for any purpose nor disclose
their contents to any other person.

NATS computer systems may be monitored and communications carried on them recorded, to 
secure the effective operation of the system.

Please note that neither NATS nor the sender accepts any responsibility for viruses or any losses
caused as a result of viruses and it is your responsibility to scan or otherwise check this email
and any attachments.

NATS means NATS (En Route) plc (company number: 4129273), NATS (Services) Ltd 
(company number 4129270), NATSNAV Ltd (company number: 4164590) 
or NATS Ltd (company number 3155567) or NATS Holdings Ltd (company number 4138218). 
All companies are registered in England and their registered office is at 4000 Parkway, 
Whiteley, Fareham, Hampshire, PO15 7FL.

Received on Tue 29 Nov 2011 - 12:12:15 GMT