|
Showing 1 - 4 of
4 matches in All Departments
What do refugee and concentration camps, prisons, terrorist and
guerrilla training camps and prisoner of war camps have in common?
Arguably they have all followed an 'outsides inside' model,
enforcing a dichotomy between perceived 'desirable' and
'undesirable' characteristics. This separation is the subject of
Moller's multidisciplinary study.
When states collapse, human and global security are threatened.
Order and stability must be restored. This title provides an
account of the pursuit of security at the edge of the global order.
It sheds light on reform of state police and armed forces, and
analyses the security structures that emerge in the absence of the
state.
This book provides a unique account of the pursuit of security at
the edge of the global order. It sheds light on reform of state
police and armed forces, and analyses the alternative security
structures that emerge in the absence of the state. This book
remains open-minded as to which 'model' for security is better.
This book is the second of two volumes that present the main
results which emerged from the project CIP - "C"omputer-Aided,
"I"ntuition-Guided "P"rogramming - at the Technical University of
Munich. Its central theme is program development by transformation,
a methodology which is becoming more and more important. Whereas
Volume I contains the description and formal specification of a
wide spectrum language CIP-L particularly tailored to the needs of
transformational programming, Volume II serves a double purpose:
First, it describes a system, called CIP-S, that is to assist a
programmer in the method of transformational programming. Second,
it gives a non-toy example for this very method, since it contains
a formal specification of the system core and transformational
developments for the more interesting system routines. Based on a
formal calculus of program transformations, the informal
requirements for the system are stated. Then the system core is
formally specified using the algebraic data types and the
pre-algorithmic logical constructs of the wide spectrum language
CIP-L. It is demonstrated how executable, procedural level programs
can be developed from this specification according to formal rules.
The extensive collection of these rules is also contained in the
book; it can be used as the basis for further developments using
this method. Since the system has been designed in such a way that
it is parameterized with the concrete programming language to be
transformed, the book also contains a guide how to actualize this
parameter; the proceeding is exemplified with a small subset of
CIP-L.
|
You may like...
Poldark: Series 1-2
Aidan Turner, Eleanor Tomlinson, …
Blu-ray disc
(1)
R55
Discovery Miles 550
The Show
Niall Horan
CD
R213
R185
Discovery Miles 1 850
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|