|
Showing 1 - 6 of
6 matches in All Departments
Here, the authors propose a method for the formal development of
parallel programs - or multiprograms as they prefer to call them.
They accomplish this with a minimum of formal gear, i.e. with the
predicate calculus and the well- established theory of Owicki and
Gries. They show that the Owicki/Gries theory can be effectively
put to work for the formal development of multiprograms, regardless
of whether these algorithms are distributed or not.
The book is devoted to a simplified set-theoretic version of
denotational semantics where sets are used in place of Scott's
reflexive domains and where jumps are described without
continuations. This approach has emerged as a reaction to the
sophisticated model of traditional semantics. It was also strongly
stimulated by the applications of denotational semantics and
especially by its software-industry oriented version known as VDM
(Vienna Development Method). The new approach was successfully
tested on several examples. Based on this approach the Polish
Academy of Sciences created the project MetaSoft aimed at the
development of a definitional metalanguage for software
engineering. The approach has also been chosen in the project RAISE
(ESPRIT) which aims at a similar goal. The book consists of two
parts. Part One is devoted to the mathematical foundations of the
future definitional metalanguage of MetaSoft. This part also
introduces an appropriate notation. Part Two shows the applications
of this metalanguage. There the denotational definition of a subset
of Pascal is discussed with particular emphasis on Pascal types.
Skills assessment for learning Java programming through ProgramLive
ProgramLive is the CD accompaniment to the ProgramLive workbook.
Offering a fast-paced, dynamic learning experience, this CD
provides the supplementary tools that reinforce your learning. As
you develop your Java programming skills, test yourself along the
way with quizzes on essential concepts and techniques; these
quizzes are designed to help you retain fundamental information
while performing typical applications, and also to help you apply
your new knowledge in more complex situations. As periodic
assessment is critical to effective learning, the ProgramLive CD is
an essential tool for the ProgramLive Java development program.
Here, the authors propose a method for the formal development of
parallel programs - or multiprograms as they prefer to call them.
They accomplish this with a minimum of formal gear, i.e. with the
predicate calculus and the well- established theory of Owicki and
Gries. They show that the Owicki/Gries theory can be effectively
put to work for the formal development of multiprograms, regardless
of whether these algorithms are distributed or not.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|