mural: A Formal Development Support System, J. Bicarregui; C.B. Jones; K.D. Jones; M. Elvang-G
Автор: Rudolf Berghammer; Yassine Lakhnech Название: Tool Support for System Specification, Development and Verification ISBN: 3211832823 ISBN-13(EAN): 9783211832820 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of this workshop is to provide a forum for researchers interested in the use and development of tools which support the use of mathematical techniques for the specification, development and verification of systems.
Автор: Didier Bert; Jonathan P. Bowen; Steve King; Marina Название: ZB 2003: Formal Specification and Development in Z and B ISBN: 3540402535 ISBN-13(EAN): 9783540402534 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains the refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. This book documents the advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications and tools.
Автор: Dines Bj?rner; C.A.R. Hoare; Hans Langmaack Название: VDM `90. VDM and Z - Formal Methods in Software Development ISBN: 3540525130 ISBN-13(EAN): 9783540525134 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The proceedings published by VDM Europe are concerned with bringing real theory to apply to real programming.
Автор: Helen Treharne; Steve King; Martin Henson; Steve S Название: ZB 2005: Formal Specification and Development in Z and B ISBN: 3540255591 ISBN-13(EAN): 9783540255598 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the south-east ofEngland. Thisconferencebuiltonthesuccessofthepreviousthreeconferences in this series, ZB 2000, held at the University of York in the UK, ZB 2002, held at theLaboratoire Logiciels Syst emes R eseaux within theInstitut d'Informatique et Math ematique Appliqu ees de Grenoble (LSR-IMAG) in Grenoble, France, and ? ZB 2003, held in Turku in Finland hosted by Abo Akademi University and the TurkuCentreforComputerScience(TUCS). ZB2005washeldattheUniversity of Surrey, Guildford, UK, hosted by the Department of Computing. The U- versity has always placed particular emphasis on the applicability of its research and its relationship with industrial partners. In this context it is building up its formal methods activity as an area of strategic importance, with the establi- ment of a new group within the Department of Computing, and also with its support for this conference. B and Z are two important formal methods that share a common conceptual origin; they are leading approaches in industry and academia for the speci?- tion and development (using formal re?nement) of computer-based systems. At ZB 2005 the B and Z communities met once again to hold a fourth joint c- ference that simultaneously incorporated the 15th International Z User Meeting and the 6th International Conference on the B Method.
Автор: Jan Bosch; Morven Gentleman; Christine Hofmeister; Название: Software Architecture: System Design, Development and Maintenance ISBN: 1402071760 ISBN-13(EAN): 9781402071768 Издательство: Springer Рейтинг: Цена: 21655.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes the papers that were presented at the 3rd Working IEEE/IFIP Conference on Software Architecture (WICSA3), which was held in conjunction with the 17th World Computer Congress, sponsored by the International Federation for Information Processing (IFIP), and which convened in Montreal, Quebec, Canada in August 2002.
Автор: Kevin Lano Название: Formal Object-Oriented Development ISBN: 3540199780 ISBN-13(EAN): 9783540199786 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An overview of the use of formal object-oriented methods: it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing developmental practices.
Описание: The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.
Описание: Praise for the first edition: This excellent text will be useful to every system engineer (SE) regardless of the domain. It covers ALL relevant SE material and does so in a very clear, methodical fashion.
Автор: A. Nico Habermann; Ugo Montanari Название: System Development and Ada ISBN: 3540183418 ISBN-13(EAN): 9783540183419 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book reviews tools, techniques and methodologies of embedded software engineering and real-time systems, covering development, design patterns and development methodology, modelling framework and performance analysis, power management and deployment.
Автор: Jonathan P. Bowen; Steve Dunne; Andy Galloway; Ste Название: ZB 2000: Formal Specification and Development in Z and B ISBN: 3540679448 ISBN-13(EAN): 9783540679448 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The text documents the advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
