Computer software - Congresses. - Reliability

Overview

Works:	30 works in 7 publications in 7 languages

Titles

New trends in software methodologies, tools and techniques = proceedings of Lyee-W02 / by: (Language materials, printed)

Reliable Software Technology - Ada-Europe 2005 = 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings / by: (Language materials, printed)

Computer Safety, Reliability, and Security : = 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings by: (Language materials, printed)

Tests and proofs = second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / by: (Language materials, printed)

Reliable Software Technologies Ada-Europe 2008 = 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings / by: (Language materials, printed)

Software system reliability and security by: (Language materials, printed)

Computer safety, reliability, and security = 27th international conference, Safecomp 2008 Newcastle upon Tyne, UK, September 22-25, 2008 proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings / by: (Electronic resources)

Reliable software technologies-Ada-Europe 2003 = 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = 23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings / by: (Language materials, printed)

Subjects

Software Engineering.

Electronic digital computers- Reliability

Mathematical Logic and Formal Languages.

Software engineering

Theory of Computation.

Logics and Meanings of Programs.

Software Engineering/Programming and Operating Systems.

Computer programs- Reliability

Software engineering- Congresses.

Management of Computing and Information Systems.

Programming Techniques.

Computer software- Quality control

Operating Systems.

Artificial Intelligence (incl. Robotics)

Computing Milieux.

Programming Languages, Compilers, Interpreters.

Special Purpose and Application-Based Systems.

Formal methods (Computer science)

Coding and Information Theory.

Computer software- Testing

Computer networks- Security measures

Computer security

The Computing Profession.

Artificial Intelligence.

Computer software- Reliability

Computer Science.

Computer Communication Networks.

Industrial safety

Computers and Society.

System Performance and Evaluation.

Systems and Data Security.

Computer software- Verification

Simulation and Modeling.

Computer Systems Organization and Communication Networks.

Ada (Computer program language)- Congresses.

Software protection

Computer programs- Verification