Particularities of Verification Processes for Distributed Informatics Applications
This paper presents distributed informatics applications and characteristics of their development cycle. It defines the concept of verification and there are identified the differences from software testing. Particularities of the software testing and software verification processes are described. T...
Main Authors: | Ion IVAN, Cristian CIUREA, Bogdan VINTILA, Gheorghe NOSCA |
---|---|
Format: | Article |
Language: | English |
Published: |
Inforec Association
2013-01-01
|
Series: | Informatică economică |
Subjects: | |
Online Access: | http://www.revistaie.ase.ro/content/65/10%20-%20ivan,%20ciurea,%20vintila,%20nosca.pdf |
Similar Items
-
Deductive mechanical verification of concurrent systems
by: Sumners, Robert W.
Published: (2008) -
Evaluation of program specification and verification systems
by: Ubhayakar, Sonali S.
Published: (2012) -
A structured approach to the verification of low level microcode
by: Curzon, Paul
Published: (1990) -
Verification and validation: process VS procedure
by: V. L. Diemokhin, et al.
Published: (2013-06-01) -
Concurrent verification for sequential programs
by: Wickerson, John Peter
Published: (2013)