jasder
/
software-strategy-1
0
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
software-strategy-1/references.bib

1957 lines
59 KiB
BibTeX
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

@article{naur1968software,
title={Software Engineering-Report on a Conference Sponsored by the NATO Science Committee},
author={P. Naur and B. Randell},
url={http://homepages.cs.ncl.ac.uk/brian.randell/NATO/nato1968.PDF},
journal={NATO Scientific Affairs Div},
year={1968}
}
@article{Dijkstra:1972,
author = {Dijkstra, E. W.},
title = {The Humble Programmer},
journal = {Commun. ACM},
volume = {15},
number = {10},
year = {1972},
pages = {859--866},
}
@book{Brooks:1975,
author = {Brooks, F. P.},
title = {The Mythical Man-Month},
year = {1975},
publisher = {Addison-Wesley},
}
@article{Brooks:1987,
author = {Brooks, F. P.},
title = {No Silver Bullet: Essence and Accidents of Software Engineering},
journal = {Computer},
volume = {20},
number = {4},
year = {1987},
pages = {10--19},
}
@book{Laplante:2007,
author = {Laplante, P.},
title = {What Every Engineering Should Know about Software Engineering},
year = {2007},
isbn = {978-0-8493-7228-5},
publisher = {Boca Raton: CRC},
}
@article{iso2010ieee,
title={IEEE, Systems and Software Engineering--Vocabulary},
author={ISO, IEC},
journal={IEEE computer society, Piscataway, NJ},
year={2010}
}
@article{ieee1990ieee,
title={IEEE Standard Glossary of Software Engineering Terminology (IEEE Std 610.12-1990). Los Alamitos},
author={IEEE Standards Coordinating Committee and others},
journal={CA: IEEE Computer Society},
volume={169},
year={1990}
}
@book{IanSommerville:1982,
author = {Ian Sommerville},
title = {Software Engineering},
year = {1982},
publisher = {Addison-Wesley},
}
@book{pressman2005software,
title={Software engineering: a practitioner's approach},
author={Pressman, Roger S},
year={2005},
publisher={Palgrave Macmillan}
}
@book{ghezzi2002fundamentals,
title={Fundamentals of software engineering},
author={Ghezzi, Carlo and Jazayeri, Mehdi and Mandrioli, Dino},
year={2002},
publisher={Prentice Hall PTR}
}
@book{van2008software,
title={Software engineering: principles and practice},
author={Van Vliet, Hans and Van Vliet, Hans and Van Vliet, JC},
volume={13},
year={2008},
publisher={Citeseer}
}
@book{Dines2010software,
title={软件工程（卷1-卷3）},
author={Dines Bjorner著（刘伯超、向剑文等译）},
year={2010},
publisher={清华大学出版社}
}
@book{Pierre2014SWEBOK,
title={SWEBOK v3.0: Guide to the Software Engineering Body of Knolwedge},
author={Pierre Bourque and Richard E. (Dick) Fairley (eds.)},
year={2014},
publisher={IEEE Computer Society}
}
@article{hamilton2018errors,
title={What the Errors Tell Us},
author={Hamilton, Margaret H},
journal={IEEE Software},
volume={35},
number={5},
pages={32--37},
year={2018},
publisher={IEEE}
}
@article{hamilton2008universal,
title={Universal systems language: lessons learned from Apollo},
author={Hamilton, Margaret H and Hackler, William R},
journal={Computer},
volume={41},
number={12},
pages={34--43},
year={2008},
publisher={IEEE}
}
@article{prieto1986module,
title={Module interconnection languages},
author={Prieto-Diaz, Ruben and Neighbors, James M},
journal={Journal of Systems and software},
volume={6},
number={4},
pages={307--334},
year={1986},
publisher={Elsevier}
}
@book{Taylor2009SoftwareArchitecture,
title={Software Architecture: Foundations, Theory and Practice},
author={Richard N. Taylor and Nenad Medvidovic and Eric M. Dashofy},
year={2009},
publisher={John-Willey},
isbn = {9780470167748},
}
@article{peter1990soft,
title={Soft systems methodology in action},
author={P. Checkland and J. Scholes},
journal={Chicester: John Wiley \& Sons Ltd},
year={1990}
}
@book{yourdon1979structured,
title={Structured design: Fundamentals of a discipline of computer program and systems design},
author={E. Yourdon and L. Constantine},
year={1979},
publisher={Prentice-Hall, Inc.}
}
@article{yourdon1989modern,
title={Modern structured analysis},
author={E. Yourdon},
journal={Edward Yourdon Englewood: Prentice-Hall International},
volume={4},
year={1989}
}
@book{jackson1975principle,
title={principle of Program Design},
author={M. Jackson},
year={1975},
publisher={Academic Press}
}
@article{jackson1983system,
title={System Development Prentice Hall},
author={Jackson, M},
journal={Englewood Cliffs, New Jersey},
year={1983}
}
@incollection{demarco1979structure,
title={Structure analysis and system specification},
author={T. DeMarco},
booktitle={Pioneers and Their Contributions to Software Engineering},
pages={255--288},
year={1979},
publisher={Springer}
}
@misc{booch1993object,
title={Object-oriented analysis and design with applications(2nd Edition)},
author={G. Booch and R. A. Maksimchuk and M. W. Engel and J. Conallen and B. J. Young and K. A. Houston},
year={1993},
publisher={Addison-Wesley}
}
@book{rumbaugh1991object,
title={Object-oriented modeling and design},
author={J. Rumbaugh and M. Blaha and W. Premerlani and F. Eddy and W. E. Lorensen},
volume={199},
number={1},
year={1991},
publisher={Prentice-hall Englewood Cliffs, NJ}
}
@misc{jacobson1992object,
title={Object Oriented Software Engineering: A Use Case Driven Approach (Revised.)},
author={I. Jacobson and M. Christerson and P. Jonsson and G. Overgaard},
year={1992},
publisher={Addison-Wesley Professional. Nova Iorque}
}
@article{jacobson1998the,
title={The Unified Software Development Process},
author={I. Jacobson and G. Booch and J. Rumbaugh},
year={1998},
publisher={Addison Wesley Longman}
}
@misc{krechten1998rational,
title={The Rational Unified Process: An Introduction},
author={P. Krechten},
year={2004},
publisher={Addison-Wesley}
}
@book{gamma1994design,
title={Design Patterns},
author={E. Gamma and R. Helm and R. Johnson and J. Vlissides},
year={1994},
publisher={Addison-Wesley Professional}
}
@article{杨芙清1999软件复用与软件构件技术,
title={软件复用与软件构件技术},
author={杨芙清 and 梅宏 and 李克勤},
journal={电子学报},
volume={27},
number={2},
pages={68-75},
year={1999},
}
@article{梅宏2009软件分析技术进展,
title={软件分析技术进展},
author={梅宏 and 王千祥 and 张路 and 王戟},
journal={计算机学报},
volume={32},
number={9},
pages={1697-1710},
year={2009},
}
@article{Papazoglou2007SOC,
title={Service-Oriented Computing: State of the Art and Research Challenges},
author={M. P. Papazoglou and P. Traverso and S. Dustdar and F. Leymann},
journal={IEEE Computer},
volume={40},
number={11},
pages={38-45},
year={2007},
}
@book{张效祥2005计算机科学技术百科全书,
title={计算机科学技术百科全书},
author={张效祥},
year={2005},
publisher={清华大学出版社有限公司}
}
@article{miller1976automatic,
title={Automatic generation of floating-point test data},
author={W. Miller and D. L. Spooner},
journal={IEEE Transactions on Software Engineering},
number={3},
pages={223--226},
year={1976},
publisher={IEEE}
}
@inproceedings{xanthakis1992application,
title={Application of genetic algorithms to software testing},
author={S. Xanthakis and C. Ellis and C. Skourlas and A. Le Gall and S. Katsikas and K. Karapoulios},
booktitle={Proceedings of the 5th International Conference on Software Engineering and Applications},
pages={625--636},
year={1992}
}
@article{harman2001search,
title={Search-based software engineering},
author={M. Harman and B. F. Jones},
journal={Information and software Technology},
volume={43},
number={14},
pages={833--839},
year={2001},
publisher={Elsevier}
}
@book{chrissis2003cmmi,
title={CMMI guidlines for process integration and product improvement},
author={M. B. Chrissis and M. Konrad and S. Shrum},
year={2003},
publisher={Addison-Wesley Longman Publishing Co., Inc.}
}
@article{larman2003iterative,
title={Iterative and incremental developments. a brief history},
author={C. Larman and V. R. Basili},
journal={Computer},
volume={36},
number={6},
pages={47--56},
year={2003},
publisher={IEEE}
}
@article{gilb1981evolutionary,
title={Evolutionary development},
author={T. Gilb},
journal={ACM SIGSOFT Software Engineering Notes},
volume={6},
number={2},
pages={17--17},
year={1981},
publisher={ACM}
}
@article{edmonds1974process,
title={A process for the development of software for non-technical users as an adaptive system},
author={E. A. Edmonds},
journal={General Systems},
volume={19},
pages={215--218},
year={1974}
}
@book{van2009requirements,
title={Requirements engineering: From system goals to UML models to software specification},
author={A. Van Lamsweerde},
volume={10},
year={2009},
publisher={Chichester, UK: John Wiley \& Sons}
}
@article{yu20101,
title={Social Modeling for Requirements Engineering},
author={E. Yu and P. Giorgini and N. Maiden and J. Mylopoulos},
journal={Social Modeling for Requirements Engineering},
year={2010},
publisher={MIT Press}
}
@inproceedings{sutcliffe2003scenario,
title={Scenario-based requirements engineering},
author={A. Sutcliffe},
booktitle={Proceedings of 11th IEEE International Requirements Engineering Conference},
pages={320--329},
year={2003},
organization={IEEE}
}
@book{jackson2001problem,
title={Problem frames: analysing and structuring software development problems},
author={M. Jackson},
year={2001},
publisher={Addison-Wesley}
}
@book{pohl2010requirements,
title={Requirements engineering: fundamentals, principles, and techniques},
author={K. Pohl},
year={2010},
publisher={Springer Publishing Company, Incorporated}
}
@article{kang1998form,
title={FORM: A feature-oriented reuse method with domain-specific reference architectures},
author={Kang, Kyo C and Kim, Sajoong and Lee, Jaejoon and Kim, Kijoo and Shin, Euiseob and Huh, Moonhang},
journal={Annals of Software Engineering},
volume={5},
number={1},
pages={143},
year={1998},
publisher={Springer}
}
@inproceedings{Liskov:1974:PAD:800233.807045,
author = {Liskov, Barbara and Zilles, Stephen},
title = {Programming with Abstract Data Types},
booktitle = {Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages},
year = {1974},
location = {Santa Monica, California, USA},
pages = {50--59},
numpages = {10},
url = {http://doi.acm.org/10.1145/800233.807045},
doi = {10.1145/800233.807045},
acmid = {807045},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Floyd:1979:PP:359138.359140,
author = {Floyd, Robert W.},
title = {The Paradigms of Programming},
journal = {Commun. ACM},
issue_date = {Aug. 1979},
volume = {22},
number = {8},
month = aug,
year = {1979},
issn = {0001-0782},
pages = {455--460},
numpages = {6},
url = {http://doi.acm.org/10.1145/359138.359140},
doi = {10.1145/359138.359140},
acmid = {359140},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Huang2018,
title = {Safety and Trustworthiness of Deep Neural Networks: {A} Survey},
author = {Xiaowei Huang and Daniel Kroening and Wenjie Ruan and James Sharp and Youcheng Sun and Emese Thamo and Min Wu and Xinping Yi},
journal = {CoRR},
volume = {abs/1812.08342},
year = {2018},
note = {Withdrawn.},
url = {http://arxiv.org/abs/1812.08342},
archivePrefix = {arXiv},
eprint = {1812.08342},
timestamp = {Wed, 06 Feb 2019 10:40:03 +0100},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-1812-08342},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@Article{Deutsch99,
author = {L. Peter Deutsch, Ronald B. Finkbine},
journal = {ACM SIGSOFT Software Engineering Notes},
year = {1999},
volume = {24},
number = {1},
publisher = {ACM},
}
@book{Herlihy2008,
author = {Herlihy, Maurice and Shavit, Nir},
title = {The Art of Multiprocessor Programming},
year = {2008},
isbn = {9780123705914},
publisher = {Morgan Kaufmann Publishers Inc.},
address = {San Francisco, CA, USA},
}
@book{sebesta2012concepts,
title={Concepts of programming languages},
author={Sebesta, Robert W},
year={2012},
publisher={Boston: Pearson,}
}
@inproceedings{abadi2016tensorflow,
title={Tensorflow: A system for large-scale machine learning},
author={Abadi, Mart{\'\i}n and Barham, Paul and Chen, Jianmin and Chen, Zhifeng and Davis, Andy and Dean, Jeffrey and Devin, Matthieu and Ghemawat, Sanjay and Irving, Geoffrey and Isard, Michael and others},
booktitle={12th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 16)},
pages={265--283},
year={2016}
}
@article{hu2015functional,
title={How functional programming mattered},
author={Hu, Zhenjiang and Hughes, John and Wang, Meng},
journal={National Science Review},
volume={2},
number={3},
pages={349--370},
year={2015},
publisher={Oxford University Press}
}
@article{dijkstra1968go,
title={Go to statement considered harmful},
author={Dijkstra, Edsger W.},
journal={Communications of the ACM},
volume={11},
number={3},
pages={147--148},
year={1968}
}
@misc{Tang2002,
title={时序逻辑程序设计与软件工程},
author={唐稚松},
year={2002},
publisher={北京: 科学出版社}
}
@article{lammel2008google,
title={Google’s MapReduce programming model—Revisited},
author={L{\"a}mmel, Ralf},
journal={Science of computer programming},
volume={70},
number={1},
pages={1--30},
year={2008},
publisher={Elsevier}
}
@inproceedings{turing1989checking,
title={Checking a large routine},
author={Turing, Alan},
booktitle={The early British computer conferences},
pages={70--72},
year={1989},
organization={MIT Press}
}
@article{Wang2019,
title={形式化方法概貌},
author={王戟 and 詹乃军 and 冯新宇 and 刘志明},
journal={软件学报},
volume={30},
number={1},
pages={33--61},
year={2019}
}
@book{Zhou2018,
title={形式语义学引论(第二版)},
author={周巢尘 and 詹乃军},
year={2018},
publisher={科学出版社}
}
@article{Hoare1969,
author = {Hoare, C. A. R.},
title = {An Axiomatic Basis for Computer Programming},
journal = {Commun. ACM},
issue_date = {Oct. 1969},
volume = {12},
number = {10},
month = oct,
year = {1969},
issn = {0001-0782},
pages = {576--580},
numpages = {5},
url = {http://doi.acm.org/10.1145/363235.363259},
doi = {10.1145/363235.363259},
acmid = {363259},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {axiomatic method, formal language definition, machine-independent programming, program documentation, programming language design, theory of programming' proofs of programs},
}
@inproceedings{Rosu15,
author = {Grigore Rosu},
title = {From Rewriting Logic, to Programming Language Semantics, to Program
Verification},
booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
Meseguer on the Occasion of His 65th Birthday},
pages = {598--616},
year = {2015}
}
@article{Goguen92,
author = {Goguen, Joseph A. and Burstall, Rod M.},
title = {Institutions: Abstract Model Theory for Specification and Programming},
journal = {J. ACM},
issue_date = {Jan. 1992},
volume = {39},
number = {1},
month = jan,
year = {1992},
issn = {0004-5411},
pages = {95--146},
numpages = {52},
url = {http://doi.acm.org/10.1145/147508.147524},
doi = {10.1145/147508.147524},
acmid = {147524},
publisher = {ACM},
address = {New York, NY, USA},
}
@book{hoare1998unifying,
title={Unifying theories of programming},
author={Hoare, Charles Antony Richard and Jifeng, He},
volume={14},
year={1998},
publisher={Prentice Hall Englewood Cliffs}
}
@inproceedings{pnueli1989synthesis,
title={On the synthesis of a reactive module},
author={Pnueli, Amir and Rosner, Roni},
booktitle={Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
pages={179--190},
year={1989},
organization={ACM}
}
@article{Humphrey:2002:SUP:513126.513132,
author = {Humphrey, Watts S.},
title = {Software Unbundling: A Personal Perspective},
journal = {IEEE Ann. Hist. Comput.},
issue_date = {January 2002},
volume = {24},
number = {1},
month = jan,
year = {2002},
issn = {1058-6180},
pages = {59--63},
numpages = {5},
url = {http://dx.doi.org/10.1109/85.988582},
doi = {10.1109/85.988582},
acmid = {513132},
publisher = {IEEE Educational Activities Department},
address = {Piscataway, NJ, USA},
}
@book{Simon:1996:SA:237774,
author = {Simon, Herbert A.},
title = {The Sciences of the Artificial (3rd Ed.)},
year = {1996},
isbn = {0-262-69191-4},
publisher = {MIT Press},
address = {Cambridge, MA, USA},
}
@Article{DBLP:journals/software/WamplerC10,
author = {Dean Wampler and
Tony Clark},
title = {Guest Editors' Introduction: Multiparadigm Programming},
journal = {{IEEE} Software},
volume = {27},
number = {5},
pages = {20--24},
year = {2010},
url = {https://doi.org/10.1109/MS.2010.119},
doi = {10.1109/MS.2010.119},
timestamp = {Thu, 18 May 2017 09:53:36 +0200},
biburl = {https://dblp.org/rec/bib/journals/software/WamplerC10},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/Torra16,
author = {Vicen{\c{c}} Torra},
title = {Scala: From a Functional Programming Perspective - An Introduction
to the Programming Language},
series = {Lecture Notes in Computer Science},
volume = {9980},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46481-7},
doi = {10.1007/978-3-319-46481-7},
isbn = {978-3-319-46480-0},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/bib/series/lncs/Torra16},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0030751,
author = {Markus Voelter and
Sebastian Benz and
Christian Dietrich and
Birgit Engelmann and
Mats Helander and
Lennart C. L. Kats and
Eelco Visser and
Guido Wachsmuth},
title = {{DSL} Engineering - Designing, Implementing and Using Domain-Specific
Languages},
publisher = {dslbook.org},
year = {2013},
url = {http://www.dslbook.org},
isbn = {978-1-4812-1858-0},
timestamp = {Fri, 24 Apr 2015 19:40:11 +0200},
biburl = {https://dblp.org/rec/bib/books/daglib/0030751},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/FosterGMPS07,
author = {J. Nathan Foster and
Michael B. Greenwald and
Jonathan T. Moore and
Benjamin C. Pierce and
Alan Schmitt},
title = {Combinators for bidirectional tree transformations: {A} linguistic
approach to the view-update problem},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {3},
pages = {17},
year = {2007},
url = {https://doi.org/10.1145/1232420.1232424},
doi = {10.1145/1232420.1232424},
timestamp = {Tue, 06 Nov 2018 12:51:29 +0100},
biburl = {https://dblp.org/rec/bib/journals/toplas/FosterGMPS07},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/RastogiHH14,
author = {Aseem Rastogi and
Matthew A. Hammer and
Michael Hicks},
title = {Wysteria: {A} Programming Language for Generic, Mixed-Mode Multiparty
Computations},
booktitle = {2014 {IEEE} Symposium on Security and Privacy, {SP} 2014, Berkeley,
CA, USA, May 18-21, 2014},
pages = {655--670},
year = {2014},
crossref = {DBLP:conf/sp/2014},
url = {https://doi.org/10.1109/SP.2014.48},
doi = {10.1109/SP.2014.48},
timestamp = {Fri, 30 Nov 2018 13:31:30 +0100},
biburl = {https://dblp.org/rec/bib/conf/sp/RastogiHH14},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/ThereskaBOKRTBZ13,
author = {Eno Thereska and
Hitesh Ballani and
Greg O'Shea and
Thomas Karagiannis and
Antony I. T. Rowstron and
Tom Talpey and
Richard Black and
Timothy Zhu},
title = {IOFlow: a software-defined storage architecture},
booktitle = {{ACM} {SIGOPS} 24th Symposium on Operating Systems Principles, {SOSP}
'13, Farmington, PA, USA, November 3-6, 2013},
pages = {182--196},
year = {2013},
crossref = {DBLP:conf/sosp/2013},
url = {https://doi.org/10.1145/2517349.2522723},
doi = {10.1145/2517349.2522723},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/bib/conf/sosp/ThereskaBOKRTBZ13},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AndersonFGJKSW14,
author = {Carolyn Jane Anderson and
Nate Foster and
Arjun Guha and
Jean{-}Baptiste Jeannin and
Dexter Kozen and
Cole Schlesinger and
David Walker},
title = {NetkAT: semantic foundations for networks},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {113--126},
year = {2014},
crossref = {DBLP:conf/popl/2014},
url = {https://doi.org/10.1145/2535838.2535862},
doi = {10.1145/2535838.2535862},
timestamp = {Tue, 06 Nov 2018 11:07:43 +0100},
biburl = {https://dblp.org/rec/bib/conf/popl/AndersonFGJKSW14},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/BosshartDGIMRSTVVW14,
author = {Pat Bosshart and
Dan Daly and
Glen Gibb and
Martin Izzard and
Nick McKeown and
Jennifer Rexford and
Cole Schlesinger and
Dan Talayco and
Amin Vahdat and
George Varghese and
David Walker},
title = {{P4:} programming protocol-independent packet processors},
journal = {Computer Communication Review},
volume = {44},
number = {3},
pages = {87--95},
year = {2014},
url = {https://doi.org/10.1145/2656877.2656890},
doi = {10.1145/2656877.2656890},
timestamp = {Tue, 06 Nov 2018 12:51:52 +0100},
biburl = {https://dblp.org/rec/bib/journals/ccr/BosshartDGIMRSTVVW14},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/ResnickMMREBMRSSK09,
author = {Mitchel Resnick and
John Maloney and
Andr{\'{e}}s Monroy{-}Hern{\'{a}}ndez and
Natalie Rusk and
Evelyn Eastmond and
Karen Brennan and
Amon Millner and
Eric Rosenbaum and
Jay S. Silver and
Brian Silverman and
Yasmin B. Kafai},
title = {Scratch: programming for all},
journal = {Commun. {ACM}},
volume = {52},
number = {11},
pages = {60--67},
year = {2009},
url = {https://doi.org/10.1145/1592761.1592779},
doi = {10.1145/1592761.1592779},
timestamp = {Wed, 14 Nov 2018 10:22:30 +0100},
biburl = {https://dblp.org/rec/bib/journals/cacm/ResnickMMREBMRSSK09},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/ChenMJZYSCWHCGK18,
author = {Tianqi Chen and
Thierry Moreau and
Ziheng Jiang and
Lianmin Zheng and
Eddie Q. Yan and
Haichen Shen and
Meghan Cowan and
Leyuan Wang and
Yuwei Hu and
Luis Ceze and
Carlos Guestrin and
Arvind Krishnamurthy},
title = {{TVM:} An Automated End-to-End Optimizing Compiler for Deep Learning},
booktitle = {13th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2018, Carlsbad, CA, USA, October 8-10, 2018.},
pages = {578--594},
year = {2018},
crossref = {DBLP:conf/osdi/2018},
url = {https://www.usenix.org/conference/osdi18/presentation/chen},
timestamp = {Tue, 29 Jan 2019 17:35:36 +0100},
biburl = {https://dblp.org/rec/bib/conf/osdi/ChenMJZYSCWHCGK18},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/RompfO12,
author = {Tiark Rompf and
Martin Odersky},
title = {Lightweight modular staging: a pragmatic approach to runtime code
generation and compiled DSLs},
journal = {Commun. {ACM}},
volume = {55},
number = {6},
pages = {121--130},
year = {2012},
url = {https://doi.org/10.1145/2184319.2184345},
doi = {10.1145/2184319.2184345},
timestamp = {Wed, 14 Nov 2018 10:22:35 +0100},
biburl = {https://dblp.org/rec/bib/journals/cacm/RompfO12},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WangWS19,
author = {Yuting Wang and
Pierre Wilke and
Zhong Shao},
title = {An abstract stack based approach to verified compositional compilation
to machine code},
journal = {{PACMPL}},
volume = {3},
number = {{POPL}},
pages = {62:1--62:30},
year = {2019},
url = {https://doi.org/10.1145/3290375},
doi = {10.1145/3290375},
timestamp = {Fri, 10 May 2019 11:01:57 +0200},
biburl = {https://dblp.org/rec/bib/journals/pacmpl/WangWS19},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/YangCER11,
author = {Xuejun Yang and
Yang Chen and
Eric Eide and
John Regehr},
title = {Finding and understanding bugs in {C} compilers},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {283--294},
year = {2011},
crossref = {DBLP:conf/pldi/2011},
url = {https://doi.org/10.1145/1993498.1993532},
doi = {10.1145/1993498.1993532},
timestamp = {Wed, 14 Nov 2018 10:54:59 +0100},
biburl = {https://dblp.org/rec/bib/conf/pldi/YangCER11},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/GulwaniPS17,
author = {Sumit Gulwani and
Oleksandr Polozov and
Rishabh Singh},
title = {Program Synthesis},
journal = {Foundations and Trends in Programming Languages},
volume = {4},
number = {1-2},
pages = {1--119},
year = {2017},
url = {https://doi.org/10.1561/2500000010},
doi = {10.1561/2500000010},
timestamp = {Wed, 14 Nov 2018 10:17:24 +0100},
biburl = {https://dblp.org/rec/bib/journals/ftpl/GulwaniPS17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/VechevY16,
author = {Martin T. Vechev and
Eran Yahav},
title = {Programming with "Big Code"},
journal = {Foundations and Trends in Programming Languages},
volume = {3},
number = {4},
pages = {231--284},
year = {2016},
url = {https://doi.org/10.1561/2500000028},
doi = {10.1561/2500000028},
timestamp = {Fri, 26 May 2017 22:50:41 +0200},
biburl = {https://dblp.org/rec/bib/journals/ftpl/VechevY16},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Leroy09,
author = {Xavier Leroy},
title = {Formal verification of a realistic compiler},
journal = {Commun. {ACM}},
volume = {52},
number = {7},
pages = {107--115},
year = {2009},
url = {https://doi.org/10.1145/1538788.1538814},
doi = {10.1145/1538788.1538814},
timestamp = {Tue, 06 Nov 2018 12:51:38 +0100},
biburl = {https://dblp.org/rec/bib/journals/cacm/Leroy09},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MonsantoFHW12,
author = {Christopher Monsanto and
Nate Foster and
Rob Harrison and
David Walker},
title = {A compiler and run-time system for network programming languages},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {217--230},
year = {2012},
crossref = {DBLP:conf/popl/2012},
url = {https://doi.org/10.1145/2103656.2103685},
doi = {10.1145/2103656.2103685},
timestamp = {Tue, 06 Nov 2018 11:07:44 +0100},
biburl = {https://dblp.org/rec/bib/conf/popl/MonsantoFHW12},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@techreport{2019Move,
author = {Sam Blackshear and Evan Cheng and David L. Dill and Victor Gao and Ben Maurer and Todd Nowacki and Alistair Pott and Shaz Qadeer and Rain and Dario Russi and Stephane Sezer and Tim Zakian and Runtian Zhou},
title = {Move: A Language With Programmable Resources},
year = {2019},
institution = {The Libra Association},
url = {https://developers.libra.org/docs/assets/papers/libra-move-a-language-with-programmable-resources.pdf},
}
@article{DBLP:journals/jss2/Carpenter17,
author = {Bob Carpenter and Andrew Gelman and Matt Hoffman and Daniel Lee and Ben Goodrich and Michael Betancourt and Marcus A. Brubaker and Jiqiang Guo and Peter Li and Allen Riddell},
title = {Stan: A Probabilistic Programming Language},
journal = {Journal of Statistical Software},
volume = {76},
number = {1},
pages = {1--32},
year = {2017}
}
@article{kar50323,
author = {Zhenjiang Hu and John Hughes and Meng Wang},
title = {How functional programming mattered},
volume = {2},
number = {3},
publisher = {Oxford Journals},
journal = {National Science Review},
pages = {349--370},
year = {2015}
}
@incollection{bullynck2018operating,
title={What is an operating system? A historical investigation (1954--1964)},
author={Bullynck, Maarten},
booktitle={Reflections on Programming Systems},
pages={49--79},
year={2018},
publisher={Springer}
}
@inproceedings{patrick1987general,
title={General motors/North American monitor for the IBM 704 computer},
author={Patrick, Robert L},
booktitle={AFIPS},
pages={797},
year={1987},
organization={IEEE}
}
@inproceedings{Bennington:1956:LLU:1455410.1455416,
author = {Bennington, H. D. and Gaudette, C. H.},
title = {Lincoln Laboratory Utility Program System},
booktitle = {Joint ACM-AIEE-IRE Western Computer Conference},
series = {AIEE-IRE '56 (Western)},
year = {1956},
location = {San Francisco, California},
pages = {21--21},
numpages = {1},
url = {http://doi.acm.org/10.1145/1455410.1455416},
doi = {10.1145/1455410.1455416},
acmid = {1455416},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Bauer:1956:ICS:320831.320836,
author = {Bauer, Walter F.},
title = {An Integrated Computation System for the ERA-1103},
journal = {J. ACM},
issue_date = {July 1956},
volume = {3},
number = {3},
month = jul,
year = {1956},
issn = {0004-5411},
pages = {181--185},
numpages = {5},
url = {http://doi.acm.org/10.1145/320831.320836},
doi = {10.1145/320831.320836},
acmid = {320836},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Dijkstra:1968:SLS:363095.363143,
author = {Dijkstra, Edsger W.},
title = {The Structure of the \&Ldquo;THE\&Rdquo;-multiprogramming System},
journal = {Commun. ACM},
issue_date = {May 1968},
volume = {11},
number = {5},
month = may,
year = {1968},
issn = {0001-0782},
pages = {341--346},
numpages = {6},
url = {http://doi.acm.org/10.1145/363095.363143},
doi = {10.1145/363095.363143},
acmid = {363143},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {cooperating sequential processes, input-output buffering, multiprocessing, multiprogramming, multiprogramming system, operating system, processor sharing, program verification, real-time debugging, synchronizing primitives, system hierarchy, system
levels, system structure},
}
@inproceedings{Bauer:1958:CDP:1458043.1458055,
author = {Bauer, W. F.},
title = {Computer Design from the Programmer's Viewpoint},
booktitle = {Papers and Discussions Presented at the December 3-5, 1958, Eastern Joint Computer Conference: Modern Computers: Objectives, Designs, Applications},
series = {AIEE-ACM-IRE '58 (Eastern)},
year = {1958},
location = {Philadelphia, Pennsylvania},
pages = {46--51},
numpages = {6},
url = {http://doi.acm.org/10.1145/1458043.1458055},
doi = {10.1145/1458043.1458055},
acmid = {1458055},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Lee:1992:TMI:612400.612428,
author = {Lee, J. A. N.},
title = {Time-Sharing at MIT: Introduction},
journal = {IEEE Ann. Hist. Comput.},
issue_date = {January 1992},
volume = {14},
number = {1},
month = jan,
year = {1992},
issn = {1058-6180},
pages = {13--15},
numpages = {3},
url = {http://dl.acm.org/citation.cfm?id=612400.612428},
acmid = {612428},
publisher = {IEEE Educational Activities Department},
address = {Piscataway, NJ, USA},
}
@inproceedings{Corbato:1965:IOM:1463891.1463912,
author = {Corbat\'{o}, F. J. and Vyssotsky, V. A.},
title = {Introduction and Overview of the Multics System},
booktitle = {Proceedings of the November 30--December 1, 1965, Fall Joint Computer Conference, Part I},
series = {AFIPS '65 (Fall, part I)},
year = {1965},
location = {Las Vegas, Nevada},
pages = {185--196},
numpages = {12},
url = {http://doi.acm.org/10.1145/1463891.1463912},
doi = {10.1145/1463891.1463912},
acmid = {1463912},
publisher = {ACM},
address = {New York, NY, USA},
}
@book{Bach:1986:DUO:8570,
author = {Bach, Maurice J.},
title = {The Design of the UNIX Operating System},
year = {1986},
isbn = {0-13-201799-7},
publisher = {Prentice-Hall, Inc.},
address = {Upper Saddle River, NJ, USA},
}
@article{Mealy:1966:FSO:1663370.1663371,
author = {Mealy, G. H.},
title = {The Functional Structure of OS/360: Part I Introductory Survey},
journal = {IBM Syst. J.},
issue_date = {March 1966},
volume = {5},
number = {1},
month = mar,
year = {1966},
issn = {0018-8670},
pages = {3--11},
numpages = {9},
url = {http://dx.doi.org/10.1147/sj.51.0003},
doi = {10.1147/sj.51.0003},
acmid = {1663371},
publisher = {IBM Corp.},
address = {Riverton, NJ, USA},
}
@article{Creasy:1981:OVT:1664853.1664863,
author = {Creasy, R. J.},
title = {The Origin of the VM/370 Time-sharing System},
journal = {IBM J. Res. Dev.},
issue_date = {September 1981},
volume = {25},
number = {5},
month = sep,
year = {1981},
issn = {0018-8646},
pages = {483--490},
numpages = {8},
url = {http://dx.doi.org/10.1147/rd.255.0483},
doi = {10.1147/rd.255.0483},
acmid = {1664863},
publisher = {IBM Corp.},
address = {Riverton, NJ, USA},
}
@article{Lu:2013:IVC:2388122.2388238,
author = {Lu, Xicheng and Wang, Huaimin and Wang, Ji and Xu, Jie and Li, Dongsheng},
title = {Internet-based Virtual Computing Environment (iVCE): Concepts and Architecture},
journal = {Future Gener. Comput. Syst.},
issue_date = {January, 2013},
volume = {29},
number = {1},
month = jan,
year = {2013},
issn = {0167-739X},
pages = {309--322},
numpages = {14},
url = {http://dx.doi.org/10.1016/j.future.2011.08.005},
doi = {10.1016/j.future.2011.08.005},
acmid = {2388238},
publisher = {Elsevier Science Publishers B. V.},
address = {Amsterdam, The Netherlands, The Netherlands},
keywords = {Cloud computing, Elastic binding, Multi-scale resource aggregation, Virtual Computing Environment},
}
@article{hopper1953influence,
title={Influence of programming techniques on the design of computers},
author={Hopper, Grace M and Mauchly, John W},
journal={Proceedings of the IRE},
volume={41},
number={10},
pages={1250--1254},
year={1953},
publisher={IEEE}
}
@article{Backus:1978:HFI:960118.808380,
author = {Backus, John},
title = {The History of FORTRAN I, II, and III},
journal = {SIGPLAN Not.},
issue_date = {August 1978},
volume = {13},
number = {8},
month = aug,
year = {1978},
issn = {0362-1340},
pages = {165--180},
numpages = {16},
url = {http://doi.acm.org/10.1145/960118.808380},
doi = {10.1145/960118.808380},
acmid = {808380},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Sammet:1978:EHC:960118.808378,
author = {Sammet, Jean E.},
title = {The Early History of COBOL},
journal = {SIGPLAN Not.},
issue_date = {August 1978},
volume = {13},
number = {8},
month = aug,
year = {1978},
issn = {0362-1340},
pages = {121--161},
numpages = {41},
url = {http://doi.acm.org/10.1145/960118.808378},
doi = {10.1145/960118.808378},
acmid = {808378},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{Dahl:1968:FSL:800166.805258,
author = {Dahl, Ole-Johan and Myhrhaug, BJ{\o}rn and Nygaard, Kristen},
title = {Some Features of the SIMULA 67 Language},
booktitle = {Proceedings of the Second Conference on Applications of Simulations},
year = {1968},
location = {New York, New York, USA},
pages = {29--31},
numpages = {3},
url = {http://dl.acm.org/citation.cfm?id=800166.805258},
acmid = {805258},
publisher = {Winter Simulation Conference},
}
@article{chomsky1956three,
title={Three models for the description of language},
author={Chomsky, Noam},
journal={IRE Transactions on information theory},
volume={2},
number={3},
pages={113--124},
year={1956},
publisher={IEEE}
}
@article{mei2005middleware,
Author = {梅宏 and 王怀民},
Title = {软件中间件技术现状及发展},
Journal = {中国计算机学会通讯},
Volume = {1},
Number = {1},
Pages = {2-14},
Year = {2015}
}
@book{buxton1970software,
title={Software Engineering Techniques: Report on a Conference Sponsored by the NATO Science Committee},
author={Buxton, John N and Randell, Brian},
year={1970},
publisher={NATO Science Committee; available from Scientific Affairs Division, NATO}
}
@article{jenkins1972developments,
title={Developments in computer auditing},
author={Jenkins, B},
journal={Accountant},
year={1972}
}
@article{Tanenbaum:1990:EAD:96267.96281,
author = {Tanenbaum, Andrew S. and van Renesse, Robbert and van Staveren, Hans and Sharp, Gregory J. and Mullender, Sape J.},
title = {Experiences with the Amoeba Distributed Operating System},
journal = {Commun. ACM},
issue_date = {Dec. 1990},
volume = {33},
number = {12},
month = dec,
year = {1990},
issn = {0001-0782},
pages = {46--63},
numpages = {18},
url = {http://doi.acm.org/10.1145/96267.96281},
doi = {10.1145/96267.96281},
acmid = {96281},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Tanenbaum:1985:DOS:6041.6074,
author = {Tanenbaum, Andrew S. and Van Renesse, Robbert},
title = {Distributed Operating Systems},
journal = {ACM Comput. Surv.},
issue_date = {Dec. 1985},
volume = {17},
number = {4},
month = dec,
year = {1985},
issn = {0360-0300},
pages = {419--470},
numpages = {52},
url = {http://doi.acm.org/10.1145/6041.6074},
doi = {10.1145/6041.6074},
acmid = {6074},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Birrell:1984:IRP:2080.357392,
author = {Birrell, Andrew D. and Nelson, Bruce Jay},
title = {Implementing Remote Procedure Calls},
journal = {ACM Trans. Comput. Syst.},
issue_date = {February 1984},
volume = {2},
number = {1},
month = feb,
year = {1984},
issn = {0734-2071},
pages = {39--59},
numpages = {21},
url = {http://doi.acm.org/10.1145/2080.357392},
doi = {10.1145/2080.357392},
acmid = {357392},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {distributed naming and binding, inter-process communication, performance of communication protocols, remote procedural calls, transport layer protocols},
}
@article{Black:1985:SDA:323627.323646,
author = {Black, Andrew P.},
title = {Supporting Distributed Applications: Experience with Eden},
journal = {SIGOPS Oper. Syst. Rev.},
issue_date = {Dec. 1-4, 1985},
volume = {19},
number = {5},
month = dec,
year = {1985},
issn = {0163-5980},
pages = {181--193},
numpages = {13},
url = {http://doi.acm.org/10.1145/323627.323646},
doi = {10.1145/323627.323646},
acmid = {323646},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Emmerich:2008:IRD:13487689.13487692,
author = {Emmerich, Wolfgang and Aoyama, Mikio and Sventek, Joe},
title = {The Impact of Research on the Development of Middleware Technology},
journal = {ACM Trans. Softw. Eng. Methodol.},
issue_date = {August 2008},
volume = {17},
number = {4},
month = aug,
year = {2008},
issn = {1049-331X},
pages = {19:1--19:48},
articleno = {19},
numpages = {48},
url = {http://doi.acm.org/10.1145/13487689.13487692},
doi = {10.1145/13487689.13487692},
acmid = {13487692},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{du2019bigdata,
title={大数据管理系统的历史, 现状与未来},
author={杜小勇 and 卢卫 and 张峰},
journal={软件学报},
volume={30},
number={1},
pages={127--141},
year={2019}
}
@article{Bachman:2009:OID:1674526.1674536,
author = {Bachman, Charles W.},
title = {The Origin of the Integrated Data Store (IDS): The First Direct-Access DBMS},
journal = {IEEE Ann. Hist. Comput.},
issue_date = {October 2009},
volume = {31},
number = {4},
month = oct,
year = {2009},
issn = {1058-6180},
pages = {42--54},
numpages = {13},
url = {https://doi.org/10.1109/MAHC.2009.110},
doi = {10.1109/MAHC.2009.110},
acmid = {1674536},
publisher = {IEEE Educational Activities Department},
address = {Piscataway, NJ, USA},
keywords = {Integrated Data Store (IDS), Integrated Data Store (IDS), database management system (DBMS), owner/member set, metadata, problem controller, online transaction processing (OLTP), data model, data structure diagram, Materials Information and Control System
(MIACS), generic application systems, Materials Information and Control System (MIACS), data model, data structure diagram, database management system (DBMS), generic application systems, metadata, online transaction processing (OLTP), owner/member set, problem
controller},
}
@article{Codd:1970:RMD:362384.362685,
author = {Codd, E. F.},
title = {A Relational Model of Data for Large Shared Data Banks},
journal = {Commun. ACM},
issue_date = {June 1970},
volume = {13},
number = {6},
month = jun,
year = {1970},
issn = {0001-0782},
pages = {377--387},
numpages = {11},
url = {http://doi.acm.org/10.1145/362384.362685},
doi = {10.1145/362384.362685},
acmid = {362685},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {composition, consistency, data bank, data base, data integrity, data organization, data structure, derivability, hierarchies of data, join, networks of data, predicate calculus, redundancy, relations, retrieval language, security},
}
@book{Gray:1992:TPC:573304,
author = {Gray, Jim and Reuter, Andreas},
title = {Transaction Processing: Concepts and Techniques},
year = {1992},
isbn = {1558601902},
edition = {1st},
publisher = {Morgan Kaufmann Publishers Inc.},
address = {San Francisco, CA, USA},
}
@article{Chang:2008:BDS:1365815.1365816,
author = {Chang, Fay and Dean, Jeffrey and Ghemawat, Sanjay and Hsieh, Wilson C. and Wallach, Deborah A. and Burrows, Mike and Chandra, Tushar and Fikes, Andrew and Gruber, Robert E.},
title = {Bigtable: A Distributed Storage System for Structured Data},
journal = {ACM Trans. Comput. Syst.},
issue_date = {June 2008},
volume = {26},
number = {2},
month = jun,
year = {2008},
issn = {0734-2071},
pages = {4:1--4:26},
articleno = {4},
numpages = {26},
url = {http://doi.acm.org/10.1145/1365815.1365816},
doi = {10.1145/1365815.1365816},
acmid = {1365816},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Large-Scale Distributed Storage},
}
@article{mei2018toward,
title={Toward ubiquitous operating systems: A software-defined perspective},
author={Mei, Hong and Guo, Yao},
journal={Computer},
volume={51},
number={1},
pages={50--56},
year={2018},
publisher={IEEE}
}
@article{Roman:2002:GMP:643550.643558,
author = {Rom\'{a}n, Manuel and Hess, Christopher and Cerqueira, Renato and Ranganathan, Anand and Campbell, Roy H. and Nahrstedt, Klara},
title = {Gaia: A Middleware Platform for Active Spaces},
journal = {SIGMOBILE Mob. Comput. Commun. Rev.},
issue_date = {October 2002},
volume = {6},
number = {4},
month = oct,
year = {2002},
issn = {1559-1662},
pages = {65--67},
numpages = {3},
url = {http://doi.acm.org/10.1145/643550.643558},
doi = {10.1145/643550.643558},
acmid = {643558},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{quigley2009ros,
Author = {Quigley, Morgan and Conley, Ken and Gerkey, Brian and Faust, Josh and Foote, Tully and Leibs, Jeremy and Wheeler, Rob and Ng, Andrew Y.},
Title = {ROS: an open-source Robot Operating System},
BookTitle = {ICRA workshop on open source software},
Series= {ICRA workshop on open source software},
Publisher = {Kobe, Japan},
Volume = {3},
Pages = {5},
Note = {3.2},
Year = {2009}
}
@article{tuttlebee1999software,
title={Software-defined radio: facets of a developing technology},
author={Tuttlebee, Walter HW},
journal={IEEE Personal Communications},
volume={6},
number={2},
pages={38--44},
year={1999},
publisher={IEEE}
}
@article{Gude:2008:NTO:1384609.1384625,
author = {Gude, Natasha and Koponen, Teemu and Pettit, Justin and Pfaff, Ben and Casado, Mart\'{\i}n and McKeown, Nick and Shenker, Scott},
title = {NOX: Towards an Operating System for Networks},
journal = {SIGCOMM Comput. Commun. Rev.},
issue_date = {July 2008},
volume = {38},
number = {3},
month = jul,
year = {2008},
issn = {0146-4833},
pages = {105--110},
numpages = {6},
url = {http://doi.acm.org/10.1145/1384609.1384625},
doi = {10.1145/1384609.1384625},
acmid = {1384625},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {architecture, management, network, security},
}
@inproceedings{Androulaki:2018:HFD:3190508.3190538,
author = {Androulaki, Elli and Barger, Artem and Bortnikov, Vita and Cachin, Christian and Christidis, Konstantinos and De Caro, Angelo and Enyeart, David and Ferris, Christopher and Laventman, Gennady and Manevich, Yacov and Muralidharan, Srinivasan and Murthy, Chet
and Nguyen, Binh and Sethi, Manish and Singh, Gari and Smith, Keith and Sorniotti, Alessandro and Stathakopoulou, Chrysoula and Vukoli\'{c}, Marko and Cocco, Sharon Weed and Yellick, Jason},
title = {Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains},
booktitle = {Proceedings of the Thirteenth EuroSys Conference},
series = {EuroSys '18},
year = {2018},
isbn = {978-1-4503-5584-1},
location = {Porto, Portugal},
pages = {30:1--30:15},
articleno = {30},
numpages = {15},
url = {http://doi.acm.org/10.1145/3190508.3190538},
doi = {10.1145/3190508.3190538},
acmid = {3190538},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{mei2016internetwareos,
title={面向网构软件的操作系统: 发展及现状},
author={梅宏 and 郭耀},
journal={科技导报},
volume={34},
number={14},
pages={33--41},
year={2016}
}
@article{Corbett:2013:SGG:2518037.2491245,
author = {Corbett, James C. and Dean, Jeffrey and Epstein, Michael and Fikes, Andrew and Frost, Christopher and Furman, J. J. and Ghemawat, Sanjay and Gubarev, Andrey and Heiser, Christopher and Hochschild, Peter and Hsieh, Wilson and Kanthak, Sebastian and Kogan,
Eugene and Li, Hongyi and Lloyd, Alexander and Melnik, Sergey and Mwaura, David and Nagle, David and Quinlan, Sean and Rao, Rajesh and Rolig, Lindsay and Saito, Yasushi and Szymaniak, Michal and Taylor, Christopher and Wang, Ruth and Woodford, Dale},
title = {Spanner: Google\&Rsquo;s Globally Distributed Database},
journal = {ACM Trans. Comput. Syst.},
issue_date = {August 2013},
volume = {31},
number = {3},
month = aug,
year = {2013},
issn = {0734-2071},
pages = {8:1--8:22},
articleno = {8},
numpages = {22},
url = {http://doi.acm.org/10.1145/2491245},
doi = {10.1145/2491245},
acmid = {2491245},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Distributed databases, concurrency control, replication, time management, transactions},
}
@article{赵兰香等主编2013科技发展新态势与面向,
title={科技发展新态势与面向2020年的战略选择},
author={赵兰香等主编},
journal={中国科学院院刊},
number={5},
year={2013},
}
@article{Herbsleb2001Global,
title={Global software development},
author={Herbsleb, J. D and Moitra, D},
journal={Software IEEE},
volume={18},
number={2},
pages={16-20},
year={2001},
}
@inproceedings{Mockus2019Keynote,
title={Keynote: Measuring Open Source Software Supply Chains},
author={Mockus, Audris},
booktitle={Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
year={2019},
}
@article{Astromskis2017Patterns,
title={Patterns of Developers Behaviour: A 1,000-hour Industrial Study},
author={Astromskis, Saulius and Bavota, Gabriele and Janes, Andrea and Russo, Barbara and Penta, Massimiliano Di},
journal={Journal of Systems \& Software},
volume={132},
pages={S016412121730136X},
year={2017},
}
@article{Manikas2013Software,
title={Software ecosystems – A systematic literature review},
author={Manikas, Konstantinos and Hansen, Klaus Marius},
journal={Journal of Systems \& Software},
volume={86},
number={5},
pages={1294-1306},
year={2013},
}
@article{Vygotsky1978Interaction,
title={Interaction between learning and development},
author={Vygotsky, L},
journal={Readings on the Development of Children},
volume={23},
number={3},
pages={34-41},
year={1978},
}
@article{zhangtse19,
author = {Zhang, Yuxia and Zhou, Minghui and Mockus, Audris and Jin, Zhi},
year = {2019},
month = {10},
pages = {1-1},
title = {Companies' Participation in OSS Development - An Empirical Study of OpenStack},
volume = {PP},
journal = {IEEE Transactions on Software Engineering},
doi = {10.1109/TSE.2019.2946156}
}
@article{Zhou2016Inflow,
title={Inflow and Retention in OSS Communities with Commercial Involvement: A Case Study of Three Hybrid Projects},
author={Zhou, Minghui and Mockus, Audris and Ma, Xiujuan and Lu, Zhang and Hong, Mei},
journal={Acm Transactions on Software Engineering \& Methodology},
volume={25},
number={2},
pages={1-29},
year={2016},
}
@Misc{CIO2018,
howpublished = {\url{https://www.cio.com/article/2442437/open-source-tools/jboss-head-marc-fleury-leaves-red-hat.html}},
note = {Accessed October 14, 2019},
title = {JBoss Head Marc Fleury Leaves Red Hat},
author = {CIO Staff}
}
@article{Zhou2015Who,
title={Who Will Stay in the FLOSS Community? Modeling Participant’s Initial Behavior},
author={Zhou, Minghui and Mockus, A},
journal={IEEE Transactions on Software Engineering},
volume={41},
number={1},
pages={82-99},
year={2015},
}
@book{national2000people,
title={How people learn: Brain, mind, experience, and school: Expanded edition},
author={National Research Council and others},
year={2000},
publisher={National Academies Press}
}
@inproceedings{curtis1984fifteen,
title={Fifteen years of psychology in software engineering: Individual differences and cognitive science},
author={Curtis, Bill},
booktitle={Proceedings of the 7th international conference on Software engineering},
pages={97--106},
year={1984},
organization={IEEE Press}
}
@inproceedings{ohira2005supporting,
title={Supporting knowledge collaboration using social networks in a large-scale online community of software development projects},
author={Ohira, Masao and Ohoka, Tetsuya and Kakimoto, Takeshi and Ohsugi, Naoki and Matsumoto, Ken-ichi},
booktitle={12th Asia-Pacific Software Engineering Conference (APSEC'05)},
pages={6--pp},
year={2005},
organization={IEEE}
}
@inproceedings{gousios2013ghtorent,
title={The GHTorent dataset and tool suite},
author={Gousios, Georgios},
booktitle={Proceedings of the 10th working conference on mining software repositories},
pages={233--236},
year={2013},
organization={IEEE Press}
}
@inproceedings{mockus2009amassing,
title={Amassing and indexing a large sample of version control systems: Towards the census of public source code history},
author={Mockus, Audris},
booktitle={2009 6th IEEE International Working Conference on Mining Software Repositories},
pages={11--20},
year={2009},
organization={IEEE}
}
@inproceedings{tu18fse,
title={Be careful of when: an empirical study on time-related misuse of issue tracking data},
author={Tu, Feifei and Zhu, Jiaxin and Zheng, Qimu and Zhou, Minghui},
booktitle={Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
pages={307--318},
year={2018},
organization={ACM}
}
@article{aihua2017accelerate,
title={加快发展和建设新工科 主动适应和引领新经济},
author={吴爱华，侯永峰，杨秋波，郝杰},
journal={高等工程教育研究},
number={1},
pages={1--9},
year={2017}
}
@article{hong2018everything,
title={万物皆可互联, 一切均可编程},
author={梅宏},
journal={方圆},
number={12},
pages={24},
year={2018}
}
@article{huaimin2014growth,
title={复杂软件系统的成长性构造与适应性演化},
author={王怀民，吴文峻，毛新军，丁博，郭长国，李未},
journal={中国科学: 信息科学},
volume={44},
number={6},
pages={743--761},
year={2014}
}
@article{hong2017challenges,
title={开源对软件人才培养带来的挑战},
author={梅宏，周明辉},
journal={计算机教育},
number={1},
pages={2--5},
year={2017}
}
@article{bandyopadhyay2016ict,
title={ICT in Education: Open Source Software and its Impact on Teachers and Students},
author={Bandyopadhyay, Soma and Thakur, SS},
journal={International Journal of Computer Applications},
volume={151},
number={6},
year={2016},
publisher={Foundation of Computer Science}
}
@article{borque2014swebok,
title={SWEBOK v3. 0: Guide to the software engineering body of knowledge},
author={Borque, P and Fairley, RE},
journal={USA: IEEE},
year={2014}
}
@book{editors2019computer,
title={计算机教育与可持续竞争力},
author={``计算机教育20人论坛''编写组},
publisher={高等教育出版社},
year={2019}
}
@article{xiaoming2014imagination,
title={“老年编程”的畅想},
author={李晓明},
journal={计算机学会通讯},
volume={15},
number={5},
pages={51},
year={2019}
}
@article{wing2014computational,
title={Computational thinking benefits society},
author={Wing, Jeannette M},
journal={40th Anniversary Blog of Social Issues in Computing},
volume={2014},
year={2014}
}
@article{grover20185th,
title={The 5th ‘C’of 21st century skills},
author={Grover, S},
journal={Try computational thinking (not coding).(March 13). Retrieved from EdSurge News: https://www. edsurge. com/news/2018-02-25-the-5th-c-of-21st-century-skills-try-computational-thinking-not-coding},
year={2018}
}
@article{sommerville2011large,
title={Large-scale complex IT systems},
author={Sommerville, Ian and Cliff, Dave and Calinescu, Radu and Keen, Justin and Kelly, Tim and Kwiatkowska, Marta and Mcdermid, John and Paige, Richard},
journal={arXiv preprint arXiv:1109.3444},
year={2011}
}
@techreport{northrop2006ultra,
title={Ultra-large-scale systems: The software challenge of the future},
author={Northrop, Linda and Feiler, Peter and Gabriel, Richard P and Goodenough, John and Linger, Rick and Longstaff, Tom and Kazman, Rick and Klein, Mark and Schmidt, Douglas and Sullivan, Kevin and others},
year={2006},
institution={CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST}
}
@book{xinjun2019soft,
title={软工程实践教程: 基于开源和群智的方法},
author={毛新军，王涛，余跃},
publisher={高等教育出版社},
year={2019}
}
@misc{ISO9126,
title = {{ISO9126}},
howpublished = "\url{http://www.sqa.net/iso9126.html}",
year = {2019},
}
@inproceedings{sculley2015hidden,
title={Hidden technical debt in machine learning systems},
author={Sculley, David and Holt, Gary and Golovin, Daniel and Davydov, Eugene and Phillips, Todd and Ebner, Dietmar and Chaudhary, Vinay and Young, Michael and Crespo, Jean-Francois and Dennison, Dan},
booktitle={Advances in neural information processing systems},
pages={2503--2511},
year={2015}
}
@inproceedings{lee2006cyber,
title={Cyber-physical systems-are computing foundations adequate},
author={Lee, Edward A},
booktitle={Position paper for NSF workshop on cyber-physical systems: research motivation, techniques and roadmap},
volume={2},
pages={1--9},
year={2006},
organization={Citeseer}
}
@inproceedings{cousot2018program,
title={Program analysis is harder than verification: A computability perspective},
author={Cousot, Patrick and Giacobazzi, Roberto and Ranzato, Francesco},
booktitle={International Conference on Computer Aided Verification},
pages={75--95},
year={2018},
organization={Springer}
}
@article{zhang2019recent,
title={程序分析研究进展},
author={张健 and 张超 and 玄跻峰 and 熊英飞 and 王千祥 and 梁彬 and 李炼 and 窦文生 and 陈振邦 and 陈立前 and 蔡彦},
journal={软件学报},
volume={30},
number={1},
pages={80-109},
year={2019},
}
@article{ammar2018internet,
title={Internet of Things: A survey on the security of IoT frameworks},
author={Ammar, Mahmoud and Russello, Giovanni and Crispo, Bruno},
journal={Journal of Information Security and Applications},
volume={38},
pages={8--27},
year={2018},
publisher={Elsevier}
}
@inproceedings{brumley2008automatic,
title={Automatic patch-based exploit generation is possible: Techniques and implications},
author={Brumley, David and Poosankam, Pongsin and Song, Dawn and Zheng, Jiang},
booktitle={2008 IEEE Symposium on Security and Privacy (sp 2008)},
pages={143--157},
year={2008},
organization={IEEE}
}
@article{zhang2017software,
title={Software development based on collective intelligence on the Internet: feasibility, state-of-the-practice, and challenges},
author={ZHANG, Wei and MEI, Hong},
journal={SCIENTIA SINICA Informationis},
volume={47},
number={12},
pages={1601--1622},
year={2017},
publisher={Science China Press}
}
@article{wang2018harnessing,
title={Harnessing the crowd wisdom for software trustworthiness},
author={Wang, Huaimin},
journal={ACM SIGSOFT Software Engineering Notes},
volume={43},
number={1},
pages={1--6},
year={2018},
publisher={ACM}
}
Reference in New Issue View Git Blame Copy Permalink