Thomas A. Alspaugh's Personal Bibliography

Click on Abstract, bibtex, or Keywords to show an entry's abstract, bibtex, or keywords, respectively, or on pdf, html, movie, or url to go to the PDF or other form for the reference. Clicking on at the upper right expands all abstracts and keywords.

The bibliography is also online at CCSB, the Collection of Computer Science Bibliographies.


Abadi+Cardelli1995-ioc
Martín Abadi and Luca Cardelli. An imperative object calculus. In P. D. Mosses, M. Nielsen, and M. I. Schwartzbach, editors, TAPSOFT ’95: Theory and Practice of Software Development, pages 471–485, Springer-Verlag, May 1995.
BibTeX
Abadi+Cardelli1996-to
Martín Abadi and Luca Cardelli. A theory of objects. Springer-Verlag, New York, 1996.
BibTeX
Abadi+Leino1997-loop
Martín Abadi and Rustan Leino. A logic of object-oriented programs. In Michel Bidoit and Max Dauchet, editors, TAPSOFT ’97: Theory and Practice of Software Development, pages 682–696, Springer-Verlag, Apr. 1997.
BibTeX
ABB1999-srse
Software requirements specification for Euronet v.2. Asea Brown Boveri — Electric Systems Technology Institute, Mar. 1999. Confidential.
BibTeX
Abelson+Adida+2008-cccr
Hal Abelson, Ben Adida, Mike Linksvayer, and Nathan Yergler. ccREL: The Creative Commons rights expression language. Technical Report. Creative Commons. 2008.
Abstract
BibTeX
url
Abercrombie+Sheldon+Mili2008-sesc
Robert K. Abercrombie, Frederick T. Sheldon, and Ali Mili. Synopsis of evaluating security controls based on key performance indicators and stakeholder mission value. In 11th IEEE High Assurance Systems Engineering Symposium (HASE ’08), pages 479–482, 2008.
Abstract
BibTeX
doi:10.1109/HASE.2008.61
Abrahams+Eyers+Bacon2002-arba
Alan Abrahams, David Eyers, and Jean Bacon. An asynchronous rule-based approach for business process automation using obligations. In ACM SIGPLAN workshop on Rule-based programming (RULE ’02), pages 93–103, 2002.
Abstract
BibTeX
doi:10.1145/570186.570195
Abrahamson2002-dtdb
Eric Abrahamson. Disorganization theory and disorganizational behavior: Towards an etiology of messes. Research in Organizational Behavior, 24:139 180, 2002.
Abstract
BibTeX
doi:10.1016/S0191-3085(02)24005-8 url
Ackerman+Hadverson2000-rom
Mark S. Ackerman and Christine A. Hadverson. Reexamining organizational memory. Communications of the ACM, 43(1):58–64, Jan. 2000.
Abstract
BibTeX
doi:10.1145/323830.323845
Aczel1977-iid
Peter Aczel. An introduction to inductive definitions. In J. Barwise, editor, Handbook of Mathematical Logic, pages 739–782, North-Holland, 1977.
BibTeX
Adolph+Bramble2001-peuc
Steve Adolph and Paul Bramble. Patterns for effective use cases. 2001.
Abstract
BibTeX
Adolph+Cockburn+Bramble2002-peuc
Steve Adolph, Alistair Cockburn, and Paul Bramble. Patterns for Effective Use Cases. Addison-Wesley Longman Publishing Co., Inc., 2002.
BibTeX
Adrion+Branstad+Cherniavsky1982-vvtc
W. Richards Adrion, Martha A. Branstad, and John C. Cherniavsky. Validation, verification, and testing of computer software. ACM Computing Surveys, 14(2):159–192, 1982.
Abstract
BibTeX
doi:10.1145/356876.356879
Afori2009-ilen
Orit Fischman Afori. Implied license: An emerging new standard in copyright law. Santa Clara Computer & High Technology Law Journal, 25(2):275–325, 2009.
Abstract
BibTeX
Agouridas+McKay+2008-appc
Vassilis Agouridas, Alison McKay, Henri Winand, and Alan de Pennington. Advanced product planning: a comprehensive process for systemic definition of new product requirements. Requirements Engineering, 13(1):19–48, 2008.
Abstract
BibTeX
doi:10.1007/s00766-007-0055-z
Agre+Gordon+Vassiliou2014-pcum
Jonathan R. Agre, Karen D. Gordon, and Marius S. Vassiliou. Practical considerations for use of mobile apps at the tactical edge. In 19th International Command and Control Research and Technology Symposium (ICCRTS), pages 1–15, 16–19 June 2014.
Abstract
BibTeX
url
Aho+Corasick1975-esma
Alfred V. Aho and Margaret J. Corasick. Efficient string matching: an aid to bibliographic search. CACM, 18(6):333–340, 1975.
Abstract
BibTeX
Ajila+Wu2007-eseo
Samuel A. Ajila and Di Wu. Empirical study of the effects of open source adoption on software development economics. Journal of Systems and Software, 80(9):1517–1529, Sep. 2007.
Abstract
BibTeX
doi:10.1016/j.jss.2007.01.011
Keywords
Al-Ani+Sim2006-uefe
Ban Al-Ani and Susan Elliot Sim. Using expertise as a framework for evaluating requirements technology. In Fourth International Workshop on Comparative Evaluation in Requirements Engineering (CERE’06), 11 Sep. 2006.
BibTeX
url
Al-Ani2002-sroc
Ban Al-Ani. Systems’ requirements: Once captured, are slaughtered. In AWRE’02, 2002.
Abstract
BibTeX
Al-Ani2003-fvre
Ban Al-Ani. A framework to validate requirements engineering research artefacts. In First International Workshop on Comparative Evaluation in Requirements Engineering (CERE’03), 8 Sep. 2003.
Abstract
BibTeX
Al-Karaghouli+AlShawi+Fitzgerald2000-nuis
W. Al-Karaghouli, S. AlShawi, and G. Fitzgerald. Negotiating and understanding information systems requirements: The use of set diagrams. Requirements Engineering, 5(2):93–102, 2000.
Abstract
BibTeX
doi:10.1007/PL00010348
Al-Otaiby+Bond+AlSherif2004-smur
Turky N. Al-Otaiby, Walter P. Bond, and Mohsen AlSherif. Software modularization using requirements attributes. In 42nd Annual Southeast Regional Conference (ACM-SE 42), pages 104–109, 2004.
Abstract
BibTeX
doi:10.1145/986537.986563
Al-Subaie+Maibaum2006-eego
Huzam S. F. Al-Subaie and Tom S. E. Maibaum. Evaluating the effectiveness of a goal-oriented requirements engineering method. In Fourth International Workshop on Comparative Evaluation in Requirements Engineering (CERE’06), 11 Sep. 2006.
BibTeX
url
Alagar+Venkatesan2001-ttse
Sridhar Alagar and Subbarayan Venkatesan. Techniques to tackle state explosion in global predicate detection. IEEE Transactions on Software Engineering, 27(8):704–714, 2001.
Abstract
BibTeX
Alberts+Haller+2017-adsa
Christopher Alberts, John Haller, Charles Wallen, Woody,, and Carol. Assessing DoD system acquisition supply chain risk management. CrossTalk — The Journal of Defense Software Engineering, 30(3):4–9, May/June 2017.
Abstract
BibTeX
Albrecht1979-madp
Allan J. Albrecht. Measuring application development productivity. In SHARE/GUIDE IBM Application Development Symposium, pages 83–92, Oct. 1979.
BibTeX
url
Alderson1999-frer
A. Alderson. False requirements express real needs. Requirements Engineering, 4(1):61–61, 1999.
Abstract
BibTeX
Alenljung+Persson2008-ppdm
Beatrice Alenljung and Anne Persson. Portraying the practice of decision-making in requirements engineering: a case of large scale bespoke development. Requirements Engineering, 13(4):257–279, 2008.
Abstract
BibTeX
doi:10.1007/s00766-008-0068-2
Alexander+Maiden2004-ssuc
Ian F. Alexander and Neil Maiden, editors. Scenarios, Stories, Use Cases: Through the Systems Development Life-Cycle. John Wiley & Sons, Ltd., 2004.
BibTeX
Alexander+Maiden2004-wssa
Ian F. Alexander and Neil Maiden. What scenarios (still) aren’t good for. In Ian F. Alexander and Neil Maiden, editors, Scenarios, Stories, Use Cases: Through the Systems Development Life-Cycle, pages 465–469, John Wiley & Sons, Ltd., 2004.
Abstract
BibTeX
Alexander1998-ecoi
Ian Alexander. Engineering as a co-operative inquiry: A framework. Requirements Engineering, 3(2):130–137, 1998.
Abstract
BibTeX
doi:10.1007/BF02919973
Alexander1999-itst
Ian Alexander. Is there such a thing as a user requirement? Requirements Engineering, 4(4):221–223, Dec. 1999.
BibTeX
doi:10.1007/s007660050022
Alexander2000-sdsf
I. Alexander. Scenario-driven search finds more exceptions. In 11th International Workshop on Database and Expert Systems Applications (DEXA ’00), page 991, 2000.
Abstract
BibTeX
Alexander2002-as
I. Alexander. On abstraction in scenarios. Requirements Engineering, 6(4):252–255, 2002.
Abstract
BibTeX
doi:10.1007/s766-002-8404-8
Alexander2002-iiem
Ian F. Alexander. Initial industrial experience of misuse cases in trade-off analysis. In 10th IEEE Joint International Conference on Requirements Engineering (RE’02), pages 61–70, 9–13 Sep. 2002.
Abstract
BibTeX
doi:10.1109/ICRE.2002.1048506
Alexander2003-itst
Ian Alexander. Is there such a thing as a user requirement? IEEE Software, 20(1):58–66, Jan./Feb. 2003.
Abstract
BibTeX
doi:10.1109/MS.2003.1159030
Alexander2003-mcuc
Ian Alexander. Misuse cases: use cases with hostile intent. IEEE Software, 20(1):58–66, Jan./Feb. 2003.
Abstract
BibTeX
doi:10.1109/MS.2003.1159030
Alexander2004-bfcs
Ian F. Alexander. A better fit — characterising the stakeholders. In 5th Business Modeling, Development and Support Workshop (BPMDS’04), 2004.
Abstract
BibTeX
url
Alexander2004-ssd
Ian Alexander. Scenarios in system development. In Ian F. Alexander and Neil Maiden, editors, Scenarios, Stories, Use Cases: Through the Systems Development Life-Cycle, pages 3–24, John Wiley & Sons, Ltd., 2004.
Abstract
BibTeX
Alexander2004-uctc
Ian Alexander. Use case, test cases. In Ian F. Alexander and Neil Maiden, editors, Scenarios, Stories, Use Cases: Through the Systems Development Life-Cycle, pages 281–298, John Wiley & Sons, Ltd., 2004.
BibTeX
Alexander2005-aabr
Ian Alexander. Agile or analytic? Book reviews: Cohn versus Lavi and Kudish. Requirements Engineering, 10(4):307–308, 2005.
BibTeX
doi:10.1007/s00766-005-0011-8
Alexander2005-tshr
Ian F. Alexander. A taxonomy of stakeholders: Human roles in system development. International Journal of Technology and Human Interaction (IJTHI), 1(1):23–59, 2005.
Abstract
BibTeX
url
Alexander2007-ctre
Ian Alexander. Choosing a tram route: An experience in trading-off constraints. In 15th IEEE International Requirements Engineering Conference (RE’07), pages 350–355, 17–19 Oct. 2007.
Abstract
BibTeX
doi:10.1109/RE.2007.10
Keywords
Alexander2008-edoa
Ian Alexander. Evaluating design options against requirements: How far can statistics help? In 16th IEEE International Requirements Engineering Conference (RE’08), pages 259–264, 8–12 Sep. 2008.
Abstract
BibTeX
doi:10.1109/RE.2008.14
Allen+Ferguson1994-aeit
James F. Allen and George Ferguson. Actions and events in interval temporal logic. Technical Report 521. University of Rochester Computer Science Department, Rochester, NY, USA. 1994. Also in J. Logic and Computation 4(5), 1994.
Abstract
BibTeX
Allen+Frisch1982-wsn
James F. Allen and Alan M. Frisch. What’s in a semantic network? In 20th Annual Meeting on Association for Computational Linguistics, pages 19–27, 1982.
Abstract
BibTeX
Allen+Hayes1985-cstt
James F. Allen and Patrick J. Hayes. A common-sense theory of time. In Proceedings of International Joint Conference on Artificial Intelligence, pages 528–531, 1985.
BibTeX
Allen+Saxon1994-ahlr
Layman E. Allen and Charles S. Saxon. A-Hohfeld: a language for robust structural representation of knowledge in the legal domain to build interpretation-assistance expert systems. In Deontic logic in computer science: normative system specification, pages 205–224, John Wiley & Sons, 1994.
BibTeX
Allen+Saxon1995-blbt
Layman E. Allen and Charles S. Saxon. Better language, better thought, better communication: the A-Hohfeld language for legal analysis. In 5th International Conference on Artificial Intelligence and Law (ICAIL’95), pages 219–228, 1995.
Abstract
BibTeX
doi:10.1145/222092.222245
Allen+Saxon1997-afmf
Layman E. Allen and Charles S. Saxon. Achieving fluency in modernized and formalized Hohfeld: Puzzles and games for the LEGAL RELATIONS language. In 6th International Conference on Artificial Intelligence and Law (ICAIL ’97), pages 19–28, 1997.
Abstract
BibTeX
doi:10.1145/261618.261623
Allen+Saxon1999-aedl
Layman E. Allen and Charles S. Saxon. Application of enriched deontic legal relations: Federal Rules of Civil Procedure Rule 7(a), pleadings. In 7th International Conference on Artificial Intelligence and Law (ICAIL’99), pages 80–89, 1999.
Abstract
BibTeX
doi:10.1145/323706.323718
Allen+Tury2007-nias
Layman E. Allen and Adam W. Tury. NewMINT interpretation assistance system: United States Constitution First Amendment’s initial 1344 interpretations. In 11th International Conference on Artificial Intelligence and Law (ICAIL ’07), pages 161–165, 2007.
Abstract
BibTeX
doi:10.1145/1276318.1276348
Allen1957-slre
Layman E. Allen. Symbolic logic: A razor-edged tool for drafting and interpreting legal documents. Yale Law Journal, 66(5):833–879, May 1957.
Abstract
BibTeX
url
Allen1981-wnhm
James F. Allen. What’s necessary to hide?: Modeling action verbs. In 19th Annual Meeting on Association for Computational Linguistics, pages 77–81, 1981.
Abstract
BibTeX
Allen1983-mkti
James F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832–843, Nov. 1983.
Abstract
BibTeX
Allen1984-tgta
James F. Allen. Towards a general theory of action and time. Artificial Intelligence, 23(2):123–154, 1984.
Abstract
BibTeX
Allen1991-trp
James F. Allen. Temporal reasoning and planning. In Reasoning about plans, pages 1–67, Morgan Kaufmann Publishers Inc., 1991.
BibTeX
Allen1991-ttam
James F. Allen. Time and time again: The many ways to represent time. Journal of Intelligent Systems, 6(4):341–355, July 1991.
Abstract
BibTeX
Allenby+Kelly2001-dsru
Karen Allenby and Tim Kelly. Deriving safety requirements using scenarios. In Fifth IEEE International Symposium on Requirements Engineering (RE’01), pages 228–235, 27–31 Aug. 2001.
Abstract
BibTeX
Almeida-Martinez+Urquiza-Fuentes+Velazquez-Iturbide2008-vvas
Francisco J. Almeida-Martínez, Jaime Urquiza-Fuentes, and J. Ángel Velázquez-Iturbide. VAST — visualization of abstract syntax trees within language processors courses. In Fourth ACM Symposium on Software Visualization (SoftVis’08), pages 209–210, 16–17 Sep. 2008.
Abstract
BibTeX
doi:10.1145/1409720.1409759
AlSabbagh+Kowalski2015-stft
Bilal Al Sabbagh and Stewart Kowalski. A socio-technical framework for threat modeling a software supply chain. IEEE Security and Privacy, 13(4):30–39, July/Aug. 2015.
Abstract
BibTeX
doi:10.1109/MSP.2015.72
Alspaugh+Anton+1999-isms
Thomas A. Alspaugh, Annie I. Antón, Tiffany Barnes, and Bradford W. Mott. An integrated scenario management strategy. In Fourth IEEE International Symposium on Requirements Engineering (RE’99), pages 142–149, 7–11 June 1999.
Abstract
BibTeX
doi:10.1109/ISRE.1999.777994
Alspaugh+Anton+Davis2003-esss
Thomas A. Alspaugh, Annie I. Antón, and Laura J. Davis. An empirical study of scenario similarity measures. ISR Technical Report UCI-ISR-03-07. Institute for Software Research, University of California, Irvine. Sep. 2003.
Abstract
BibTeX
url
Alspaugh+Anton+Modarressi2001-es
Thomas A. Alspaugh, Annie I. Antón, and Abdi Modarressi. EMS scenarios. 2001. http://www.ics.uci.edu/ alspaugh/rsr/EMSscos-public.html
BibTeX
url
Alspaugh+Anton2001-oors
Thomas A. Alspaugh and Annie I. Antón. Object-orientation in requirements, specifications and models. Computer Science Technical Report TR-2001-12. North Carolina State University, Raleigh, NC. 4 Dec. 2001.
Abstract
BibTeX
Alspaugh+Anton2001-sncs
Thomas A. Alspaugh and Annie I. Antón. Scenario networks: A case study of the Enhanced Messaging System. In 7th International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ’01), pages 113–124, 4–5 June 2001.
Abstract
BibTeX
url
Alspaugh+Anton2001-snss
Thomas A. Alspaugh and Annie I. Antón. Scenario networks for software specification and scenario management. Computer Science Technical Report TR-2001-15. North Carolina State University, Raleigh, NC. Dec. 2001.
Abstract
BibTeX
url
Alspaugh+Anton2001-usns
Thomas A. Alspaugh and Annie I. Antón. Using scenario networks for scenario management and software specification. Computer Science Technical Report TR-2001-11. North Carolina State University, Raleigh, NC. 4 Dec. 2001.
Abstract
BibTeX
url
Alspaugh+Anton2003-cucg
Thomas A. Alspaugh and Annie I. Antón. Contrasting use case, goal, and scenario analysis of the Euronet system. In 11th IEEE Joint International Conference on Requirements Engineering (RE’03), pages 355–356, 8–12 Sep. 2003.
Abstract
BibTeX
doi:10.1109/ICRE.2003.1232784
Alspaugh+Anton2003-ucgs
Thomas A. Alspaugh and Annie I. Antón. Use case, goal, and scenario analysis of the euronet system: comparing methods and results. Technical report UCI-ISR-03-12. Institute for Software Research. Nov. 2003.
Abstract
BibTeX
url
Alspaugh+Anton2008-sser
Thomas A. Alspaugh and Annie I. Antón. Scenario support for effective requirements. Information and Software Technology, 50(3):198–220, Feb. 2008.
Abstract
BibTeX
doi:10.1016/j.infsof.2006.12.003
Alspaugh+Asuncion+Scacchi2009-aslo
Thomas A. Alspaugh, Hazeline U. Asuncion, and Walt Scacchi. Analyzing software licenses in open architecture software systems. In 2nd International Workshop on Emerging Trends in FLOSS Research and Development (FLOSS), pages 1–4, 18 May 2009.
Abstract
BibTeX
doi:10.1109/FLOSS.2009.5071361
Alspaugh+Asuncion+Scacchi2009-iprr
Thomas A. Alspaugh, Hazeline U. Asuncion, and Walt Scacchi. Intellectual property rights requirements for heterogeneously-licensed systems. In 17th IEEE International Requirements Engineering Conference (RE’09), pages 24–33, Aug. 31 – Sep. 4 2009.
Abstract
BibTeX
doi:10.1109/RE.2009.22
Alspaugh+Asuncion+Scacchi2009-rslo
Thomas A. Alspaugh, Hazeline U. Asuncion, and Walt Scacchi. The role of software licenses in open architecture ecosystems. In First International Workshop on Software Ecosystems (IWSECO-2009), pages 4–18, 27 Sep. 2009.
Abstract
BibTeX
url
Alspaugh+Asuncion+Scacchi2009-slos
Thomas A. Alspaugh, Hazeline U. Asuncion, and Walt Scacchi. Software licenses, open source components, and open architectures. In 6th Annual Acquisition Research Symposium, 13–14 May 2009.
Abstract
BibTeX
Alspaugh+Asuncion+Scacchi2010-chls
Thomas A. Alspaugh, Hazeline U. Asuncion, and Walt Scacchi. The challenge of heterogeneously licensed systems in open architecture software ecosystems. In 7th Annual Acquisition Research Symposium, 12–13 May 2010.
Abstract
BibTeX
Alspaugh+Asuncion+Scacchi2011-pslc
Thomas A. Alspaugh, Hazeline U. Asuncion, and Walt Scacchi. Presenting software license conflicts through argumentation. In 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011), pages 509–514, 7–9 July 2011.
Abstract
BibTeX
Alspaugh+Asuncion+Scacchi2012-slos
Thomas A. Alspaugh, Hazeline U. Asuncion, and Walt Scacchi. Software licenses, open source components, and open architectures. In Ivan Mistrík, Antony Tang, Rami Bahsoon, and Judith A. Stafford, editors, Aligning Enterprise, System, and Software Architectures, pages 58–79, IGI Global, 2012.
Abstract
BibTeX
doi:10.4018/978-1-4666-2199-2.ch004
Alspaugh+Asuncion+Scacchi2013-chls
Thomas A. Alspaugh, Hazeline U. Asuncion, and Walt Scacchi. The challenge of heterogeneously licensed systems in open architecture software ecosystems. In Slinger Jansen, Michael Cusumano, and Sjaak Brinkkemper, editors, Software Ecosystems: Analyzing and Managing Business Networks in the Software Industry, pages 103–120, Edward Elgar Publishing, 2013.
Abstract
BibTeX
Alspaugh+Baumer+Tomlinson2006-mmes
Thomas A. Alspaugh, Eric Baumer, and Bill Tomlinson. On a mixed-methods evaluation of a social-agent scenario visualization. In Fourth International Workshop on Comparative Evaluation in Requirements Engineering (CERE’06), pages 60–65, 11 Sep. 2006.
Abstract
BibTeX
doi:10.1109/CERE.2006.7
Alspaugh+Faulk+1992-sra7
Thomas A. Alspaugh, Stuart R. Faulk, Kathryn Heninger Britton, R. Alan Parker, David L. Parnas, and John E. Shore. Software requirements for the A-7E aircraft. NRL Memorandum Report 3876. Naval Research Laboratory, Washington, DC. 31 Aug. 1992.
Abstract
BibTeX
doi:100.2/ADA255746
Alspaugh+Richardson+2005-sdsb
Thomas A. Alspaugh, Debra J. Richardson, Thomas A. Standish, and Hadar Ziv. Scenario-driven specification-based testing against goals and requirements. In 11th International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ’05), pages 201–216, 13–14 June 2005.
Abstract
BibTeX
url
Alspaugh+Richardson+Standish2005-ssmp
Thomas A. Alspaugh, Debra J. Richardson, and Thomas A. Standish. Scenarios, state machines, and purpose-driven testing. In Fourth International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM’05), pages 1–5, 21 May 2005.
Abstract
BibTeX
doi:10.1145/1083183.1083185
Alspaugh+Scacchi+Asuncion2010-slcc
Thomas A. Alspaugh, Walt Scacchi, and Hazeline U. Asuncion. Software licenses in context: The challenge of heterogeneously-licensed systems. Journal of the Association for Information Systems, 11(11):730–755, Nov. 2010.
Abstract
BibTeX
Keywords
url
Alspaugh+Scacchi+Kawai2012-slcs
Thomas A. Alspaugh, Walt Scacchi, and Rihoko (Inoue) Kawai. Software licenses, coverage, and subsumption. In Fifth International Workshop on Requirements Engineering and Law (RELAW’12), pages 17–24, 25 Sep. 2012.
Abstract
BibTeX
doi:10.1109/RELAW.2012.6347800
Alspaugh+Scacchi2009-hlsr
Thomas A. Alspaugh and Walt Scacchi. Heterogeneously-licensed system requirements, acquisition, and governance. In Second International Workshop on Requirements Engineering and Law (RELAW’09), pages 13–14, 1 Sep. 2009.
Abstract
BibTeX
doi:10.1109/RELAW.2009.5
Alspaugh+Scacchi2012-ls
Thomas A. Alspaugh and Walt Scacchi. Licensing security. In Fifth International Workshop on Requirements Engineering and Law (RELAW’12), pages 25–28, 25 Sep. 2012. Position paper. 
Abstract
BibTeX
doi:10.1109/RELAW.2012.6347799
Alspaugh+Scacchi2013-osdc
Thomas A. Alspaugh and Walt Scacchi. Ongoing software development without classical requirements. In 21st IEEE International Requirements Engineering Conference (RE’13), pages 165–174, 15–19 July 2013.
Abstract
BibTeX
doi:10.1109/RE.2013.6636716
Alspaugh+Sim+2007-csee
Thomas A. Alspaugh, Susan Elliott Sim, Kristina Winbladh, Mamadou Diallo, Hadar Ziv, and Debra J. Richardson. Clarity for stakeholders: Empirical evaluation of ScenarioML, use cases, and sequence diagrams. In Fifth International Workshop on Comparative Evaluation in Requirements Engineering (CERE’07), pages 1–10, 16 Oct. 2007.
Abstract
BibTeX
doi:10.1109/CERE.2007.3 url
Alspaugh+Tomlinson+Baumer2006-usav
Thomas A. Alspaugh, Bill Tomlinson, and Eric Baumer. Using social agents to visualize software scenarios. In ACM Symposium on Software Visualization (SOFTVIS’06), pages 87–94, 4–5 Sep. 2006.
Abstract
BibTeX
doi:10.1145/1148493.1148507 movie
Alspaugh2002-snfs
Thomas A. Alspaugh. Scenario networks and formalization for scenario management. PhD thesis, North Carolina State University, 23 Sep. 2002.
Abstract
BibTeX
Alspaugh2005-ssca
Thomas A. Alspaugh. Software support for calculations in Allen’s Interval Algebra. ISR Technical Report UCI-ISR-05-02. Institute for Software Research, University of California, Irvine. Feb. 2005.
Abstract
BibTeX
url
Alspaugh2005-tess
Thomas A. Alspaugh. Temporally expressive scenarios in ScenarioML. ISR Technical Report UCI-ISR-05-06. Institute for Software Research, University of California, Irvine. May 2005.
Abstract
BibTeX
url
Alspaugh2006-rbs
Thomas A. Alspaugh. Relationships between scenarios. Technical Report UCI-ISR-06-7. Institute for Software Research, University of California, Irvine. May 2006. Revised Dec. 2006
Abstract
BibTeX
url
Alspaugh2006-sbrm
Thomas A. Alspaugh. Scenarios, business rules, and matching. Technical Report UCI-ISR-06-5. Institute for Software Research, University of California, Irvine. Apr. 2006.
Abstract
BibTeX
url
Alstyne1968-drpd
William W. van Alstyne. The demise of the right-privilege distinction in constitutional law. Harvard Law Review, 81(7):1439–1464, 1968.
Abstract
BibTeX
Alur+Etessami+Yannakakis2000-imsc
R. Alur, K. Etessami, and M. Yannakakis. Inference of message sequence charts. In 22nd International Conference on Software Engineering (ICSE ’00), pages 304–313, 4–11 June 2000.
Abstract
BibTeX
Keywords
Alur+Yannakakis1998-mchs
Rajeev Alur and Mihalis Yannakakis. Model checking of hierarchical state machines. In 6th ACM Sigsoft International Symposium on Foundations of Software Engineering (SIGSOFT ’98/FSE-6), pages 175–188, 1998.
Abstract
BibTeX
doi:10.1145/288195.288305
Alur+Yannakakis1999-mcms
Rajeev Alur and Mihalis Yannakakis. Model checking of message sequence charts. In 10th International Conference on Concurrency Theory (CONCUR ’99), pages 114–129, Springer-Verlag, 1999.
Abstract
BibTeX
Alur+Yannakakis2001-mchs
Rajeev Alur and Mihalis Yannakakis. Model checking of hierarchical state machines. ACM Transactions on Programming Languages and Systems, 23(3):273–303, 2001.
Abstract
BibTeX
doi:10.1145/503502.503503
Alur1996-nsfv
Rajeev Alur. Next steps in formal verification. ACM Computing Surveys, 28(4es):115, 1996.
Abstract
BibTeX
doi:10.1145/242224.242373
Alvarez+Urla2002-tmgs
Rosío Alvarez and Jacqueline Urla. Tell me a good story: Using narrative analysis to examine information requirements interviews during an ERP implementation. SIGMIS Database, 33(1):38–52, 2002.
Abstract
BibTeX
doi:10.1145/504350.504357
Alves+Finkelstein2002-ccdm
Carina Alves and Anthony Finkelstein. Challenges in COTS decision-making: A goal-driven requirements engineering perspective. In 14th International Conference on Software Engineering and Knowledge Engineering (SEKE ’02), pages 789–794, 2002.
Abstract
BibTeX
AMCIS2009
15th Americas Conference on Information Systems (AMCIS 2009). San Francisco, CA, USA. 6–9 Aug. 2009.
BibTeX
Ameller+Ayala+2012-hdsa
David Ameller, Claudia Ayala, Jordi Cabot , and Xavier Franch . How do software architects consider non-functional requirements: An exploratory study. In 20th IEEE International Requirements Engineering Conference (RE’12), pages 41–50, 24–28 Sep. 2012.
Abstract
BibTeX
doi:10.1109/RE.2012.6345838
Keywords
America1987-ispo
Pierre America. Inheritance and subtyping in a parallel object-oriented language. In J. Bézivin et al, editors, ECOOP ’87, European Conference on Object-Oriented Programming, pages 234–242, Springer-Verlag, June 1987.
Abstract
BibTeX
AmericanBarAssociation2010-ooss
American Bar Association, Software Licensing Committee. An overview of “open source” software licenses. Mar. 2010.
BibTeX
url
AmericanLawInstitute1981-rsc
American Law Institute. The Restatement (Second) of Contracts. 1981.
BibTeX
url
Amgoud+Cayrol2002-rmbp
Leila Amgoud and Claudette Cayrol. A reasoning model based on the production of acceptable arguments. Annals of Mathematics and Artificial Intelligence, 34(1-3):197–215, 2002.
Abstract
BibTeX
doi:10.1023/A:1014490210693
Amgoud+Prade2009-uame
Leila Amgoud and Henri Prade. Using arguments for making and explaining decisions. Artificial Intelligence, 173(3-4):413–436, 2009.
Abstract
BibTeX
doi:10.1016/j.artint.2008.11.006
Ammann+Black1999-sbcm
Paul Ammann and Paul E. Black. A specification-based coverage metric to evaluate test sets. In Fourth IEEE International Symposium on High-Assurance Systems Engineering (HASE ’99), pages 239–248, 1999.
Abstract
BibTeX
doi:10.1109/HASE.1999.809499
Amon+Borriello+Liu1998-mctr
Tod Amon, Gaetano Borriello, and Jiwen Liu. Making complex timing relationships readable: Presburger formula simplification using don’t cares. In 35th Annual Conference On Design Automation (DAC ’98), pages 586–590, ACM Press, 1998.
Abstract
BibTeX
doi:10.1145/277044.277198
Amorim+Maciel+2006-mlsc
Leonardo Amorim, Paulo Maciel, Meuse Nogueira, Raimundo Barreto, and Eduardo Tavares. Mapping live sequence chart to Coloured Petri Nets for analysis and verification of embedded systems. SIGSOFT Software Engineering Notes, 31(3):1–25, 2006.
Abstract
BibTeX
doi:10.1145/1127878.1127880
Amyot+Bordeleau+1996-fsdt
Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, and Luigi Logrippo. Formal support for design techniques: A Timethreads-LOTOS approach. In IFIP TC6 Eighth International Conference on Formal Description Techniques VIII, pages 57–72, Chapman & Hall, Ltd., 1996.
Abstract
BibTeX
Amyot+Eberlein2003-esnc
Daniel Amyot and Armin Eberlein. An evaluation of scenario notations and construction approaches for telecommunication systems development. Telecommunication Systems, 24(1):61 94, Sep. 2003.
Abstract
BibTeX
doi:10.1023/A:1025890110119
Amyot+Logrippo+1999-ucmc
D. Amyot, L. Logrippo, R. J. A. Buhr, and T. Gray. Use Case Maps for the capture and validation of distributed systems requirements. In Fourth IEEE International Symposium on Requirements Engineering (RE’99), pages 44–53, 7–11 June 1999.
Abstract
BibTeX
Amyot+Mussbacher2001-brdg
Daniel Amyot and Gunter Mussbacher. Bridging the requirements/design gap in dynamic systems with Use Case Maps (UCMs). In 23rd International Conference on Software Engineering (ICSE ’01), pages 743–744, 12–19 May 2001.
Abstract
BibTeX
Amyot2003-iurn
Daniel Amyot. Introduction to the User Requirements Notation: learning by example. Computer Networks, 42(3):285–301, 2003.
Abstract
BibTeX
Keywords
Anda+Sjoberg+Jorgensen2001-quuc
Bente Anda, Dag I. K. Sjøberg, and Magne Jørgensen. Quality and understandability of use case models. In 15th European Conference on Object-Oriented Programming (ECOOP ’01), pages 402–428, 2001.
Abstract
BibTeX
Anderberg1973-caa
Michael R. Anderberg. Cluster analysis for applications. Academic Press, New York, xiii+359 pages pages, 1973.
BibTeX
Anderson+Bradley+Brinko1997-ucbr
Ed Anderson, Mike Bradley, and Rosemary Brinko. Use case and business rules: styles of documenting business rules in use cases. In OOPSLA ’97: Addendum to the 1997 ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (Addendum), pages 85–87, 1997.
BibTeX
doi:10.1145/274567.274584
Anderson+Durney1993-usdd
J. S. Anderson and B. Durney. Using scenarios in deficiency-driven requirements engineering. In First IEEE International Symposium on Requirements Engineering (RE’93), pages 134–141, 4–6 Jan. 1993.
Abstract
BibTeX
Anderson2010-crat
Nate Anderson. Copyright reform act tries fixing fair use with seven words. Ars Technica, 18 Feb. 2010.
BibTeX
url
Anderson2012-slss
Sharon Anderson. Software licensing — smart spending in these changing times. CHIPS: The Department of the Navy’s Information Technology Magazine, XXX(III):28–31, July-Sep. 2012.
Abstract
BibTeX
Andrea2004-pmcw
Jennitta Andrea. Putting a motor on the Canoo WebTest acceptance testing framework. In Jutta Eckstein and Hubert Baumeister, editors, Extreme Programming and Agile Processes in Software Engineering: 5th International Conference, XP 2004, pages 20–28, 6–10 June 2004.
Abstract
BibTeX
doi:10.1007/b98150
Keywords
Andreasson2009-ibsi
Lena Andreasson. Installed base in service innovation: The case of intelligent speed adaption. In 15th Americas Conference on Information Systems (AMCIS 2009), 6–9 Aug. 2009.
Abstract
BibTeX
url
Andreou2003-psqt
Andreas S. Andreou. Promoting software quality through a human, social and organisational requirements elicitation process. Requirements Engineering, 8(2):85–101, 2003.
Abstract
BibTeX
doi:10.1007/s00766-003-0176-y
Andrews+Li+Menzies2007-ntlg
James H. Andrews, Felix C. H. Li, and Tim Menzies. Nighthawk: a two-level genetic-random unit test data generator. In 22nd International Conference on Automated Software Engineering (ASE 2007), pages 144–153, 5–9 Nov. 2007.
Abstract
BibTeX
doi:10.1145/1321631.1321654
Andrews1982-1983-hc
Mark Andrews. Hohfeld’s cube. Akron Law Review, 16:471–485, 1982-1983.
BibTeX
Andriole1989-spna
Stephen J. Andriole. Storyboard Prototyping: A new approach to user requirements analysis. QED Information Sciences, 1989.
BibTeX
Androutsellis-Theotokis+Spinellis+2011-osss
Stephanos Androutsellis-Theotokis, Diomidis Spinellis, Maria Kechagia, and Georgios Gousios. Open source software: A survey from 10,000 feet. Foundations and Trends in Technology, Information and OM, 4(3-4), 10.1561/0200000026 2011.
Abstract
BibTeX
Angelsmark+Jonsson2000-sods
Ola Angelsmark and Peter Jonsson. Some observations on durations, scheduling and Allen’s algebra. In 6th International Conference on Principles and Practice of Constraint Programming (CP ’02), pages 484–488, Springer-Verlag, 2000.
Abstract
BibTeX
Anger+Rodriguez1996-lsti
Frank D. Anger and Rita V. Rodríguez. Lattice structure of temporal interval relations. Applied Intelligence, 6(1):29–38, 1996.
Abstract
BibTeX
doi:10.1007/BF00117599
Keywords
Angier2010-atbt
Natalie Angier. Abstract thoughts? The body takes them literally. New York Times, 2 Feb. 2010.
BibTeX
url
Anonymous15c-e
Anonymous. Everyman. Internet Medieval Sourcebook, 15c.
BibTeX
url
Anslow+Noble+2008-wsvu
Craig Anslow, James Noble, Stuart Marshall, and Robert Biddle. Web software visualization using extensible 3d (x3d) graphics. In Fourth ACM Symposium on Software Visualization (SoftVis’08), pages 213–214, 16–17 Sep. 2008.
Abstract
BibTeX
doi:10.1145/1409720.1409761
Antkiewicz+Bartolomei+Czarnecki2007-aefs
Michal Antkiewicz, Thiago Tonelli Bartolomei, and Krzysztof Czarnecki. Automatic extraction of framework-specific models from framework-based application code. In 22nd International Conference on Automated Software Engineering (ASE 2007), pages 214–223, 5–9 Nov. 2007.
Abstract
BibTeX
doi:10.1145/1321631.1321664
Anton+Bertino+2007-rcop
Annie I. Antón, Elisa Bertino, Ninghui Li, and Ting Yu. A roadmap for comprehensive online privacy policy management. Communications of the ACM, 50(7):109–116, 2007.
Abstract
BibTeX
doi:10.1145/1272516.1272522
Anton+Breaux+2008-fiwr
Annie I. Antón, Travis D. Breaux, Dimitris Karagiannis, and John Mylopoulos. First International Workshop on Requirements Engineering and Law (RELAW). In First International Workshop on Requirements Engineering and Law (RELAW’08), pages i–iv, 9 Sep. 2008.
Abstract
BibTeX
doi:10.1109/RELAW.2008.4
Anton+Carter+2001-dguc
Annie I. Antón, Ryan A. Carter, Aldo Dagnino, John H. Dempster, and Devon F. Siege. Deriving goals from a use-case based requirements specification. Requirements Engineering, 6(1):63–73, 2001.
Abstract
BibTeX
Anton+Dempster+Siege1999-mucd
Annie I. Antón, John H. Dempster, and Devon F. Siege. Managing use-cases during goal-driven requirements engineering: Challenges encountered and lessons learned. Technical Report TR-99-16. North Carolina State University, Department of Computer Science. 1999.
Abstract
BibTeX
Anton+Dempster+Siege2000-dguc
Annie I. Antón, John H. Dempster, and Devon F. Siege. Deriving goals from a use-case based requirements specification for an electronic commerce system. In 6th International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ’00), pages 10–19, 5–6 June 2000.
Abstract
BibTeX
Anton+Earp+2001-rpsp
Annie I. Antón, Julia B. Earp, Colin Potts, and Thomas A. Alspaugh. The role of policy and stakeholder privacy values in requirements engineering. In Fifth IEEE International Symposium on Requirements Engineering (RE’01), pages 138–145, 27–31 Aug. 2001.
Abstract
BibTeX
doi:10.1109/ISRE.2001.948553
Anton+Earp+2007-hews
Annie I. Antón, Julia B. Earp, Matthew W. Vail, Neha Jain, Carrie M. Gheen, and Jack M. Frink. HIPAA’s effect on web site privacy policies. IEEE Security and Privacy, 5(1):45–52, 2007.
Abstract
BibTeX
doi:10.1109/MSP.2007.7
Anton+Earp+Carter2003-piba
Annie I. Antón, Julia B. Earp, and Ryan A. Carter. Precluding incongruous behavior by aligning software requirements with security and privacy policies. Information and Software Technology, 45(14):967–977, 2003.
Abstract
BibTeX
doi:10.1016/S0950-5849(03)00095-8
Keywords
Anton+Earp2001-sdpr
Annie I. Antón and Julia B. Earp. Strategies for developing policies and requirements for secure e-commerce systems. In A. K. Ghosh, editor, Recent Advances in E-Commerce Security and Privacy, pages 29–46, Kluwer, 2001.
BibTeX
Anton+Earp2001-twsp
Annie I. Antón and Julia B. Earp. A taxonomy for web site privacy requirements. Technical Report TR-2001-14. North Carolina State University. 18 Dec. 2001.
Abstract
BibTeX
Anton+Earp2004-rtrw
A. I. Antón and J. B. Earp. A requirements taxonomy for reducing web site privacy vulnerabilities. Requirements Engineering, 9(3):169–185, 2004.
Abstract
BibTeX
doi:10.1007/s00766-003-0183-z
Anton+Gale+1993-obrm
A. I. Antón, T. A. Gale, W. M. McCracken, and J. J. Shilling. Object based requirements modelling for process continuity. In 26th Hawaii International Conference on System Sciences, pages 191–202, 5–8 Jan. 1993.
Abstract
BibTeX
Anton+Liang+Rodenstein1996-wbra
A. Antón, E. Liang, and R. Rodenstein. A web-based requirements analysis tool. In 5th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, pages 238–243, June 1996.
Abstract
BibTeX
Anton+McCracken+Potts1994-gdsa
Annie I. Antón, Michael McCracken, and Colin Potts. Goal decomposition and scenario analysis in business process reengineering. In 6th International Conference on Advanced Information Systems Engineering (CAiSE’94), pages 94–104, 1994.
BibTeX
Anton+Potts1998-rfss
A. I. Antón and C. Potts. A representational framework for scenarios of system use. Requirements Engineering, 3(3–4):219–241, Dec. 1998.
Abstract
BibTeX
doi:10.1007/s007660050006
Keywords
Anton+Potts1998-ugsr
Annie I. Antón and Colin Potts. The use of goals to surface requirements for evolving systems. In 20th International Conference on Software Engineering (ICSE ’98), pages 157–166, 19–25 Apr. 1998.
Abstract
BibTeX
doi:10.1109/ICSE.1998.671112 url
Anton+Potts1999-relt
Annie I. Antón and Colin Potts. Requirements engineering in the long-term: Fifty years of telephony feature evolution. Technical Report. North Carolina State University at Raleigh, Raleigh, NC, USA. 1999.
Abstract
BibTeX
Anton+Potts2003-fpeu
Annie I. Antón and Colin Potts. Functional paleontology: The evolution of user-visible system services. IEEE Transactions on Software Engineering, 29(2):151–166, 2003.
Abstract
BibTeX
doi:10.1109/TSE.2003.1178053
Anton1996-gbra
Annie I. Antón. Goal-based requirements analysis. In Second International Conference on Requirements Engineering (ICRE’96), pages 136–144, 1996.
Abstract
BibTeX
doi:10.1109/ICRE.1996.491438
Keywords
Anton1997-girs
Annie I. Antón. Goal identification and refinement in the specification of software-based information systems. PhD thesis, Georgia Institute of Technology, June 1997.
BibTeX
Anton2002-gere
Annie I. Antón. Guest editorial: Requirements engineering for information security. Requirements Engineering, 7(4):177–178, 2002.
BibTeX
doi:10.1007/s007660200013
Anton2003-sspn
A. I. Antón. Successful software projects need requirements planning. IEEE Software, 20(3):44, 46, May–June 2003.
Abstract
BibTeX
doi:10.1109/MS.2003.1196319
Antoniol+Briand+2002-csur
G. Antoniol, L. C. Briand, M. Di Penta, and Y. Labiche. A case study using the round-trip strategy for state-based class testing. In 13th International Symposium on Software Reliability Engineering (ISSRE’02), page 269, 2002.
Abstract
BibTeX
Antoniou+Arief2002-edbr
G. Antoniou and M. Arief. Executable declarative business rules and their use in electronic commerce. In ACM Symposium On Applied Computing (SAC ’02), pages 6–10, 2002.
Abstract
BibTeX
doi:10.1145/508791.508794
Aoki+Katayama1998-ucvo
T. Aoki and T. Katayama. Unification and consistency verification of object-oriented analysis models. In Proceedings. 1998 Asia Pacific Software Engineering Conference, pages 296–303, 2–4 Dec. 1998.
Abstract
BibTeX
Apache1.0
Apache Software Foundation. Apache License, Version 1.0. 1995.
BibTeX
url
Apache1.1
Apache Software Foundation. Apache Software License, Version 1.1. 2000.
BibTeX
url
Apache2.0
Apache Software Foundation. Apache License, Version 2.0. Jan. 2004.
BibTeX
url
ApacheSoftwareFoundation2004-alv2
Apache Software Foundation. Apache license, version 2.0. Jan. 2004.
BibTeX
url
Appan+Sundaram+Birchfield2004-cee
Preetha Appan, Hari Sundaram, and David Birchfield. Communicating everyday experiences. In First ACM Workshop On Story Representation, Mechanism and Context (SRMC ’04), pages 17–24, 2004.
Abstract
BibTeX
doi:10.1145/1026633.1026638
Apple1976-aifl
Apple introduces the first low cost microcomputer system with a video terminal and 8k byts of RAM on a single PC card. Advertisement. 1976. Here “PC” means “printed circuit,” not “personal computer.”
Abstract
BibTeX
url
Apt+Olderog1991-vscp
Krzysztof R. Apt and Ernst-Rüdiger Olderog. Verification of sequential and concurrent programs. Springer, 1991.
BibTeX
Aranda+Easterbrook+Wilson2007-rwhs
Jorge Aranda, Steve Easterbrook, and Greg Wilson. Requirements in the wild: How small companies do it. In 15th IEEE International Requirements Engineering Conference (RE’07), pages 39–48, 17–19 Oct. 2007.
Abstract
BibTeX
doi:10.1109/RE.2007.52
Araujo+Whittle+Kim2004-mcsb
Joao Araujo, Jon Whittle, and Dae-Kyoo Kim. Modeling and composing scenario-based requirements with aspects. In 12th IEEE International Requirements Engineering Conference (RE’04), pages 58–67, 6–10 Sep. 2004.
Abstract
BibTeX
doi:10.1109/RE.2004.32
Archer+Heitmeyer+Riccobene2002-piio
Myla Archer, Constance Heitmeyer, and Elvinia Riccobene. Proving invariants of i/o automata with tame. Automated Software Engineering, 9(3):201–232, 2002.
Abstract
BibTeX
doi:10.1023/A:1016320523091
Aristotle335bc-p
Aristotle. Poetics. Internet Classics Archive, 335bc.
BibTeX
url
Aristotle350bc-c
Aristotle. Categories. Internet Classics Archive, 350bc.
BibTeX
url
Aristotle350bc-ne
Aristotle. Nicomachean Ethics. Internet Classics Archive, 350bc.
BibTeX
url
Arlow1998-ucuv
Jim Arlow. Use cases, UML visual modelling and the trivialisation of business requirements. Requirements Engineering, 3(2):150–152, 1998.
BibTeX
doi:10.1007/BF02919976
Armitage+Stevens+Finkelstein1998-icm
Stephen Armitage, Richard Stevens, and Anthony Finkelstein. Implementing a compliance manager. Requirements Engineering, 3(2):98–106, 1998.
Abstract
BibTeX
doi:10.1007/BF02919969
Arndt+Dibbern2006-tbif
Jens-Magnus Arndt and Jens Dibbern. The tension between integration and fragmentation in a component based software development ecosystem. In 39th Annual Hawaii International Conference on System Sciences (HICSS ’06), page 228.3, 2006.
Abstract
BibTeX
doi:10.1109/HICSS.2006.486
ARS2008
5th Annual Acquisition Research Symposium. Monterey, CA. 14–15 May 2008.
BibTeX
url
ARS2009
6th Annual Acquisition Research Symposium. Monterey, CA. 13–14 May 2009.
BibTeX
ARS2010
7th Annual Acquisition Research Symposium. Monterey, CA. 12–13 May 2010.
BibTeX
url
ARS2011
8th Annual Acquisition Research Symposium. Monterey, CA. 10–12 May 2011.
BibTeX
ARS2012
9th Annual Acquisition Research Symposium. Monterey, CA. 15–17 May 2012.
BibTeX
url
ARS2013
10th Annual Acquisition Research Symposium. 2013.
BibTeX
url
ARS2014
11th Annual Acquisition Research Symposium. Monterey, CA. 14–15 May 2014.
BibTeX
url
ARS2015
12th Annual Acquisition Research Symposium. Monterey, CA. 13–14 May 2015.
BibTeX
url
ARS2016
13th Annual Acquisition Research Symposium. Monterey, CA. 4–5 May 2016.
BibTeX
url
ARS2017
14th Annual Acquisition Research Symposium. Monterey, CA. 26–27 Apr. 2017.
BibTeX
Arsanjani+Alpignini2001-ugoo
Ali Arsanjani and James Alpignini. Using grammar-oriented object design to seamlessly map business models to component-based software architectures. In International Symposium of Modelling and Simulation, pages 186–191, 2001.
Abstract
BibTeX
Artale+Franconi1998-tdlr
Alessandro Artale and Enrico Franconi. A temporal description logic for reasoning about actions and plans. Artificial Intelligence Research, 9:463–506, 1998.
Abstract
BibTeX
url
Arthur+Groner2005-omsr
James D. Arthur and Markus K. Gröner. An operational model for structuring the requirements generation process. Requirements Engineering, 10(1):45–62, 2005.
Abstract
BibTeX
doi:10.1007/s00766-004-0196-2
Artz1998-nvlr
John M. Artz. Narrative vs. logical reasoning in computer ethics. SIGCAS Computers and Society, 28(4):3–5, 1998.
BibTeX
doi:10.1145/308364.308365
Artzi+Dolby+2010-pfld
Shay Artzi, Julian Dolby, Frank Tip, and Marco Pistoia. Practical fault localization for dynamic web applications. In 29th International Conference on Software Engineering (ICSE ’10), pages 265–274, 2–8 May 2010.
Abstract
BibTeX
doi:10.1145/1806799.1806840
Artzi+Kiezun+2007-csdm
Shay Artzi, Adam Kiezun, David Glasser, and Michael D. Ernst. Combined static and dynamic mutability analysis. In 22nd International Conference on Automated Software Engineering (ASE 2007), pages 104–113, 5–9 Nov. 2007.
Abstract
BibTeX
doi:10.1145/1321631.1321649
ArumugaNainar+Liblit2010-abi
Piramanayagam Arumuga Nainar and Ben Liblit. Adaptive bug isolation. In 29th International Conference on Software Engineering (ICSE ’10), pages 255–264, 2–8 May 2010.
Abstract
BibTeX
doi:10.1145/1806799.1806839
Asay2007-wdwd
Matt Asay. Who decides what “distribution” means in open-source licenses? CNET News, 10 Aug. 2007.
Abstract
BibTeX
url
Asay2008-amlm
Matt Asay. In acquiring merrill lynch, must bank of america open source its software? CNET News, 16 Sep. 2008.
Abstract
BibTeX
url
ASE1997
12th International Conference on Automated Software Engineering (ASE’97). Lake Tahoe, NV. 1–5 Nov. 1997.
BibTeX
ASE1998
13th International Conference on Automated Software Engineering (ASE’98). Honolulu, HI. 13–16 Oct. 1998.
BibTeX
ASE1999
14th International Conference on Automated Software Engineering (ASE’99). Cocoa Beach, FL. 12–15 Oct. 1999.
BibTeX
ASE2000
15th International Conference on Automated Software Engineering (ASE 2000). Grenoble, France. 11–15 Sep. 2000.
BibTeX
ASE2001
16th International Conference on Automated Software Engineering (ASE 2001). San Diego, CA. 26–29 Nov. 2001.
BibTeX
ASE2002
17th International Conference on Automated Software Engineering (ASE 2002). Edinburgh, Scotland. 23–27 Sep. 2002.
BibTeX
ASE2003
18th International Conference on Automated Software Engineering (ASE 2003). Montreal, Canada. 6–10 Oct. 2003.
BibTeX
ASE2004
19th International Conference on Automated Software Engineering (ASE 2004). Linz, Austria. 20–24 Sep. 2004.
BibTeX
ASE2005
20th International Conference on Automated Software Engineering (ASE 2005). Long Beach, CA. 7–11 Nov. 2005.
BibTeX
ASE2006
21st International Conference on Automated Software Engineering (ASE 2006). Tokyo, Japan. 18–22 Sep. 2006.
BibTeX
ASE2007
22nd International Conference on Automated Software Engineering (ASE 2007). Atlanta, GA. 5–9 Nov. 2007.
BibTeX
ASE2010
25th International Conference on Automated Software Engineering (ASE 2010). Antwerp, Belgium. 6–10 Nov. 2010.
BibTeX
Ashley+Hada+2002-eppp
Paul Ashley, Satoshi Hada, Günter Karjoth, and Matthias Schunter. E-P3P privacy policies and privacy authorization. In 2002 ACM workshop on Privacy in the Electronic Society (WPES ’02), pages 103–109, 2002.
Abstract
BibTeX
doi:10.1145/644527.644538
Keywords
Ashley+Hada+2003-epal
Paul Ashley, Satoshi Hada, Günter Karjoth, Calvin Powers, and Matthias Schunter. Enterprise Privacy Authorization Language (EPAL. Research Report RZ 3485 (#93951). IBM Research. 3 Mar. 2003.
Abstract
BibTeX
url
Ashley+Pinkwart+2007-ldsc
Kevin Ashley, Niels Pinkwart, Collin Lynch, and Vincent Aleven. Learning by diagramming supreme court oral arguments. In 11th International Conference on Artificial Intelligence and Law (ICAIL ’07), pages 271–275, 2007.
Abstract
BibTeX
doi:10.1145/1276318.1276370
Asuncion+Asuncion+Taylor2010-sttm
Hazeline U. Asuncion, Arthur U. Asuncion, and Richard N. Taylor. Software traceability with topic modeling. In 29th International Conference on Software Engineering (ICSE ’10), pages 95–104, 2–8 May 2010.
Abstract
BibTeX
doi:10.1145/1806799.1806817
Asuncion+Francois+Taylor2007-etei
Hazeline U. Asuncion, Frédéric François, and Richard N. Taylor. An end-to-end industrial software traceability tool. In 6th Joint European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), pages 115–124, 3–7 Sep. 2007.
Abstract
BibTeX
doi:10.1145/1287624.1287642
Asuncion+Taylor2009-ccls
Hazeline Asuncion and Richard N. Taylor. Capturing custom link semantics among heterogeneous artifacts and tools. In 5th International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE), May 2009.
BibTeX
Asuncion2008-tpst
Hazeline U. Asuncion. Towards practical software traceability. In 28th International Conference on Software Engineering (ICSE ’08), Companion Volume, pages 1023–1026, 10–18 May 2008.
BibTeX
doi:10.1145/1370175.1370228
Asuncion2009-acts
Hazeline Uy Asuncion. Architecture-centric traceability for stakeholders (ACTS). PhD thesis, University of California, Irvine, 2009.
Abstract
BibTeX
Atkinson+Kuhne2002-rui
Colin Atkinson and Thomas Kühne. Rearchitecting the UML infrastructure. ACM Transactions on Modeling and Computer Simulation, 12(4):290–321, 2002.
Abstract
BibTeX
doi:10.1145/643120.643123
Atkinson1997-sist
C. J. Atkinson. Soft Information Systems and Technologies Methodology, SISTeM: A case study on developing the electronic patient record. Requirements Engineering, 2(1):1–22, 1997.
Abstract
BibTeX
doi:10.1007/BF02802895
Atkinson2000-stsa
Christopher J. Atkinson. Socio-technical and soft approaches to information requirements elicitation in the post-methodology era. Requirements Engineering, 5(2):67–73, 2000.
Abstract
BibTeX
doi:10.1007/PL00010347
Atlee+Buckley1996-lmss
Joanne M. Atlee and Michael A. Buckley. A logic-model semantics for SCR software requirements. In ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA ’96), pages 280–292, 1996.
Abstract
BibTeX
doi:10.1145/229000.226326
Atlee+Gannon1993-sbmc
Joanne M. Atlee and John Gannon. State-based model checking of event-driven system requirements. IEEE Transactions on Software Engineering, 19(1):24–40, Jan. 1993.
Abstract
BibTeX
doi:10.1109/32.210305
Atlee+McDermid1995-iras
J. M. Atlee and J. McDermid. Integrating requirements analysis and safety analysis. In Second IEEE International Symposium on Requirements Engineering (RE’95), page 158, 27–29 Mar. 1995.
Abstract
BibTeX
doi:10.1109/ISRE.1995.1393410
Attwood+Kelly+McDermid2003-usat
Katrina Attwood, Tim Kelly, and John McDermid. The use of satisfaction arguments for traceability in requirements reuse for system families. In International Workshop on Requirements Reuse in System Family Engineering, pages 18–21, 5 July 2003.
Abstract
BibTeX
Atzei+Bartoletti+Cimoli2017-saes
Nicola Atzei, Massimo Bartoletti, and Tiziana Cimoli. A survey of attacks on ethereum smart contracts. In 6th International Conference on Principles of Security and Trust (POST), pages 164–186, 24 Apr. 2017.
Abstract
BibTeX
doi:10.1007/978-3-662-54455-6_8 url
Auerbach1946-mdwa
Erich Auerbach. Mimesis; dargestellte Wirklichkeit in der abendländischen Literatur. Bern, A. Francke, 503 pages, 1946.
BibTeX
Auerbach1953-mrrw
Erich Auerbach. Mimesis: The Representation of Reality in Western Literature. Princeton University Press, 563 pages, 1953.
BibTeX
Augustine1996-ywwt
Norman R. Augustine. “yes, but will it work in theory?”. 1996 Woodruff Distinguished Lecture (Transcript). 1996.
Abstract
BibTeX
url
Augusto2001-latr
Juan Carlos Augusto. The logical approach to temporal reasoning. Artificial Intelligence Review, 16(4):301–333, 2001.
Abstract
BibTeX
Avison+Lau+1999-ar
David E. Avison, Francis Lau, Michael D. Myers, and Peter Axel Nielsen. Action research. Communications of the ACM, 42(1):94–97, 1999.
Abstract
BibTeX
doi:10.1145/291469.291479
Avizienis+Laprie+2004-bctd
Algirdas Avizienis, Jean-Claude Laprie, Brian Randell, and Carl Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 1(1):11–33, 2004.
Abstract
BibTeX
doi:10.1109/TDSC.2004.2
Avnur1990-fsmr
A. Avnur. Finite state machines for real-time software engineering. Computing and Control Engineering, 1(6):275–278, Nov. 1990.
Abstract
BibTeX
Baader+Calvanese+2003-dlht
Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors. The description logic handbook: theory, implementation, and applications. Cambridge University Press, 2003.
BibTeX
Baader+Nutt2003-bdl
Franz Baader and Werner Nutt. Basic description logics. In Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors, The description logic handbook: theory, implementation, and applications, pages 47–100, Cambridge University Press, 2003.
BibTeX
Bacchelli+Lanza+Robbes2010-lems
Alberto Bacchelli, Michele Lanza, and Romain Robbes. Linking e-mails and source code artifacts. In 29th International Conference on Software Engineering (ICSE ’10), pages 375–384, 2–8 May 2010.
Abstract
BibTeX
doi:10.1145/1806799.1806855
Bachore2009-oets
Zelalem Bachore. Ontology editing tools: State of the art. In 15th Americas Conference on Information Systems (AMCIS 2009), 6–9 Aug. 2009.
Abstract
BibTeX
url
Baeza-Yates+Gonnet1996-ftsr
Ricardo A. Baeza-Yates and Gaston H. Gonnet. Fast text searching for regular expressions or automaton searching on tries. Journal of the ACM, 43(6):915–936, 1996.
Abstract
BibTeX
doi:10.1145/235809.235810
Bahsoun+Briot+1994-hcoo
J. P. Bahsoun, J. P. Briot, D. Caromel, L. Feraud, O. Nierstrasz, and P. Wegner. How could object-oriented concepts and parallelism cohabit? In International Conference on Computer Languages, pages 195–199, 1994.
BibTeX
Bailin1989-oors
Sidney C. Bailin. An object-oriented requirements specifications method. Communications of the ACM, 32(5):608–623, May 1989.
Abstract
BibTeX
url
Bajaj2004-encr
Akhilesh Bajaj. The effect of the number of concepts on the readability of schemas: an empirical study with data models. Requirements Engineering, 9(4):261–270, 2004.
Abstract
BibTeX
doi:10.1007/s00766-004-0202-8
Bajracharya+Ngo+Lopes2005-unov
Sushil Krishna Bajracharya, Trung Chi Ngo, and Cristina Videira Lopes. On using Net Options Value as a value based design framework. In Seventh International Workshop on Economics-Driven Software Engineering Research (EDSER ’05), pages 1–3, 2005.
Abstract
BibTeX
doi:10.1145/1083091.1083104
Balarin2000-aawc
Felice Balarin. Automatic abstraction for worst-case analysis of discrete systems. In Conference on Design, Automation and Test in Europe (DATE ’00), pages 494–501, 2000.
Abstract
BibTeX
doi:10.1145/343647.343830
Balke+Eymann2008-ccsa
Tina Balke and Torsten Eymann. The conclusion of contracts by software agents in the eyes of the law. In 7th international joint conference on Autonomous agents and multiagent systems - Volume 2 (AAMAS ’08), pages 771–778, 2008.
Abstract
BibTeX
Keywords
Balkin1990-hals
J. M. Balkin. The Hohfeldian approach to law and semiotics. University of Miami Law Review, 44:1119–1142, 1990.
Abstract
BibTeX
url
Balkin1991-pls
J. M. Balkin. The promise of legal semiotics. University of Texas Law Review, 69:1831–1852, 1991.
Abstract
BibTeX
url
Ball+Eick1996-svl
Thomas Ball and Stephen G. Eick. Software visualization in the large. IEEE Computer, 29(4):33–43, Apr. 1996.
Abstract
BibTeX
doi:10.1109/2.488299
Ball1998-bftm
David Ball. Backwards and Forwards: A technical manual for reading plays. Southern Illinois University Press, 96 pages, 1998.
BibTeX
Ballejos+Montagna2008-msii
Luciana C. Ballejos and Jorge M. Montagna. Method for stakeholder identification in interorganizational environments. Requirements Engineering, 13(4):281–297, 2008.
Abstract
BibTeX
doi:10.1007/s00766-008-0069-1
Balushi+Sampaio+2007-eqog
Taiseera Hazeem Al Balushi, Pedro R. Falcone Sampaio, Divyesh Dabhi, and Pericles Loucopoulos. Elicito: A quality ontology-guided nfr elicitation tool. In 13th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ’07), pages 306–319, 11–12 June 2007.
Abstract
BibTeX
doi:10.1007/978-3-540-73031-6_23
Keywords
Balzer1991-ti
Robert Balzer. Tolerating inconsistency. In 13th International Conference on Software Engineering (ICSE ’91), pages 158–165, 13–17 May 1991.
Abstract
BibTeX
Banach+Poppleton2003-rpri
R. Banach and M. Poppleton. Retrenching partial requirements into system definitions: a simple feature interaction case study. Requirements Engineering, 8(4):266–288, Nov. 2003.
Abstract
BibTeX
doi:10.1007/s00766-002-0157-6
Keywords
Bandara+Shinpei+2009-spcm
Arosha Bandara, Hayashi Shinpei, Jan Jurjens, Haruhiko Kaiya, Atsuto Kubo, Robin Laney, Haris Mouratidis, Armstrong Nhlabatsi, Bashar Nuseibeh, Yasuyuki Tahara, Thein Tun, Hironori Washizaki, Nobukazi Yoshioka, and Yijun Yu. Security patterns: Comparing modeling approaches. Technical Report 2009/06. Open University Centre for Research in Computing. 27 May 2009.
Abstract
BibTeX
url
Baniassad+Clarke2004-taao
Elisa Baniassad and Siobhan Clarke. Theme: An approach for aspect-oriented analysis and design. In 26th International Conference on Software Engineering (ICSE ’04), pages 158–167, 23–28 May 2004.
Abstract
BibTeX
Barbacci+Carriere+1998-sata
Mario R. Barbacci, S. Jeromy Carriere, Peter H. Feiler, Rick Kazman, Mark H. Klein, Howard F. Lipson, Thomas A. Longstaff, and Charles B. Weinstock. Steps in an architecture tradeoff analysis method: Quality attribute models and analysis. Technical Report CMU/SEI-97-TR-029. Software Engineering Institute. May 1998.
Abstract
BibTeX
url
Barbacci2002-saat
M. R. Barbacci. Sei architecture analysis techniques and when to use them. Technical Note CMU/SEI-2002-TN-005. SEI. 2002.
BibTeX
Barber+Graser+2003-aedp
K. Suzanne Barber, Tom Graser, Jim Holt, and Geoff Baker. Arcade: early dynamic property evaluation of requirements using partitioned software architecture models. Requirements Engineering, 8(4):222–235, 2003.
Abstract
BibTeX
doi:10.1007/s00766-002-0159-4
Keywords
Barbier+Briand+1998-eoof
Franck Barbier, Henri Briand, Bénédicte Dano, and Stéphane Rideau. The executability of object-oriented finite state machines. Journal of Object-Oriented Programming, 11(4):16–24, July 1998.
BibTeX
Barbosa+Silveira+2005-ssuc
Simone Diniz Junqueira Barbosa, Milene Selbach Silveira, Maíra Greco de Paula, and Karin Koogan Breitman. Supporting a shared understanding of communication-oriented concerns in human-computer interaction: A lexicon-based approach. In Engineering Human Computer Interaction and Interactive Systems: Joint Working Conferences EHCI-DSVIS, pages 271–288, Springer, June 2005.
Abstract
BibTeX
doi:10.1007/b136790
Baresi+Ghezzi2010-dbbd
Luciano Baresi and Carlo Ghezzi. The disappearing boundary between development-time and run-time. In 2010 FSE/SDP Workshop on the Future of Software Engineering Research, pages 17–22, 7–8 Nov. 2010.
Abstract
BibTeX
doi:10.1145/1882362.1882367
Keywords
Baresi+Maiden+Sawyer2008-scsr
Luciano Baresi, Neil Maiden, and Peter Sawyer. Service-centric systems and requirements engineering. In 16th IEEE International Requirements Engineering Conference (RE’08), page 305, 8–12 Sep. 2008.
Abstract
BibTeX
doi:10.1109/RE.2008.60
Baresi+Young2001-to
Luciano Baresi and Michal Young. Test oracles. Technical Report CIS-TR-01-02. University of Oregon, Dept. of Computer and Information Science, Eugene, Oregon, U.S.A.. August 2001.
BibTeX
url
Barlas+Bultan2007-nfvd
Elliot Barlas and Tevfik Bultan. Netstub: a framework for verification of distributed java applications. In 22nd International Conference on Automated Software Engineering (ASE 2007), pages 24–33, 5–9 Nov. 2007.
Abstract
BibTeX
doi:10.1145/1321631.1321638
Barnett+Grieskamp+2003-soma
Mike Barnett, Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes. Scenario-oriented modeling in AsmL and its instrumentation for testing. In Second International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM’03), 3 May 2003.
Abstract
BibTeX
Barnett+Leino2006-wpup
Mike Barnett and K. Rustan M. Leino. Weakest-precondition of unstructured programs. SIGSOFT Software Engineering Notes, 31(1):82–87, 2006.
Abstract
BibTeX
doi:10.1145/1108768.1108813
Barnett1985-psmp
Michael P. Barnett. The primitive string manipulation (prism) language. ACM SIGPLAN Notices, 20(9):11–20, 1985.
Abstract
BibTeX
Barone+Jiang+2011-rkpi
Daniele Barone, Lei Jiang, Daniel Amyot, and John Mylopoulos. Reasoning with key performance indicators. In Paul Johannesson, John Krogstie, and Andreas L. Opdahl, editors, 4th IFIP WG 8.1 Working Conference, pages 82–96, Nov. 2011.
Abstract
BibTeX
Keywords
Bartoletti+Pompianu2017-easc
Massimo Bartoletti and Livio Pompianu. An empirical analysis of smart contracts: platforms, applications, and design patterns. In First Workshop on Trusted Smart Contracts, 7 Apr. 2017. To appear. 
Abstract
BibTeX
Barwise+Etchemendy1992-lfol
Jon Barwise and John Etchemendy. The Language of First-Order Logic. CSLI Publications, Stanford, California, third edition, 1992.
BibTeX
Basanieri+Bertolino+2004-cubt
F. Basanieri, A. Bertolino, G. Lombardi, G. Nucera, E. Marchetti, and A. Ribolini. Cow_Suite: A UML-based tool for test-suite planning and derivation. ERCIM News, 58:30–32, July 2004.
Abstract
BibTeX
url
Basanieri+Bertolino+Marchetti2002-capd
Francesca Basanieri, Antonia Bertolino, and Eda Marchetti. The Cow_Suite approach to planning and deriving test suites in UML projects. In 5th International Conference on The Unified Modeling Language (UML ’02), pages 383–397, Springer-Verlag, 2002.
Abstract
BibTeX
url
Basili+Caldiera+Rombach1994-gqma
Victor R. Basili, Gianluigi Caldiera, and H. Dieter Rombach. The Goal Question Metric approach. In Encyclopedia of Software Engineering, pages 528–532, John Wiley and Sons, 1994.
Abstract
BibTeX
Basili+Elbaum2006-edsr
Victor Basili and Sebastian Elbaum. Empirically driven SE research: state of the art and required maturity. In 28th International Conference on Software Engineering (ICSE ’06), pages 32–32, 20–28 May 2006.
Abstract
BibTeX
doi:10.1145/1134285.1134291
Basili+Green+1996-eipb
Victor R. Basili, Scott Green, Oliver Laitenberger, Filippo Lanubile, Forrest Shull, Sivert Sørumgaard, and Marvin V. Zelkowitz. The empirical investigation of perspective-based reading. Empirical Software Engineering, 1(2):133–164, 1996.
Abstract
BibTeX
doi:10.1007/BF00368702
Basili+Perricone1984-sece
Victor R. Basili and Barry T. Perricone. Software errors and complexity: an empirical investigation. Communications of the ACM, 27(1):42–52, 1984.
Abstract
BibTeX
doi:10.1145/69605.2085
Basin+Klaedtke+Muller2010-mspm
David Basin, Felix Klaedtke, and Samuel Müller. Monitoring security policies with metric first-order temporal logic. In 15th ACM Symposium on Access Control Models and Technologies (SACMAT ’10), pages 23–34, 2010.
Abstract
BibTeX
doi:10.1145/1809842.1809849
Keywords
Baskinger2008-pbpp
Mark Baskinger. Pencils before pixels: a primer in hand-generated sketching. interactions, 15(2):28–36, 2008.
Abstract
BibTeX
doi:10.1145/1340961.1340969
Basole2009-save
Rahul C. Basole. Structural analysis and visualization of ecosystems: A study of mobile device platforms. In 15th Americas Conference on Information Systems (AMCIS 2009), 6–9 Aug. 2009.
Abstract
BibTeX
Bass+Clements+Kazman2003-sap
Len Bass, Paul Clements, and Rick Kazman. Software Architecture in Practice. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2003.
Abstract
BibTeX
Batini+Castano+1996-aiis
C. Batini, S. Castano, V. De Antonellis, M. G. Fugini, and B. Pernici. Analysis of an inventory of information systems in the public administration. Requirements Engineering, 1(1):47–62, 1996.
Abstract
BibTeX
doi:10.1007/BF01235765
Batra2007-ccdm
Dinesh Batra. Cognitive complexity in data modeling: causes and recommendations. Requirements Engineering, 12(4):231–244, 2007.
Abstract
BibTeX
doi:10.1007/s00766-006-0040-y
Baudry+Fleurey+Traon2006-itse
Benoit Baudry, Franck Fleurey, and Yves Le Traon. Improving test suites for efficient fault localization. In 28th International Conference on Software Engineering (ICSE ’06), pages 82–91, 20–28 May 2006.
Abstract
BibTeX
doi:10.1145/1134285.1134299
Bauer+Ligatti+Walker2009-cers
Lujo Bauer, Jay Ligatti, and David Walker. Composing expressive runtime security policies. ACM Transactions on Software Engineering and Methodology, 18(3):1–43, June 2009.
Abstract
BibTeX
doi:10.1145/1525880.1525882
Keywords
Baumer+Tomlinson+2006-neum
Eric Baumer, Bill Tomlinson, Man Lok Yau, and Thomas A. Alspaugh. Normative echoes: use and manipulation of player generated content by communities of NPCs. In Artificial Intelligence and Interactive Digital Entertainment (AIIDE-06), 20–23 June 2006.
Abstract
BibTeX
movie url
Beatty+Alexander2008-gbre
Joy Beatty and Michael Alexander. Games-based requirements engineering training: An initial experience report. In 16th IEEE International Requirements Engineering Conference (RE’08), pages 211–216, 8–12 Sep. 2008.
Abstract
BibTeX
doi:10.1109/RE.2008.15
Beatty2010-iybw
Joy Beatty. If you build it, will they use it? leveraging business objectives to deliver successful projects. In 18th IEEE International Requirements Engineering Conference (RE’10), pages 413–414, Sep. 27 – Oct. 1 2010.
Abstract
BibTeX
doi:10.1109/RE.2010.63
Keywords
Bechhofer+Harmelen+2004-owol
Sean Bechhofer, Frank van Harmelen, Jim Hendler, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein. Owl web ontology language reference. 2004.
BibTeX
url
Beck+West2004-usas
Kent Beck and David West. User stories in agile software development. In Ian F. Alexander and Neil Maiden, editors, Scenarios, Stories, Use Cases: Through the Systems Development Life-Cycle, pages 265–279, John Wiley & Sons, Ltd., 2004.
Abstract
BibTeX
Beck2000-epee
Kent Beck. Extreme Programming Explained: Embrace Change. Addison-Wesley, Reading, Massachusetts, 2000.
BibTeX
Beck2001-af
Kent Beck. Aim, fire. IEEE Softw., 18(5):87–89, 2001.
Abstract
BibTeX
doi:10.1109/52.951502
Becker+Beyer+2006-sivs
Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, and Daniela Schilling. Symbolic invariant verification for systems with dynamic structural adaptation. In 28th International Conference on Software Engineering (ICSE ’06), pages 72–81, 20–28 May 2006.
Abstract
BibTeX
doi:10.1145/1134285.1134297
Becks+Koller1999-astr
A. Becks and J. Köller. Automatically structuring textual requirement scenarios. In 14th IEEE International Conference on Automated Software Engineering, pages 271–274, 1999.
Abstract
BibTeX
Becks+Sklorz+Jarke1999-dmss
A. Becks, S. Sklorz, and M. Jarke. Document maps: Semantic structuring of technical document collections. Research Report CREWS-99-05. ESPRIT project CREWS (Department of Computer Science, RWTH Aachen), Aachen, Germany. 1999.
Abstract
BibTeX
url
Becks+Sklorz+Tresp1998-ssvq
A. Becks, S. Sklorz, and C. Tresp. Semantic structuring and visual querying of document abstracts in digital libraries. In 2nd European Conference on Research and Advanced Technology for Digital Libraries, pages 443–458, 1998.
BibTeX
Beedle+Devos+1999-splh
Mike Beedle, Martine Devos, Yonat Sharon, Ken Schwaber, and Jeff Sutherland. SCRUM: A pattern language for hyperproductive software development. In Pattern Languages of Program Design 4, pages 637–652, Addison-Wesley Longman, 1999.
Abstract
BibTeX
url
Begel+Khoo+Zimmermann2010-cder
Andrew Begel, Yit Phang Khoo, and Thomas Zimmermann. Codebook: discovering and exploiting relationships in software repositories. In 29th International Conference on Software Engineering (ICSE ’10), pages 125–134, 2–8 May 2010.
Abstract
BibTeX
doi:10.1145/1806799.1806821
Beizer1990-stt
Boris Beizer. Software testing techniques. Van Nostrand Reinhold, New York, NY, USA, 1990.
BibTeX
Bekkers+Brinkkemper+2012-espm
Willem Bekkers, Sjaak Brinkkemper, Lucas van den Bemd, Frederik Mijnhardt, Christoph Wagner, and Inge van de Weerd. Evaluating the software product management maturity matrix. In 20th IEEE International Requirements Engineering Conference (RE’12), pages 51–60, 24–28 Sep. 2012.
Abstract
BibTeX
doi:10.1109/RE.2012.6345839
Keywords
Belachew+Shyamasundar2001-mrps
Mesfin Belachew and R. K. Shyamasundar. MSC$+$: From requirement to prototyped systems. In 13th Euromicro Conference on Real-Time Systems, pages 117–124, 2001.
Abstract
BibTeX
Bell+DeVidi+Solomon2001-lo
John L. Bell, David DeVidi, and Graham Solomon. Logical options. Broadview, Peterborough, Ontario, xii+300 pages pages, 2001.
BibTeX
Bell+LaPadula1973-scsm
D. Elliott Bell and Leonard J. LaPadula. Secure computer systems: Mathematical foundations. Technical Report ESD-TR-73-278. U. S. Air Force Electronic Systems Division. Nov. 1973.
Abstract
BibTeX
Bell+Thayer1976-srat
T. E. Bell and T. A. Thayer. Software requirements: Are they really a problem? In Second International Conference on Software Engineering (ICSE ’76), pages 61–68, 13–15 Oct. 1976.
Abstract
BibTeX
Bell2005-lbbl
David Elliott Bell. Looking back at the Bell-La Padula model. In 21st Annual Computer Security Applications Conference (ACSAC 2005), pages 337–351, 2005.
Abstract
BibTeX
doi:10.1109/CSAC.2005.37
Bellini+Mattolini+Nesi2000-tlrt
P. Bellini, R. Mattolini, and P. Nesi. Temporal logics for real-time system specification. ACM Computing Surveys, 32(1):12–42, 2000.
Abstract
BibTeX
Bellovin1989-spti
S. M. Bellovin. Security problems in the tcp/ip protocol suite. SIGCOMM Computer Communication Review, 19(2):32–48, 1989.
Abstract
BibTeX
doi:10.1145/378444.378449
Bellovin2004-lbsp
Steven M. Bellovin. A look back at “security problems in the tcp/ip protocol suite”. In 20th Annual Computer Security Applications Conference (ACSAC ’04), pages 229–249, 2004.
Abstract
BibTeX
doi:10.1109/CSAC.2004.3
BenAchour+Rolland+1999-guca
Camille Ben Achour, Colette Rolland, Neil A. Maiden, and Carine Souveyet. Guiding use case authoring: Results of an empirical study. In Fourth IEEE International Symposium on Requirements Engineering (RE’99), pages 36–43, 7–11 June 1999.
Abstract
BibTeX
doi:10.1109/ISRE.1999.777983
BenAchour+Rolland+Souveyet1998-piqo
Camille Ben Achour, Colette Rolland, and Carine Souveyet. A proposal for improving the quality of the organisation of scenario collections. Technical Report CREWS-98-24. CREWS. 1998. Also appeared in Proceedings of the REFSQ’98 Workshop on Requirements Engineering: Foundation for Software Quality, Pisa, June 1998
Abstract
BibTeX
BenAchour+Tawbi+Souveyet1999-bgbu
Camille Ben Achour, Mustapha Tawbi, and Carine Souveyet. Bridging the gap between users and requirements engineering: the scenario-based approach. Technical Report CREWS-99-07. CREWS. 1999. to appear in International Journal of Computer Systems Science & Engineering, Special issue on Object-Oriented Information Systems
Abstract
BibTeX
BenAchour-Salinesi+Opdahl+Rossi2002-r2ws
Camille Ben Achour-Salinesi, Andreas Opdahl, and Matti Rossi. Refsq ’2001 workshop summary: Seventh international workshop on requirements engineering: Foundations for software quality. SIGSOFT Software Engineering Notes, 27(2):35–49, 2002.
Abstract
BibTeX
doi:10.1145/511152.511158
BenAchour1997-liis
Camille Ben Achour. Linguistic instruments for the integration of scenarios in requirement engineering. Technical Report CREWS-97-09. CREWS. 1997. Also appeared in REFSQ’97.
Abstract
BibTeX
BenAchour1998-wcts
Camille Ben Achour. Writing and correcting textual scenarios for system design. Technical Report CREWS-98-26. CREWS. 1998. Also appeared in NILS’98.
Abstract
BibTeX
Benedikt+Libkin+2003-drfo
Michael Benedikt, Leonid Libkin, Thomas Schwentick, and Luc Segoufin. Definable relations and first-order query languages over strings. Journal of the ACM, 50(5):694–751, 2003.
Abstract
BibTeX
Benkler2006-wnhs
Yochai Benkler. The Wealth of Networks: How Social Production Transforms Markets and Freedom. Yale University Press, 2006.
BibTeX
Benner+Feather+1992-ussd
K. Benner, M. S. Feather, W. L. Johnson, and L. Zorman. Utilizing scenarios in the software development process. In IFIP Working Group 8.1 Working Conference on Information Systems Development Processes, Dec. 1992.
Abstract
BibTeX
url
Bennhold2010-wpt2
Katrin Bennhold. Working (part-time) in the 21st century. New York Times, 29 Dec. 2010.
Abstract
BibTeX
url
Benslimane+Cysneiros+Bahli2007-acfn
Younes Benslimane, Luiz Marcio Cysneiros, and Bouchaib Bahli. Assessing critical functional and non-functional requirements for web-based procurement systems: a comprehensive survey. Requirements Engineering, 12(3):191–198, 2007.
Abstract
BibTeX
doi:10.1007/s00766-007-0050-4
Benson+McCarthy1989-dmim
William H. Benson and John L. McCarthy. Designing a macintosh interface to a mainframe database. In HICSS’89: Twenty-Second Annual Hawaii International Conference on System Sciences, pages 13–21, 3–6 Jan. 1989.
Abstract
BibTeX
Keywords
Bentley+Rosen2007-rgig
Lora Bentley and Lawrence Rosen. Rosen: GPL is good, but OSL is better. IT Business Edge, 21 June 2007.
BibTeX
url
Berenbach+Rayment2008-eret
Brian Berenbach and Taryn Rayment. The evaluation of a requirements engineering training program at siemens. In 16th IEEE International Requirements Engineering Conference (RE’08), pages 205–210, 8–12 Sep. 2008.
Abstract
BibTeX
doi:10.1109/RE.2008.9
Bergey+Jones2010-easa
John K. Bergey and Lawrence G. Jones. Exploring acquisition strategies for adopting a software product line. In 7th Annual Acquisition Research Symposium, pages 111–122, 12–13 May 2010.
Abstract
BibTeX
url
Bergman+King+Lyytinen2002-lsra
Mark Bergman, John Leslie King, and Kalle Lyytinen. Large-scale requirements analysis revisited: The need for understanding the political ecology of requirements engineering. Requirements Engineering, 7(3):152–171, 2002.
Abstract
BibTeX
doi:10.1007/s007660200011
Bergner+Rausch+Sihling1997-uumd
Klaus Bergner, Andreas Rausch, and Marc Sihling. Using UML for modeling a distributed java application. Technical Report TUM I9735. Technische Universität München, Institut für Informatik. July 1997.
BibTeX
url
Bergquist+Ljungberg2001-pgos
Magnus Bergquist and Jan Ljungberg. The power of gifts: organizing social relationships in open source communities. Information Systems, 11(4):305–320, 2001.
Abstract
BibTeX
doi:10.1046/j.1365-2575.2001.00111.x
Keywords
Bermejo-Luque2008-lnit
Lilian Bermejo-Luque. Logic as (normative) inference theory: Formal vs. non-formal theories of inference goodness. Informal Logic, 28(4):315–334, 2008.
Abstract
BibTeX
url
Bernardin+Budge+Hamann2008-swvs
Tony Bernardin, Brian C. Budge, and Bernd Hamann. Stacked-widget visualization of scheduling-based algorithms. In Fourth ACM Symposium on Software Visualization (SoftVis’08), pages 165–174, 16–17 Sep. 2008.
Abstract
BibTeX
doi:10.1145/1409720.1409746
BerneConvention1979
Berne Convention for the Protection of Literary and Artistic Works. 1979.
BibTeX
url
Berry+Cheng+Zhang2005-flre
Daniel M. Berry, Betty H. C. Cheng, and Ji Zhang. The four levels of requirements engineering for and in dynamic adaptive systems. In 11th International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ’05), 13–14 June 2005.
Abstract
BibTeX
Berry+Czarnecki+2010-rdiu
Daniel M. Berry, Krzysztof Czarnecki, Michal Antkiewicz, and Mohamed AbdElRazik. Requirements determination is unstoppable: An experience report. In 18th IEEE International Requirements Engineering Conference (RE’10), pages 311–316, Sep. 27 – Oct. 1 2010.
Abstract
BibTeX
doi:10.1109/RE.2010.44
Keywords
Berry+Damian+2005-dndi
Daniel M. Berry, Daniela Damian, Anthony Finkelstein, Don Gause, Robert Hall, and Alan Wassyng. To do or not to do: If the requirements engineering payoff is so good, why aren’t more companies doing it? In 13th IEEE International Requirements Engineering Conference (RE’05), page 447, 29 Aug. – 2 Sep. 2005.
BibTeX
doi:10.1109/RE.2005.74
Berry+Daudjee+2004-umrs
D. M. Berry, K. Daudjee, J. Dong, I. Fainchtein, M. A. Nelson, T. Nelson, and L. Ou. User’s manual as a requirements specification: case studies. Requirements Engineering, 9(1):67–82, 2004.
Abstract
BibTeX
doi:10.1007/s00766-003-0181-1
Berry+Kamsties+Krieger2003-cdss
Daniel M. Berry, Erik Kamsties, and Michael M. Krieger. From contract drafting to software specification: Linguistic sources of ambiguity. 2003. Version 1.0
Abstract
BibTeX
url
Berry+Kamsties2000-das
Daniel M. Berry and Erik Kamsties. The dangerous ’all’ in specifications. In 10th International Workshop on Software Specification and Design (IWSSD ’00), page 191, 2000.
Abstract
BibTeX
Berry+Kamsties2004-ars
Daniel M. Berry and Erik Kamsties. Ambiguity in requirements specification. In Julio Cesar Sampaio do Prado Leite and Jorge Horacio Doorn, editors, Perspectives on Software Requirements, pages 7–44, Kluwer, 2004.
Abstract
BibTeX
Berry+Kamsties2005-sdap
Daniel M. Berry and Erik Kamsties. The syntactically dangerous all and plural in specifications. IEEE Software, 22(1):55–57, 2005.
Abstract
BibTeX
Berry+Lawrence1998-geir
Daniel M. Berry and Brian Lawrence. Guest editors’ introduction: Requirements engineering. IEEE Software, 15(2):26–29, 1998.
Abstract
BibTeX
doi:10.1109/MS.1998.663780
Berry+Wing1985-spst
D M Berry and J M Wing. Specifying and prototyping: some thoughts on why they are successful. In International Joint Conference on Theory and Practice of Software Development (TAPSOFT) on Formal Methods and Software, Vol.2: Colloquium on Software Engineering (CSE), pages 117–128, Springer-Verlag New York, Inc., 1985.
BibTeX
Berry+Yavne+Yavne1986-rupd
Daniel M. Berry, Nancy Yavne, and Moshe Yavne. On the requirements for the use of a program design language: parameterization, abstract data typing, strong typing. Ada Letters, VI(1):82–89, 1986.
Abstract
BibTeX
doi:10.1145/382256.382801
Berry1983-nmgt
Daniel M. Berry. A new methodology for generating test cases for a programming language compiler. ACM SIGPLAN Notices, 18(2):46–56, 1983.
BibTeX
doi:10.1145/948101.948104
Berry1995-iire
Daniel M. Berry. The importance of ignorance in requirements engineering. Journal of Systems and Software, 28(2):179–184, 1995.
Abstract
BibTeX
doi:10.1016/0164-1212(94)00054-Q
Berry1998-shre
Daniel M. Berry. Software and house requirements engineering: Lessons learned in combating requirements creep. Requirements Engineering, 3(3-4):242–244, 1998.
Abstract
BibTeX
doi:10.1007/s007660050007
Berry2002-ccii
Daniel M. Berry. Controversy corner: the importance of ignorance in requirements engineering: An earlier sighting and a revisitation. Journal of Systems and Software, 60(1):83–85, 2002.
Abstract
BibTeX
Berry2002-fmvi
Daniel M. Berry. Formal methods: the very idea; some thoughts about why they work when they work. Science of Computer Programming, 42(1):11–27, 2002.
Abstract
BibTeX
doi:10.1016/S0167-6423(01)00026-0
Berry2002-ipsd-iep
D. M. Berry. The inevitable pain of software development, including of extreme programming, caused by requirements volatility. In International Workshop on Time Constrained Requirements Engineering (T-CRE), pages 9–19, 9 Sep. 2002.
BibTeX
Berry2002-ipsd
Daniel M. Berry. The inevitable pain of software development: Why there is no silver bullet. In Martin Wirsing, Alexander Knapp, and Simonetta Balsamo, editors, 9th International Workshop on Radical Innovations of Software and Systems Engineering in the Future: (RISSEF 2002), pages 50–74, 7–11 Oct. 2002.
Abstract
BibTeX
doi:10.1007/b96009
Berry2003-mrea
Daniel M. Berry. More requirements engineering adventures with building contractors. Requirements Engineering, 8(2):142–146, 2003.
BibTeX
doi:10.1007/s00766-003-0177-x
Berry2006-aacw
Daniel M. Berry. Aybüke aurum and claes wohlin (eds): Engineering and managing software requirements. Requirements Engineering, 11(2):152–154, 2006.
BibTeX
doi:10.1007/s00766-006-0027-8
Bertino+Brodie+2009-apsp
E. Bertino, C. Brodie, S. B. Calo, L. F. Cranor, C. Karat, J. Karat, N. Li, D. Lin, J. Lobo, Q. Ni, P. R. Rao, and X. Wang. Analysis of privacy and security policies. IBM Journal of Research and Development, 53(2):225–241, Mar. 2009.
Abstract
BibTeX
Bertino+Guerrini+1999-acss
Elisa Bertino, Giovanna Guerrini, Isabella Merlo, and Marco Mesiti. An approach to classify semi-structured objects. In ECOOP’99 — Object-Oriented Programming, 13th European Conference, Lisbon, Portugal, June 14-18, 1999, Proceedings, pages 416–440, 1999.
BibTeX
Bertolino+Inverardi+Muccini2001-ejat
Antonia Bertolino, Paola Inverardi, and Henry Muccini. An explorative journey from architectural tests definition down to code tests execution. In 23rd International Conference on Software Engineering (ICSE ’01), pages 211–220, 12–19 May 2001.
Abstract
BibTeX
Bertolino2003-strp
Antonia Bertolino. Software testing: research and practice. In 10th International Workshop on Abstract State Machines, Advances in Theory and Practice (ASM’2003), pages 1–21, Springer, 2003.
BibTeX
url
Bertot+Fraer1995-res
Yves Bertot and Ranan Fraer. Reasoning with executable specifications. In P. D. Mosses, M. Nielsen, and M. I. Schwartzbach, editors, TAPSOFT ’95: Theory and Practice of Software Development, pages 531–45, Springer-Verlag, May 1995.
BibTeX
Berzins2008-wucr
Valdis Berzins. Which unchanged components to retest after a technology upgrade. In 5th Annual Acquisition Research Symposium, 14–15 May 2008.
Abstract
BibTeX
Keywords
url
Besse+Cavalli2001-pvds
C. Besse and A. Cavalli. Partial validation of a design specification with respect to requirements. In Second Asia-Pacific Conference on Quality Software, 2001, pages 131–140, 10–11 Dec. 2001.
Abstract
BibTeX
Keywords
Bessey+Block+2010-fblc
Al Bessey, Ken Block, Ben Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros, Asya Kamsky, Scott McPeak, and Dawson Engler. A few billion lines of code later: using static analysis to find bugs in the real world. Communications of the ACM, 53(2):66–75, Feb. 2010.
Abstract
BibTeX
doi:10.1145/1646353.1646374
Beus-Dukic+Wellings1998-rcsc
Ljerka Beus-Dukic and Andy Wellings. Requirements for a cots software component: A case study. Requirements Engineering, 3(2):115–120, 1998.
Abstract
BibTeX
doi:10.1007/BF02919971
Bex+Prakken+2003-tfar
Floris Bex, Henry Prakken, Chris Reed, and Douglas Walton. Towards a formal account of reasoning about evidence: argumentation schemes and generalisations. Artificial Intelligence and Law, 11(2-3):125–165, 2003.
Abstract
BibTeX
doi:10.1023/B:ARTI.0000046007.11806.9a
Beyer+Chlipala+2004-itbq
Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Invited talk: the blast query language for software verification. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM ’04), pages 201–202, 2004.
Abstract
BibTeX
doi:10.1145/1014007.1014028
Beyer+Henzinger+Theoduloz2007-csvc
Dirk Beyer, Thomas A. Henzinger, and Grégory Théoduloz. Configurable software verification: Concretizing the convergence of model checking and program analysis. In Computer Aided Verification, pages 504–518, 2007.
Abstract
BibTeX
doi:10.1007/978-3-540-73368-3_51
Beyer+Holtzblatt1997-cddc
Hugh Beyer and Karen Holtzblatt. Contextual Design : Defining Customer-Centered Systems. Morgan Kaufman, 1997.
BibTeX
Beyer+Holtzblatt1999-cd
Hugh Beyer and Karen Holtzblatt. Contextual design. interactions, 6(1):32–42, 1999.
Abstract
BibTeX
doi:10.1145/291224.291229
Bhat+Cleaveland+Luttgen1999-pair
Girish Bhat, Rance Cleaveland, and Gerald Lüttgen. A practical approach to implementing real-time semantics. Annals of Software Engineering, 7:127–155, 1999.
Abstract
BibTeX
doi:10.1023/A:1018982020561
Bhuta+Mattmann+2007-fass
Jesal Bhuta, Chris A. Mattmann, Nenad Medvidovic, and Barry Boehm. A framework for the assessment and selection of software components and connectors in cots-based architectures. In Sixth Working IEEE/IFIP Conference on Software Architecture (WICSA ’07), page 6, 2007.
Abstract
BibTeX
doi:10.1109/WICSA.2007.2
Biba1977-icsc
K. J. Biba. Integrity considerations for secure computer systems. Technical Report ESD-TR-76-372. U. S. Air Force Electronic Systems Division. Apr. 1977.
Abstract
BibTeX
Bickerton+Siddiqi1993-crem
M. J. Bickerton and J. Siddiqi. The classification of requirements engineering methods. In First IEEE International Symposium on Requirements Engineering (RE’93), pages 182–186, 4–6 Jan. 1993.
Abstract
BibTeX
doi:10.1109/ISRE.1993.324819
Biffl+Halling+Kohle2000-iess
Stefan Biffl, Michael Halling, and Monika Köhle. Investigating the effect of a second software inspection cycle: Cost-benefit data from a large-scale experiment on reinspection of a software requirements document. In First Asia-Pacific Conference on Quality Software (APAQS ’00), page 194, 2000.
Abstract
BibTeX
Biffl+Halling2000-spii
S. Biffl and M. Halling. Software product improvement with inspection: A large-scale experiment on the influence of inspection processes on defect detection in software requirements documents. In 26th Euromicro Conference, pages 262–269, 5–7 Sep. 2000.
Abstract
BibTeX
Biggerstaff+Perlis1989-srv1
Ted J. Biggerstaff and Alan J. Perlis, editors. Software reusability: vol. 1, concepts and models. ACM, 1989.
BibTeX
Bilenko+Mooney2003-addu
Mikhail Bilenko and Raymond J. Mooney. Adaptive duplicate detection using learnable string similarity measures. In ninth ACM SIGKDD international conference on Knowledge discovery and data mining, pages 39–48, 2003.
Abstract
BibTeX
Bittner2002-aqtr
Thomas Bittner. Approximate qualitative temporal reasoning. Annals of Mathematics and Artificial Intelligence, 36(1-2):39–80, 2002.
Abstract
BibTeX
Bjarnason+Wnuk+Regnell2011-rast
E. Bjarnason, K. Wnuk, and B. Regnell. Requirements are slipping through the gaps - a case study on causes & effects of communication gaps in large-scale software development. In 19th IEEE International Requirements Engineering Conference (RE’11), pages 37–46, Aug. 29 – Sep. 2 2011.
Abstract
BibTeX
doi:10.1109/RE.2011.6051639
Keywords
Bjork+Holopainen+2002-ducg
Staffan Björk, Jussi Holopainen, Peter Ljungstrand, and Karl-Petter Åkesson. Designing ubiquitous computing games — a report from a workshop exploring ubiquitous computing entertainment. Personal and Ubiquitous Computing, 6(5-6):443–458, 2002.
Abstract
BibTeX
Black1997-lire
W. J. Black. Linguistic instruments in requirements engineering j. f. burg. Requirements Engineering, 2(4):220, 1997.
BibTeX
doi:10.1007/BF02745374
BlackDuckSoftware-t2mc
Black Duck Software. Top 20 most commonly used licenses in open source projects. http://www.blackducksoftware.com/oss/licenses.
BibTeX
url
BlackDuckSoftware2007-bpms
Black Duck Software. Best practices for managing software intellectual property. 2007.
Abstract
BibTeX
BlackDuckSoftware2009-glq2
Black Duck Software. GPLv3 licenses quadruple in 2009, but GPL projects drop by five percent from 2008 levels. June 2009.
Abstract
BibTeX
url
BlackDuckSoftware2010-t2mc
Black Duck Software. Top 20 most commonly used licenses in open source projects. 2010.
BibTeX
url
Blackwell2006-rmdt
Alan F. Blackwell. The reification of metaphor as a design tool. ACM Transactions on Computer-Human Interaction, 13(4):490–530, 2006.
Abstract
BibTeX
doi:10.1145/1188816.1188820
Blair+Johnson2000-ilo
J. Anthony Blair and Ralph H. Johnson. Informal logic: An overview. Informal Logic, 20(2), 2000.
Abstract
BibTeX
url
Blake+Huhns2008-wswi
M. Brian Blake and Michael N. Huhns. Web-scale workflow: Integrating distributed services. IEEE Internet Computing, 12(1):55–59, 2008.
Abstract
BibTeX
doi:10.1109/MIC.2008.24
Blake+Kahan+Nowlan2007-caau
M. Brian Blake, Daniel R. Kahan, and Michael Fitzgerald Nowlan. Context-aware agents for user-oriented web services discovery and execution. Distributed and Parallel Databases , 21(1):39–58, 2007.
Abstract
BibTeX
doi:10.1007/s10619-006-7001-9
Blake+Nowlan2008-psmc
M. Brian Blake and Michael F. Nowlan. Predicting service mashup candidates using enhanced syntactical message management. In IEEE International Conference on Services Computing (SCC ’08), pages 229–236, 2008.
Abstract
BibTeX
doi:10.1109/SCC.2008.68
Blake+Nowlan2008-twsw
M. Brian Blake and Michael F. Nowlan. Taming web services from the wild. IEEE Internet Computing, 12(5):62–69, 2008.
Abstract
BibTeX
doi:10.1109/MIC.2008.112
Blake+Sliva+2007-bnbl
M. Brian Blake, Amy Lynn Sliva, Michael zur Muehlen, and Jeffrey V. Nickerson. Binding now or binding later: The performance of uddi registries. In 40th Annual Hawaii International Conference on System Sciences (HICSS ’07), page 171c, 2007.
Abstract
BibTeX
doi:10.1109/HICSS.2007.107
Blake2007-dcso
M. Brian Blake. Decomposing composition: Service-oriented software engineers. IEEE Software, 24(6):68–77, 2007.
Abstract
BibTeX
doi:10.1109/MS.2007.162
Blanc-Brude+Scapin2007-wdpr
Tristan Blanc-Brude and Dominique L. Scapin. What do people recall about their documents?: implications for desktop search tools. In 12th International Conference on Intelligent User Interfaces (IUI ’07), pages 102–111, 2007.
Abstract
BibTeX
doi:10.1145/1216295.1216319
Blasband+Real1998-apqo
D. Blasband and J. -C. Real. All-purpose quantifiers in an oo language. In Technology of Object-Oriented Languages (TOOLS 27), pages 8–17, 22–25 Sep. 1998.
Abstract
BibTeX
Keywords
Bleistein+Cox+2006-reeb
Steven J. Bleistein, Karl Cox, June Verner, and Keith T. Phalp. Requirements engineering for e-business advantage. Requirements Engineering, 11(1):4–16, 2006.
Abstract
BibTeX
doi:10.1007/s00766-005-0012-7
Blevis2007-sidi
Eli Blevis. Sustainable interaction design: invention & disposal, renewal & reuse. In SIGCHI conference on Human factors in computing systems (CHI ’07), pages 503–512, 2007.
Abstract
BibTeX
doi:10.1145/1240624.1240705
Bloom+Esik1991-fhli
Stephen L. Bloom and Zoltán Ésik. Floyd-hoare logic in iteration theories. Journal of the ACM, 38(4):887–934, 1991.
Abstract
BibTeX
doi:10.1145/115234.115352
Blumberg1996-otnd
B. M. Blumberg. Old Tricks, New Dogs: Ethology and Interactive Creatures. Media Laboratory, MIT, Cambridge, MA, 1996.
BibTeX
Blundell+Hines+Stach1997-msdq
James Kenneth Blundell, Mary Lou Hines, and Jerrold Stach. The measurement of software design quality. Annals of Software Engineering, 4:235–255, 1997.
Abstract
BibTeX
doi:10.1023/A:1018914711050
Bodden2010-ehta
Eric Bodden. Efficient hybrid typestate analysis by determining continuation-equivalent states. In 29th International Conference on Software Engineering (ICSE ’10), pages 5–14, 2–8 May 2010.
Abstract
BibTeX
doi:10.1145/1806799.1806805
Boddu+Guo+2004-rrtn
Ravishankar Boddu, Lan Guo, Supratik Mukhopadhyay, and Bojan Cukic. Retna: From requirements to testing in a natural way. In 12th IEEE International Requirements Engineering Conference (RE’04), pages 262–271, 6–10 Sep. 2004.
Abstract
BibTeX
Bode2002-smcs
Laura J. Bode. A scenario management case study: measuring scenario similarity in the EMS. Technical Report TR-2002-10. North Carolina State University. 2002.
BibTeX
Boehm+Abts+Chulani2000-sdce
Barry Boehm, Chris Abts, and Sunita Chulani. Software development cost estimation approaches — a survey. Annals of Software Engineering, 10(1-4):177–205, 2000.
Abstract
BibTeX
doi:10.1023/A:1018991717352
Boehm+Basili2001-sdrt
Barry Boehm and Victor R. Basili. Software defect reduction top 10 list. IEEE Software, 34(1):135–137, Jan. 2001.
Abstract
BibTeX
Boehm+Bose+1995-srnr
Barry Boehm, Prasanta Bose, Ellis Horowitz, and Ming June Lee. Software requirements negotiation and renegotiation aids. In 17th International Conference on Software Engineering (ICSE ’95), pages 243–253, 1995.
Abstract
BibTeX
doi:10.1145/225014.225037
Boehm+Brown+Lipow1976-qesq
B. W. Boehm, J. R. Brown, and M. Lipow. Quantitative evaluation of software quality. In Second International Conference on Software Engineering (ICSE ’76), pages 592–605, 13–15 Oct. 1976.
Abstract
BibTeX
url
Boehm+DeMarco1997-srm
Barry W. Boehm and Tom DeMarco. Software risk management. IEEE Software, 14(3):17–19, 1997.
Abstract
BibTeX
Boehm+Egyed1998-wrnp
Barry Boehm and Alexander Egyed. WinWin requirements negotiation processes: A multi-project analysis. In Fifth International Conference on Software Processes, pages 1–12, 1998.
Abstract
BibTeX
Boehm+Elwell+1982-tsps
Barry W. Boehm, James F. Elwell, Arthur B. Pyster, E. Donald Stuckle, and Robert D. Williams. The TRW Software Productivity System. In 6th International Conference on Software Engineering (ICSE ’82), pages 148–156, 1982.
Abstract
BibTeX
Boehm+Huang2003-vbse
Barry Boehm and Li Guo Huang. Value-based software engineering: a case study. IEEE Computer, 36(3):33–41, Mar. 2003.
Abstract
BibTeX
Boehm+In1996-iqrc
Barry Boehm and Hoh In. Identifying quality-requirement conflicts. IEEE Software, 13(2):25–35, Mar. 1996.
Abstract
BibTeX
doi:10.1109/52.506460
Boehm+Ross1989-twsp
B. W. Boehm and R. Ross. Theory-W software project management principles and examples. IEEE Transactions on Software Engineering, 15(7):902–916, 1989.
Abstract
BibTeX
doi:10.1109/32.29489
Boehm1976-se
Barry Boehm. Software engineering. IEEE Transactions on Computers, 25(12):1126–1241, 1976.
Abstract
BibTeX
Boehm1979-sei
Barry W. Boehm. Software engineering — as it is. In Fourth international conference on Software engineering (ICSE ’79), pages 11–21, 1979.
Abstract
BibTeX
Boehm1981-see
Barry W. Boehm. Software Engineering Economics. Prentice-Hall, 1981.
BibTeX
Boehm1984-vvsr
Barry W. Boehm. Verifying and validating software requirements and design specifications. IEEE Software, 1(1):75–88, Jan. 1984.
BibTeX
Boehm1988-smsd
B. W. Boehm. A spiral model of software development and enhancement. IEEE Computer, 21(5):61 72, May 1988.
Abstract
BibTeX
doi:10.1109/2.59
Boehm1991-srmp
Barry W. Boehm. Software risk management: Principles and practices. IEEE Software, 8(1):32–41, 1991.
Abstract
BibTeX
Boehm1999-estp
Barry Boehm. Escaping the software tar pit: model clashes and how to avoid them. SIGSOFT Software Engineering Notes, 24(1):36–48, 1999.
Abstract
BibTeX
doi:10.1145/308769.308775
Boehm2000-rthi
Barry Boehm. Requirements that handle ikiwisi, cots, and rapid change. IEEE Computer, 33(7):99–102, July 2000.
Abstract
BibTeX
doi:10.1109/2.869384
Boehm2003-vbse
Barry Boehm. Value-based software engineering: reinventing. SIGSOFT Software Engineering Notes, 28(2):3–, Mar. 2003.
Abstract
BibTeX
doi:10.1145/638750.638775
Boehm2006-v22c
Barry Boehm. A view of 20th and 21st century software engineering. In 28th International Conference on Software Engineering (ICSE ’06), pages 12–29, 20–28 May 2006.
Abstract
BibTeX
doi:10.1145/1134285.1134288
Keywords
Boehm2008-pfss
Barry Boehm. A process framework for system and software development governance. In First International Workshop on Software Development Governance (SDG’08), pages 1–1, 2008.
Abstract
BibTeX
doi:10.1145/1370720.1370722
Boella+Favali+Lesmo2001-abol
Guido Boella, Lyda Favali, and Leonardo Lesmo. An action-based ontology of legal relations. In 8th international conference on Artificial intelligence and law (ICAIL ’01), pages 227–228, 2001.
Abstract
BibTeX
doi:10.1145/383535.383566
Boella+vanderTorre2004-clio
Guido Boella and Leendert van der Torre. Contracts as legal institutions in organizations of autonomous agents. In Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2 (AAMAS ’04), pages 948–955, 2004.
Abstract
BibTeX
doi:10.1109/AAMAS.2004.91
Boer+vanEngers2009-aslb
Alexander Boer and Tom van Engers. Agile: From source of law to business process specification. In 3rd Workshop on Legal Ontologies and Artificial Intelligence Techniques ( LOAIT ’09), 8 June 2009.
Abstract
BibTeX
url
Bohm+Jacopini1966-fdtm
Corrado Böhm and Giuseppe Jacopini. Flow diagrams, Turing machines and languages with only two formation rules. Communications of the ACM, 9(5):366–371, 1966.
Abstract
BibTeX
Boje1991-soss
D.M. Boje. The storytelling organization: A study of story performance in an office-supply firm. Administrative Science Quarterly, 36(1), 1991.
Abstract
BibTeX
url
Bojic+Eisenbarth+2004-alfs
Dragan Bojic, Thomas Eisenbarth, Rainer Koschke, Daniel Simon, and Dusan Velasevic. Addendum to “locating features in source code”. IEEE Transactions on Software Engineering, 30(2):140, Feb. 2004.
Abstract
BibTeX
doi:10.1109/TSE.2004.1265818
Keywords
Bolchini+Paolini2004-gdra
Davide Bolchini and Paolo Paolini. Goal-driven requirements analysis for hypermedia-intensive web applications. Requirements Engineering, 9(2):85–103, 2004.
Abstract
BibTeX
doi:10.1007/s00766-004-0188-2
Boldi+Vigna2003-rjs
Paolo Boldi and Sebastiano Vigna. Rethinking java strings. In 2nd international conference on Principles and practice of programming in Java, pages 27–30, 2003.
Abstract
BibTeX
Bollinger2003-ufos
Terry Bollinger. Use of free and open-source software (FOSS) in the U.S. Department of Defense. Technical Report. MITRE. 2 Jan. 2003.
Abstract
BibTeX
url
Bontemps+Heymans+2004-sfd
Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens, and Jean-Christophe Trigaux. Semantics of feature diagrams. In Tomi Männistö and Jan Bosch, editors, Proc. of Workshop on Software Variability Management for Product Derivation (Towards Tool Support), August 2004.
Abstract
BibTeX
url
Bontemps+Heymans+Schobbens2005-lfms
Yves Bontemps, Patrick Heymans, and Pierre-Yves Schobbens. Lightweight formal methods for scenario-based software engineering. In Tarja Systa and Stefan Leue, editors, Scenarios, pages 174–192, Springer, 2005.
Abstract
BibTeX
Bontemps+Heymans2004-fslf
Yves Bontemps and Patrick Heymans. As fast as sound (lightweight formal scenario synthesis and verification). In Holger Giese and Ingolf Krüger, editors, Proc. of the 3rd Int. Workshop on “Scenarios and State Machines: Models, Algorithms and Tools” (SCESM’04), pages 27–34, May 2004.
Abstract
BibTeX
url
Bontemps+Schobbens+Loding2004-sors
Yves Bontemps, Pierre-Yves Schobbens, and Christof Löding. Synthesis of open reactive systems from scenario-based specifications. Fundamenta Informaticae, 62(2):139–169, July 2004.
Abstract
BibTeX
Bontemps2003-rsbs
Yves Bontemps. Realizability of scenario-based specifications. Masters thesis, Facultés Universitaires Notre-Dame de la Paix, Institut d’Informatique (University of Namur, Computer Science Dept), September 2003.
BibTeX
Booch+Rumbaugh+Jacobson1999-umlu
Grady Booch, James Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Reading, Massachusetts, USA, 1999.
BibTeX
Booch1993-ooad
G. Booch. Object-Oriented Analysis and Design with Applications. Benjamin/Cummings, second edition, 1993.
BibTeX
Boolos+Jeffrey1989-cl
George S. Boolos and Richard C. Jeffrey. Computability and Logic. Cambridge University Press, third edition, xii+304 pages pages, 1989.
BibTeX
Bordeleau+Buhr1997-urmu
F. Bordeleau and R. J. A. Buhr. Ucm-room modelling: from use case maps to communicating state machines. In International Conference and Workshop on Engineering of Computer-Based Systems (ECBS’97), pages 169–178, 24–28 Mar. 1997.
Abstract
BibTeX
Keywords
Bordeleau+Corriveau+Selic2000-sbah
F. Bordeleau, J.-P. Corriveau, and B. Selic. A scenario-based approach to hierarchical state machine design. In Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), pages 78–85, Mar. 2000.
Abstract
BibTeX
Bordeleau+Corriveau2001-iisr
F. Bordeleau and J.-P. Corriveau. On the importance of inter-scenario relationships in hierarchical state machine design. In 4th International Conference on Fundamental Approaches to Software Engineering (FASE’01), pages 156–170, 2–6 Apr. 2001.
Abstract
BibTeX
Keywords
Borgida+Mylopoulos+Reiter1993-necf
Alex Borgida, John Mylopoulos, and Raymond Reiter. “...and nothing else changes”: the frame problem in procedure specifications. In Edna Straub, editor, 15th International Conference on Software Engineering (ICSE ’93), pages 303–314, 17–21 May 1993.
Abstract
BibTeX
Keywords
Bosch+Bosch-Sijtsema2010-icis
Jan Bosch and Petra Bosch-Sijtsema. From integration to composition: On the impact of software product lines, global development and ecosystems. Journal of Systems and Software, 83(1):67–76, 2010.
Abstract
BibTeX
doi:10.1016/j.jss.2009.06.051
Bosch2000-dusa
Jan Bosch. Design and Use of Software Architectures: Adopting and Evolving a Product-Line Approach. Addison-Wesley, 2000.
BibTeX
Bosch2009-spls
Jan Bosch. From software product lines to software ecosystems. In 13th International Software Product Line Conference (SPLC’09), pages 111–119, 2009.
Abstract
BibTeX
Bosch2012-sets
Jan Bosch. Software ecosystems: Taking software development beyond the boundaries of the organization. Journal of Systems and Software, 85(7), July 2012.
Abstract
BibTeX
doi:10.1016/j.jss.2012.03.039
Bottoni+Costabile+Mussio1999-sdcv
P. Bottoni, M. F. Costabile, and P. Mussio. Specification and dialogue control of visual interaction through visual rewriting systems. ACM Transactions on Programming Languages and Systems, 21(6):1077–1136, 1999.
Abstract
BibTeX
doi:10.1145/330643.330644
Boucharas+Jansen+Brinkkemper2009-fsem
Vasilis Boucharas, Slinger Jansen, and Sjaak Brinkkemper. Formalizing software ecosystem modeling. In First International Workshop on Open Component Ecosystems (IWOCE’09), pages 41–50, 2009.
Abstract
BibTeX
doi:10.1145/1595800.1595807
Bouhoula+Jouannaud1997-adai
A. Bouhoula and J. -P. Jouannaud. Automata-driven automated induction. In 12th Annual IEEE Symposium on Logic in Computer Science (LICS ’97), page 14, 1997.
Abstract
BibTeX
Bourduas+Khendek+Vincent2002-mus
Stephan Bourduas, Ferhat Khendek, and Daniel Vincent. From MSC and UML to SDL. In 26th International Computer Software and Applications Conference (COMPSAC ’02), pages 153–158, 2002.
Abstract
BibTeX
Bouzeghoub1998-anli
M. Bouzeghoub. Applications of natural language to information systems edited by r.p. van de riet, j.f.m. burg and a.j. van der vos. Requirements Engineering, 3(1):69–70, 1998.
BibTeX
doi:10.1007/BF02802922
Bowen+Hinchey1994-tcfm
Jonathan Bowen and Michael Hinchey. Ten commandments of formal methods. Technical Report 350. University of Cambridge, Computer Laboratory. Sep. 1994.
BibTeX
Bowen1978-acas
John B. Bowen. Are current approaches sufficient for measuring software quality? In software quality assurance workshop on Functional and performance issues, pages 148–155, 1978.
Abstract
BibTeX
Bowring+Orso+Harrold2002-mdsu
Jim Bowring, Alessandro Orso, and Mary Jean Harrold. Monitoring deployed software using software tomography. In ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering (PASTE ’02), pages 2–9, 2002.
Abstract
BibTeX
doi:10.1145/586094.586099
Boyapati+Khurshid+Marinov2002-katb
Chandrasekhar Boyapati, Sarfraz Khurshid, and Darko Marinov. Korat: automated testing based on java predicates. In International Symposium on Software Testing and Analysis (ISSTA ’02), pages 123–133, 22–24 July 2002.
Abstract
BibTeX
doi:10.1145/566172.566191
Boyd+Zowghi+Gervasi2007-oclr
Stephen Boyd, Didar Zowghi, and Vincenzo Gervasi. Optimal-constraint lexicons for requirements specifications. In 13th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ’07), pages 203–217, 11–12 June 2007.
Abstract
BibTeX
doi:10.1007/978-3-540-73031-6_15
Boyle2009-wipl
James Boyle. What intellectual property law should learn from software. Communications of the ACM, 52(9):71–76, 2009.
Abstract
BibTeX
doi:10.1145/1562164.1562184
Braberman+Kicillof+Olivero2005-smad
Victor Braberman, Nicolas Kicillof, and Alfredo Olivero. A scenario-matching approach to the description and model checking of real-time properties. IEEE Transactions on Software Engineering, 31(12):1028–1041, 2005.
Abstract
BibTeX
doi:10.1109/TSE.2005.131
Braek1996-sb
Rolv Bræk. SDL basics. Computer Networks and ISDN Systems, 28(12):1585–1602, 10 June 1996.
Abstract
BibTeX
Braendeland+Stolen2006-umbs
Gyrd Brændeland and Ketil Stølen. Using model-based security analysis in component-oriented system development. In 2nd ACM Workshop On Quality of Protection (QoP ’06), pages 11–18, 2006.
Abstract
BibTeX
doi:10.1145/1179494.1179498
Bragdon+Reiss+2010-cbru
Andrew Bragdon, Steven P. Reiss, Robert Zeleznik, Suman Karumuri, William Cheung, Joshua Kaplan, Christopher Coleman, Ferdi Adeputra, and Joseph J. LaViola,Jr.. Code bubbles: rethinking the user interface paradigm of integrated development environments. In 29th International Conference on Software Engineering (ICSE ’10), pages 455–464, 2–8 May 2010.
Abstract
BibTeX
doi:10.1145/1806799.1806866
Brand+Klint+Verhoef1997-resr
M. G. J. van den Brand, P. Klint, and C. Verhoef. Reverse engineering and system renovation — an annotated bibliography. SIGSOFT Software Engineering Notes, 22(1):57–68, 1997.
Abstract
BibTeX
Brandozzi+Perry2003-gora
M. Brandozzi and D. E. Perry. From goal-oriented requirements to architectural prescriptions: The preskriptor process. In Second International Software Requirements to Architectures Workshop (STRAW’03), pages 107–113, 2003.
BibTeX
Branting1999-gmnc
L. Karl Branting. A generative model of narrative cases. In 7th International Conference on Artificial Intelligence and Law (ICAIL ’99), pages 1–8, 1999.
BibTeX
doi:10.1145/323706.323708
Braz+Fernandez+VanHilst2008-esrt
Fabricio A. Braz, Eduardo B. Fernandez, and Michael VanHilst. Eliciting security requirements through misuse activities. In 19th International Conference on Database and Expert Systems Application (DEXA ’08), pages 328–333, 2008.
Abstract
BibTeX
doi:10.1109/DEXA.2008.101
Breaux+Alspaugh2011-gand
Travis D. Breaux and Thomas A. Alspaugh. Governance and accountability in the new data ecology: A vision for electronic data licenses. In Fourth International Workshop on Requirements Engineering and Law (RELAW’11), 30 Aug. 2011.
Abstract
BibTeX
doi:10.1109/RELAW.2011.6050267
Breaux+Anton+2006-evae
Travis D. Breaux, Annie I. Anton, Clare-Marie Karat, and John Karat. Enforceability vs. accountability in electronic policies. In Seventh IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY ’06), pages 227–230, June 2006.
Abstract
BibTeX
doi:10.1109/POLICY.2006.18
Keywords
Breaux+Anton+2008-lrcp
Travis D. Breaux, Annie I. Anton, Kent Boucher, and Merlin Dorfman. Legal requirements, compliance and practice: An industry case study in accessibility. In 16th IEEE International Requirements Engineering Conference (RE’08), pages 43–52, 8–12 Sep. 2008.
Abstract
BibTeX
Keywords
Breaux+Anton+Doyle2008-sppm
Travis D. Breaux, Annie I. Anton, and Jon Doyle. Semantic parameterization: A process for modeling domain descriptions. ACM Transactions on Software Engineering and Methodology, 18(2), 2008.
Abstract
BibTeX
doi:10.1145/1416563.1416565
Breaux+Anton+Spafford2008-drmf
Travis D. Breaux, Annie I. Antón, and Eugene H. Spafford. A distributed requirements management framework for legal compliance and accountability. Computers and Security, 28(1–2):8–17, Feb.–Mar. 2008.
Abstract
BibTeX
doi:10.1016/j.cose.2008.08.001
Breaux+Anton2005-agsr
Travis D. Breaux and Annie I. Anton. Analyzing goal semantics for rights, permissions, and obligations. In 13th IEEE International Requirements Engineering Conference (RE’05), pages 177–188, 29 Aug. – 2 Sep. 2005.
Abstract
BibTeX
doi:10.1109/RE.2005.12
Breaux+Anton2005-dsmp
Travis D. Breaux and Annie I. Anton. Deriving semantic models from privacy policies. In Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY ’05), pages 67–76, June 2005.
Abstract
BibTeX
doi:10.1109/POLICY.2005.12
Keywords
Breaux+Anton2005-mrsu
Travis D. Breaux and Annie I. Anton. Mining rule semantics to understand legislative compliance. In ACM Workshop on Privacy in Electronic Society (WPES’05), pages 51–54, November 2005.
Abstract
BibTeX
doi:10.1145/1102199.1102210
Keywords
Breaux+Anton2008-arrp
Travis D. Breaux and Annie I. Anton. Analyzing regulatory rules for privacy and security requirements. IEEE Transactions on Software Engineering, 34(1):5–20, 2008.
Abstract
BibTeX
doi:10.1109/TSE.2007.70746
Breaux+Lewis+2009-ivcr
Travis Breaux, Jonathan Lewis, Paul Otto, and Annie Antón. Identifying vulnerabilities and critical requirements using criminal court proceeding. In 24th Annual ACM Symposium on Applied Computing (SAC 2009), pages 1462–1466, 8–12 Mar. 2009.
Abstract
BibTeX
Breaux+Reed2005-uohi
Travis D. Breaux and Joel W. Reed. Using ontology in hierarchical information clustering. In 38th Annual Hawaii International Conference on System Sciences (HICSS’05), pages 111–112, January 2005.
Abstract
BibTeX
doi:10.1109/HICSS.2005.664
Keywords
Breaux+Vail+Anton2006-trce
Travis D. Breaux, Matthew W. Vail, and Annie I. Antón. Towards regulatory compliance: Extracting rights and obligations to align requirements with regulations. In 14th IEEE International Requirements Engineering Conference (RE’06), pages 49–58, 13–15 Sep. 2006. Also published as NCSU CSC Technical Report TR-2006-06. 
Abstract
BibTeX
doi:10.1109/RE.2006.68 url
Breaux2009-eddl
Travis Breaux. Exercising due diligence in legal requirements acquisition: A tool-supported, frame-based approach. In 17th IEEE International Requirements Engineering Conference (RE’09), pages 225–230, Aug. 31 – Sep. 4 2009.
Abstract
BibTeX
doi:10.1109/RE.2009.46
Breaux2009-lras
Travis Durand Breaux. Legal requirements acquisition for the specification of legally compliant information systems. PhD thesis, North Carolina State University, 9 Feb. 2009.
Abstract
BibTeX
Breaux2010-lrsr
Travis D. Breaux. Legally “reasonable” security requirements: A 10-year ftc retrospective. Computers & Security, 2010. In press.
Abstract
BibTeX
doi:10.1016/j.cose.2010.11.003
Keywords
Bredenfeld+Wilberg1999-mbml
A. Bredenfeld and J. Wilberg. Model based multi-level prototyping. In IEEE International Workshop on Rapid System Prototyping, pages 190–195, 1999.
BibTeX
Breen2005-eulf
Michael Breen. Experience of using a lightweight formal specification method for a commercial embedded system product line. Requirements Engineering, 10(2):161–172, 2005.
Abstract
BibTeX
doi:10.1007/s00766-004-0209-1
Breitman+Filho+2004-uofs
Karin Koogan Breitman, Aluízio Haendchen Filho, Edward Hermann Haeusler, and Arndt von Staa. Using ontologies to formalize services specifications in multi-agent systems. In Third International Workshop on Formal Approaches to Agent-Based Systems (FAABS 2004), pages 92–110, 2004.
Abstract
BibTeX
doi:10.1007/b105317
Breitman+Leite+Berry2005-sse
Karin Koogan Breitman, Julio Cesar Sampaio do Prado Leite, and Daniel M. Berry. Supporting scenario evolution. Requirements Engineering, 10(2), May 2005.
Abstract
BibTeX
Breitman+Leite+Finkelstein1999-wssr
Karin Koogan Breitman, Julio Cesar S. do Prado Leite, and Anthony Finkelstein. The world’s a stage: a survey on requirements engineering using a real-life case study. Journal of the Brazilian Computer Society, 6(1):13–37, July 1999.
Abstract
BibTeX
Breitman+Leite1998-fse
Karin Koogan Breitman and Julio Cesar Sampaio do Prado Leite. A framework for scenario evolution. In Third International Conference on Requirements Engineering (ICRE’98), pages 214–223, 1998.
Abstract
BibTeX
doi:10.1109/ICRE.1998.667828
Keywords
Breitman+Leite2000-sbsp
K. Breitman and J. Leite. Scenario-based software process. In Proceedings, 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2000), pages 375–380, 2000.
Abstract
BibTeX
Breitman+Leite2000-secv
Karin Breitman and Julio Cesar Sampaio do Prado Leite. Scenario evolution: A closer view on relationships. In Fourth International Conference on Requirements Engineering (ICRE’00), pages 95–106, 2000.
Abstract
BibTeX
Breitman+Leite2003-orep
Karen Koogan Breitman and Julio Cesar Sampaio do Prado Leite. Ontology as a requirements engineering product. In 11th IEEE Joint International Conference on Requirements Engineering (RE’03), pages 309–319, 8–12 Sep. 2003.
Abstract
BibTeX
doi:10.1109/ICRE.2003.1232775
Breitman+Leite2004-lboc
Karin Koogan Breitman and Julio Cesar Sampaio do Prado Leite. Lexicon based ontology construction. In Software Engineering for Multi-Agent Systems II: Research Issues and Practical Applications, pages 19–34, Springer, Jan. 2004.
Abstract
BibTeX
doi:10.1007/b96018
Brem2003-spia
Sarah K. Brem. Structure and pragmatics in informal argument: circularity and question-begging. Trends in Cognitive Sciences, 7(4):147–149, Apr. 2003.
Abstract
BibTeX
Bretthauer2001-ossh
David Bretthauer. Open source software: A history. UConn Libraries Published Works Paper 7. University of Connecticut. 2001.
Abstract
BibTeX
url
Breu+Innerhofer-Oberperfler2005-mbbd
Ruth Breu and Frank Innerhofer-Oberperfler. Model based business driven IT security analysis. In Symposium on Requirements Engineering for Information Security (SREIS 2005), page 1, 29 Aug. 2005.
Abstract
BibTeX
url
Breu+Krinke2004-amue
S. Breu and J. Krinke. Aspect mining using event traces. In 19th International Conference on Automated Software Engineering (ASE 2004), pages 310–315, 20–24 Sep. 2004.
Abstract
BibTeX
Breuker+Valente+Winkels2004-loke
Joost Breuker, André Valente, and Radboud Winkels. Legal ontologies in knowledge engineering and information management. Artificial Intelligence and Law, 12(4):241–277, 2004.
Abstract
BibTeX
doi:10.1007/s10506-006-0002-1
Brewer+Nash1989-cwsp
David F. C. Brewer and Michael J. Nash. The Chinese Wall security policy. In IEEE Symposium on Security and Privacy, 1989, pages 206–214, 1–3 May 1989.
Abstract
BibTeX
Briand+Labiche+Sun2002-iuac
L. C. Briand, Y. Labiche, and H. Sun. Investigating the use of analysis contracts to support fault isolation in object oriented code. In ACM SIGSOFT International Symposium on Software Testing And Analysis (ISSTA ’02), pages 70–80, 2002.
Abstract
BibTeX
doi:10.1145/566172.566183
Briand+Labiche+Wang2004-usei
L. C. Briand, Y. Labiche, and Y. Wang. Using simulation to empirically investigate test coverage criteria based on statechart. In 26th International Conference on Software Engineering (ICSE ’04), pages 86–95, 23–28 May 2004.
Abstract
BibTeX
Bridgepoint2000-ooa
Bridgepoint OOA. Project Technology Inc., 2000.
BibTeX
Brinkkemper+Soest+Jansen2009-mpsb
Sjaak Brinkkemper, Ivo van Soest, and Slinger Jansen. Modeling of product software businesses: Investigation into industry product and channel typologies. In Information Systems Development Challenges in Practice, Theory, and Education, pages 1–19, Springer, 2009.
Abstract
BibTeX
doi:10.1007/978-0-387-68772-8_24
Brodie+Mylopoulos+Schmidt1984-cm
M. L. Brodie, J. Mylopoulos, and J. W. Schmidt. On Conceptual Modelling. Springer, New York, NY, 1984.
BibTeX
Brooks+Memon2007-agtg
Penelope A. Brooks and Atif M. Memon. Automated gui testing guided by usage profiles. In 22nd International Conference on Automated Software Engineering (ASE 2007), pages 333–342, 5–9 Nov. 2007.
Abstract
BibTeX
doi:10.1145/1321631.1321681
Brooks1975-mmme
Frederick P. Brooks, Jr.. The Mythical Man Month: Essays on Software Engineering. Addison-Wesley, first edition, 200 pages, 1975.
BibTeX
url
Brooks1987-nsbe
Frederick P. Brooks, Jr.. No silver bullet: Essence and accidents of software engineering. IEEE Computer, 20(4):10–19, Apr. 1987. Reprinted from IFIP Congress, Dublin, Ireland, 1986.
Abstract
BibTeX
doi:10.1109/MC.1987.1663532 url
Brooks1988-grti
Frederick P. Brooks, Jr.. Grasping reality through illusion — interactive graphics serving science. In Proceedings of ACM CHI’88 Conference on Human Factors in Computing Systems, pages 1–11, 1988.
Abstract
BibTeX
Keywords
Brooks1995-mmme
Frederick P. Brooks, Jr.. The Mythical Man-Month: Essays in Software Engineering. Addison-Wesley, second (20th anniversary) edition, 332 pages, 1995.
BibTeX
url
Brooks1996-csti
Frederick P. Brooks,Jr.. The computer scientist as toolsmith II. Communications of the ACM, 39(3):61–68, 1996.
BibTeX
doi:10.1145/227234.227243
Brooks2010-ddec
Frederic P. Brooks, Jr.. The Design of Design: Essays from a Computer Scientist. Addison-Wesley, 2010.
BibTeX
Brooks2010-qfbj
Fred Brooks, Jr.. Q&a with Fred Brooks, Jr. ’56, Kenan Professor at University of North Carolina at Chapel Hill. 2010.
BibTeX
url
Brown+Booch2002-ross
Alan W. Brown and Grady Booch. Reusing open-source software and practices: The impact of open-source on commercial vendors. In Software Reuse: Methods, Techniques, and Tools (ICSR-7), pages 381–428, 15–19 Apr. 2002.
Abstract
BibTeX
doi:10.1007/3-540-46020-9
Brown+Thomas2006-ypww
John Seely Brown and Douglas Thomas. You play world of warcraft? you’re hired! why multiplayer games may be the best kind of job training. Wired, Apr. 2006.
BibTeX
url
Brown+Wilson2012-aosa
Amy Brown and Greg Wilson, editors. The Architecture of Open Source Applications. Lulu.com, 2012. Volumes I and II.
BibTeX
url
Broy+Kruger1998-iits
Manfred Broy and Ingolf Krüger. Interaction interfaces — towards a scientific foundation of a methodological usage of Message Sequence Charts. In Second IEEE International Conference on Formal Engineering Methods (ICFEM ’98), page 2, 1998.
Abstract
BibTeX
doi:10.1109/ICFEM.1998.730565
Broy2000-emsc
Manfred Broy. The essence of message sequence charts. In International Conference on Microelectronic Systems Education (MSE ’00), page 42, IEEE Computer Society, 2000.
Abstract
BibTeX
Broy2001-tmfs
Manfred Broy. Toward a mathematical foundation of software engineering methods. IEEE Transactions on Software Engineering, 27(1):42–57, 2001.
Abstract
BibTeX
doi:10.1109/32.895987
Bruce+Wegner1986-amso
K. B. Bruce and P. Wegner. An algebraic model of subtypes in object-oriented languages. ACM SIGPLAN Notices, 21(10):163–163, Oct. 1986.
BibTeX
Bruijn1980-spa
N. G. de Bruijn. A survey of the project AUTOMATH. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 580–606, Academic Press, Inc., 1980.
BibTeX
Bruner1991-ncr
Jerome Bruner. The narrative construction of reality. Critical Inquiry, 18(1):1–21, 1991.
BibTeX
url
Brusoni+Console+1997-lmti
V. Brusoni, L. Console, P. Terenziani, and B. and Pernid. Later: managing temporal information efficiently. IEEE Expert, 12(4):56 64, July–Aug. 1997.
Abstract
BibTeX
Bryant1992-sbmo
Randal E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293–318, 1992.
Abstract
BibTeX
doi:10.1145/136035.136043
Bryant2000-iejn
Antony Bryant. It’s engineering jim ... but not as we know it: software engineering — solution to the software crisis, or part of the problem? In 22nd International Conference on Software Engineering (ICSE ’00), pages 78–87, 4–11 June 2000.
Abstract
BibTeX
doi:10.1145/337180.337191
Bryant2000-mmmb
Antony Bryant. Metaphor, myth and mimicry: The bases of software engineering. Annals of Software Engineering, 10(1-4):273–292, 2000.
Abstract
BibTeX