Jan bredereke (8 resultados)
- Tapa blanda
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de AmericaGrand Eagle Retail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 76,08
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. Paperback. Rigorous requirements for embedded software systems must and can be maintained over the system's life time. Rigorous requirements are necessary to ensure the dependability of the software system. Embedded software systems are often expected to be dependable. Maintenance is inevitable because… of frequent requirements changes after and even before delivery. Maintenance is possible by explicitly considering the entire family of requirements and by structuring it suitably. We demonstrate this for telephone switching systems. They are an example of particularly long-lived embedded software systems. The book is structured into two parts. The first part introduces to families of rigorous software requirements, and how to organize them into requirements modules. A family of requirements must be organized rather differently than the requirements for a single system. We first take a step back to the foundations. We start with the information hiding principle in particular and develop our notion of requirements module from it. We then step forward again and add this concept to a current approach.Our notion of requirements module allows us to understand some current problems better, and also to propose solutions. The second part looks at one of the requirements modules in more detail, which is the user interface requirements module. We look at how the requirements for the user interface can be encapsulated. We also make a link back to one kind of the current maintenance problems, which are the "feature interaction" problems. We view these problems from the perspective of human-computer interaction. This gives us interesting new means for reducing them. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Tapa blanda
Librería: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 118,26
Envío por EUR 32,35Se envía de Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. Paperback. Rigorous requirements for embedded software systems must and can be maintained over the system's life time. Rigorous requirements are necessary to ensure the dependability of the software system. Embedded software systems are often expected to be dependable. Maintenance is inevitable because… of frequent requirements changes after and even before delivery. Maintenance is possible by explicitly considering the entire family of requirements and by structuring it suitably. We demonstrate this for telephone switching systems. They are an example of particularly long-lived embedded software systems. The book is structured into two parts. The first part introduces to families of rigorous software requirements, and how to organize them into requirements modules. A family of requirements must be organized rather differently than the requirements for a single system. We first take a step back to the foundations. We start with the information hiding principle in particular and develop our notion of requirements module from it. We then step forward again and add this concept to a current approach.Our notion of requirements module allows us to understand some current problems better, and also to propose solutions. The second part looks at one of the requirements modules in more detail, which is the user interface requirements module. We look at how the requirements for the user interface can be encapsulated. We also make a link back to one kind of the current maintenance problems, which are the "feature interaction" problems. We view these problems from the perspective of human-computer interaction. This gives us interesting new means for reducing them. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Formal Description Techniques IX : Theory, Application and Tools : Ifip Tc6/6.1 International Conference on Formal Description Techniques Ix/Protocol Specification, Testing and verifica
International Conference on Formal Description Techniques 1996 Kaiser; Bredereke, Jan (EDT)
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 313,51
Envío por EUR 17,51Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Formal Description Techniques IX : Theory, Application and Tools : Ifip Tc6/6.1 International Conference on Formal Description Techniques Ix/Protocol Specification, Testing and verifica
International Conference on Formal Description Techniques 1996 Kaiser; Bredereke, Jan (EDT)
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 334,92
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Formal Description Techniques IX : Theory, Application and Tools : Ifip Tc6/6.1 International Conference on Formal Description Techniques Ix/Protocol Specification, Testing and verifica
International Conference on Formal Description Techniques 1996 Kaiser; Bredereke, Jan (EDT)
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 339,51
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa dura
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 383,36
Envío por EUR 10,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New. Combines the proceedings of the IFIP Formal Description Techniques (FDTs) and "Protocol Specification, Testing and Verification" (PSTV) series. This book addresses FDTs applicable to communication protocols and distributed systems, with emphasis on standardised FDTs. Editor(s): Gotzhein, Reinhard; Bredereke, Jan.… Series: IFIP Advances in Information and Communication Technology. Num Pages: 528 pages, biography. BIC Classification: PHDS; UTP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 923. . 1996. Hardback. . . . .
Formal Description Techniques IX : Theory, Application and Tools : Ifip Tc6/6.1 International Conference on Formal Description Techniques Ix/Protocol Specification, Testing and verifica
International Conference on Formal Description Techniques 1996 Kaiser; Bredereke, Jan (EDT)
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 449,74
Envío por EUR 17,51Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa dura
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 486,41
Envío por EUR 9,18Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New. Combines the proceedings of the IFIP Formal Description Techniques (FDTs) and "Protocol Specification, Testing and Verification" (PSTV) series. This book addresses FDTs applicable to communication protocols and distributed systems, with emphasis on standardised FDTs. Editor(s): Gotzhein, Reinhard; Bredereke, Jan.… Series: IFIP Advances in Information and Communication Technology. Num Pages: 528 pages, biography. BIC Classification: PHDS; UTP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 923. . 1996. Hardback. . . . . Books ship from the US and Ireland.
