Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Michael
    Last name: Evangelist
    DBLP: 92/6965
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 17 of 17  
    Select a publication
    Show Title Venue Rating Date
    H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas.
    Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?
    Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada 2001 (0) 2001
    Leon J. Osterweil, Barry W. Boehm, Michael Evangelist, Volker Gruhn, Jeff Kramer, Edward F. Miller.
    Why don't we get more (self?) respect: the positive impact of software engineering research upon practice.
    ICSE 2000 (0) 2000
    Leon J. Osterweil, Lori A. Clarke, Michael Evangelist, Jeff Kramer, H. Dieter Rombach, Alexander L. Wolf.
    The impact project: determining the impact of software engineering research upon practice (panel session).
    SIGSOFT FSE 2000 (0) 2000
    Yi Deng, Shengkai Lu, Michael Evangelist.
    A Formal Approach for Architectural Modeling and Prototyping of Distributed Real-Time Systems.
    HICSS (1) 1997 (0) 1997
    Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist.
    A Formalism for Architectural Modeling of Distributed Real-Time Systems.
    SEKE 1996 (0) 1996
    Bruce I. Blum, Victor R. Basili, S. K. Chang, Michael Evangelist, C. V. Ramamoorthy, Raymond T. Yeh.
    Software Engineering in the Year 2000.
    SEKE'93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA 1993 (0) 1993
    Michael Evangelist.
    Intermediate Executable Architectural Specifications for KBSA, Part I.
    SEKE'93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA 1993 (0) 1993
    Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda.
    Convergence of Iteration Systems.
    Distributed Computing 1993, Volume 7 (0) 1993
    Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda.
    Convergence of Iteration Systems (Extended Abstract).
    CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings 1990 (0) 1990
    E. Allen Emerson, Michael Evangelist, Jai Srinivasan.
    On the Limits of Efficient Temporal Decidability (Extended Abstract)
    Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA 1990 (0) 1990
    Mohamed G. Gouda, Michael Evangelist.
    Convergence/response tradeoffs in concurrent systems.
    SPDP 1990 (0) 1990
    Michael Evangelist, Nissim Francez, Shmuel Katz.
    Multiparty Interactions for Interprocess Communication and Synchronization.
    IEEE Trans. Software Eng. 1989, Volume 15 (0) 1989
    Michael Evangelist, V. Y. Shen, Ira R. Forman, M. Graf.
    Using Raddle To Design Distributed Systems.
    ICSE 1988 (0) 1988
    Michael Evangelist.
    The raddle project at MCC.
    Proceedings of the 2nd ACM SIGOPS European Workshop, Amsterdam, Netherlands, September 8-10, 1986 1986 (0) 1986
    Michael Evangelist, J. Pellegrin.
    Foundational problems in software process research.
    ISPW 1985 (0) 1985
    Moon-Jung Chung, Michael Evangelist, Ivan Hal Sudborough.
    Complete Problems for Space Bounded Subclasses of NP.
    Acta Inf. 1985, Volume 22 (0) 1985
    Michael Evangelist.
    Program Complexity and Programming Style.
    Proceedings of the First International Conference on Data Engineering, April 24-27, 1984, Los Angeles, California, USA 1984 (0) 1984

    Your query returned 17 matches in the database.