Formal Specification Techniques for Engineering Modular C Programs, Tan Yang Meng
Автор: Tan Yang Meng Название: Formal Specification Techniques for Engineering Modular C Programs ISBN: 0792396537 ISBN-13(EAN): 9780792396536 Издательство: Springer Рейтинг: Цена: 158340.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This work describes an approach to promoting program modularity. It presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying programming language may not have such support.
Автор: Hartmut Ehrig; Werner Damm; J?rg Desel; Martin Gro Название: Integration of Software Specification Techniques for Applications in Engineering ISBN: 3540231358 ISBN-13(EAN): 9783540231356 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume is a documentation of the main results in the research area "In- gration of Software Speci?cation Techniques for Applications in Engineering". On one hand it is based on the Priority Program "Integration von Techniken der Softwarespezi?kation fur ] ingenieurwissenschaftliche Anwendungen", short Soft- Spez, oftheGermanResearchCouncil(DFG). Ontheotherhanditcontainsnew contributions of international experts in this research area, some of which were presented at the third international workshop INT 2004 on "Integration of Sp- i?cation Techniques for Applications in Engineering". INT 2004 was launched as a satellite event of ETAPS in Barcelona, the "European Joint Conferences on Theory and Practice of Software". The Priority Program SoftSpez was initiated by W. Brauer, M. Broy, H. Ehrig, H. J. Kreowski, H. Reichel, and H. Weber concerning di?erent aspects from computer science, and by E. Schnieder and E. Westk] amper concerning two main application areas in engineering, namely "Tra?c Control Systems" and "Production Automation". After acceptance of SoftSpez by the German Research Council for the period of 1998-2004 a call for speci?c projects within this priority program was launched, where 11 projects from about 75 project proposals were accepted for a period of two years. Since 1998 each year the main research proposals and results of the projects have been presented at an annual colloquium of the priority program, and every two years the projects have been evaluated by an independent group of referees appointed by the G- man Research Council. At this point we would like to thank A.
Автор: Atsushi Togashi; Tadanori Mizuno; Norio Shiratori; Название: Formal Description Techniques and Protocol Specification, Testing and Verification ISBN: 1475752601 ISBN-13(EAN): 9781475752601 Издательство: Springer Рейтинг: Цена: 186330.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: FORTE/PSTV `97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).
Автор: Atsushi Togashi; Tadanori Mizuno; Norio Shiratori; Название: Formal Description Techniques and Protocol Specification, Testing and Verification ISBN: 0412820609 ISBN-13(EAN): 9780412820601 Издательство: Springer Рейтинг: Цена: 231990.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: FORTE/PSTV `97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).
Автор: Stan Budkowski; Ana Cavalli; Elie Najm Название: Formal Description Techniques and Protocol Specification, Testing and Verification ISBN: 0412847604 ISBN-13(EAN): 9780412847608 Издательство: Springer Рейтинг: Цена: 204040.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Addresses formal description techniques applicable to distributed systems and communication protocols. This title presents the state of the art in theory, application, tools and industrialization of FDTs. It features FDT-based system and protocol engineering, FDT-application to distributed systems, and protocol engineering.
Автор: Peter M?ller Название: Modular Specification and Verification of Object-Oriented Programs ISBN: 3540431675 ISBN-13(EAN): 9783540431671 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Two aspects are crucial to widen the application area of formal methods: - Formal speci?cation techniques have to be smoothly integrated into the software and program development process. Starting from these considerations, Peter Muller has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware.
Автор: Suad Alagi? Название: Software Engineering: Specification, Implementation, Verification ISBN: 3319615173 ISBN-13(EAN): 9783319615172 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 1 Analysis and Design.- 2 Specification of Constraints.- 3 Implementation Technology.- 4 Mapping Models to Code.- 5 Data Management.- 6 Software Verification.
Автор: Demetrovics J, Knuth Elod & Rado Peter Название: Computer-Aided Specification Techniques ISBN: 9971978539 ISBN-13(EAN): 9789971978532 Издательство: World Scientific Publishing Рейтинг: Цена: 76030.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book gives an overview of the works performed by the Computer and Automation Institute of the Hungarian Academy of Sciences. Since the late 197s, there was a need for the recognition of the fundamental role of adequate abstractions and higher level conceptual models in all fields of computer applications. The approach presented explores various conceptual descriptive methods of specification processing.
Автор: Demetrovics J, Knuth Elod & Rado Peter Название: Computer-Aided Specification Techniques ISBN: 9971500957 ISBN-13(EAN): 9789971500955 Издательство: World Scientific Publishing Рейтинг: Цена: 36960.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book gives an overview of the works performed by the Computer and Automation Institute of the Hungarian Academy of Sciences. Since the late 197s, there was a need for the recognition of the fundamental role of adequate abstractions and higher level conceptual models in all fields of computer applications. The approach presented explores various conceptual descriptive methods of specification processing.
Автор: Ruth Breu Название: Algebraic Specification Techniques in Object Oriented Programming Environments ISBN: 3540549722 ISBN-13(EAN): 9783540549727 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This monograph presents a formal foundation for the integrated design of object-oriented computer programs with algebraic specification techniques. It examines the development of a design method supporting the structured design and reuse of software in this environment.
Автор: C.A. Brebbia Название: Boundary Element Techniques in Computer-Aided Engineering ISBN: 9024730651 ISBN-13(EAN): 9789024730650 Издательство: Springer Рейтинг: Цена: 252490.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Proceedings of the NATO Advanced Study Institute on Boundary Elements in CAD, Southampton, England, September 19-30, 1983
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
