Library
Thomas, C.W., Maintaining and Restoring Public Trust in Government Agencies and Their Employees. Administration & Society, 1998. 30(2).
Luhmann, N., Trust: A mechanism for the Reduction of Social complexity, in Trust and Power. 1979, John Wiley & Sons: New York. p. 1-103.
Anurag Sharma, F., Fear & Forbearance: Trust in the Provision of Expert Services (unpublished). 2002.
Scanzoni, J., Social Exchange and Behavioral Interdependence", in Social Exchange in Developing Relationships, R.L. Burgess and T.L. Huston, Editors. 1979, Academic: New York.
Axelrod, R., The Evolution of Cooperation. 1984, New York: Basic Books.
Coleman, J.S., Foundations of Social Theory. 1990, Cambridge, MA: Harvard University Press.
Gauthier, D., Morals by Agreement. 1986, Oxford, England: Oxford University Press.
Lipset, S.M. and W. Schneider, The Confidence Gap: Business, Labor, and Government in the Public Mind. 1983, New York: Free Press.
Putnam, R.D., Bowling Alone: The Collapse and Revival of American Community. 2000, New York: Simon & Schuster.
Cirtin, J. and D.P. Green, Presidential Leadership and the Resurgence of Trust in Government. British Journal of Computer Science, 1968. 16: p. 431-453.
Williams, J.T., Systemic Influences on Political Trust: The Importance of Perceived Institutional Performance. Political Methodology, 1987. 7: p. 125-142.
Hardin, R., Social Capital, in Competition and Cooperation: Conversations with Nobelists About Economics and Political Science., J. Alt, M. Levi, and E. Ostrom, Editors. 1999, Russel Sage Foundation: New York.
Camp, J., H. Nissenbaum, and C. McGrath, Trust: A Collision of Paradigms (Unpublished). 2002.
Madison, J., Federalist, no. 51, in The Federalist Papers, C. Rossitier, Editor. 1961: New York.
Zucker, L.G., Production of Trust: Institutional Sources of Economic Structure, 1840-1920. Research in Organizational Behavior, 1986(8): p. 53-111.
Kaiser, G.E. Rule-Based Modeling of the Software Development Process. in 4th International Software Process Workshop. 1988.
Kaiser, G.E., S.S. Popovich, and B.-S.I. Z. A Bi-Level Language for Software Process Modeling. in 15th International Conference on Software Engineering. 1993.
Katayama, T. A Hierarchical and Functional Software Process Description and its Enaction. in Eleventh International Conference of Software Engineering. 1989: IEEE Computer Society Press.
Bandinelli, S., et al., SPADE: An Environment for Software Process Analysis, Design, and Enactment, in Software Process Modelling and Technology, A. Finkelstein, J. Kramer, and B. Nuseibeh, Editors. 1994, Research Studies Press, Ltd.: Taunton, Somerset, England. p. 223--248.
Alonso, G., et al., Failure handling in large scale workflow management systems. 1994, IBM Almaden Research Center.
Osterweil, L.J. Software Processes are Software, Too. in Ninth International Conference on Software Engineering. 1987. Monterey, CA: IEEE Computer Society Press.
Osterweil, L.J. Software Processes Are Software, Too, Revisited. in 19th International Conference on Software Engineering. 1997. Boston, MA.
Fountain, J.E., Building the Virtual State. 2001: Brookings Institution Press, Washington, DC.
Wilson, J.Q., Bureaucracy: What Government Agencies Do and Why They Do It. 2000: Basic Books, NY.
ICSP1. First International Conference on the Software Process. 1991. Redondo Beach, CA.
ICSP4. Fourth International Conference on the Software Process. 1996. Brioghton, UK: IEEE Computer Society Press.
Osterweil, L.J., Software Process Interpretation and Software Environments. 1986, Department of Computer Science, University of Colorado: Boulder, CO.
Kadia, R. Issues Encountered in Building a Flexible Software Development Environment: Lessons from the Arcadia Project. in Fifth ACM SIGSOFT Symposium on Software Development Environment. 1992. Tyson's Corner, VA.
Sutton Jr., S.M., D. Heimbigner, and L.J. Osterweil, APPL/A: A Language for Software-Process Programming. ACM Transactions on Software Engineering and Methodology, 1995. 4(3): p. 221-286.
Suzuki, M. and T. Katayama. Meta-Operations in the Process Model HFSP for the Dynamics and Flexibility of Software Processes. in First International Conference on the Software Process. 1991. Redondo Beach, CA: IEEE Computer Society Press.
Fernstrom, C. PROCESS WEAVER: Adding Process Support to UNIX. in Second International Conference on the Software Process. 1993.
Bandinelli, S., A. Fuggetta, and S. Grigolli. Process Modeling in-the-large with SLANG. in Second International Conference on the Software Process. 1993. Berlin, Germany: IEEE Computer Society Press.
Bandinelli, S. and A. Fuggetta. Computational Reflection in Software Process Modeling: the SLANG Approach. in Fifteenth International Conference on Software Engineering. 1993. Baltimore, MD.
Emmerich, W. and V. Gruhn. FUNSOFT Nets: A Petri-Net based Software Process Modeling Language. in Thirteenth International Conference on Software Engineering. 1991.
Gruhn, V. and R. Jegelka. An Evaluation of FUNSOFT Nets. in Second European Workshop on Software Process Technology. 1992. Trondheim, Norway.
WACC-99. Work Activities Coordination and Conference. in WACC. 1999. San Francisco, CA.
Paul, S., E. Park, and J. Chaar. RainMan: A Workflow System for the Internet. in Usenix Symposium on Internet Technologies and Systems. 1997.
Pohl, K., et al., PRIME-Toward Process-Integrated Modeling Environments. ACM Transactions on Software Engineering Methodology, 1999. 8(4): p. 343-410.
Grosof, B., Y. Labrou, and H.Y. Chan. A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML". in ACM Conference on Electronic Commerce (EC 99). 1999. Denver, CO.
Sutton Jr., S.M. and L.J. Osterweil. The Design of a Next Generation Process Language. in Joint 6th European Software Engineering Conference and the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering. 1997. Zurich, Switzerland: Springer-Verlag.
Cass, A.G., et al. Little-JIL/Juliette: A Process Definition Language and Interpreter. in International Conference on Software Engineering. 2000. Limerick, Ireland.
Wise, A., Little-JIL 1.0 Language Report. 1998, Department of Computer Science, Univesity of Massachusetts: Amherst, MA.
Cass, A.G., et al., Logically Central, Physically Distributed Control in a Process Runtime Environment. 1999, Department of Computer Science, University of Massachusetts: Amherst, MA.
Jensen, D., et al. Coordinating Agent Activities in Knowledge Discovery Processes. in International Joint Conference on Work Activities Coordination and Collaboration. 1999. San Francisco, CA.
Sondheimer, N.K., Final Report: Application of Process Modeling to Online License Renewal. 2002, Electronic Enterprises Institute, University of Massachusetts, Amherst, MA.
Osterweil, L.J., A Strategy for Integrating Program Testing and Analysis, in Computer Program Testing, B. Chandrasekaran and S. Radicchi, Editors. 1981, North-Holland: Amsterdam. p. 187-229.
Osterweil, L.J. Perpetually Testing Software. in 9th International Software Quality Week. 1996. San Francisco, CA.
Osterweil, L.J. and L.D. Fosdick, DAVE -- A Validation Error Detection and Documentation System for Fortran Programs. Software Practice and Experience, 1976. 6(4): p. 473-486.
Olender, K.M. and L.J. Osterweil, Interprocedural Static Analysis of Sequencing Constraints. ACM Transactions on Software Engineering and Methodology, 1992. 1(1): p. 21-52.
Dwyer, M.B. and L.A. Clarke. Data Flow Analysis for Verifying Properties of Concurrent Programs. in Second ACM SIGSOFT Symposium on the Foundations of Software Engineering. 1994. New Orleans, LA: ACM Press.
Naumovich, G., G.S. Avrunin, and L.A. Clarke. Data Flow Analysis for Checking Properties of Concurrent Java Programs. in 21st International Conference on Software Engineering. 1999. Los Angeles, LA.
Cobleigh, J.M., L.A. Clarke, and L.J. Osterweil. Verifying Properties of Process Definitions. in ACM SIGSOFT 2000 International Symposium on Software Testing and Analysis. 2000. Portland, OR.
Naumovich, G. and L.A. Clarke. Extending FLAVERS to Check Properties On Infinite Executions of Concurrent Software Systems. in Monterey Workshop 2001 on Engineering Automation for Software Intensive System Integration. 2000. Monterey, CA.
Naumovich, G. and L.A. Clarke. Classifying Properties: An Alternative to the Safety-Liveness Classification. in Eighth ACM SIGSOFT Symposium on the Foundations of Software Engineering. 2000. San Diego, CA.
Cobleigh, J.M., L.A. Clarke, and L.J. Osterweil. The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification. in 23rd International Conference on Software Engineering. 2001. Toronto, Canada.
Naumovich, G.N., L.A. Clarke, and L.J. Osterweil. Efficient Composite Data Flow Analysis Applied to Concurrent Programs. in ACM SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering. 1998.
Naumovich, G., L.A. Clarke, and J.M. Cobleigh. Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification. in ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. 1999. Toulouse, France.
Naumovich, G., G.S. Avrunin, and L.A. Clarke. An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs. in Joint Seventh European Software Engineering Conference and the Seventh ACM SIGSOFT International Symposium on the Foundations of Software Engineering. 1999. Toulouse, France: Springer-Verlag.
Burch, J.R., et al., Symbolic Model Checking: 10 20 States and Beyond. Information and Computing, 1992. 98(2): p. 142-170.
Holzmann, G.J., The Model Checker SPIN. IEEE Transactions on Software Engineering, 1997. 23(5): p. 279-294.
Yatco, M.C., Joint Application Design/Development. 1999, University of Missouri - St. Louis.
Wood, J., D. Silver, and Jossey-Bass, Joint Application Development. 2nd ed. 1995.
Cline, A., JAD for Requirements Collection and Management; White Paper. 2000, Carolla Development.
Oz, E., Management Information Systems, in Systems Development. 1999, Penn. State University, Course Technology. p. Chapter 15.
Gottesdiener, E., Requirements by Collaboration: Workshops for Defining Needs. 2002, Addison Wesley.
Greenbaum, J., PD a Personal Statement. Periodical-Issue-Article Year of Publica, 1993: p. 47.
Kaner, et al., Facilitator's Guide to Participatory Decision-Making, N.S. Pub, Editor. 1996.
Damian, A., et al., Joint Application Development and Participatory Design. 1997, Department of Computer Science, University of Calgary: Alberta, Canada.
Carmel, E., R.D. Whitaker, and J.F. George, PD and Joint Application Design: A Transatlantic Comparison. Communications of the ACM, 1993. 36(4): p. 40-48.
Fisher, Ury, and Patton, Getting to Yes. 2nd ed. 1991: Penquin Books, NY.
Kouzes, J.H. and B.Z. Posner, The Leadership Challenge: How to Get Extraordinary Things Done in Organizations, Jossey-Bass, Editor. 1987: San Francisco, CA.
Boehm, B.W. A Spiral Model of Software Development and Enhancement. in Second International Workshop on the Software Process and Sofware Environments. 1985.
Boehm, B.W. and R. Ross, Theory W Software Project Management: Principles and Examples. IEEE Transactions on Software Engineering, 1989. 15(7): p. 902-916.
Bolman, L. and T. Deal, Reframing Organizations. 2nd ed. 1997, San Francisco, CA: Jossey-Bass.
Stewart, G., C. Manz, and H. Sims, Team Work and Group Dynamics. 1999: John Wiley & Sons, NY.
Shockley-Zalabak, Ellis, and Cesaria, Measuring Organizational Trust. 2000, IABC Research Foundation: San Francisco, CA.
Vroom, V.H. and A.G. Jago, The New Leadership: Managing Participation in Organizations. 1988, Upper Saddle River, NJ: Englewood Cliffs, NY: Prentice Hall.
Vroom, V.H., et al., Participative Leadership, in Leadership: The Multiple-Level Approaches: Classical and New Wave, F. Dansereau and F.J. Yammarino, Editors. 1998, JAI Press: Stamford, CT. p. 145-189.
Vroom, B.H., A New Look at Managerial Decision Making. Organizational Dynamics, 1973(2): p. 70-71.
Nutt, P.C., Suprising But True: Half the Decisions in Organizations Fail. Acadamy of Management Executive, 1999. 13(4): p. 75-89.
Field, R.H. and R.J. House, A Test of the Vroom-Yetton Model Using Manager and Subordinate Reports. Journal of Applied Psychology, 1990. 75: p. 362-370.
Smith, R.L., et al. PROPEL: An Approach Supporting Property Elucidation. in 24th International Conference on Software Engineering. 2002. Orlando, FL.