Web Services and Formal Methods, Roberto Bruni; Karsten Wolf

Автор: Mar?a Alpuente; Byron Cook; Christophe Joubert
Название: Formal Methods for Industrial Critical Systems
ISBN: 3642045693 ISBN-13(EAN): 9783642045691
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.

Автор: Shaoying Liu; Tom Maibaum; Keijiro Araki
Название: Formal Methods and Software Engineering
ISBN: 354088193X ISBN-13(EAN): 9783540881933
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. This book addresses various issues in formal methods and their applications in software engineering. It features sections on specification and verification, testing, and verification.

Автор: Cliff Jones; Zhiming Liu; Jim Woodcock
Название: Formal Methods and Hybrid Real-Time Systems
ISBN: 354075220X ISBN-13(EAN): 9783540752202
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes 25 refereed papers that cover a broad spectrum of subjects, from foundational and theoretical topics to algorithms and systems issues and to applications, comprising formal methods, systems modelling, hybrid and real-time systems, specification and verification, as well as interval temporal logic.

Автор: Darren Cofer; Alessandro Fantechi
Название: Formal Methods for Industrial Critical Systems
ISBN: 3642032397 ISBN-13(EAN): 9783642032394
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 13th International Workshop FMICS 2008 LAquila Italy September 1516 2008 Revised Selected Papers. .

Автор: Karin Breitman; Ana Cavalcanti
Название: Formal Methods and Software Engineering
ISBN: 3642103723 ISBN-13(EAN): 9783642103728
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 11th International Conference on Formal Engineering Methods ICFEM 2009 Rio de Janeiro Brazil Decemb. .

Автор: Ana Cavalcanti; Dennis Dams
Название: FM 2009: Formal Methods
ISBN: 3642050883 ISBN-13(EAN): 9783642050886
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France.

Автор: Marcel Vin?cius Medeiros Oliveira; Jim Woodcock
Название: Formal Methods: Foundations and Applications
ISBN: 3642104517 ISBN-13(EAN): 9783642104510
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.

Автор: Jorge Cuellar; Tom Maibaum
Название: FM 2008: Formal Methods
ISBN: 354068235X ISBN-13(EAN): 9783540682356
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. This book includes sections on programming language analysis, verification, real-time and concurrency, grand challenge problems, fm practice, runtime monitoring and analysis, and constraint analysis, and design.

Автор: Marcello M. Bonsangue; Susanne Graf; Willem-Paul d
Название: Formal Methods for Components and Objects
ISBN: 3540921877 ISBN-13(EAN): 9783540921875
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This title presents 12 revised papers submitted after the symposium by the speakers of various European IST projects.

Автор: Jeremy Gibbons; Jose Nuno Oliveira
Название: Teaching Formal Methods
ISBN: 3642049117 ISBN-13(EAN): 9783642049118
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods Europe (FME) association. The conference took place as part of the ?rst Formal Methods Week (FMWeek), held in Ei- hoven, The Netherlands, in November 2009. TFM2009 was a one-day forum in which to explore the successes and fa- ures of formal method (FM) education, and to promote cooperative projects to further educationand training in FMs. The organizersgatheredlecturers, tea- ers, andindustrialpartnersto discusstheir experience, presenttheir pedagogical methodologies, and explore best practices. Interest in FM teaching is growing. TFM2009 followed in a series of events on teaching FMs which includes two BCS-FACS TFM workshops (Oxford in 2003, and London in 2006), the TFM2004 conference (Ghent, 2004, with p- ceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM2006), FORMED (Budapest, at ETAPS2008), and FMET2008 (Kitakyushu, co-located with ICFEM2008). FMs have an important role to play in the development of complex c- puting systems--a role acknowledged in industrial standards such as IEC61508 and ISO/IEC15408, and in the increasing use of precise modelling notations, semantic markup languages, and model-driven techniques. There is a growing need for software engineers who can work e?ectively with simple, mathematical abstractions, and with practical notions of inference and proof.

Автор: Marcello M. Bonsangue; Eric Madelaine
Название: Formal Methods for Components and Objects
ISBN: 3642041663 ISBN-13(EAN): 9783642041662
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Kazuhiro Ogata; Mark Lawford; Shaoying Liu
Название: Formal Methods and Software Engineering
ISBN: 3319478451 ISBN-13(EAN): 9783319478456
Издательство: Springer
Рейтинг:
Цена: 68950.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016.