Filters








576,245 Hits in 6.2 sec

Infusing software assurance in computing curricula

Elizabeth K. Hawthorne
2012 ACM inroads  
Annoying and disruptive as they are, they provide us an opportunity to stay on the leading edge of our field. We must poke, prod, dissect and peer closely at them.  ...  We need to keep up with, preferably in front of, technological and social change. What should we do when faced with the latest challenge (starting with mobile devices) to our professional world?  ...  Volume IV along with previous volumes of this curricular project -Volume I: Master of Software Assurance Reference Curriculum [8] , Volume II: Undergraduate Course Outlines [9] , and Volume III: Software  ... 
doi:10.1145/2189835.2189844 fatcat:phad3oxrvnao5d5p4dqn6csf6e

Page 5 of Science Trends Vol. 29, Issue 13 [page]

1973 Science Trends  
PDP-8 COMPUTER PROGRAMS: Proposes to facilitate the assembly of large PDP-8 programs. 80 pages.  ...  Volume A lists biological sciences health sciences and related fields; Volume B, arts and humanities; Volume C physical sciences, mathematics and engineering.  ... 

Publication List of Zoltán Ésik

2017 Acta Cybernetica  
I, volume 9234 of Lecture Notes in Computer Science, pages 18-37.  ...  , volume 9160 of Lecture Notes in Computer Science, pages 174-188.  ... 
doi:10.14232/actacyb.23.1.2017.23 fatcat:tpgf7t2sgfdsriwvebwyce3lr4

Page 327 of Mathematical Reviews Vol. , Issue 83a [page]

1983 Mathematical Reviews  
Volume 14 contains 8 articles from very large database systems to zero-memory and Markov information source. Volume 15 is a supplementary volume of 15 articles.  ...  Volume 7 contains 18 articles from curve fitting to early development of programming languages.  ... 

Abstraction and verification in Alphard: defining and specifying iteration and generators

Mary Shaw, William A. Wulf, Ralph L. London
1977 Communications of the ACM  
.; The Logic of Programming; to be published in the Prentice-Hall International Series in Computer Science (C.A.R. Hoare, series editor). Ms. dated 1983, July 6.  ...  Hoare, Communications of the ACM, October 1974, Volume 17, Number 10, pp. 549-557. HOARE78 Hoare, C.A.R., "Communications of the A.C.M., Volume 21, Number 8, August 1978, pp. 666-677.  ... 
doi:10.1145/359763.359782 fatcat:2ckqb2i6rrdsnipkjasaia3yaa

Abstraction and verification in Alphard

Mary Shaw, Wm A. Wulf, Ralph L. London
1977 Proceedings of an ACM conference on Language design for reliable software -  
.; The Logic of Programming; to be published in the Prentice-Hall International Series in Computer Science (C.A.R. Hoare, series editor). Ms. dated 1983, July 6.  ...  Hoare, Communications of the ACM, October 1974, Volume 17, Number 10, pp. 549-557. HOARE78 Hoare, C.A.R., "Communications of the A.C.M., Volume 21, Number 8, August 1978, pp. 666-677.  ... 
doi:10.1145/800022.808321 fatcat:zuuerylr3fhc7cbzpijepsbinq

Abstraction and verification in Alphard

Mary Shaw, Wm A. Wulf, Ralph L. London
1977 ACM SIGOPS Operating Systems Review  
.; The Logic of Programming; to be published in the Prentice-Hall International Series in Computer Science (C.A.R. Hoare, series editor). Ms. dated 1983, July 6.  ...  Hoare, Communications of the ACM, October 1974, Volume 17, Number 10, pp. 549-557. HOARE78 Hoare, C.A.R., "Communications of the A.C.M., Volume 21, Number 8, August 1978, pp. 666-677.  ... 
doi:10.1145/390018.808321 fatcat:6mp6jshmnjg5thssngqrusca3u

Abstraction and verification in Alphard

Mary Shaw, Wm A. Wulf, Ralph L. London
1977 SIGPLAN notices  
.; The Logic of Programming; to be published in the Prentice-Hall International Series in Computer Science (C.A.R. Hoare, series editor). Ms. dated 1983, July 6.  ...  Hoare, Communications of the ACM, October 1974, Volume 17, Number 10, pp. 549-557. HOARE78 Hoare, C.A.R., "Communications of the A.C.M., Volume 21, Number 8, August 1978, pp. 666-677.  ... 
doi:10.1145/390017.808321 fatcat:26pqysz4pnfb5e3sawaggsuory

Abstraction and verification in Alphard

Mary Shaw, Wm A. Wulf, Ralph L. London
1977 Software engineering notes  
.; The Logic of Programming; to be published in the Prentice-Hall International Series in Computer Science (C.A.R. Hoare, series editor). Ms. dated 1983, July 6.  ...  Hoare, Communications of the ACM, October 1974, Volume 17, Number 10, pp. 549-557. HOARE78 Hoare, C.A.R., "Communications of the A.C.M., Volume 21, Number 8, August 1978, pp. 666-677.  ... 
doi:10.1145/390019.808321 fatcat:owxireuadvagna7utuefnfbb3q

Bibliography

2001 Electronical Notes in Theoretical Computer Science  
Parikh, editor, Logics of Programs, volume 193 of Lecture Notes in Computer Science, Springer-Verlag, 1985. 50] A. Cayley. The theory of groups.  ...  Ito, editors, Proceedings of TACS'97, Sendai, Japan, volume 1281 of Lecture Notes in Computer Science. Springer-Verlag, 1997. 42] M.M. Bonsangue and J.N. Kok.  ... 
doi:10.1016/s1571-0661(05)82567-8 fatcat:x7qb7rygq5bafjjdmi24lbdlse

Elicitation of Non-functional Requirement Preference for Actors of Usecase from Domain Model [chapter]

G. S. Anandha Mala, G. V. Uma
2006 Lecture Notes in Computer Science  
, Distributed Computing • Operating Systems, Object Oriented Programming, • System Software, Computer Architecture-II 8.  ...  • Computer Networks 8.  ... 
doi:10.1007/11961239_23 fatcat:dg6msn5xebaofl37ixdcxmhpam

Page 147 of University Computing : The Bulletin of the IUCC Vol. 10, Issue 3 [page]

1988 University Computing : The Bulletin of the IUCC  
A group of order 8, 315, 553, 613, 086, 720, 000. Bulletin of London Mathematical Society, 1 (1969), 79-88. 6 Eilenberg, S. Automata, languages, and machines, Volume A and Volume B.  ...  under- graduate computer science programs.  ... 

80th Anniversary of the birth of Prof. Donald Knuth

Anton Iliev, Nikolay V. Kyurkchiev
2018 Biomath Communications  
Knuth decide that there no adequate description of computer science theory which is insight for him to write the fundamental books The Art of Computer Programming which are one of the most influential  ...  Knuth developed his plans for the book and took the decision for the book to be in six volumes, and then seven.Before publishing first part of The Art of Computer Programming, Knuth left Caltech and become  ...  Acknowledgments This work was supported by project FP17-FMI-008 of the Department for Scientific Research, Paisii Hilendarski University of Plovdiv.  ... 
doi:10.11145/bmc.2018.04.257 fatcat:scallsruwbhu3fn4ga7ozqwaki

Suggested reading

1982 IBM Systems Journal  
This book is one of the volumes in the International Lecture Series in Computer Science.  ...  In this book, one of the volumes in the International Lecture Series in Computer Science, the contributors support this view in discussing ways to improve the correctness of programs.  ... 
doi:10.1147/sj.213.0375 fatcat:as7najyxsbfnjnl6gkzuae2dgu

Static And Dynamic Complexity Analysis Of Software Metrics

Kamaljit Kaur, Kirti Minhas, Neha Mehan, Namita Kakkar
2009 Zenodo  
Software complexity metrics are used to predict critical information about reliability and maintainability of software systems.  ...  International Science Index, Computer and Systems Engineering Vol:3, No:8, 2009 waset.org/Publication/2684  ...  of Computer and Systems Engineering Vol:3, No:8, 2009 1936 International Scholarly and Scientific Research & Innovation 3(8) 2009 scholar.waset.org/1307-6892/2684 World Academy of Science, Engineering  ... 
doi:10.5281/zenodo.1057706 fatcat:by6nzvsnfzfrvktoldzn5qyqmi
« Previous Showing results 1 — 15 out of 576,245 results