DOCSLIB.ORG

Remembrance2020 / 5781

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Remembrance2020 / 5781 BOOK OF Remembrance2020 / 5781 THE DUST RETURNS TO THE EARTH AS IT WAS, AND THE SPIRIT RETURNS TO GOD WHO GAVE IT. -ECCLESIASTES 12:7 INTRODUCTION TO YIZKOR YIZKOR ELOHIM - may God remember - is the classic expression of Jewish hope and prayer for our departed loved ones. This prayer captures the indelible link between Divine memory and our own. We remember our loved ones by asking for God’s memory. God, in turn, remembers the souls of all the living and dead, asking us to remember those who have passed on. Like the Ner Tamid, the Eternal Light, which needed to be rekindled daily, we too must relight the memorial candles each year for our loved ones. We take this time to remember and give thanks for those loved ones who are no longer here. A MESSAGE FROM RABBI JUDITH L. SIEGAL: MAKING MEMORY A BLESSING This has been a difficult year of loss. There have been almost one million people in the world that have died from COVID as of the writing of this Book of Remembrance in September of 2020. Many of us know someone who has died from COVID. The loss of life has been compounded by the need to be socially distant and not in person to comfort one another after the loss of a loved one. We have had zoom funerals and shiva minyans, something we could not have imagined before. But, there has been a silver lining – by doing memorials via zoom, family members from around the world have sometimes been able to participate in services that they otherwise would not have. Judaism is an amazingly adaptive religion. Someone said at a zoom funeral lately, “this seems so un-Jewish,” but the reality is that Judaism has always changed to adapt to the situation. On this yizkor, take the time to remember. Tell the stories of your loved ones. Pass along their stories to someone else and make those memories into true blessings. May the memories of all of those we loved and who loved us become a blessing. Zichronam Livracha! A MESSAGE FROM RABBI JONATHAN FISCH: SHARING IS CARING There is no greater bedtime story than sharing a tale from my past. Ayla will ask me about what I was like as a kid, or to hear stories about growing up with Grandma and Grandpa. More often than not, I try to retell a tale that honors those who are alive no more. A conscious decision on my part because I want my girls to grow up “knowing” their grandparents who they are named after. They will hear about my Grandpa Alan Fisch, or my Grandma Ethel Rothstein or my oldest Friend Meredith McFarland, all of whom they are named after. By sharing these stories, I connect them to their past, their history and begin to bond their soul with the soul of those who live no more. As Jews, we show that we care by sharing the very stories that express the qualities of our loved ones. As you engage in Yizkor, or if you want to honor the deceased, share a story about their life, their legacy, their impact on you or the world, and in turn, you will connect their very essence to the individual you are sharing it with. Anachnu Zochrim v’Anachnu Cholkim – We Remember and We Share…. WORDS OF WISDOM FROM RABBI PETER S. KNOBEL (z”L) The following was written for a Yizkor Service at Beth Emet the Free Synagogue by Rabbi Peter Knobel in 2017. We share it this year as we remember Rabbi Knobel, who served our community as the Interim Senior Rabbi: Yesterday is history. Tomorrow is a mystery. Today is a present. My wife Elaine shared a quotation she found on a friend’s Facebook page: “Yesterday is history. Tomorrow is a mystery. Today is a present. During Yizkor, I think about the people and events which influenced my life. I think about what I have accomplished and what I failed to accomplish. Yizkor is a bittersweet time of remembrance. It pulls us backward in time. We cannot redo or relive the past, but remembering can be a spur to committing the mysterious future which lies ahead. We ask, “what are the lessons we have learned? Can they propel us to do better with the time we have left?” As I sit here during this service I realize how quickly the years have passed. In my youth, time seemed infinite but now my mortality stares me in the face. Intellectually, I know the bulk of my life has passed, but I refuse to surrender to the conclusion that it is time to withdraw from the struggle to make the world better. Each day is a present. Each day is a gift. Each day is an opportunity to wipe away a tear, to encourage another to smile, to learn something new and to do something good. I admire those who came before me and paved the way for me and whose lives, presence, and wisdom remained with me until they took their last breath. Their encouragement and courage remain not only as a constant reminder of the preciousness of life, but also the importance of relationships. So many of the people whom I loved and who loved me are dead - the living become all the more precious. There were times in the past when my presence was needed but when life’s exigencies caused me to be physically, spiritually, or psychologically unavailable. I regret not being there whether because of happenstance or negligence. This service of memory calls upon me - calls upon all of us - to make greater efforts to be present to others. We know the past is history and we cannot rewind the clock, but we can try to do better because the future remains a mystery... As I look backward and ahead, I am deeply grateful for the years God has given me, for the many blessings I have been granted and for the many people I have known and who influenced me. The memories of those who died are a blessing. I pray that when my time comes those who knew me will say.”Zechrono Levracha - his memory is for a blessing.” Yesterday is history. Tomorrow is a mystery. Today is a present. THE DASH BY LINDA ELLIS I read of a man who stood to speak at the funeral of a friend. He referred to the dates on the tombstone from the beginning… to the end. He noted that first came the date of birth and spoke of the following date with tears, but he said what mattered most of all was the dash between those years. For that dash represents all the time they spent alive on earth and now only those who loved them know what that little line is worth. For it matters not, how much we own, the cars… the house… the cash. What matters is how we live and love and how we spend our dash. So think about this long and hard; are there things you’d like to change? For you never know how much time is left that still can be rearranged. To be less quick to anger and show appreciation more and love the people in our lives like we’ve never loved before. If we treat each other with respect and more often wear a smile… remembering that this special dash might only last a little while. So when your eulogy is being read, with your life’s actions to rehash, would you be proud of the things they say about how you lived your dash? ESA ENAI אֶ ָּׂשא ﬠֵינַי, אֶל- ֶה ָה ִרים, ֵמאַי ִן י ָ ֹבא ﬠֶזְ ִרי ,Esah einai el heharim ﬠֶזְ ִרי ֵמﬠִם י ְהו ָה ֹע ֵׂשה ׁ ָש ַמי ִם ו ָאָ ֶרץ .meayin yavo ezri Ezri me'im Adonai oseh shamayim v’et haaretz. WHEN YOU WERE HERE BY ZELDA When you were here, Your brown glance protecting me And our thoughts touching suddenly wing to wing, When you were with me Among the passing things, The walls were like elderly relations Telling ancient tales in the evenings As we drank our tea. Now the walls are no shelter. Withdrawn into their own silence, They pay no attention to my fall. Now the walls are plaster and concrete, A strange element, Matter Unresponsive as death. PSALM 23 A Psalm of David. The LORD is י ְהו ָה ֹרﬠִי, לֹא אֶ ְח ָסר. my shepherd; י ְהו ָה ֹרﬠִי, לֹא אֶ ְח ָסר. י ְהו ָה ֹרﬠִי, לֹא אֶ ְח ָסר. .I shall not want בי ְ הו ִבָּנהְ אוֹֹרתﬠִי , ֶ דּׁלֶֹשאא , אֶי ַ ְְחר ָסִבּיר.צֵ נִי; יﬠבְַ ל ה-ו ָ ִבּ ֵמהנְי א ֹרוֹ ְמﬠִנתֻי ,ח ֶדּוֹׁלֹ ֶתשא יאְ,נַאֶ יֲהְַח ְרלֵ ָסנִִבּייר.. צֵ נִי; God maketh me to lie down in י ְבה ו ָהִבּ נְ ֹראוֹﬠִית, ֶלדֹּׁאֶש אאֶ, ְחי ַ ְָרסרִבּ.י צֵנִי; ﬠַב ל - ִבֵּמניְ אוְֹמנֻת חוֶֹדּׁת ֶש י ְאנַ, ֲהי ַ ְלֵרנִיִבּ.י צֵנִי; green pastures; God leadeth me ﬠַל- ֵמי ְמנֻחוֹת י ְנַ ֲהלֵנִי. גב ﬠַ לנַ- ִבּפְׁנֵמְי ִשא יוֹ ְמיתְנֻ שׁ ֶחוֹדּׁוֹ ֵבֶשתב אי; ְ, נ ַ י ַ ֲה ְ רל ֵ ִבּנִי.צֵ נִי; .beside the still waters ב ִבּנְאוֹת ֶדּׁ ֶשא, י ַ ְר ִבּיצֵנִי; י ַגﬠַנ ְ ל ֵחנ-ַנִיפְֵׁמ י ִשְבי ְמ ַמינְֻﬠְשׁחגְּוֹלֵ ֵבית- בי;ְצֶנ ַ ֶ ד ֲה קלֵ, נ ִי.לְ ַמﬠַן ׁ ְשמוֹ. ﬠַג ל -נַ ֵמפיְׁ ִש ְמי נֻי ְחוֹשׁוֹת ֵב י ְבנַ; ֲה לֵ נִ י. God restoreth my soul; God י ַגנְ ֵחנִַיפְ ׁ ְבִשי ַמ י ְﬠְגּשְׁוֹלֵיֵב-בצֶ; ֶד ק , לְ ַמﬠַן ׁ ְשמוֹ.
Load more

Recommended publications
  • Police Response to Gangs: a Multi-Site Study
    The author(s) shown below used Federal funds provided by the U.S. Department of Justice and prepared the following final report: Document Title: Police Response to Gangs: A Multi-Site Study Author(s): Charles M. Katz; Vincent J. Webb Document No.: 205003 Date Received: April 2004 Award Number: 98-IJ-CX-0078 This report has not been published by the U.S. Department of Justice. To provide better customer service, NCJRS has made this Federally- funded grant final report available electronically in addition to traditional paper copies. Opinions or points of view expressed are those of the author(s) and do not necessarily reflect the official position or policies of the U.S. Department of Justice. Police Response to Gangs: A Multi-Site Study 1 Prepared for the National Institute of Justice by Charles M. Katz Vincent J. Webb Department of Criminal Justice and Criminology December 2003 Phoenix, Arizona 1 This research report was funded by the National Institute of Justice, Grant No. 1998-IJ-CX-0078. The opinions expressed in the report are those of the authors and are not necessarily those of the National Institute of Justice. Table of Contents Abstract ................................................................................................................................ i Research Goals and Objectives ........................................................................................ i Research Design and Methodology.................................................................................. i Research Results and Conclusions..................................................................................ii
    [Show full text]
  • Literaturverzeichnis
    Literaturverzeichnis ABD+99. Dirk Ansorge, Klaus Bergner, Bernhard Deifel, Nicholas Hawlitzky, Christoph Maier, Barbara Paech, Andreas Rausch, Marc Sihling, Veronika Thurner, and Sascha Vogel: Managing componentware development – software reuse and the V-Modell process. In M. Jarke and A. Oberweis (editors): Advanced Information Systems Engineering, 11th International Conference CAiSE’99, Heidelberg, volume 1626 of Lecture Notes in Computer Science, pages 134–148. Springer, 1999, ISBN 3-540-66157-3. Abr05. Jean-Raymond Abrial: The B-Book. Cambridge University Press, 2005. AJ94. Samson Abramsky and Achim Jung: Domain theory. In Samson Abramsky, Dov M. Gabbay, and Thomas Stephen Edward Maibaum (editors): Handbook of Logic in Computer Science, volume 3, pages 1–168. Clarendon Press, 1994. And02. Peter Bruce Andrews: An introduction to mathematical logic and type theory: To Truth Through Proof, volume 27 of Applied Logic Series. Springer, 2nd edition, July 2002, ISBN 978-94-015-9934-4. AVWW95. Joe Armstrong, Robert Virding, Claes Wikström, and Mike Williams: Concurrent programming in Erlang. Prentice Hall, 2nd edition, 1995. Bac78. Ralph-Johan Back: On the correctness of refinement steps in program develop- ment. PhD thesis, Åbo Akademi, Department of Computer Science, Helsinki, Finland, 1978. Report A–1978–4. Bas83. Günter Baszenski: Algol 68 Preludes for Arithmetic in Z and Q. Bochum, 2nd edition, September 1983. Bau75. Friedrich Ludwig Bauer: Software engineering. In Friedrich Ludwig Bauer (editor): Advanced Course: Software Engineering, Reprint of the First Edition (February 21 – March 3, 1972), volume 30 of Lecture Notes in Computer Science, pages 522–545. Springer, 1975. Bau82. Rüdeger Baumann: Programmieren mit PASCAL. Chip-Wissen. Vogel-Verlag, Würzburg, 1982.
    [Show full text]
  • When Technology Became Language: the Origins of the Linguistic Conception of Computer Programming, 1950-1960
    UvA-DARE (Digital Academic Repository) When Technology Became Language: The Origins of the Linguistic Conception of Computer Programming, 1950-1960 Nofre, D.; Priestley, M.; Alberts, G. DOI 10.1353/tech.2014.0031 Publication date 2014 Document Version Final published version Published in Technology and Culture Link to publication Citation for published version (APA): Nofre, D., Priestley, M., & Alberts, G. (2014). When Technology Became Language: The Origins of the Linguistic Conception of Computer Programming, 1950-1960. Technology and Culture, 55(1), 40-75. https://doi.org/10.1353/tech.2014.0031 General rights It is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an open content license (like Creative Commons). Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: https://uba.uva.nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible. UvA-DARE is a service provided by the library of the University of Amsterdam (https://dare.uva.nl) Download date:30 Sep 2021 :KHQ7HFKQRORJ\%HFDPH/DQJXDJH7KH2ULJLQVRI WKH/LQJXLVWLF&RQFHSWLRQRI&RPSXWHU3URJUDPPLQJ ૱ David Nofre, Mark Priestley, Gerard Alberts Technology and Culture, Volume 55, Number 1, January 2014, pp.
    [Show full text]
  • The History of the ALGOL Effort
    Technische Universiteit Eindhoven Department of Mathematics and Computer Science The History of the ALGOL Effort by HT de Beer supervisors: C. Hemerik L.M.M. Royakkers Eindhoven, August 2006 Abstract This report studies the importancy of the ALGOL effort for computer science. Therefore the history of the ALGOL effort is told, starting with the compu- tational context of the 1950s when the ALGOL effort was initiated. Second, the development from IAL to ALGOL 60 and the role the BNF played in this development are discussed. Third, the translation of ALGOL 60 and the establishment of the scientific field of translator writing are treated. Finally, the period of ALGOL 60 maintenance and the subsequent period of creating a successor to ALGOL 60 are described. ii Preface This history on the ALGOL effort was written as a Master thesis in Com- puter Science and Engineering (Technische Informatica) at the Eindhoven University of Technology, the Netherlands. iii Contents Abstract ii Preface iii Contents iv 0 Introduction 1 0.0 On the sources used ........................ 2 0.1 My own perspective ........................ 3 0.2 The ALGOL effort: a definition .................. 4 0.3 Notes ................................ 4 1 Creation 5 1.0 The start of the ALGOL effort ................... 5 1.1 The need for a universal algorithmic language ........... 7 1.1.0 The American field of computing ............. 7 1.1.1 The European field of computing ............. 9 1.1.2 The difference between Europe and the USA and the need for universalism ...................... 11 1.2 Why was IAL chosen over other algorithmic languages? ..... 11 1.2.0 IT ............................
    [Show full text]
  • History and Philosophy of Programming
    AISB/IACAP World Congress 2012 Birmingham, UK, 2-6 July 2012 Symposium on the History and Philosophy of Programming Liesbeth De Mol and Giuseppe Primiero (Editors) Part of Published by The Society for the Study of Artificial Intelligence and Simulation of Behaviour http://www.aisb.org.uk ISBN 978-1-908187-17-8 Foreword from the Congress Chairs For the Turing year 2012, AISB (The Society for the Study of Artificial Intel- ligence and Simulation of Behaviour) and IACAP (The International Associa- tion for Computing and Philosophy) merged their annual symposia/conferences to form the AISB/IACAP World Congress. The congress took place 2–6 July 2012 at the University of Birmingham, UK. The Congress was inspired by a desire to honour Alan Turing, and by the broad and deep significance of Turing’s work to AI, the philosophical ramifications of computing, and philosophy and computing more generally. The Congress was one of the events forming the Alan Turing Year. The Congress consisted mainly of a number of collocated Symposia on spe- cific research areas, together with six invited Plenary Talks. All papers other than the Plenaries were given within Symposia. This format is perfect for encouraging new dialogue and collaboration both within and between research areas. This volume forms the proceedings of one of the component symposia. We are most grateful to the organizers of the Symposium for their hard work in creating it, attracting papers, doing the necessary reviewing, defining an exciting programme for the symposium, and compiling this volume. We also thank them for their flexibility and patience concerning the complex matter of fitting all the symposia and other events into the Congress week.
    [Show full text]
  • (Pdf) of the School of Squiggol: a History of the Bird−Meertens
    The School of Squiggol A History of the Bird{Meertens Formalism Jeremy Gibbons University of Oxford Abstract. The Bird{Meertens Formalism, colloquially known as \Squig- gol", is a calculus for program transformation by equational reasoning in a function style, developed by Richard Bird and Lambert Meertens and other members of IFIP Working Group 2.1 for about two decades from the mid 1970s. One particular characteristic of the development of the Formalism is fluctuating emphasis on novel `squiggly' notation: sometimes favouring notational exploration in the quest for conciseness and precision, and sometimes reverting to simpler and more rigid nota- tional conventions in the interests of accessibility. This paper explores that historical ebb and flow. 1 Introduction In 1962, IFIP formed Working Group 2.1 to design a successor to the seminal algorithmic language Algol 60 [4]. WG2.1 eventually produced the specification for Algol 68 [63, 64]|a sophisticated language, presented using an elaborate two- level description notation, which received a mixed reception. WG2.1 continues to this day; technically, it retains responsibility for the Algol languages, but practi- cally it takes on a broader remit under the current name Algorithmic Languages and Calculi. Over the years, the Group has been through periods of focus and periods of diversity. But after the Algol 68 project, the period of sharpest focus covered the two decades from the mid 1970s to the early 1990s, when what later became known as the Bird{Meertens Formalism (BMF) drew the whole group together again. It is the story of those years that is the subject of this paper.
    [Show full text]
  • La Conversion À Unix Un Exemple De Prophétisme Informatique?
    La conversion à Unix Un exemple de prophétisme informatique ? Laurent Bloch To cite this version: Laurent Bloch. La conversion à Unix Un exemple de prophétisme informatique ?. Cahiers d’histoire du Cnam, Cnam, 2017, La recherche sur les systèmes : des pivots dans l’histoire de l’informatique – II/II, 7-8 (7-8), pp129-144. hal-03027084 HAL Id: hal-03027084 https://hal.archives-ouvertes.fr/hal-03027084 Submitted on 27 Nov 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. 129 Enquête d'acteur La conversion à Unix Un exemple de prophétisme informatique ? Laurent Bloch Membre de l’Institut de l’Iconomie. Unix survient une vingtaine d’an- va être question ici, selon la perception nées après l’invention de l’ordinateur, et que j’en ai eue de ma position de prati- une dizaine d’années après que quelques cien. Cette perception a été élaborée de pionniers eurent compris qu’avec l’infor- façon rétrospective, aussi l’ordre chro- matique une nouvelle science naissait, nologique n’est-il pas toujours respecté qu’ils eurent tenté de la faire reconnaître dans cet exposé. Ce qui suit est le récit de comme telle, et qu’ils eurent échoué dans l’élaboration d’une vision personnelle, qui cette tentative1.
    [Show full text]
  • A Science of Operations: Machines, Logic and the Invention Of
    History of Computing Series Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK Advisory Board Gerard Alberts, University of Amsterdam, Amsterdam, The Netherlands Jack Copeland, University of Canterbury, Christchurch, New Zealand Ulf Hashagen, Deutsches Museum, Munich, Germany John V. Tucker, Swansea University, Swansea, UK Jeffrey R. Yost, University of Minnesota, Minneapolis, USA The History of Computing series publishes high-quality books which address the history of computing, with an emphasis on the ‘externalist’ view of this history, more accessible to a wider audience. The series examines content and history from four main quadrants: the history of relevant technologies, the history of the core science, the history of relevant business and economic developments, and the history of computing as it pertains to social history and societal developments. Titles can span a variety of product types, including but not exclusively, themed volumes, biographies, ‘profile’ books (with brief biographies of a number of key people), expansions of workshop proceedings, general readers, scholarly expositions, titles used as ancillary textbooks, revivals and new editions of previous worthy titles. These books will appeal, varyingly, to academics and students in computer science, history, mathematics, business and technology studies. Some titles will also directly appeal to professionals and practitioners of different backgrounds. Author guidelines: springer.com > Authors > Author Guidelines For other titles published in this series,
    [Show full text]
  • Computer Oral History Collection, 1969-1973, 1977
    Computer Oral History Collection, 1969-1973, 1977 Interviewee: Morton Bernstein Interviewer: Robina Mapstone Date: March 14, 1973 Repository: Archives Center, National Museum of American History Note: The text of this transcript has been heavily edited by the interviewee. Items in brackets […] have been added to the text of the transcript to improve readability and/or understanding. Endnotes have been added to correct errors or to better establish context. MAPSTONE: The date is March 14, 1973 and this is Bobbi Mapstone talking to Mr. Morton Bernstein at System Development Corporation in Santa Monica, California. Why don't we start this with how you got into computers and number crunching. BERNSTEIN: The U. S. Navy had "decommissioned" the primary reason for my getting into that branch of the service during World War II— namely to repair shipboard radar—and since I was ineligible for sea duty [because I was near sighted] I ended up as a Storekeeper [Disbursing] in a Separation Center [at Bainbridge, Maryland] where they were discharging everyone [at the end of WW II]. Among other things, I learned to operate a desk calculator, a Comptometer, and got introduced to that strange part of the world that is today known as Business Data Processing. I guess I liked it as it seemed to be a part of the world that I could understand, manage and have some control over. That probably influenced me to take a major in Mathematics when I got out of the Navy and went to school, instead of something else [like Business Administration or Engineering]. I always had some kind of interest [in computation, which is why I had decided on a major in Mathematical Statistics] but [when I started to graduate school] due to a budgetary crisis, instead of my becoming a TA [teaching assistant in the Math Department].
    [Show full text]
  • Appendix Collections of Biographies and Memoirs
    APPENDIX COLLECTIONS OF BIOGRAPHIES AND MEMOIRS Anon., Leaders in American Science, Who's Who in American Education, Inc., Nashville, Tenn., 8 Vols., 1953- 1969. Anon., “Thanks for the Memories,” Datamation, Vol. 28, No. 10, Sept. 1982, pp. 27-52. Anon., Who's Who in Computers and Data Processing 1971, Quadrangle Books, New York, 5th ed., 1971. Applied Computer Research, Directory of Top Computer Executives, Applied Computer Research, Phoenix, Ariz., 1983. Azimov, Isaac, and Karen A. Frenkel, Robots: Machines in Man's Image, Harmony Books, New York, 1985. Berkeley, Edmund C., Who's Who in the Computer Field, Berkeley Enterprises, Newtonville, Mass., 1963. Caddes, Carolyn, Portraits of Success: Impressions of Silicon Valley Pioneers, Tioga Publishing Co., Palo Alto, Calif, 1986. Cortada, James W., Historical Dictionary of Data Processing: Biographies, Greenwood Press, Westport, Conn., 1987. Cringely, Robert X., Accidental Empires, Williams Patrick/Addison Wesley, Reading, Mass., 1992. Debus, Allen G., World Who's Who in Science, Marquis-Who's Who, Inc., Chicago, 1968. Levering, Robert, Michael Katz, and Milton Moskowitz, Computer Entrepreneurs: Who's Making It Big and How in America's Upstart Industry, New American Library, New York, 1984. Levy, Steven, Hackers: Heroes of the Computer Revolution, Anchor Press/Doubleday, Garden City, N.Y, 1984. Ralston, Anthony, and Edwin D. Reilly, Jr., Encyclopedia of Computer Science and Engineering, Van Nostrand Reinhold Co., New York, 1983. Richie, David, The Computer Pioneers, Simon and Schuster, New York, 1986. Rosenberg, Jerry M., The Computer Prophets, MacMillan Co., London, 1969. Slater, Robert, Portraits in Silicon, MIT Press, Cambridge, Mass., 1987. Tropp, Henry S., “The Effervescent Years: A Retrospective,” IEEE Spectrum, Vol.
    [Show full text]
  • Arxiv:2006.06327V3 [Cs.SE] 24 Jan 2021 Applications of Formal Methods; [WLBF09] Offers a Broader Survey
    The development and deployment of formal methods in the UK Cliff B. Jones1 and Martyn Thomas2 1 School of Computing, Newcastle University, UK 2 Emeritus Professor of IT, Gresham College, UK Abstract. UK researchers have made major contributions to the tech- nical ideas underpinning formal approaches to the specification and de- velopment of computer systems. Perhaps as a consequence of this, some of the significant attempts to deploy the ideas into practical environ- ments have taken place in the UK. The authors of this paper have been involved in formal methods for many years and both had contact with a significant proportion of the whole story. This paper both lists key ideas and indicates where attempts were made to use the ideas in practice. Not all of these deployment stories have been a complete success and an attempt is made to tease out lessons that influence the probability of long-term impact. 1 Introduction The term \formal methods" covers the use of mathematically precise notations to specify and to reason about systems. This paper is mainly concerned with formal methods for software development. As well as mentioning some of the important scientific insights underlying such methods, emphasis is placed on the application and deployment of technical ideas and their tool support. Both of the authors of this paper believe that the use of formal methods is essential for the creation of high-quality software. This paper is, however, not a sales pitch for such methods. What it sets out to do is to review some actual deployments, to be frank about drawbacks as well as report successes and to identify factors that have either aided or impeded the deployments.
    [Show full text]
  • Cahiers D'histoire Du Cnam
    Cahiers d’histoire du Cnam vol. 7-8 Dossier La recherche sur les systèmes : des pivots dans l’histoire de l’informatique – II/II Coordonné par Camille Paloque-Berges et Loïc Petitgirard 2017 / Second semestre (nouvelle série) Cahiers d’histoire du Cnam vol. 7-8 Dossier La recherche sur les systèmes : des pivots dans l’histoire de l’informatique – II/II Coordonné par Camille Paloque-Berges et Loïc Petitgirard 2017 / Second semestre (nouvelle série) Cahiers d’histoire du Cnam. Vol. 7-8, 2017 / 2 (nouvelle série). Dossier « La recherche sur les systèmes : des pivots dans l’histoire de l’informatique – II/II », coordonné par Camille Paloque-Berges et Loïc Petitgirard. Direction de la publication Olivier Faron, administrateur général du Conservatoire national des arts et métiers Rédacteur en chef Loïc Petitgirard Comité de rédaction Marco Bertilorenzi, Soraya Boudia, Jean-Claude Bouly, Serge Chambaud, Lise Cloitre, Renaud d’Enfert, Claudine Fontanon, Virginie Fonteneau, Clotilde Ferroud, André Grelon, Alain Michel, Cédric Neumann, Loïc Petitgirard, Catherine Radtka, Laurent Rollet, Raphaëlle Renard-Foultier, Ferrucio Ricciardi, Jean-Claude Ruano-Borbalan, Henri Zimnovitch Comité de lecture du numéro Isabelle Astic, Michel Élie, Gérard Florin, Sacha Krakowiak, Sylvain Lenfle, Baptiste Mélès, Pierre-Éric Mounier-Kuhn, Philippe Picard, Benoit Sarazin, Valérie Schafer, Benjamin Thierry Un comité de lecture ad hoc est constitué à chaque numéro. La liste complète des lecteurs est publiée sur la page Web de la revue : http://technique-societe.cnam.fr/les-cahiers-d-histoire-du-cnam-696687.kjsp Secrétariat de rédaction Camille Paloque-Berges, assistée de Sofia Foughali Laboratoire HT2S-Cnam, Case 1LAB10, 2 rue Conté, 75 003 Paris Téléphone : 0033 (0)1 40 27 22 74 Mél : camille.
    [Show full text]