BIBLIOGRAFIE

[AHO86] Alfred V. AHO, Ravi SETHI, Jeffrey D. ULLMAN – Compilers:

Principles,Techniques and Tools, Addison Wesley Pearson Education,
1986, ISBN 7-115-09916-2.
[ANDE79] Anderson R. B., Proving Programs Correct, John Wiley and Sons, 1979.
[ARHI] ARHIRE Romulus, Modele de evaluare a complexitǎţii software, tezǎ de
doctorat
[ASH03] Ash Lidia, The Web Testing Companion: The Insider's Guide to Efficient
and Effective Tests, John Wiley & Sons, 2003, ISBN:0471430218
[BALO97] Balog Alexandru, Olaru Marieta, s.a. - Managementul calitătii si protectia
consumatorilor, vol.3, lito ASE, Bucuresti, 1997
[BARO82] Baron Tudor, I. Ivan, Al.Balog - The Characteristic System of Software
Products Quality, Economic Computation and Economic Cybernetics
Studies and Research, ASE Bucharest, No.1, 1982, pg.29-44
[BARO82a] Baron T., Ivan I. Balog A., "Sistemul caractersiticilor de calitate ale
software-ului", în: Studii şi cercetări de calcul economic şi cibernetică
economică (SCCECE), nr.1, 1982, pag.29-45;
[BARO83] Baron T., Ivan I. Balog A., "Evaluarea fiabilităţii programelor", în: Studii şi
cercetări de calcul economic şi cibernetică economică (SCCECE), nr. 3,
1983, pag. 18-30;
[BARO84] Baron Tudor, Ivan Ion, Balog Alexandru - Informatică Economică:
Calitatea programelor si stilul de programare, lito ASE, Bucuresti, 1984
[BASU75] Basu S. K. and Misra J. D., Proving Loop Programs, IEEE Transactions on
Software Engineering, vol. sE-I, no. I, pp. 76-86, 1975.
[BEIZ84] Beizer, B., Software System Testing and Quality Assurance. New York: Van
Nostrand Reinhold Company, Inc. 1984.
[BEIM89] Beiman, James M., and Janet L. Schultz. Estimating the Number of Test
Cases Required to Satisfy the All-du-paths Testing Criteria. Proceedings of
the COMPASS 90 conference. 1989 ACM 089791-342-6/89/0012/0179
[BEIZ90] Beizer B., Software Testing Techniques, 2d ed., Van Nostrand Reinhold,
1990
[BEIZ95] Beizer, Boris. Black-Box Testing: Techniques for Functional Testing of
Software and Systems. New York: Wiley, 1995
[BERA90] Berard, Edward V – Issues in the Testing of Object-Oriented Software,
www.itmweb.com, 1990
[BERG91] Bergman, Mark. The Evolution of Software Testing Automation,
Proceedings of the 8th International Conference on Testing Computer
Software, June 19, 1991
[BOEH75] Boehm, B. W., and R. W. Wolverton. Practical Strategies for Developing
Large Software Systems. Reading, Mass.: Addison-Wesley, 1975
[BOEH80] Boehm Barry W., J.R. Brown, H.Kaspar, M.Lipow - Characteristics of
Software Quality, T.R.W. Series of Software Technology, North Holland
Publishing House, New York, USA 1980
[BOOC91] Booch, Grady, Object Oriented Design with Applications, The
Benjamin/Cummings Publishing Company, Inc., 1991
[BRAD85] Bradley J. H., The Science and Art of Debugging, Computer World, August
19, 1985, pp. 35-38
[BRÂN04] Brândaş, C.: Auditul sistemelor informatice de gestiune, note de curs,
Facultatea De ştiinţe Economice, Universitatea de Vest, Timişoara, 2004
[BROW73] Brown, J. R., and M. Lipow. The Quantitative Measurement of Software
Safety and Reliability. TRW Report SDP 1176, 1973
[BRIL87] Brilliant S. S., Knight J. C., and Levenson N.G., The Consistent
Comparison Problem in N-Version Software, ACM Software Engineering
Notes, vol. 12, no. 1, January 1987, pp. 29-34
[BUDD82] T.A.Budd, D.Anghin, Two Notions of Correctness and their Relation to
Testing, Acta Informatica, 18(1982), 1, pp. 31-46
[BURS74] Burstall R.M., "Program Proving as Hand Simulation with a Little
Induction," IFIP 6th World Computer Congress (Stockholm, Sweden, 1974,
North Holland Publishing Co, pp. 308-312.
[BUSH90] Bush Martin E., Norman E. Fenton - Software Measurement: A Conceptual
Framework, Journal Systems Software, No.12, 1990, pp.223-231
[CHAN96] Chang, J., D. J. Richardson, and S. Sankar, Structural Specification-Based
Testing with ADL, Proc. of 1996 International Symposium on Software
Testing and Analysis, San Diego, CA, January 1996, pp. 62–70.
[CHAN98] Chang, J., and D. J. Richardson, ADLScope: An Automated Specification-
Based Unit Testing Tool, ICS Technical Report 98-26, Department of
Information and Computer Science, University of California, Irvine, CA,
1998.
[CHAN02] Chan, W. K., Chen T. Y., Tse, T. H. – An Overview of Integration Testing
Technique of object-Oriented Programs, Proceedings of the 2nd ACIS
Annual International Conference on Computer and Information Science,
(ICIS 2002), International Association for Computer and Information
Science, Mt. Pleasant, Michigan, 2002
[CHEU90] Cheung W. H., Black J.P., and Manning E., A Framework for Distributed
Debugging, IEEE Software, Jan. 1990, pp. 106-115
[CORR78] C.H.Correll, Proving Programs Correct through Refinement, Acta
Informatica, 9(1978), pp. 121-132.
[DEUT79] Deutsch M., Verification and Validation, in Software Engineering, (Jensen
R. and Tonies C., eds.), Prentice-Hall, 1979, pp. 329-408
[DIJK68] Dijkstra E., A constructive approach to the problem of program
correctness, BIT, 8(1968), pp.174-186
[DIJK76] Dijkstra E. W., A Discipline of Programming; Prentice Hall, 1976
[DUEN05] Dumitraşcu Eugen, Enescu Nicolae-Iulian, EJB as a Business Solution in
Enterprise Distributed Applications, The proceedings of THE SEVENTH
INTERNATIONAL CONFERENCE ON INFORMATICS IN ECONOMY,
19-20 Mai 2005, Editura Economică, Bucureşti, 2005, pg. 335-341, ISBN
973-8360-04-4
[DUEN07] Dumitraşcu Eugen, Enescu Nicolae-Iulian, Functional Testing Strategies for
mobile applications, The proceedings of THE EIGHTH INTERNATIONAL
CONFERENCE ON INFORMATICS IN ECONOMY, 17-18 Mai 2007,
Editura Economică, Bucureşti, 2007
[DUEN07a] Dumitraşcu Eugen, Enescu Nicolae-Iulian, Ivan Ion, Marian Gheorghe,
Verification Strategies of Software for Mobile Applications, The proceedings
of the 5th International Conference on “Microelectronics and Computer
Science”, Volume I, September 19-21, 2007, Technical university of
Moldova, Chişinău, 2007, pg. 414-418
[DUEN07b] Dumitraşcu Eugen, Enescu Nicolae-Iulian, Ivan Ion, Marian Gheorghe,
Verification Strategies of Software for Mobile Applications-Experimental
Results, The proceedings of the 5th International Conference on
“Microelectronics and Computer Science”, Volume I, September 19-21,
2007, Technical university of Moldova, Chişinău, 2007, pg. 419-423
[DUEN07c] Dumitraşcu Eugen, Enescu Nicolae-Iulian, Marian Gheorghe, IVV Testing
Model for Mobile Applications, SINTES 13 – International Symposium on
System Theory, 18-20 October , Craiova, 2007
[ENES05] Enescu Nicolae-Iulian, Algoritmi de verificare a programelor, referat
prezentat în cadrul planului de pregătire a tezei de doctorat, A.S.E.,
Bucureşti, Ianuarie 2005
[ENES06] Enescu Nicolae-Iulian, Software pentru testarea programelor, referat
prezentat în cadrul planului de pregătire a tezei de doctorat, A.S.E.,
Bucureşti, Septembrie 2006
[FARR99] Farr W.H., Smith D.O., Statistical Modeling and Estimation of Reliability
Functions for Software(SMERFS) User’s Guide, NAVSWC TR-84-373,
Revision 2, Naval Surface Weapon Center, March 1999
[FIRO02] F. Gh. Filip, I. Gh. Roşca, M. Stoica, Societatea Informaţională. Societatea
Cunoaşterii, Concepte, soluţii şi strategii pentru România, Academia
Română, Editura Expert Bucureşti, 2002, 539
[FLOY67] Floyd R.W., Assigning meanings to programs, Proc. Symposium in
Applied Mathematics, 19, AMS, 1967, pp.19-32.
[FLOR96] Floroiu Cătălin - Evaluarea produselor software, BYTE România, vol.2
nr.5, mai 1996, pg.83-87
[FOST84] Foster K. A., Sensitive Test Data for Boolean Expressions, ACM Software
Engineering Notes, vol. 9, no. 2, April 1984, pp. 120-125
[FRAN88] Frankl R. G., and Weyuker E. J., An Applicable Family of Automata for
Testing Criteria, IEEE Trans. Software Engineering, vol. 14, no. 10,
 October 1988, pp. 1483-1498
[GAFF88] Gaffney J.D. and Davis C.F., "An Approach to Estimating Software Errors
and Availability", SPC-TR-88-007, version 1.0, March 1988, Proceedings
of the 11th Minnowbrook Workshop on Software Reliability, July 1988.
[GHRO02] Ghilic-Micu B., Rosca Ion Gh., Apostol Ctin, Stoica Marian, Cocianu
Catalina-Lucia, Algoritmi în programare, ASE, 2002
[GILB93] Gilb, Tom, and Dorothy Graham. Software Inspection. Reading, Mass.:
Addison-Wesley, 1993
[GIUM96] Giumale Cristian, Negreanu Lorina, Călinoiu Silviu - Proiectarea si analiza
algoritmilor, Editura All Educational, Bucuresti, 1996
[HALS72] Halstead M. H., Natural Laws Controlling Algorithm Structure, Sigplan
Notices Vol. 7, No. 2, 1972
[HALS77] Halstead M. H, Elements of Software Science, New York, Elsevier North-
Holland, 1977
[HANT76] Hantler S. L., King J. C., An Introduction to Proving the Correctness of
Programs, Computing Surveys, vol.8, no. 6, pp. 331-353, 1976.
[HETZ84] Hetzel W., The Complete Guide to Software Testing, QED Information
Sciences, 1984
[HOAR69] Hoare C. A. R., An Axiomatic Basis for Computer Programming, Comm. of
the ACM, Vol. 12, pp. 576-583,1969
[HOAR71] Hoare C. A. R., "Procedures and Parameters: An Axiomatic Approach,"
Lecture Notes in Mathematics, vol. 188 Springer-Verlag, New York, 1971.
[HOAR75] Hoare C. A. R., "Parallel Programming: An Axiomatic Approach,"
Computer Languages, vol. I, no. 2, pp. 151-160, 1975.
[HOLU90] Allen I Holub – Compiler Design in C, Prentice Hall Software Series, 1990,
ISBN 0-13-155151-5.
[HOWD82] Howden W. E., Weak Mutation Testing and the Completeness of Test
Cases, IEEE Trans. Software Engineering, vol. SE-8, no. 4, July 1982, pp.
371-379
[HOWD89] Howden, William E. Validation Programs without Specifications,
Proceedings of COMPASS 90, 1989 ACM 089791-342-6-89/0002
[HUGH76] Hughes J. K., Michtom J. I., A Structured Approach to Programming,
Prentice Hall, 1976
[HUTC90] Hutcheson, Marnie - Production Problems in an Application Running on
the Prodigy Service, Proceedings of the Fifth Annual Compass Conference
on Computer Assurance, 1990, IEEE, Washington, DC, Section 3
[HUTC94] Hutcheson, Marnie - Testing of a Shrink-Wrapped (RAD) Product,
Proceedings of Eurostar '94, 1994
[HUTC03] Hutcheson, Marnie - Software Testing Fundamentals: Methods and Metrics,
John Wiley & Sons, 2003
[ISO1] ISO/IEC 9126 International Standard – Information Technology – Software
product evaluation – Quality characteristics and guidelines for their use,
1991, Geneve, Switzerland
[ISO2] ISO 8402 International Standard - Quality, Vocabulary, 1986, Geneve,
Switzerland
[IVAN79] Ivan Ion - Construirea sistemelor de programe, lito ASE, Bucuresti 1979
[IVAN96] Ivan Ion, Popescu Mihai - Metrici software, BYTE Romania, vol.2, nr.5,
mai 1996, pg.73-82
[IVCO98] Ion IVAN, Cristian CODREANU – Optimizarea programelor Assembler,
Informatica Economică, nr. 6, 1998, pg. 26 – 37
[IVAN98] Ivan I., Popescu M., Simion F., Sinioros P., Metrici software, Editura
INFOREC, Bucureşti, 1998
[IVAN99] Ivan Ion, Pocatilu Paul, Testarea software orientat obiect, Editura Inforec,
Bucureşti, 1999
[IVTE99] Ion IVAN, Laurentiu TEODORESCU, Software Quality Management,
INFOREC Publishing House, Bucharest 1999
[IVAN00] Ivan Ion, Teodorescu Laurenţiu, Pocatilu Paul, Creşterea calităţii software
prin testare, QMedia, Nr. 5, 2000
[IVAN03] Ion IVAN, Constantin NICULAE, Paul POCATILU – Metrici pentru
evaluarea coeziunii software orientat obiect, Studii si Cercetari de Calcul
Economic si Cibernetica Economica, vol. 37, nr. 3, 2003, pg. 5 – 14
[IVAN05] Ivan Ion, Noşca Gheorghe, Capisizu Sergiu, Auditul sistemelor informatice,
Editura ASE, Bucuresti, 2005, ISBN 973-594-638-6
[IVAN06] Ivan Ion, Amancei Cristian, Stabilitatea coeficienţilor modelului global de
calitate software, Editura ASE, Bucureşti, 2006
[IVBO06] Ion IVAN, Cǎtǎlin BOJA, Analiza metricilor software, Studii şi Cercetǎri
de Calcul Economic şi Ciberneticǎ Economicǎ, vol. 40, nr. 1, 2006, pg.65-
78, ISSN 0585-7511
[IVNO06] Ion IVAN, Gheorghe NOSCA, Marius POPA, Managementul calitatii
aplicatiilor informatice, Editura ASE, Bucuresti, 2006.
[IVRǍ06] Ion IVAN, Iulian RǍDULESCU, Analiza comparatǎ a complexitǎţii
entitǎţilor text generate prin tehnici de programare, Editura ASE, Bucuresti
2006, 164 pg, ISBN 973-594-754-4
[IVTO06] Ivan Ion, Toma Cristian, Informatics Security – Handbook, Editura ASE,
Bucureşti, 2006
[IVAN07] Ion Ivan, Cǎtǎlin Boja, Practica optimizǎrii aplicaţiilor informatice,
Bucureşti, ASE, 2007, ISBN 978-973-594-932-7
[IVAN08] Ion IVAN, Nicolae Iulian ENESCU, Stabilirea nivelului de corectitudine
pentru aplicaţii informatice distribuite, Editura ASE, Bucureşti, 2008
[JASS05] Jass - Correct System Design Group University of Oldenburg. Jass -Project
Website, September 2005. http://csd.informatik.uni-oldenburg.de/_jass/
[JONE86] Jones, Capers, Programming productivity, McGraw-Hill Book Co., New
York, 1986
[JONE94] Jones, Capers. Software Quality for 1995: What Works and What Doesn't?
Software Productivity Research, Inc., 1994
[JONE97] Jones, C. Software Quality-Analysis and Guidelines for Success. Boston:
 International Thompson Computer Press, 1997
[KEIL89] Keiller P.A. and Miller D.R., On the use and the performance of software
reliability growth models, Reliability Engeneering and System Safety
Special Issue, pag. 1-21, 1989.
[KIT95] Kit, E. 1995. Software Testing in the Real World: Improving the Process.
Reading, MA: ACM Press Addison Wesley
[KING76] King J. C., Symbolic Execution and Program Testing, Communications of
the ACM, vol. 9, no. 7, pp. 385-394, 1976.
[KNIG89] Knight J., and Ammann P., Testing Software Using Multiple Versions,
Report No. 89029N, Software Productivity Consortium, Reston, Virgillia,
June 1989
[KNIG93] Knight John C., Myers Ann E. - An Improved Inspection Technique,
Communications of the ACM, November 1993, Vol.30, No.11, p.51-68
[KNUT73] Knuth D. E., The Art of Computer Programming, Vol. 1-3, Addison-
Wesley, 1968, 1969, 1973
[KLEE52] Kleene S. C., Introduction to Meta-Mathematics. D Van Nostrand Inc, 1952
[LAUT91] Lauterback, L., and W. Randall. Experimental Evaluation of Six Test
Techniques, Research Triangle Institute, P.O. Box 12194, Research
Triangle Park, NC 27709, 1991
[LING79] Linger R. C., Mills H. D. and Witt B. I., Structured Programming: Theory
and Practice. Addison-Wesley, 1979.
[LIVE78] Livercy C., Theorie des Programmes: Schemas, Preuves, Semantique.
Dunod-Informatique, Paris, 1978.
[LITT90] Littlewood B., Limits to evaluation of software dependability, Draft report-
PDCS No. D8 Project 3092-PDCS, City University, Northampton Square,
London , July, 1990.
[LOND78] London, R.L., et al., Proof rules for the programming language Eucli', Acta
Informatica, 10, No. 1, 1978.
[LUBL92] Lu M., Brocklehurst S., and Littlewood B., Combination of predictions
obtained from different software reliability growth models, In Procceding
10th Software Reliability Symposium, June 25-26, 1992.
[LYUM90] Lyu M.R., "Software Reliability Engineering and Measurement at the Jet
Propulsion Laboratory.", Workshop on Software Reliability, Carleton
University, Ottawa Ontario Canada, May 24-26, 1990.
[MANN69] Manna Z., The Correctness of Programs, Journal of Computer and System
Science, Vol. 3, 1969
[MANN70] Manna Z. and Pnueli A., "Formalization of Properties of Functional
Programs," Journal of the ACM, vol. 17, no. 3, pp. 555-569, 1970.
[MANN74] Manna, Z., Mathematical Theory of Computation, McGrawHill, NewYork,
1974.
[MANN78] Manna Z., Waldinger R., Is “sometime” sometimes better than
“always”?: intermittent assertions in proving program correctness,
Communications of the ACM, Volume 21 , Issue 2 (February 1978), pp.
 159 - 172
[MAMI03] Marian Gheorghe, Mihaiu Ilie Mircea, Dumitraşcu Eugen, Enescu Nicolae-
Iulian, How to learn Programming through choosing and running, Analele
Universităţii din Craiova, Anul 27, Nr. 27, 2003, vol. I, seria: Inginerie
Electrică, pag. 166-172, Editura Universitaria, Craiova, 2003, ISSN 1223-
530X
[MARI03] Marian Gheorghe, Mihaiu Ilie Mircea, Dumitraşcu Eugen, Enescu Nicolae-
Iulian, “On Line” Testing for Software Design, SINTES 11 International
Symposium on system theory, vol II, 23-24 October , pg. 447-450, Editura
Universitaria, Craiova, 2003 , ISBN 973-8043-415-5
[MAPA06] Marian Gheorghe, Pătrăşcoiu Octavian, Marian Marius Adrian, Dumitraşcu
Eugen, Enescu Nicolae-Iulian, Tehnici de Programare Ghid practic, vol I +
II, Editura Universitaria, Craiova, 2006, ISBN 973-742-304-6
[MAUR77] Maurer W. D., The teaching of program correctness, Technical Symposium
on Computer Science Education, Proceedings of the seventh SIGCSE
technical symposium on Computer science education, Atlanta, Georgia,
1977, pp. 142 - 144
[MCC76] McCabe T., A Software Complexity Measure, IEEE Trans. Softwae
Engineering, vol. 2, no. 6, December 1976, pp. 308-320
[MCC89] McCabe, Thomas J., and Charles W. Butler. Design Complexity
Measurement and Testing. Communications of the ACM. December 1989,
Volume 32, Number 12
[MCCA62] McCarthy J., Towards a Mathematical Science of Computation, Proc. WT
Congress, Amsterdam, North-Holland Publications, 1962
[MCGE82] McGettrick A. D., Program Verification Using Ada, Cambridge Computer
Science Texts-13, Cambridge University Press, 1982.
[MEYE92] Meyer, B., Eiffel: The Language, Prentice Hall, New York, 1992.
[MICH98] Michel, R.. “Putting NT to the Test.” Manufacturing Systems 16(3):A18-
A20. 1998
[MILI83] Mili A., "Verifying Programs by Induction on Their Data Structure: General
Format and Applications," Information Processing Letters, vol. 17, pp. 155-
160, 1983.
[MILI84] Mili A., Desharnais J., A system for classifying program verification
methods: Assigning meanings to program verification methods, International
Conference on Software Engineering, Proceedings of the 7th international
conference on Software engineering, Orlando, Florida, United States, 1984,
pp. 499 - 509
[MILL79] Miller E., Automated Tools for Software Engineering, IEEE Computer
Society Press, 1979, p. 169
[MILLS75] Mills H. D., "The New Math of Computer Programming," Communications
of the ACM, vol. 18, no. I, pp. 43-48, 1975
[MIOK90] Musa J.D., Iannino A., Okumoto K., “Software Reliability: Measurement,
Prediction, Application”, Professional Edition: Software Engineering
 Series, McGraw-Hill, New York, NY., 1990.
[MOOR74] Moore J. S., Introducing Prog into the pure Lisp Prover, CSL-74-3, Xerox
Palo Alto Research Center, December 1974.
[MORR71] Morris J. H., "Another Recursion Induction Principle," Communications of
the ACM, vol.14, no. 5, pp. 351-354, 1971.
[MORR77] Morris J. H. and Wegbreit B., "Program Verification by Subgoal
Induction," Chapter 8 of Current Trends in Programming Methodology,
Vol. 2, R T Yeh, editor, Prentice-Hall, 1977
[MYER79] Myers G., The Art of Software Testing, Wiley, 1979
[MUŞA97] Muşatescu Carmen, Sisteme de operare distribuite, Reprografia
Universităţii din Craiova, Craiova, 1997
[MUŞA98a] Muşatescu Carmen, Sisteme de operare volumul 1, Editura Cardinal,
Craiova, 1998
[MUŞA98b] Muşatescu Carmen, Operating Systems – Memory management. Process
Management. CPU Scheduling., Editura Radical, Craiova, 1998
[MUŞA99] Muşatescu Carmen, Sisteme de operare volumul 2, Editura Cardinal,
Craiova, 1999
[MYER04] Myers G., The Art of Software Testing – Second Edition, John Wiley &
Sons, 2004
[NIRO01] Nicolescu Ovidiu, Rosca Ion Gh., Stanciu Carmen, s.a., Sistemul
informational managerial al organizatiei, Editura Economica, Bucuresti,
2001, 487 pag /27 pag.
[NICO91] Nicora A.P., "Handbook for Software Reliability Measurement", JPL
Document, June 20, 1991.
[NIST97] National Institute of Standards and Technology (NIST). 1997.
<http://www.nist.gov/itl/lab/nistirs/ir6025.htm>.
[NOSC] NOSCA Gheorghe, Metode şi tehnici pentru optimizarea costului calitǎţii
software, tezǎ de doctorat
[NTAF88] Ntafos S. C., A Comparison of Some Structural Testing Strategies, IEEE
Trans. Software Engineering, vol. 14, no. 6, June 1988, pp. 868-874
[ODǍG93] Odăgescu Ioan, Smeureanu Ion, Ştefănescu Irina, Programarea avansată a
calculatoarelor personale, Editura Militară, Bucureşti, 1993
[OPPL98] Oppliger Rolf, Internet and Intranet Security, Artech House, 1998, ISBN 0-
89006-829-1
[ORT01a] Ort, E., The Java Compatibility Test Tools: Spec Trac, August 2001,
http://developer.java.sun.com/developer/technicalArticles/JCPtools/.
[ORT01b] Ort, E., The Java Compatibility Test Tools: JavaTest Harness, October
2001,http://developer.java.sun.com/developer/technicalArticles/ JCPtools2/.
[PATR01] Patriciu V.V., Ene-Pietroşanu M., Bicǎ I., Vǎduva N., Securitatea
comerţului electronic, Bucureşti, Editura Bic All, 2001
[PERRY95] Perry, W.E. 1995. Effective Methods for Software Testing. New York: John
Wiley & Sons, Inc.
[PETE00] Peters, James F., Pedrycz, Witold – Software Engineering – An Engineering
 Approach, John Wiley & Sons, Inc, 2000
[PIRL] PIRLOG Otilia, Modele de optimizare a calitǎţii datelor, tezǎ de doctorat
[POCA] Pocatilu Paul, Costurile testǎrii software, biblioteca online www.ase.ro
[POPA] POPA Marius Emanuel, Tehnici şi metode de evaluare a calitǎţii datelor,
tezǎ de doctorat.
[PRES87] Pressman R. S., Software Engineering. A Practitioner's Approach,
McGraw-Hill, 1987
[PRES00] Pressman, Roger S. – Software Engineering – A Practitioner’s Approach,
European Adaptation Fifth Edition, McGraw-Hill, 2000
[RAMA74] Ramamoorthy C. V., et al., Reliability and Integrity of Large Computer
Programs; Lecture Notes in Computer Science Fachtagung ProzeiBrechner
1974, Springer, 1974
[RAMA82] Ramamoorthy C.V., Bastani F.B., “Software Reliability-Status and
Perspectives”, IEEE Transactions on Software Engineering, SE-8(4), pag.
354-371, 1982.
[ROLB92] Rome Laboratory, "Methodology for Software Reliability Prediction and
Assessment", Technical Report RADC-TR-87-171; revised on Technical
Report RL-TR-92-52, 1992.
[ROSC00a] Roşca Ion Gh., Ţǎpuş N., Internet şi Intranet. Concepte şi aplicaţii, Ed.
Economica, 2000
[ROSC00b] Rosca Ion Gh., Tapus N, Nastase Fl., Paiu O., Stanciu C. si un colectiv din
UPB, Intranet, partea a II-a, Ed. ASE, 2000, 112 pag.
[ROSC02a] Roşca Ion Gh., Cocianu Catalina-Lucia, Uscatu Cristian, Programarea
calculatoarelor. Aplicatii, Editura ASE, 2002, 121 pag.
[ROSC02b] Roşca I. Gh., Bodea C., Apostol C., Zamfir G., Informatica Instruirii,
Editura Economică, 2002
[ROSC03] Rosca Ion Gh., Ghilic-Micu B., Cocianu Catalina-Lucia, Stoica Marian,
Uscatu Cristian, Programarea calculatoarelor. Stiinta învatarii unui limbaj
de programare. Teorie si aplicatii, Editura ASE, 2003, 218 pag.
[ROSC04] Roşca, Ion Gh., Bucur, Cristina-Mihaela, Comerţul electronic: concepte,
tehnologii şi aplicaţii. Bucuresti: Editura Economica, 2004
[SCHN96] Bruce Schneier, Applied Cryptography: Protocols, Algorithms, and Source
Code in C, John Wiley & Sons, Inc, 1996.
[SIEG96] Siegel, Shel, Object Oriented Software Testing: A Hierarchical Approach,
Wiley Computer Publishing, 1996
[SILV91] Silver, Bill. Application of Software Test Measurement, Software Quality
World. June 18, 1991
[SMEU01] Smeureanu Ion, Dârdală Marian, Programarea în limbajul C/C++, Editura
CISON, Bucureşti, 2001
[SMEU04a] Smeureanu Ion, Dârdală Marian, Reveiu Adriana, VISUAL C# .NET, Editura
CISON, Bucureşti, 2004, 267-307
[SMEU04b] Smeureanu I., Dardala M., Programarea în C/C++, Editura CISON,
Bucureşti, 2004, pg. 60-75, 102-107
[SMEU04c] Smeureanu I., Dârdală M., Programarea orientată obiect în limbajul C++,
Editura CISON, Bucureşti, 2004, pg..10-132, 186-212
[TAI87] Tai K. C., and H. K. Su, Test Generation for Boolean Expressions, Proc.
COMPSAC '87, October 1987, pp. 278-283
[TAI89] Tai K. C., What to Do Beyond Branch Testing, ACM Software Engineering
Notes, vol. 14, no. 2, April 1989, pp. 58-61
[TANE04] Tanenbaum Andrew, Computer Networks-Fourth Edition, Prentice Hall,
2004
[TATO95] Tatomir Michael - Caracteristici ale calitătii globale la sistemele de
programe, teză de doctorat, A.S.E., Facultatea de Cibernetică, Statistică si
Informatică Economică, Bucuresti, 1995
[TEOD95] Teodorescu Laurentiu - Metode statistice în analiza datelor obtinute prin
metrici software - lucrare prezentată la Simpozionul National de Statistică,
ASE, Bucuresti, decembrie 1995
[TEOD96] Teodorescuu Laurentiu - Optimizarea calitătii produselor program, referat
prezentat în cadrul planului de pregătire a tezei de doctorat, A.S.E.
Bucuresti, martie 1996
[TOPO75] Topor R. W., Interactive Program Verification Using Virtual Programs,
Doctoral Dissertation, University of Edinburgh, Scotland, 1975.
[VAN89] Van Vleck T., Three Questions About Each Bug You Find, ACM Software
Engineering Notes, vol. 14, no. 5, July 1989, pp. 62-63
[WEIN93] Weinberg Gerald M. - Quality Software Management - First Order
Measurement, Dorset House Publishing, New York, USA 1993
[WEYU88] Weyuker, Elaine J. The Evaluation of Program-Based Software Test Data
Adequacy Criteria, Communications of the ACM. June 1988, Volume 31,
Number 6
[WHIT80] White L. J., and Cohen E. I., A Domain Strategy for Program Testing, IEEE
Trans. Software Engineering, vol. SE-6, no. 5, May 1980, pp. 247-257
[WILS95] Wilson, R.C. UNIX Test Tools and Benchmarks. New Jersey: Prentice Hall,
Inc. 1995
[****1] http://www.mysqlphp.as.ro/index.htm
[****2] http://www.tfhrc.gov/advanc/softwar/title.htm
[****3] http://serg.telecom.lth.se/research/publications/
[****4] http://www.cs.huji.ac.il/course/2002/
[****5] http://www.cl.cam.ac.uk/~mjcg/Teaching/SpecVer1/SpecVer1.html
[****6] http://en.wikipedia.org/wiki/
[****83] ANSII/IEEE std. 729-1983, IEEE Standard Glossary of Software
Engineering Terminology;
[****85] IEEE Transactions on Software Engineering vol. SE-11, nr.12, dec. 1985,
voll. SE-13. nr.1, January 1986, Special Issue on Software Reliability, Part 1,
Part 2;
[****86] "ISO 8402 - International Standard - Quality Vocabular", 1986, Geneve,
Switzerland;
[****91] "ISO/IEC 9126 International Standard - Information Technology –
Software product evaluation - Quality characteristics and guidelines for
their use", 1991, Geneve, Switzerland;