Papers I write

My papers on Programming Methodology are shared at the below link.

http://www.mathmeth.com/sn/index.shtml

Books I read

[algorithms] Juraj Hromkovic,"Algorithmic Adventures: From Knowledge to Magic",,Springer-Verlag,2009

[algorithms] David Harel and Yishai Feldman,"Algorithmics The Spirit of Computing",3rd edition,Addison-Wesley,2004

[algorithms] Niklaus Wirth,"Algorithms + Data Structures = Programs",,Prentice Hall of India,1975

[algorithms] George T. Heineman;Gary Pollice,"Algorithms in a Nutshell",2nd edition,O' Reilly,2016

[algorithms] Robert Sedgewick and Kevin Wayne,"Algorithms",4th edition,Addison-Wesley,2011

[algorithms] David Harel,"Computers Ltd.: What They Really Can't Do",,Oxford University Press,2003

[algorithms] Yedidyah Langsam;Moshe J. Augenstein and Aaron M. Tenenbaum,"Data Structures Using C and C++",2nd edition,Prentice Hall of India,1995

[algorithms] Juraj Hromkovic,"Design and Analysis of Randomized Algorithms",,Springer-Verlag,2005

[architecture] Robert C. Martin,"Clean Architecure",,Prentice Hall,2017

[architecture] Eric Evans,"Domain Driven Design",,Addison-Wesley,2003

[architecture] Grady Booch,"Object-Oriented Analysis and Design with Applications",2nd edition,Addison-Wesley,1993

[architecture] Frank Buschmann et al.,"Pattern Oriented Software Architecture",,John Wiley & Sons,1996

[architecture] Simon Brown,"Software Architecture for Developers",,LeanPub,2015

[calculus] Ron Larson,"Calculus I with Precalculus",3rd edition,Cengage Learning,2012

[calculus] Silvanus P. Thompson,"Calculus Made Easy",,Red Globe Press London,1910

[calculus] Stanley I. Grossman,"Calculus of One Variable",2nd edition,Elsevier Science,1985

[compilers] David Gries,"Compiler construction for digital computers",,John-Wiley & Sons,1971

[compilers] Niklaus Wirth,"Compiler Construction",,Addison-Wesley,1996

[compilers] Dick Grune and Ceriel Jacobs,"Parsing Techniques",1st edition,Ellis Horwood Limited,1990

[compilers] A. V. Aho and J. D. Ullman,"Principles of Compiler Design",,Narosa Publishing House,1993

[database] Ramez Elmasri and Shamkant B. Navathe,"Fundamentals of Database Systems",3rd edition,Addison Wesley,1999

[database] Baron Schwartz et al.,"High Performance MySQL",3rd edition,O' Reilly,2012

[database] Bill Karwin,"SQL Antipatterns",,The Pragmatic Bookshelf,2010

[database] Ralph Kimball and Margy Ross,"The Data Warehouse Toolkit",3rd edition,John Wiley & Sons,2013

[deep learning] Seth Weidman,"Deep Learning from Scratch",,O' Reilly,2019

[deep learning] Jon Krohn;Grant Beyleveld;Aglae Bassens,"Deep Learning Illustrated: A Visual, Interactive Guide to Artificial Intelligence",,Addison Wesley,2020

[deep learning] Ronald T. Kneusel,"Math for Deep Learning",,no starch press,2022

[design] John Ousterhout,"A Philosophy of Software Design",2nd edition,Yaknyam Press,2021

[design] Eric Gamma et al.,"Design Patterns",,Addison-Wesley,1994

[design] Arthur J. Riel,"Object-oriented Design Heuristics",,Addison-Wesley,1996

[design] Bertrand Meyer,"Object-Oriented Software Construction",2nd edition,Prentice Hall,1997

[design] Robert C. Martin,"Clean Code",,Prentice Hall,2009

[design] Robert C. Martin,"Clean Coder",,Prentice Hall,2011

[design] Steve McConnell,"Code Complete",2nd edition,Microsoft Press,2004

[design] Brian W. Kernighan and P. J. Plauger,"The Elements of Programming Style",2nd edition,McGraw-Hill,1978

[design] David Thomas;Andrew Hunt,"The Pragmatic Programmer",2nd edition,Addison-Wesley,2019

[discrete mathematics] Joe L. Mott;Abraham Kandel and Theodore P. Baker,"Discrete mathematics for computer scientists & mathematicians",2nd edition,Prentice Hall of India,1986

[discrete mathematics] David Gries and Fred B. Schneider,"A Logical Approach to Discrete Math",,Springer Verlag,1993

[electronics] Nigel P. Cook,"Electronics: A Complete Course",2nd edition,Pearson,2003

[electronics] Forrest M. Mims III,"Getting started in electronics",,Master Publishing,2006

[electronics] Mitchel Schultz,"Grob's Basic Electronics",12th edition,McGraw-Hill,2016

[electronics] Stan Gibilisco,"Teach Yourself Electricity and Electronics",3rd edition,McGraw-Hill,2001

[image processing] Randy Crane,"A Simplified Approach to Image Processing",,Hewlett-Packard Professional Books,1996

[image processing] Dwayne Phillips,"Image Processing In C",,BPB Publications,1995

[image processing] Wilhelm Burger,"Principles of Digital Image Processing",,Springer-Verlag,2009

[image processing] Kenny A. Hunt,"The Art of Image Processing with Java",,A K Peters,2016

[languages] Peter Prinz;Tony Crawford,"C in a Nutshell",2nd edition,O' Reilly,2016

[languages] Joseph Albahari and Ben Albahari,"C# 6.0 in a Nutshell",6th edition,O' Reilly,2016

[languages] Stanley B. Lippman,"C++ Primer",5th edition,Addison-Wesley,2012

[languages] David Flanagan,"Javascript The definitive guide",,O' Reilly,2011

[languages] Hanspeter Mossenbock,"Object-Oriented Programming in Oberon-2",2nd edition,Springer-Verlag,1994

[languages] Kathleen Jensen and Niklaus Wirth,"PASCAL User Manual and Report ",,Narosa Publishing House,1983

[languages] Niklaus Wirth,"Programming in Mdula-2",3rd print,Springer Verlag,1985

[languages] Martin Reiser and Niklaus Wirth,"Programming in Oberon",,Addison-Wesley,1992

[languages] Bjarne Stroustrup,"Programming Principles and Practice Using C++",1st edition,Addison-Wesley,2008

[languages] Brian W. Kernighan and Dennis M. Ritchie,"The C Programming Language",2nd edition,Prentice Hall of India,1988

[linear algebra] Nathaniel Johnston,"Advanced Linear and Matrix Algebra",,Springer,2021

[linear algebra] Duc Van Khanh Tran,"Basic Linear Algebra: An Introduction with an Intuitive Approach",,Independently published,2022

[linear algebra] Bernard Kolman;David Ross Hill,"Elementary Linear Algebra with applications",9th ed,Pearson,2014

[linear algebra] Howard Anton;Anton Kaul,"Elementary Linear Algebra",12th Edition,,

[linear algebra] Ron Larson,"Elementary Linear Algebra",7th edition,Brooks Cole,2012

[linear algebra] Ron Larson;David C Falvo;Houghton Mifflin,"Elementary Linear Algebra",6th edition,Houghton Mifflin,2006

[linear algebra] Stanley I. Grossman,"Elementary Linear Algebra",5th edition,Brooks Cole,1994

[linear algebra] Howard Anton;Chris Rorres,"Elementary Linear Algebra: Applications Version",11th edition,John Wiley & Sons,2013

[linear algebra] Dan Margalit and Joseph Rabinoff,"interactive linear algebra",,georgia institute of technology,2019

[linear algebra] Gilbert Strang,"Introduction to Linear Algebra",,,

[linear algebra] Nathaniel Johnston,"Introduction to Linear and Matrix Algebra",1st edition,Springer-Verlag,2021

[linear algebra] A. G. Hamilton,"Linear Algebra an introduction with concurrent examples",,Cambridge University Press,1989

[linear algebra] Mary jane Sterling,"Linear algebra for dummies",,Wiley Publishing,2009

[linear algebra] Peter Saveliev,"Linear Algebra Illustrated",,,

[linear algebra] bruce solomon,"linear algebra, geometry and transformation",,crc press,2015

[linear algebra] Ian Bradley and Ronald L Meek,"Matrices and society",,Princeton Univ. Press,1986

[linear algebra] Scott Stevens,"Matrices, Vectors, and 3D Math: A Game Programming Approach with MATLAB",,Worldwide Center of Mathematics,2012

[linear algebra] Ivan Savov,"No bullshit guide to linear algebra",,Minireference,2016

[linear algebra] kenji hiranabe,"the art of linear algebra",,,2021

[linear algebra] Shin Takahashi,"The manga guide to linear algebra",,No starch press,2012

[linear algebra] steven a. leduc,"linear algebra",,cliffs quick review: wiley publishing,1996

[logic] Mark V. Lawson,"A First Course in Logic",1st edition,CRC Press,2018

[logic] Brian Garrett,"Elementary Logic",,Routledge,2014

[logic] Martin Davis,"Engines of Logic",,W. W. Norton & Company,2001

[logic] Ernest Nagel and James R. Newman,"Godel's Proof",,New York University Press,2001

[logic] Harry J. Gensler,"Godel's Theorem Simplified",,University Press of America,1984

[logic] Dan Cryan;Sharron Satil and Bill Mayblin,"Introducing Logic (a graphic guide)",,Icon Books,2002

[logic] J.E.Hopcroft and J.D.Ullman,"Introduction to Automata, Languages and Computation",1st edition,Narosa Publishing House,1989

[logic] Marcus Russell,"Introduction to Formal Logic",,Oxford University Press,2018

[logic] Alan P. Parkes,"Introduction to Languages, Machines and Logic",,Springer-Verlag,2002

[logic] Michael Gelfond,"knowledge representation",,Cambrige University Press,2014

[logic] Mark Zegarelli,"Logic for Dummies",1st edition,John Wiley & Sons,2006

[logic] Nicholas J.J. Smith,"Logic: The Laws of Truth",,Princeton University Press,2012

[logic] Apostolos Doxiadis;‎Christos H. Papadimitriou,"Logicomix: An Epic Search for Truth",,Bloomsbury Publishing,2009

[logic] Geoffrey Hunter,"Metalogic",,University of California Press,1973

[logic] Juraj Hromkovic,"Theoretical Computer Science",,Springer-Verlag,2011

[machine learning] Joel Grus,"Data Science from Scratch",2nd edition,O' Reilly,2019

[machine learning] laura igual,"data science",,,

[machine learning] John D. Kelleher;Brian Mac Namee;Aoife D’Arcy,"Fundamentals of Machine Learning for Predictive Data Analytics",,MIT Press,2020

[machine learning] Luis G. Serrano,"Grokking Machine Learning",,Manning Publications,2021

[machine learning] Mostafa Samir Abd El-Fattah,"How Machine Learning Works",,Manning Publications,2019

[machine learning] max bramer,"principles of data mining",,,

[machine learning] Paolo Perrotta,"Programming Machine Learning: From Coding to Deep Learning",,Pragmatic Bookshelf,2020

[machine learning] Josh Starmer,"The StatQuest illustrated guide to machine learning!!!",,,2022

[mathematics] George Polya,"How to solve it",2nd edition,Princeton University Press,1957

[mathematics] Flanders and Price,"Introductory college mathematics, with linear algebra and finite mathematics",,academic press,1973

[mathematics] Natasha Maurits;Branislava Curcic Blake,"Math for Scientists: Refreshing the Essentials",,Springer,2017

[mathematics] Jenny Olive,"Maths: A Student's Survival Guide: A Self-Help Workbook for Science and Engineering Students",,Cambridge University Press,2003

[mathematics] David Cohen,"Precalculus",,,

[mathematics] Steven Strogatz,"The Joy of X",,Mariner books,

[mathematics] Richard Courant and Herbert Robbins,"What is Mathematics?",,Oxford University Press,1996

[microprocessor] Lance A. Leventhal,"68000 assembly language programming",,McGraw-Hill,1986

[microprocessor] Bhupendra Singh Chhabra and Amit Chhabra ,"8085 Microprocessor and Its Application",,Dhanpat Rai Publishing Company,

[microprocessor] M. Morris Mano,"Digital Logic and Computer Design",,Prentice Hall of India,2002

[microprocessor] Peter Abel,"IBM PC Assembly Language And Programming",4th edition,Prentice Hall of India,1997

[microprocessor] John J. Donovan,"Systems Programming",,Mcgraw Hill,1972

[microprocessor] Michael A. Miller,"The 68000 Microprocessor: Architecture, Software, and Interfacing Techniques",,Prentice Hall of India,1986

[microprocessor] Lance A. Leventhal,"Z80 Assembly Language Programming ",,OSBORNE/McGraw-Hill,1980

[microprocessor] D. W. Lewis,"Fundamentals of embedded software : where C and assembly meet",,Prentice Hall,2002

[miscellaneous] R.C. Sharma and Krishna Mohan,"Business Correspondence and Report Writing",2nd edition,Tata Mcgraw Hill,1994

[miscellaneous] Richard K. Bernstein,"Dr. Bernstein's Diabetes Solution",,Little Brown and Company,2007

[miscellaneous] Raymond Murphy,"Essential grammar in use",4th edition,Cambridge University Press,2015

[miscellaneous] Ramon P. DeGennaro,"How the Stock Market Works",,The Great Courses,2014

[miscellaneous] T Longvah et al,"Indian Food Composition Tables",,National Institute of Nutrition, Hyderabad,2017

[multiprogramming] Vijay K. Garg,"Concurrent and Distributed Computing in Java",,John Wiley & Sons,2004

[multiprogramming] Joe Duffy,"Concurrent Programming on Windows",,Addison-Wesley,2009

[multiprogramming] A. Udaya Shankar,"Distributed Programming: Theory and Practice",,Springer-Verlag,2013

[multiprogramming] Gregory R. Andrews,"Foundations of Multithreaded, Parallel and Distributed Programming",,Addison-Wesley,2000

[multiprogramming] Brian Goetz et al.,"Java Concurrency in Practice",,Addison-Wesley,2006

[multiprogramming] W. H. J. Feijen and A. J. M. Van Gasteren,"On a method of multiprogramming",,Springer-Verlag,1999

[multiprogramming] Mordechai (Moti) Ben-Ari,"Principles of Concurrent and Distributed Programming",2nd edition,Addison-Wesley,2006

[multiprogramming] Leslie Lamport,"Specifying Systems",,Addison-Wesley,2002

[networking] Andrew S. Tanenbaum,"Computer Networks ",3rd edition,Prentice Hall of India,1996

[networking] Joe Casad,"Teach Yourself TCP/IP",5th edition,Sams Publishing,2012

[neural networks] Ahmed Fawzy Gad and Fatima Ezzahra Jarmouni,"Introduction to Deep Learning and Neural Networks with Python",1st edition,Academic Press,2020

[neural networks] Tariq Rashid,"Make Your Own Neural Network",1st edition,CreateSpace Independent Publishing,2016

[neural networks] Sandhya Samarasinghe,"Neural Networks for Applied Sciences and Engineering",1st edition,CRC Press,2016

[neural networks] Harrison Kinsley;Daniel Kukieła,"Neural Networks from Scratch in Python",,Harrison Kinsley,2020

[operating systems] K. C. Wang,"Design and Implementation of the MTX Operating System",,Springer-Verlag,2015

[operating systems] Douglas Comer,"Operating System Design: The Xinu Approach, BeagleBone and Galileo version",2nd edition,CRC Press,2015

[operating systems] Andrew S. Tanenbaum,"Operating Systems: Design and Implementation ",2nd edition,Prentice Hall of India,1997

[operating systems] Niklaus Wirth and Jurg Gutknecht,"Project Oberon",,Addison-Wesley,1992

[operating systems] Samuel J. Leffler et al.,"The Design and Implementation of the 4.3 BSD Unix Operating System",,Addison-Wesley,1989

[operating systems] Maurice J. Bach,"The Design of the Unix Operating System",,Prentice Hall of India,1989

[operating systems] Martin Reiser,"The Oberon system",,Addison-Wesley,1991

[physics] Paul Hewitt,"Conceptual Physics",12th edition,Pearson,2014

[physics] Robert Resnick;David Halliday,"Fundamentals of Physics",8th edition,John Wiley & Sons,2007

[physics] Douglas C. Giancoli,"Physics: Principles with Applications",7th edition,Pearson,2014

[physics] George Arfken et al,"University Physics",1st edition,Elsevier Science,2012

[probability] J. L. Hodges;E. L. Lehmann,"Basic concepts of probability and statistics",,Society for Industrial Mathematics,2005

[probability] Milan Holicky,"Introduction to probability and statistics for engineers",,Springer,2013

[probability] Stanley H. Chan,"Introduction to Probability for Data Science",,Michigan publishing,2021

[probability] N. Balakrishnan;Markos Koutras et al,"Introduction to Probability: Models and Applications",,Wiley,2020

[probability] Deborah J Rumsey,"Probability For Dummies",,For Dummies,2006

[probability] David J. Morin,"Probability_ For the Enthusiastic Beginner",,CreateSpace Independent Publishing,2016

[probability] Carol Ash,"The Probability Tutoring Book",,IEEE Press,1993

[programming] Scott Meyers,"Effective C++: 50 Specific Ways to Improve Your Programs and Design",2nd edition,Addison-Wesley,1997

[programming] David Herman,"Effective Javascript",,Addison-Wesley,2013

[programming] Yashavant Kanetkar,"Let Us C",3rd edition,BPB Publications,1999

[programming] R K Venugopal,"Mastering C++",,Tata Mcgraw Hill ,1997

[programming] E Balagurusamy,"Programming in ANSI C",1st edition,Tata Mcgraw Hill,1992

[programming] Allen Downey,"Think Python",2nd edition,Green Tea Press,2015

[programming] Bruce Eckel,"Thinking in C++",2nd edition,Prentice Hall,2003

[programming] Yashavant Kanetkar,"Visual C++ Programming",,BPB Publications,2004

[programming] Peter Van Der Linden,"Expert C programming",,Prentice Hall,1994

[programming] Robert Sedgewick;Kevin Wayne,"Introduction to Programming in Python",1st edition,Addison-Wesley Professional,2015

[programming] Nathan Meyers,"Java Programming On Linux",,Waite Group Press,2000

[programming] Martin Rinehart,"Javascript Object Programming",,Apress,2015

[programming] Douglas Crockford,"Javascript: The Good Parts",,O'Reilly,2008

[programming] David Gries,"Multimedia Introduction to Programming Using Java",,Springer-Verlag,2004

[programming] Nicholas C Zakas,"The principles of Object Oriented Javascript",,No Starch Press,2014

[programming] Richard Stevens,"Advanced Programming in the UNIX Environment",,Addison-Wesley,1992

[programming] William H. Press et al.,"Numerical Recipes in C: The Art of Scientific Computing",2nd edition,Cambridge University Press,1992

[programming] Irv Kalb,"Object oriented python: master oop by building games and guis",,No starch press,2022

[programming] Richard Stevens,"UNIX Network Programming",,Prentice Hall of India,1990

[programming] Yashavant Kanetkar,"Unix Shell Programming",,BPB Publications,2003

[programming] Johnson M. Hart,"Windows System Programming",4th edition,Addison-Wesley,2010

[relativity] Ira Mark Egdall,"Einstein Relatively Simple",,World Scientific,2014

[relativity] Robert Geroch,"General relativity from A to B",,The University of Chicago Press,1978

[relativity] N. David Mermin,"It's About Time: Understanding Einstein's Relativity",,Princeton University Press,2005

[relativity] Martin Gardner,"Relativity simply explained",,Dover Publications Inc.,1997

[relativity] Lillian R. Lieber,"The Einstein theory of Relativity",,Holt, Rinehart and Winston,1945

[relativity] L. D. Landau;G. B. Rumer,"What Is Relativity?",1st edition,Dover Publications Inc.,2013

[software engineering] Grerald M. Weinberg,"The Psychology of Computer Programming",,Van Nostrand Reinhold,1971

[software engineering] Watts S. Humphrey,"Introduction to the Personal Software Process",,Addison-Wesley,1996

[software engineering] Tom DeMarco and Timothy Lister,"Peopleware",2nd edition,Dorset House Publishing Co.,1999

[software engineering] Joel Spolsky,"Smart and Gets Things Done",,Apress,2007

[software engineering] Barry W. Boehm,"Software Engineering Economics",,Prentice Hall,1981

[software engineering] Frederick P. Brooks,"The Mythical Man-Month: Essays on Software Engineering ",2nd edition,Addison-Wesley,1995

[spirituality] Sri Harikrishnadas Goyandaka,"Bhagavad Gita, Ramanuja Bhasya Hindi Anubadasahita",,Gita Press Gorakhpur,

[spirituality] Sri Aurobindo,"Gita Nibandhamala",,,1999

[spirituality] Mangesh V. Nadkarni,"Invitation to Sri Aurobindo's Savitri",,,

[spirituality] Swami Shivananda,"Mana, ehara rahasya ebong sanjamata",,,

[spirituality] Swami Vivekananda,"Patanjali Yoga Sutras",,,

[spirituality] Compiled,"Sarala Gita (code-2136)",,Gita Press Gorakhpur,

[spirituality] A. B. Purani,"Savitri: An Approach and a Study",,,

[spirituality] Mohapatra Nilamani Sahoo,"Savitri: Eka Adhyayana",,Manoroma Press,

[spirituality] Manoj Das,"Savitri: Padyanuvad, part 1",,,

[spirituality] Chittaranjan Das,"Shabda Sataka",,,

[spirituality] Ramesh Bijlani,"Spiritual Wisdom in Small Doses",,Sri Aurobindo Ashram Delhi,

[spirituality] Nilamani Misra,"Sri Gita Govinda",,Grantha Mandir,

[spirituality] Swami Adidevananda,"Sri Ramanuja Gita Bhasya",,Ramkrishna Mission,

[spirituality] Compiled,"Srimad Bhagavad Gita (code-1008)",,Gita Press Gorakhpur,

[spirituality] Swami Ramasukhdas,"Srimad Bhagavad Gita (code-1965) with anvaya",,Gita Press Gorakhpur,

[spirituality] Sri Siba Prasad Das,"Srimad Bhagavad Gita",,Bishwa Bharati Press Sambalpur,1971

[spirituality] Shyam Kumari,"Sudha Samachar",,,

[spirituality] Madhav P. Pandit,"The Book of Beginnings",,,

[spirituality] Swami Vivekananda,"The Science and Philosophy of Religion",,,

[spirituality] Swami Vivekananda,"Vedanta Darshana",,,

[spirituality] Swami Chinmayananda,"Viveka Chudamani",,,

[spirituality] Bernie Clark,"YinSights: A Journey Into the Philosophy & Practice of Yin Yoga",,,2007

[statistics] Irwin Miller and John E. Freund,"Probability and Statistics for Engineers",3rd edition,Prentice Hall of India,1985

[statistics] David S. Rubin and Richard I. Levin,"Statistics for Management",5th edition,Prentice Hall of India,1992

[statistics] Arthur Aron,"Statistics for Psychology",6th edition,Pearson,2012

[statistics] Sally Caldwell,"Statistics Unplugged",4th edition,Cengage Learning,2012

[statistics] Gudmund R. Iversen;Mary Gergen,"Statistics: The Conceptual Approach",,Springer-Verlag,1997

[statistics] Larry Gonick and Woollcott Smith,"The Cartoon Guide to Statistics",,Harper Perennial,1993

[statistics] thomas d wickens,"the geometry of multivariate statistics",,psychology press,2014

[statistics] Robert A Donnelly,"The complete idiots guide to statistics",2nd ed,alpha books,2007

[statistics] freedman;Pisani;Purves,"Statistics",4th ed,w w norton & company,2007

[statistics] johnson and bhattacharya,"statistics: principles & methods",6th ed,john wiley & sons,2010

[statistics] witte and witte,"statistics",11th ed,wiley,2017

[statistics] Neil A Weiss,"Elementary statistics",8th ed,addison wesley,2012

[statistics] mario f. triola,"elementary statistics",10th ed,pearson,2006

[theory of programming] John V. Guttag,"Introduction to computation and programming using Python",1st edition,The MIT Press,2013

[theory of programming] Edsger W. Dijkstra,"A Discipline of Programming",,Prentice Hall,1976

[theory of programming] Edsger W. Dijkstra,"A Short Introduction to the Art of Programming",,Technische Hogeschool Eindhoven,1971

[theory of programming] Edsger W. Dijkstra and Carel S. Scholten,"Predicate calculus and program semantics",,Springer-Verlag,1990

[theory of programming] David Gries,"Programming Methodology: A Collection of Articles by members of IFIP WG 2.3",,Springer Verlag,1978

[theory of programming] Harold Abelson and Gerald Jay Sussman,"Structure and Interpretation of Computer Programs",2nd edition,The MIT Press,1996

[theory of programming] Ole Johan Dahl;Edsger Wybe Dijkstra and C. A. R. Hoare,"Structured Programming",,Academic Press,1972

[theory of programming] Richard C. Linger;Harlan D. Mills and B. I. Witt,"Structured Programming: Theory and Practice",,Addison-Wesley,1979

[theory of programming] Charles Petzold,"The Annotated Turing",,John Wiley & Sons,2008

[theory of programming] David Gries,"The Science of Programming",,Narosa Publishing House,1981

[web programming] Sam Newmann,"Building Microservices",,O' Reilly,2015

[web programming] Miguel Grinberg,"Flask Web Development",,O' Reilly,2018

[web programming] Robin Nixon,"Learning PHP, MySQL and JavaScript",,O' Reilly,2009

[web programming] Kirupa Chinnathambi,"Learning React",1st edition,Addison-Wesley,2016

[web programming] Jennifer Niederst Robbins,"Learning Web Design",4th edition,O' Reilly,2012

[web programming] Luke Welling and Laura Thompson,"PHP and MySQL Web Development",2nd edition,Sams Publishing,2003

[web programming] Martin L. Abbott and Michael T. Fisher,"Scalability Rules",2nd edition,Addison-Wesley,2017

[web programming] Eric Newcomer,"Understanding Web Services, XML, WSDL, SOAP, and UDDI",,Pearson Education,2004

[web programming] Hugh E. Williams and David Lane,"Web Database Applications with PHP and MySQL",2nd edition,O' Reilly,2004

Papers I read

[1] "A new technology for terahertz electronics", Phiar Corporation, 2003

[2] "Barrel Shifters (in FLEX 8000 Devices)", Altera, 1994

[3] "Choosing a DSP processor", Berkeley Design Technology Inc.

[4] "Code, Security, Interface and Include Problems", Klocworks

[5] "IEEE Standard for software reviews", IEEE Std1028-1997

[6] "M-Core ABI Standards Manual", Freescale Semiconductor Inc.

[7] "Memory maps of DSP56652", Freescale Semiconductor Inc.

[8] "Programming Languages - C", ISO/IEC 9899: 1999(E)

[9] "RISC, ARM and M-Core Technologies", Technical Report, Spartan Embedded Technologies, 1997

[10] "Rationale for American National Standard for Information Systems Programming Language - C", 1989

[11] "Reference Manual - M-Core with M210/M210S Specifications"

[12] "The Real Stroustrup Interview", Computer, IEEE, 1998

[13] A. Biliris, S. Dar, N. H. Gehani, "Making C++ Objects persistent: the hidden pointers", "AT&T Bell Labs, John Wiley & Sons", 1993

[14] A. Frank Ackerman et al., "Software inspection: An effective verification process", IEEE Software, 1989

[15] Aaron Falk et al., "Transport Protocols for High Performance", CACM, 2003

[16] Alan J. Perils et al., "Social processes and proof of theorems and programs", CACM, 1979

[17] Alan MacCormack et al., "Trade-offs between Productivity and Quality in selecting software development practices", IEEE Software, 2003

[18] Alastair Dunsmore, Mark Rooper and Murray Wood, "Object oriented Inspection in the face of delocalisation", ICSE, ACM, 2000

[19] Alastair Dunsmore, Mark Rooper and Murray Wood, "Practical code inspection techniques for object oriented system: An experimental Comparison", IEEE Software, 2003

[20] Alastair Dunsmore, Mark Rooper and Murray Wood, "Systematic object oriented inspection - An empirical study", IEEE, 2001

[21] Alastair Dunsmore, Mark Rooper and Murray Wood, "The development and evaluation of three diverse techniques for object oriented code-inspection", ITSE, 2003

[22] Albert B. Schwarzkopf et al., "Effective practices for IT skills staffing", CACM, 2004

[23] Alex Potanin et al., "Scale-free geometry in OO programs", CACM, 2005

[24] Amnon H. Eden and Rick Kazman, "Architecture, Design, Implimentation", IEEE, 2003

[25] Amy S. Bruckman, "Student rresearch and the Internet", CACM, 2005

[26] Ana M. Erosa and Laurie J Henderen, "Taming control flow: A structured approach to eliminating go to Statements", ICCL, May. 1994

[27] Andreas Jedlitschka and Dietmar Pfahl, "Reporting guidelines for controlled experiments in software engineering", IEEE, 2005

[28] Andrei Gorine and Konstantin Knizhnik, "Memory management & Embedded databases", Dr. Dobb's Journal, Dec. 2005

[29] Andrew Koenig and Barbara E. Moo, "Invariants as an intellectual tool", C C++ Users Journal, Feb. 2006

[30] Andrew S. Tanenbaum et al., "Modular system programming in Minix 3", ;login:, Usenix, 2006

[31] Andrew S. Tanenbaum, "Implications of structured programming for machine architecture",

[32] Andrew S. Tanenbaum, "In defence of program testing OR Correctness proof considered harmful", SIGPLAN Noices, 1976

[33] Andrew S. Tanenbaum, Jorrit N. Herder and Herbert Bos, "Can we make operating systems reliable and secure?", "Vrije Universiteit, Amsterdam",

[34] Andy Chou et al., "An empirical study of operating system errors", "Computer System Laboratory, Stanford University",

[35] Aravind Krishnaswamy and Rajiv Gupta, """Mixed width instruction-sets", CACM, 2003

[36] Author, Title, Journal, Vol, Issue, "Press, Place", Month. Year, Page

[37] Barbara Kitchenham et al., "Evaluating guidelines for empirical software engineering studies", ISESE, ACM, 2006

[38] Barbara Kitchenham et al., "Preliminary Guidelines for empirical research in software engineering", ITSE, 2002

[39] Barry Boehm and Victor R. Basili, "Software defect reduction, Top 10 list",

[40] Barry Boehm, "A view of 20th and 21st century software engineering", ICSE, ACM, 2006

[41] Benjamin A. Kuperman et al., "Detection and prevention of stack buffer overflow attacks", CACM, 2005

[42] Benjamin B. M. Shao and Julie Smith David, "The impact of outsourcing on IT workers in developed contries", CACM, 2007

[43] Bert J. Dempsey et al., "Who is an open souce software developer?", CACM, 2002

[44] Bill C. Hardgrave and Deborah J. Armstrong, "Software process improvement: It’s a journey not a destination", CACM, 2005

[45] Bipin Prabhakar, "IT skills in a tough job market", CACM, 2005

[46] Bjarne Stroustrup, "An overview of C++", SIGPLAN Noices, 1986

[47] Bjarne Stroustrup, "What is ""object oriented programming""?", 1991

[48] Bjarne Stroustrup, "Why C++ is not just an OOPL", OOPSLA, ACM, 1995

[49] Brian Fitzgerald et al., "Software development method tailoring at Motorola", CACM, 2003

[50] Brian Fitzgerald, "A critical look at open source", Computer, IEEE, 2004

[51] Brian Henderson-sellers, "Method engineering for OO systems development", CACM, 2003

[52] Brian W. Kernighan, "Why Pascal is not my favourite Programming Language", AT&T Bell Lab., 1981,

[53] Bruce Arden et al., "Criticisms of ALGOL 60", CACM,

[54] Bruce Jacob, "Virtual memory systems and TLB structures", "University of Maryland, CRC Press", 2001

[55] Bruce S. N. Cheung and Robert C. Uzgalis, "Ambiguity in context free grammars", CACM, 1995

[56] Bruno De Bus et al., "Post pass compaction techniques", CACM, 2003

[57] C. A. R. Hoare et al., "Laws of Programming", CACM, 1987

[58] C. A. R. Hoare, "An axiomatic basis for computer programming", CACM, 1969

[59] C. A. R. Hoare, "Communicating sequential processes", CACM, 1978

[60] C. A. R. Hoare, "Proof of a program: FIND", CACM, 1971

[61] C. A. R. Hoare, "The emperor's old clothes", CACM, Feb. 1981

[62] C.A.R. Hoare and Niklaus Wirth, "An axiomatic definition of the programming language PASCAL", Acta Informatica, 1973,

[63] Caper Jones, "Variations in software development practice", IEEE Software, Nov.-Dec. 2003

[64] Carina Andersson and Per Runeson, "A replicated quantitative analysis of fault distribution in complex software systems", ITSE, 2007

[65] Carl Ponder and Bill Bush, "Polymorphism considered harmful", SIGSOFT, ACM, 1994

[66] Casey G. Cegielski, "Who values technology cirtifications?", CACM, 2004

[67] Cheng Lie Hu, "Dataless objects considered harmful", CACM, 2005

[68] Chris F. Kemerer, "Reliability of function point measurement, A field experiment", CACM, 1993

[69] Chuck Walrad and Darrel Strom, "The Importance of branching models in SCM", Computer, IEEE, 2002

[70] Claes Wohlin, "Is prior knowledge of a programming language important for software quality", ISESE, 2002

[71] Cleidson R. B. Dosouza et al., "Management of interdependency in collabotarative software development", ISESE, 2003

[72] Cong-cong Xing et al., "On Pseudo Object Oriented Programming considered harmful", CACM, 2003

[73] D. L. Parnas et al., "Concurrent control with Readers and Writers", CACM, 1971

[74] D. Scotts Brandt and L. Uden, "Insight into mental models of novice internet searchers", CACM, 2003

[75] Dag I. K. Sjoberg et al., "Conducting realistic experiments in software engineering", ISESE, 2002

[76] Dan Saks, "Scope regions in C and C++", Embedded Systems Design, Nov. 2007

[77] Dave Dice and Alex Garthwaite, "Mostly lock-free Malloc", ISMM, ACM, 2002

[78] Dave Thomas and Andy Hunt, "State Machines", IEEE Software, 2004

[79] David A. Patterson and Carlo H. Sequin, "RISC I : A reduced instruction set VLSI computer", IEEE, 1981

[80] David A. Patterson, "Computer Science education in the 21st century", CACM, 2006

[81] David A. Patterson, "Does ACM support matter to conferences or journals?", CACM, 2005

[82] David A. Patterson, "New directions for CACM", CACM, 2006

[83] David A. Patterson, "Offshoring: Finally facts Vs. folklore",

[84] David A. Patterson, "Rescuing our families, our neighbours and ourselves", CACM, 2005

[85] David A. Patterson, "Restoring the popularity of CS", CACM, 2005

[86] David A. Patterson, "Reviving your favourite CS books", CACM, 2006

[87] David A. Patterson, "Robots in the desert, A research parable for our times", CACM, 2005

[88] David A. Patterson, "Stop whinning about outsourcing",

[89] David A. Patterson, "The health of research conferences and the dearth of big idea papers",

[90] David A. Patterson, "Why join ACM", CACM, 2005

[91] David Arnow, "Teaching programming to liberal arts students: Using loop invariants", SIGSCE, ACM, 1994

[92] David Clark, "Mobile processors begin to grow up", Computer, IEEE, 2002

[93] David E. Avisen and Guy Fitzgerald, "Where now for development methodologies?", CACM, 2003

[94] David E. Douglas et al., "OO Curricula in Academic programs", CACM, 2000

[95] David Evans, "Programming the swarm", University of Virginia, 2000

[96] David Gries and Fred B. Schneider, "A new approach to teaching discrete mathematics",

[97] David Gries and Fred B. Schneider, "A new approach to teaching mathematics", TR 94-1411, Cornell University, 1994

[98] David Gries and Fred B. Schneider, "Equational propositional logic", Cornell University, 1994,

[99] David Gries and Fred B. Schneider, "Programming Methodology: Making a Science out of an Art",

[100] David Gries and Jeff Wadkins, "An introduction to proofs of program correctness for teachers of college level introductory programming courses", TR 90-1102, Cornell University, 1990

[101] David Gries, "A note on the standard strategy for developing loop invariants and loops", Technical Report, 1982

[102] David Gries, "An Excercise in proving parallel programs correct", CACM, 1977

[103] David Gries, "An argument, in limerick form, calculated to change the teaching of logic", ISFM, Jun. 2011

[104] David Gries, "An illustration of current ideas on the derivation of correctness proofs and correct programs", ITSE, Dec. 1976

[105] David Gries, "Are formal methods useful for software development?", IEEE, 1992

[106] David Gries, "Educating the programmer: notation, proofs and the development of programs", Technical Report, Cornell University,

[107] David Gries, "Is sometime ever better than always?", TR 78-343, Cornell University, 1978

[108] David Gries, "Teaching calculation and discrimination: A more effective curriculum", CACM, 1991

[109] David Gries, "What Programmers don’t and should know", TR 87-872, Cornell University, 1987

[110] David Gries, "What have we not learned about teaching programming?", Computer, IEEE, 2006

[111] David Gries, "What should we teach in an introductory programming course?", Cornell University,

[112] David Gries, "Where is programming methodology these days?", SIGCSE Bulletin, 2002

[113] David Harel, "Can programming be liberated, Period?", Computer, IEEE, Jan. 2008

[114] David Janzen and Hossein Saiedien, "Test driven development: Concepts, taxonomy and future directions", Computer, IEEE, 2005

[115] David L. Parnas, "On the criteria to be used in decomposing systems into modules", CACM, 1972

[116] David L. Parnas, "On the design and development of program families", ITSE, 1976

[117] David L. Parnas, "Really rethinking 'Formal Methods'", Computer, IEEE, Jan. 2010

[118] David L. Parnas, "Software engineering programs are not computer science programs", IEEE Software, 1999

[119] David L. Parnas, "The Parnas Papers", "University of Victoria, Canada",

[120] David L. Parnas, "The limits of empirical studies of software engineering", ISESE, 2003

[121] David L. Parnas, "The modular structure of complex systems", ITSE, 1985

[122] David P. Darcy and Chris F. Kemerer, "OO metrics in practice", IEEE Software, Nov.-Dec. 2005

[123] David R. Tribble, "Goto statements considered harmful: A retrospective", 2005

[124] David S. Rosenblum, "A practical approach to programming with assertions", ITSE, 1995

[125] David T. Jones et al., "Implementing Virtual Functions...", "US Patent 5, 297, 284", 1994,

[126] Deborah J. Armstrong, "The quarks of object oriented development", CACM, 2006

[127] Deborah K. Smith et al., "Prepare your mind for learning", CACM, 2005

[128] Dennis de Champeaux, "Software engineering considered harmful", CACM, 2002

[129] Dick Fairley, "Making accurate estimates", IEEE Software, 2002

[130] Donald Anselmo et al., "Measuring productivity in the software inductry", CACM, 2003

[131] Donald E. Knuth and Jack N. Merner, "ALGOL 60 Confidential", CACM,

[132] Donald E. Knuth, "All questions answered", Notices of the AMS,

[133] Donald E. Knuth, "Big Omicron and Big Omega and Big Theta", SIGACT News, Apr. 1976

[134] Donald E. Knuth, "Structured Programming with GOTO statement", Computing Surveys, 1974

[135] Donald E.Knuth, "Computer Programming as an Art", CACM, 1974

[136] Dongsong Zhang et al., "Can e-learning replace classroom learning?", CACM, 2004

[137] Edsger Wybe Dijkstra, "A constructive approach to the problem of program correctness", BIT, 1986

[138] Edsger Wybe Dijkstra, "Cooperating sequential processes", EWD123,

[139] Edsger Wybe Dijkstra, "Defence of ALGOL 60", CACM,

[140] Edsger Wybe Dijkstra, "Guarded commands, non-determinacy and formal derivation of programs", CACM, 1975

[141] Edsger Wybe Dijkstra, "Hierarchical Ordering of sequential Processes", Acta Informatica, 1, Springer, 1971

[142] Edsger Wybe Dijkstra, "Lecture notes on the structure of programs and proofs", EWD803, 1981

[143] Edsger Wybe Dijkstra, "Notes on Structured Programming", Academic Press,

[144] Edsger Wybe Dijkstra, "On Structures", EWD928, 1985

[145] Edsger Wybe Dijkstra, "On substitution, replacement and the notion of a function", EWD949, 1986

[146] Edsger Wybe Dijkstra, "Our Proof Format", EWD999, 1987

[147] Edsger Wybe Dijkstra, "Semantics of straight-line programs", EWD902, 1985

[148] Edsger Wybe Dijkstra, "Solution of a problem in concurrent programming control", CACM, 1965

[149] Edsger Wybe Dijkstra, "Some meditations on advanced programming",

[150] Edsger Wybe Dijkstra, "The calculus of boolean structures (Part 0)", EWD1001, 1987

[151] Edsger Wybe Dijkstra, "The calculus of boolean structures (Part 1)", EWD1002, 1987

[152] Edsger Wybe Dijkstra, "The everywhere operator once more", EWD1086, 1990

[153] Edsger Wybe Dijkstra, "The humble programmer", CACM, 1972

[154] Edsger Wybe Dijkstra, "The notational conventions I adopted and why", EWD1300, 2000

[155] Edsger Wybe Dijkstra, "The structure of THE Multiprogramming system", CACM, 1968

[156] Edsger Wybe Dijkstra, "What led to ""Notes on Structured Programming""", EWD1308,

[157] Edwin J. Tan and Wendi B. Heinzelman, "DSP Architectures: Past Present and Future", University of Rochester,

[158] Elaine J. Wuyuker, "Evaluating software complexity measures", ITSE, 1988

[159] Eric C. R. Hehner, "Predicative Programming Part-I", CACM, 1984

[160] Eric C. R. Hehner, "Predicative Programming Part-II", CACM, 1984

[161] Forrest Shull et al., "How prospective based reading can improve requirements inspection", Computer, IEEE, 2000

[162] Forrest Shull et al., "Replicating software engineering experiments: addressing the tacit knowledge problem", ISESE, 2002

[163] Forrest Shull et al., "What we have learned about fighting defects", IEEE Metrics, 2002

[164] Fred B. Schneider and Gregory R. Andrews, "Concepts for concurrent Programming", 1986

[165] Fred Mintzer and Abraham Peled, "A microprocessor for signal processing: The RSP", IBM Jorunal of Research and Development, 1982

[166] G. Anthony Gorry, "As simple as possible but not simpler", CACM, 2005

[167] G. D. Bergland, "A guided tour of program design methodologies", Computer, IEEE, Oct. 1981

[168] G. Ungerboeck et al., "Architecture of a Digital Signal Processor", IBM Jorunal of Research and Development, 1985

[169] Gabriel Dos Reis and Bjarne Stroustrup, "Specifying C++ Concepts",

[170] Gary F. Templeton, "Object oriented programming of integrated circuits", CACM, 2003

[171] George Ledin Jr., "Not teaching viruses and worms is harmful", CACM, 2005

[172] George Marsaglia, "Seeds for random number generators", CACM, 2003

[173] Glen W. Russell, "Experience with inspection in ultra large-scale developements", IEEE Software, 1991

[174] Glenford J. Myers, "An extension to the cyclomatic measure of program complexity", SIGPLAN Noices, IBM Systems Research Institute, 1977

[175] Graham C. Low and D. Ross Jeffery, "Function points in the estimation and evaluation of the software process", ITSE, 1990

[176] Gregor Kiczales et al., "Aspect oriented programming", Xerox Palo Alto Research Center,

[177] Gregory Conti, "Why computer scientists should attend hacker conferences", CACM, 2005

[178] Gregory R. Andrews and Fred B. Schneider, "Concepts and notations for concurrent programming", Computing Surveys, ACM, 1983

[179] Guy Keren, "Unix and C/C++ Run time memory management for programmers",

[180] H. Mossenbock and Niklaus Wirth, "The programming language Oberon-2", ETH Zurich, 1995

[181] H.C. Lauer, "Discussion on Ph.D. thesis proposals in computing science", The Computer Journal, vol.18, no.3,

[182] Haibin Zhu and MengChu Zhou, "Methodology first and Language second: A way to teach OOP", OOPSLA, ACM, 2003

[183] Hal Berghel and David L. Sallach, "A paradigm shift in Computing and IT education", CACM, 2004

[184] Hans Gallis et al., "An initial framework for research on pair programming", ISESE, 2003

[185] Harlan D. Mills and Michale Dyer and Richard C. Linger, "Cleanroom software engineering", IEEE Software, 1987

[186] Harlan D. Mills et al., "Mathematical principles for a first course in SE", ITSE, 1989

[187] Harlan D. Mills, "How to write correct programs and know it", "IBM, Maryland",

[188] Harlan D. Mills, "Structured Programming: Retrospect and Prospect", IEEE Software, 1986

[189] Harlan D. Mills, "The New Math of Computer Programming", CACM, Jan.1975

[190] Horst Zuse, "Properties of object oriented software measures", "TU Berlin, Germany",

[191] Hossein Sadiedian, "An invitation to formal methods", Computer, IEEE, 1996

[192] Howard E. Dow and James S. Murphy, "Detailed product knowledge is not a prerequisite for an effective formal software inspection", ASQC, 1996

[193] Ibrahim Haddad, "Adapting and open source approach", Enterprise Open Source, Motorola Inc., 2006

[194] J. B. Rainsberger, "Personal planning", IEEE Software, 2007

[195] J. Feldman and David Gries, "Translator writing systems", CACM, 1968

[196] Jack G. Ganssle, "Mother knows best", Embedded Systems Design, Aug. 2007

[197] Jack Reevs, "Multiple Inheritance considered useful", C C++ Users Journal, Feb. 2006

[198] Jacques Cohen, "Updating Computer Science education", CACM, 2005

[199] Jae-NamLee et al., "IT outsourcing evolution - past present and future", CACM, 2003

[200] James E. Smith and Ravi Nair, "The architecture of virtual machines", Computer, IEEE, 2005

[201] James H. Anderson, "Lamport on mutual exclusion: 27 years of planting seeds", 20th Symposium on Principles of Distributed Computing, ACM, 2001

[202] James M. Lucas, "The essential six sigma", Quality Progress, www.asq.org, 2002

[203] Jan Gray, "C++: Under the hood", Microsoft, 1994

[204] Janice Singer and Norman G. Vinson, "Ethical issues in empirical studies of software engineering", ITSE, 2002

[205] Jari Vanhanen and Casper Lassenius, "Effects of pair programming at the development team level: An Experiment", IEEE, 2005

[206] Jean Gareau, "Embedded x86 programming: Protected mode", www.embedded.com,

[207] Jeff Carver et al., "Understanding the impact of assumptions on experimental validity", ISESE, 2004

[208] Jeff Scott et al., "Designing the M-Core M3 CPU Architecture", Motorola Inc.,

[209] Jeff Scott, Lea Hwang Lee, John Arends and Bill Moyer, "Designing the low-power m-core architecture", Motorola Inc.,

[210] Jeffrey P. Landry et al., "A common theme for IT degree program", CACM, 2003

[211] Jennifer Eyre et al., "The evolution of DSP processors", Berkeley Design Technology Inc., 2000

[212] Jie Ren and R. N. Taylor, "Automatic and versatile publication ranking for research institutions and scholars", CACM, 2007

[213] Jim Folaron, "The evolution of six sigma", Six Sigma Forum Magazine, www.asq.org, 2003

[214] Jim Waldo, "On System Desegn", OOPSLA, 2006

[215] Jo E. Hannay, Dag I. K. Sjoberg and Tore Dyba, "A systematic review of theory use in software engineering experiments", ITSE, 2007

[216] Jo Ellen Moore and Marry Sue Love, "IT professionals as organizational citizens", CACM, 2005

[217] Jochen Liedtke et al., "The performanve of u-Kernel based systems", SOSP, ACM, 1997

[218] Jochen Liedtke, "On u-Kernel Constructions", SOSP, ACM, 1995

[219] John Benamati et al., "Coping with rapid changes in IT", CACM, 2001

[220] John C. Knight and Nancy G. Leveson, "Software and higher education", CACM, 2006

[221] John C. Knight et al., "Should software engineering be licensed?", CACM, 2002

[222] John Crowcroft, "On the nature of computing", CACM, 2005

[223] John E. Hopcroft, "Computer Science: The Emergence of a discipline", CACM, 1987

[224] John Goodacre and Andrew N. Sloss, "Prallelism and the ARM Instruction Set architecture", Computer, IEEE, 2005

[225] John Hughes, "Why Functional Programming matters", Computer Journal, 1989,

[226] John McCarthy, "A basis for a mathematical theory of computation", Western Joint Computer Conference, May. 1961

[227] John McCarthy, "Towards a mathematical science of computation", Proceedings of IFIP Congress, 1962

[228] John Moses and John Clifford, "Learning how to improve effort estimation in small software development companies", IEEE, 2000,

[229] John R. Mick, "AM2900 Bipolar microprocessor family", AMD,

[230] Jonathan P. Bowen and Michael G. Hinchey, "Seven more myths of formal methods", IEEE Software, Jul. 1995

[231] Jonathan P. Bowen and Michael G. Hinchey, "Ten commandments of formal methods...Ten years later", Computer, IEEE, Jan. 2006

[232] Jorge Rady de Almeida Jr. et al., "Best practices in code inspection for safty critical software", IEEE Software, 2003

[233] Jorrit N. Herder et al., "Construction of a highly dependable operating system",

[234] Jorrit N. Herder et al., "Minix 3: A highly reliable, self-reparing operating system",

[235] Jorrit N. Herder et al., "Recognizing UNIX for reliablity",

[236] Jorrit N. Herder, Herbert Bos and Andrew S. Tanenbaum, "A light weight method for building reliable operating systems despite of unreliable device drivers", Technical Report, "Vrije Universiteit, Amsterdam", 2006

[237] Joseph Blackburn et al., "Concurrent software development", CACM, 2000

[238] Joseph(Yossi) Gill and Peter F. Sweeney, "Space and Time-efficient memory layout for multiple inheritance", OOPSLA, ACM, 1999

[239] K. Culik, "On formal and informal proofs for program correctness", SIGPLAN Noices, 1983

[240] Kari Smolander, "Four metaphores of architecture in software organizations: finding out meaning of architecture in practice", ISESE, 2002

[241] Katherine Malan and Ken Halland, "Examples that can do harm in learning programming", OOPSLA, ACM, 2004

[242] Keith Delvin, "Why universities require computer science students to take Math", CACM, 2003

[243] Keith Mander, "The decline and fall of the American programmer?", CACM, 2001

[244] Kim B. Bruce et al., "Why Math?", CACM, 2003

[245] Krzysztof R. Apt., "One more revolution to make: Free scientific publishing", CACM, 2001

[246] Lauren Weinstein, "Outsourced and out of control", CACM, 2004

[247] Laurie Williams et al., "Building pair programming knowledge through a family of experiments", ISESE, 2003

[248] Lawrence A. West et al., "Immigration and the global IT workforce", CACM, 2001

[249] Leah M. Reeves et al., "Guidelines for multimodal user interface design", CACM, 2004

[250] Len Shustek, "Donald Knuth: A life's work interrupted", CACM, Aug. 2008

[251] Len Shustek, "The 'Art' of being Donald Knuth", CACM, July. 2008

[252] Les Hatton, "Does OO sync with how we think?", IEEE Software, 1998,

[253] Linda Dailey Paulson, "Developers shift to dynamic programming languages", Computer, IEEE, 2007

[254] Linda H. Rosenberg and Larry Hyatt, "Applying and interpreting object oriented metrics", "SATC, NASA",

[255] Linda Wallace and Mark Keil, "Software project risks & their effect on outcomes", CACM, 2004

[256] Magne Jorgensen and Martin Shepperd, "A systematic review of software development cost estimation studies", ITSE, 2007

[257] Magne Jorgensen, "Experience with the acuracy of the software maintenance task effort estimation models", ITSE, 1995,

[258] Malika Greene, "Adaptive antennas on mobile handsets", 2002

[259] Marcus Ciolkowski et al., "Software reviews: the state of the practice", IEEE Software, Nov.-Dec. 2003

[260] Marcus J. Ranum, "Believing in myths", CACM, 2004

[261] Maria Klawe and Ben Shneiderman, "Crisis and oppertunity in Computer Science", CACM, 2005

[262] Mark Rene and Kathy Walker, "In Other Words", Better Software, Feb. 2004

[263] Mark S. Johnstone and Paul R. Wilson, "The memory fragmentation problem: Solved?", ISMM, ACM, 1998

[264] Marvin Minsky, "Form and content in computer science", CACM, Apr. 1970

[265] Mary Shaw, "What makes good research in software engineering?", Int. J. STTT, Springer Verlag, 2002,

[266] Mary Shaw, "Writing good software engineering research papers(Mini Tutorial)", IEEE, 2003

[267] Mei-Huei Tang et al., "An emperical study on object oriented metrics",

[268] Melvin E. Conway, "Design of a separable transition-diagram compiler", CACM, 1963

[269] Michael A. Cusomano, "Google: What it is and what it is not", CACM, 2005

[270] Michael A. Cusomano, "More lawers than programmers?", CACM, 2004

[271] Michael A. Cusomano, "What road ahead for Microsoft & Windows?", CACM, 2006

[272] Michael A. Cusomano, "What road ahead for Microsoft, the company?", CACM, 2007

[273] Michael A. Cusomano, "Who isliable for bugs and security flaws in software?", CACM, 2004

[274] Michael Cusomano et al., "Software development worldwide: The state of the practice", IEEE Software, Nov.-Dec. 2003

[275] Michael E. Caspersen and Michael Kolling, "A Novice's process of object oriented programming", OOPSLA, ACM, 2006

[276] Michael E. Fagan, "Advances in software Inspections", ITSE, 1986

[277] Michael E. Fagan, "Design and code inspections to reduce errors in program development", IBM Systems Journal, 1999

[278] Michael K. Daskalantonakis, "A practical view of software measurement and implementation experiences within Motorola", ITSE, 1992

[279] Michael K. Daskalantonakis, "Achieving higher SEI Level", IEEE Software, 1994

[280] Michael M. Swift et al., "Recovering Device Drivers",

[281] Michael M. Swift, Brian N. Bershad and Henry M. Levy, "Improving the reliability of commodity operating systems", SOSP, ACM, 2003

[282] Michael Schrage, "Never go to a client meeting without a prototype", IEEE Software, 2004

[283] Michael Sparling, "Lessons learned through six years of component based development", CACM, 2000

[284] Michelle Cartwright and Martin Shepperd, "An empirical investigation of an object oriented software system", ITSE, 2000

[285] Mikel J. Harry, "The nature of six sigma quality", Motorola University Press,

[286] Mohommedyusuf M. Sagri, "Rated and operating complexity of prgram - An extension to McCabe's theory of complexity measure", SIGPLAN Noices, "ISRO, India",

[287] Moshe Zviran et al., "Does color in email make a difference", CACM, 2006

[288] Narasimhaiah Gorla and Yan Wah Lam, "Who should work with whom?", CACM, 2004

[289] Nicholas G. Carr, "IT doesn't matter", Harvard Business Review, May. 2003

[290] Nicholas G. Carr, "The End of corporate computing", MIT Sloan Management Review, "Spring, 2005"

[291] Nicholas R. Jennings, "An agent based approach for building complex software systems", CACM, 2001

[292] Niklaus Wirth, "A plea for lean Software", Computer, IEEE, 1995

[293] Niklaus Wirth, "Good Ideas through the looking glass", Computer, IEEE, 2006

[294] Niklaus Wirth, "On the composition of well-structured programs", Computing Surveys, ACM, 1974

[295] Niklaus Wirth, "Program Development by stepwise refinement", CACM, 1971

[296] Nikolaos A. Mylonopolos et al., "Global perceptions of IS journals", CACM, 2001

[297] Norman E. Fenton and Martin Neil, "Software Metrics: Roadmap",

[298] Norman E. Fenton and Niclas Ohlsson, "Quantitative analysis of faults and failures in a complex software system", ITSE, 2000

[299] Norman E. Fenton, "Software metrics: Theory, tools and validation", Sftware Engineering Journal, 1990

[300] P. Katerattankul et al., "Objective quality ranking of computing journals", CACM, 2003

[301] Pamela Samuelson, "Patent reform through the courts", CACM, 2007

[302] Pamela Samuelson, "Trade Secrets Vs. Free Speech", CACM, 2003

[303] Pamela Samuelson, "Why reform the U.S. patent system?", CACM, 2004

[304] Patricia McDermott-Wells, "Bluetooth", IEEE Potentials, Dec. 2004 / Jan. 2005

[305] Patricia S. Abril and Robert Plant, "The patent holder's dilemma, Buy, Sell or Troll?", CACM, 2007

[306] Paul De Palma, "Why women avoid computer science", CACM, 2001

[307] Paul Robertson and Brian Williams, "Automatic recovery from software failure", CACM, 2006

[308] Per Brinch Hansen, "Concurrent programming concepts", Computing Surveys, ACM, 1973

[309] Per Brinch Hansen, "The invention of concurrent programming", 2002

[310] Peter B. Henderson, "Mathematical reasoning in software engineering education", CACM, 2003

[311] Peter Denning et al., "Wikipedia Risks", CACM, 2005

[312] Peter Freeman and David Hart, "A Science of design for software-intensive systems", CACM, 2004

[313] Peter G. Neumann, "A tale of two thousands", CACM, 2000

[314] Peter G. Neumann, "Responsibilities of technologists", CACM, 2005

[315] Peter J. Denning and Andrew McGettrick, "Recentering computer science", CACM, 2005

[316] Peter J. Denning, "Computing as a Discipline",

[317] Peter J. Denning, "Educating a new engineer", CACM, 1992

[318] Peter J. Denning, "Great Principles of Computing", CACM, 2003

[319] Peter J. Denning, "Is ""structured programming"" any longer the right term?",

[320] Peter J. Denning, "Is computer science Science?", CACM, 2005

[321] Peter J. Denning, "Is it not time to define ""Structured Programming""?",

[322] Peter J. Denning, "Network Laws", CACM, 2004

[323] Peter J. Denning, "The field of programmers myth",

[324] Peter J. Denning, "Who are we?", CACM, 2001

[325] Peter Kugel, "Its time to think outside the computational box", CACM, 2005

[326] Peter Naur, "Report on the algorithmic language ALGOL 60", CACM, 1960

[327] Phalguni Gupta, "Growth scenario of IT industries in India", CACM, 2001

[328] Philip G. Emma, "Five strategies for overcoming obviousness", IEEE Micro, Nov-Dec. 2006

[329] Philip G. Emma, "How to write a patent", IEEE Micro, Jan-Feb. 2006

[330] Philip G. Emma, "Inventions and the creative process", IEEE Micro, May-June 2005

[331] Philip G. Emma, "Patent claims revisited: Examiners and Trolls", IEEE Micro, May-June 2006

[332] Philip G. Emma, "Patents: To file or not to file?", IEEE Micro, Sept-Oct. 2005

[333] Philip G. Emma, "Prosecuting your patent", IEEE Micro, Sept-Oct. 2006

[334] Philip G. Emma, "The best patents of all", IEEE Micro, Mar-Apr. 2006

[335] Philip G. Emma, "The mechanics of filing a patent", IEEE Micro,

[336] Philip G. Emma, "What is patentable?", IEEE Micro, July-Aug. 2005

[337] Philip G. Emma, "Writing the claims for a patent", IEEE Micro, Nov-Dec. 2005

[338] Philip M. Johnson, "An instrumented approach to improving software quality through formal technical review", IEEE, 1994

[339] Phillip G. Armour, "The laws of software process", CACM, 2001

[340] Phillip G. Armour, "The unconscious art of software testing", CACM, 2005

[341] Raanan Zacher et al., "The design and implementation of an asynchronous RISC microrocessor",

[342] Rana Tassabehji and Maria Vakola, "Business email: The killer impact", CACM, 2005

[343] Richard A. Hankins et al., "Multiple instruction stream processor", ISCA, IEEE, 2006

[344] Richard A. Johnson, "The ups and downs of OO system development", CACM, 2000

[345] Richard M. Karp, "Combinatorics, complexity and randomness", CACM, Feb. 1986

[346] Richard Phelan, "Improving ARM code density and performance(New Thumb extensions to the ARM architecture)", ARM Ltd., 2003

[347] Richard Stallman et al., "Against software patents",

[348] Richard W. Selby et al., "Cleanroom software development: an empirical evaluation", ITSE, 1987

[349] Richard York, "Benchmarking in context: Dhrystone", ARM Ltd., 2002

[350] Rishi Toshniwals and Dharma P. Agrawal, "Tracing the roots of markup languages", CACM, 2004

[351] Ritu Agarwal et al., "On the usability of OO representations", CACM, 2000

[352] Ritu Agarwal et al., "Risks of rapid application development", CACM, 2000

[353] Robert E. Tarjan, "Algorithm Design", CACM, Mar. 1987

[354] Robert G. Fichman and Chris F. Kemerer, "Object Oriented and conventional analysis and design methodologies, comparison and critique", IEEE, 1992

[355] Robert J. Schwartz, "The design and development of a dynamic program behavior measurement tool for the Intel 8086/88",

[356] Robert L. Constable, "Programs as proofs", Cornell University, 1982,

[357] Robert L. Glass et al., "An analysis of research in computing disciplines", CACM, 2004

[358] Robert L. Glass, "A look at the economics of open source", CACM, 2004

[359] Robert L. Glass, "A sociopolitical look at open source", CACM, 2003

[360] Robert L. Glass, "Is the crouching tiger a threat", CACM, 2006

[361] Robert L. Glass, "Is this a revolutionary idea or not?", CACM, 2004

[362] Robert L. Glass, "One giant step backward", CACM, 2003

[363] Robert L. Glass, "The plot to deskill software engineering", CACM, 2005

[364] Robert L. Glass, "Y2K and beliving in software practice", CACM, 2000

[365] Robert S. Rist, "Modeling object-oriented design", OOPSLA, 2005

[366] Robert W. Floyd, "Assigning meanings to programs", Symosia in Applied mathematics, 1967

[367] Ross Houslay and William Arbaugh, "Security problems in 802.11-based networks", CACM, 2003

[368] Ross Houslay et al., "Security flaws in 802.11 Datalink protocols", CACM, 2003

[369] Ruth Bolotin Schwartz and Michele C. Russo, "How to quickly find articles in the top IS journals", CACM, 2004

[370] S. Rao Kosaraju, "Analysis of structured programs", ACM Symposium on Theory of Computing, 1973

[371] Salah Bendifallah and Walt Scacchi, "Understanding software maintenance work", ITSE, 1987,

[372] Sami Kollanus and Jussi Koskinen, "Survey of software inspection research 1991-2005", University of Jyavaskyla, 2007,

[373] Sami Surakka, "What subjects and skills are important for software developers", CACM, 2007

[374] Sang M. Lee and Choong Kwon Lee, "IT managers' requesite skills", CACM, 2006

[375] Sarv Devaraj and S. Ramesh Babu, "How to measure the relation between training and job performance?", CACM, 2004

[376] Saumya Debray and William S. Evans, "Cold code decompression at runtime", CACM, 2003

[377] Scott Hazelhurst, "Developing IT skill internationally: Who is developing whom?", CACM, 2001

[378] Scott Maccoy et al., "The effects of online advertising", CACM, 2007

[379] Selvin George, David Evans and Lance Davidson, "A biologically inspired programming model for self healing systems", WOSS, ACM, 2002

[380] Sergei Sokolov, "Bulletproofing C++ code", Dr. Dobb's Journal, 2007

[381] Shyam R. Chidamber and Chris F. Kemerer, "A metrics suite for object riented design", ITSE, 1994

[382] Shyam R. Chidamber and Chris F. Kemerer, "Towards a metrics suite for object oriented design", OOPSLA, ACM, 1991

[383] Shyam R. Chidamber, David P. Darcy and Chris F. Kemerer, "Mangerial use of metrics for object oriented software: An exploratory analysis", ITSE, 1998

[384] Sidney L. Hantler and James C. King, "An introduction to proving the correctness of programs", Computing Surveys, 1976

[385] Stephan Baldi et al., "Open courseware and open source sofware", CACM, 2003

[386] Stephen A. Cook, "An overview of computational complexity", CACM, June. 1983

[387] Stephen A. Edwards, "The challenges of synthesizing hardware from C-Like languages", IEEE Design & Test of Computers, 2006

[388] Stephen Brown and Jonathan Rose, "FPGA and CPL architecture: A tutorial", IEEE Design & Test of Computers, 1996

[389] Stephen J. Andriole, "The 7 habits of highly effective technology leaders", CACM, 2007

[390] Steve Gorman, "Overview of the protected mode operation of the Intel Architecture", Intel Corporation,

[391] Steve Sawyer, "Software development teams", CACM, 2004

[392] Susan Owicki and David Gries, "Verifying properties of parallel programs: An axiomatic approach", CACM, 1976

[393] Suzanne D. Pawlowski et al., "The (gradually) changing face of state IT jobs", CACM, 2005

[394] Synthia F. Cohen et al., "Managing conflict in software testing", CACM, 2004

[395] Thomas J. Bergin, "A history of the history of programming languages", CACM, 2007

[396] Thomas J. McCabe, "A complexity measure", ITSE, 1976

[397] Thomas J. Ostrand, Elaine J. Weyuker and Robert M. Bell, "Where the bugs are?", ISSTA, ACM, 2004

[398] Thomas J.Ostrand and Elaine J. Weyuker, "The dstribution of faults in a large industrial software system", ACM, 2002

[399] Thomas L. Adams and Richard E. Zimmerman, "An analysis of 8086 instruction set usage in MS-DOS programs", ACM, 1989

[400] Thomas Schambach et al., "The professional development challenge for IT professionals", CACM, 2002

[401] Thomas W. Jackson et al., "A simple approach to improving email communication", CACM, 2006

[402] Tomoko Matsumura et al., "Detection of faulty code violating implicit coding rules", ISESE, 2002

[403] Torgeir Dingsoyr et al., "Practical knowledge management tool use in a software consulting company", CACM, 2005

[404] Trishul Chilimbi et al., "Designing a trace format for heap allocation events", ISMM, ACM, 2000

[405] Upkar Varshney et al., "Voice over IP", CACM, 2002

[406] Ursula Passing and Martin Shepperd, "An experiment on software project size and effort estimation", ISESE, 2003

[407] Vicki L. Almstrum, "What is the attraction to computing?", CACM, 2003

[408] Victor R. Basili and Barry T. Perricone, "Software errors and complexity: an emperical investigation", Computing Practices, ACM, 1984

[409] Victor R. Basili and Harlan D. Mills, "Understanding and Documenting Programs", ITSE, 1982

[410] Victor R. Basili and Robert E. Noonan, "A comparison of the axiomatic and the functional models of structured programming", ITSE, 1980

[411] Victor R. Basili et al., "Detecting defects in object oriented designs: Using reading techniques to increase software quality", OOPSLA, ACM, 1999

[412] Victor R. Basili et al., "Technology transfer at Motorola", IEEE Software, 1994

[413] Victor R. Basili, "The role of experimentation in software engineering: Past, Current and Future", ICSE, 1996

[414] Victor R. Basili, Lionel C. Briand and Walcelio L. Melo, "A validation of object oriented design metrics as quality indicators", ITSE, 1996

[415] Walter F. Trichy, "Should computer scientists experiment more?", Computer, IEEE, 1998,

[416] Warren A. Harrison and Kenneth I. Magel, "A complexity measure based on nesting level", University of Missouri-Rolla,

[417] William Hohl and Joe Circello, "Digital signal processing on the coldfire architecture", Motorola Inc.,

[418] William J. Latzko, "Notes on six sigma concept",

[419] William Kahan and Dan Zuras, "An open question to developers of Numerical software", Computer, IEEE, 2005

[420] Williams S. Evans and Christopher W. Fraster, "Grammar based compression of interpreted code", CACM, 2003

[421] Wing C. Tam, "Teaching loop invariants to beginners by examples", ACM, 1992

[422] Winston W. Royce, "Managing the development of large software systems", WESCON, IEEE, Aug. 1970

[423] Yaofei Chen et al., "An empirical study of programming language trends", IEEE Software, May.-June.2005

[424] Yasushi Kambayashi and Henry F. Ledgard, "The separation principle: A programming paradigm", IEEE Software, 2004

[425] Yoo C. Chung and Soo-Mook Moon, "Mamory allocation with lazy fits", ISMM, ACM, 2000

[426] Younghwa Lee et al., "Does Avatar Email improve communication?", CACM, 2005

[427] Zohar Manna and Richard Waldinger, "Is 'sometime' sometimes better than 'always'?", CACM, 1978