|
Showing 1 - 2 of
2 matches in All Departments
This book constitutes the refereed proceedings of the 14th
International Conference on Formal Engineering Methods, ICFEM 2012,
held in Kyoto, Japan, November 2012. The 31 revised full papers
together with 3 invited talks presented were carefully reviewed and
selected from 85 submissions. The papers address all current issues
in formal methods and their applications in software engineering.
They are organized in topical sections on concurrency, applications
of formal methods to new areas, quantity and probability, formal
verification, modeling and development methodology, temporal
logics, abstraction and refinement, tools, as well as testing and
runtime verification.
Formal methods have been established as the rigorous engineering
methodology for the system development. Applying formal methods to
a large and complex system development often requires the modelling
of different aspects of such a system. For instance, complex
systems (such as integrated avionics systems, engine control
software) can involve functional and timing requirements that must
be eventually implemented as executing code on a communicating
distributed topology. This book contains the papers presented at
the First International Workshop on Integrated Formal Methods, held
at the University of York in June 1999. The conference provided a
forum for the discussion of theoretical aspects of combing
behavioural and state-based formalisms and practical solutions to
the industrial problems of this approach.
|
You may like...
Poor Things
Emma Stone, Mark Ruffalo, …
DVD
R449
R329
Discovery Miles 3 290
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|