Search for publications:
Home
Publications
About
Login
Activate Account
Publications
Search
Publications :: Search
Basic Search
Advanced Search
Author Info
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.