Reliability, Quality and Safety of Software-Intensive Systems

IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS ’97), 29th–30th May 1997, Athens, Greece

AvDimitris Gritzalis

Inbunden, Engelska, 1997

Del i serien IFIP Advances in Information and Communication Technology

1 698 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

E-bok

2 127 kr

Häftad

1 703 kr

Beskrivning

Such issues discussed include formal methods and models, software testing, safety critical systems, reliability and safety assessment, total quality management, human factors for safety, management, social and legal aspects, and security-critical systems. In addition, the book includes a number of papers on issues with a given practical value. These papers have emerged from applications in several different domains.

Produktinformation

Utgivningsdatum:1997-04-30
Mått:155 x 235 x 18 mm
Vikt:585 g
Format:Inbunden
Språk:Engelska
Serie:IFIP Advances in Information and Communication Technology
Antal sidor:278
Upplaga:1997
Förlag:Chapman and Hall
ISBN:9780412802805

Utforska kategorier

Programvaruutveckling inom Data och IT
Affärsapplikationer inom Data och IT

Innehållsförteckning

One Software Testing.- 1 Pythia: A regression test selection tool based on textual differencing.- 2 Provelt: A C-program correctness prover.- 3 An assessment of the number of paths needed for control flow testing.- Two Software Quality.- 4 Automating software quality modelling, measurement and assessment.- 5 A quality-intensive approach to software development.- Three Software Reliability.- 6 User-perceptions of embedded software reliability.- 7 Motivated humans for reliable software products.- Four Software Reusability.- 8 Specification composition for the verification of message passing program composition.- Five Safety Critical and Safety Monitor Systems.- 9 Prescriptive specification checking for hazard prevention in computer-controlled safety-critical systems.- 10 Object-oriented safety monitor synthesis.- 11 Modification of safety critical systems: an assessment of three approaches.- Six Software-Intensive Systems Security.- 12 Selected Legal Issues Related to Internet Use.- 13 Security of World Wide Web search engines.- 14 The Cascade vulnerability problem for open distributed systems: a review.- 15 Improving the quality of secure distributed systems.- Seven Applications and Experiences.- 16 Partnership with customers in product improvement: testing embedded software products in the field.- 17 Introducing the Goal-Question-Metric approach to telecommunications software development practices: the PITA experiment.- 18 Software development and testing for shipyard robotic welding.- 19 Testing software based on users’ quality needs.- Eight Poster papers.- 20 An evaluation scheme of software testing techniques.- 21 Real-MFG: a Petrinet based model focusing on the integration of schedulability and fault tolerance.- 22 Design of an integrated educational softwaredevelopment environment oriented in reuse and quality assurance of products and processes.- 23 An approach to improve software quality in length measurement calibration.- Index of contributors.- Keyword index.

Mer från samma författare

Reliability, Quality and Safety of Software-Intensive Systems : IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Soft

Dimitris Gritzalis

672 kr

Critical Infrastructure Security and Resilience

Dimitris Gritzalis, Marianthi Theocharidou, George Stergiopoulos

Inbunden, 2019

1 649 kr

Critical Infrastructure Security and Resilience

George Stergiopoulos, Marianthi Theocharidou, Dimitris Gritzalis

E-bok

2019

1 900 kr

Del 13620

Information Security Practice and Experience

Chunhua Su, Dimitris Gritzalis, Vincenzo Piuri

Häftad, 2022

1 024 kr

Information Security Practice and Experience

Vincenzo Piuri, Dimitris Gritzalis, Chunhua Su

E-bok

2022

1 306 kr

Information Security Practice and Experience : 17th International Conference, ISPEC 2022, Taipei, Taiwan, November 23-25, 2022, Proceedings

Chunhua Su, Dimitris Gritzalis

665 kr

Del 91

Malware

Dimitris Gritzalis, Kim-Kwang Raymond Choo, Constantinos Patsakis

Inbunden, 2024

2 607 kr

Malware

Constantinos Patsakis, Kim-Kwang Raymond Choo, Dimitris Gritzalis

E-bok

2024

2 956 kr

Del 91

Malware

Dimitris Gritzalis, Kim-Kwang Raymond Choo, Constantinos Patsakis

Häftad, 2025

2 268 kr

Del 8813

Cryptology and Network Security

Dimitris Gritzalis, Aggelos Kiayias, Ioannis Askoxylakis

Häftad, 2014

571 kr

Mer från samma serie

Del 246

Advances in Production Management Systems

Jan Olhager, Fredrik Persson

Häftad, 2010

1 135 kr

Information System Concepts

Eckhard D. Falkenberg, Wolfgang Hesse, Antoni Olive

Inbunden, 1995

2 262 kr

Data Management for the AI Era: Ensuring Reliability and Accountability

Paolo Ceravolo, Sylvio Barbon Junior, Faiza Bukhsh, Maurice Van Keulen, Samira Maghool, Robert Wrembel, Paolo Ceravolo, Sylvio Barbon Junior, Faiza Bukhsh, Maurice Van Keulen, Samira Maghool, Robert Wrembel

Inbunden, 2026

1 520 kr

Advances in Production Management Systems

Jan Olhager, Fredrik Persson

Inbunden, 2007

1 135 kr

Trust Management II

Yücel Karabulut, John C. Mitchell, Peter Herrmann, Christian Damsgaard Jensen

Inbunden, 2008

1 135 kr

Wireless Sensor and Actor Networks II

Ali Miri

Inbunden, 2008

1 102 kr

Advances in Ad Hoc Networking

Pedro Cuenca, Carlos Guerrero, Ramon Puigjaner, Bartomeu Serra

Inbunden, 2008

1 135 kr

Innovation in Manufacturing Networks

Américo Azevedo

Inbunden, 2008

1 135 kr

Del 268

Biologically-Inspired Collaborative Computing

Mike Hinchey, Anastasia Pagnoni, Franz J. Rammig, Hartmut Schmeck

Inbunden, 2008

1 135 kr

History of Computing and Education 3 (HCE3)

John Impagliazzo

Inbunden, 2008

539 kr

Du kanske också är intresserad av

Pokémon Pokémon Mega Evolution 05 - Pitch Black Booster

Pokémon

79 kr

Reliability, Quality and Safety of Software-Intensive Systems

Dimitris Gritzalis

E-bok

2013

2 127 kr

Reliability, Quality and Safety of Software-Intensive Systems : IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Soft

Dimitris Gritzalis

672 kr

Del 376

Information Security and Privacy Research

Dimitris Gritzalis, Steven Furnell, Marianthi Theoharidou

Inbunden, 2012

1 135 kr

Information Security Practice and Experience

Vincenzo Piuri, Dimitris Gritzalis, Chunhua Su

E-bok

2022

1 306 kr

Critical Information Infrastructure Security

Stephen Wolthusen, Dimitris Gritzalis, Bernhard Hammerli, Sandro Bologna

E-bok

2013

657 kr

Computer Security - ESORICS 2010

Marianthi Theoharidou, Bart Preneel, Dimitris Gritzalis

E-bok

2010

1 470 kr

Del 376

Information Security and Privacy Research

Dimitris Gritzalis, Steven Furnell, Marianthi Theoharidou

Häftad, 2014

1 135 kr

Del 13620

Information Security Practice and Experience

Chunhua Su, Dimitris Gritzalis, Vincenzo Piuri

Häftad, 2022

1 024 kr

Information Security Practice and Experience : 17th International Conference, ISPEC 2022, Taipei, Taiwan, November 23-25, 2022, Proceedings

Chunhua Su, Dimitris Gritzalis

665 kr

Reliability, Quality and Safety of Software-Intensive Systems

IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS ’97), 29th–30th May 1997, Athens, Greece

AvDimitris Gritzalis

Inbunden, Engelska, 1997

Del i serien IFIP Advances in Information and Communication Technology

1 698 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

E-bok

2 127 kr

Häftad

1 703 kr

Beskrivning

Produktinformation

Utgivningsdatum:1997-04-30
Mått:155 x 235 x 18 mm
Vikt:585 g
Format:Inbunden
Språk:Engelska
Serie:IFIP Advances in Information and Communication Technology
Antal sidor:278
Upplaga:1997
Förlag:Chapman and Hall
ISBN:9780412802805

Utforska kategorier

Programvaruutveckling inom Data och IT
Affärsapplikationer inom Data och IT

Innehållsförteckning

One Software Testing.- 1 Pythia: A regression test selection tool based on textual differencing.- 2 Provelt: A C-program correctness prover.- 3 An assessment of the number of paths needed for control flow testing.- Two Software Quality.- 4 Automating software quality modelling, measurement and assessment.- 5 A quality-intensive approach to software development.- Three Software Reliability.- 6 User-perceptions of embedded software reliability.- 7 Motivated humans for reliable software products.- Four Software Reusability.- 8 Specification composition for the verification of message passing program composition.- Five Safety Critical and Safety Monitor Systems.- 9 Prescriptive specification checking for hazard prevention in computer-controlled safety-critical systems.- 10 Object-oriented safety monitor synthesis.- 11 Modification of safety critical systems: an assessment of three approaches.- Six Software-Intensive Systems Security.- 12 Selected Legal Issues Related to Internet Use.- 13 Security of World Wide Web search engines.- 14 The Cascade vulnerability problem for open distributed systems: a review.- 15 Improving the quality of secure distributed systems.- Seven Applications and Experiences.- 16 Partnership with customers in product improvement: testing embedded software products in the field.- 17 Introducing the Goal-Question-Metric approach to telecommunications software development practices: the PITA experiment.- 18 Software development and testing for shipyard robotic welding.- 19 Testing software based on users’ quality needs.- Eight Poster papers.- 20 An evaluation scheme of software testing techniques.- 21 Real-MFG: a Petrinet based model focusing on the integration of schedulability and fault tolerance.- 22 Design of an integrated educational softwaredevelopment environment oriented in reuse and quality assurance of products and processes.- 23 An approach to improve software quality in length measurement calibration.- Index of contributors.- Keyword index.