MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Daniel Yankelevich – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

Enhancing Architectural Mismatch Detection with Assumptions
by Sebastian Uchitel, Daniel Yankelevich — 2000 — In Proc. of the Int. Conf. and Work. on the Engineering of Computer Based Systems
…Enhancing Architectural Mismatch Detection with Assumptions Sebastián Uchitel, Daniel Yankelevich…
Cited by 7 (0 self) – Add To MetaCart

A Dual Formalism for Software Architecture Description
by Sebastián Uchitel, Daniel Yankelevich, A Dual Formalism For, Uchitel Daniel Yankelevich — 1998
… Dual Formalism for Software Architecture Description Authors: Sebasti'an Uchitel - Daniel Yankelevich E…
Add To MetaCart

Towards a Periodic Table of Connectors
by Dan Hirsch, Sebastián Uchitel, Daniel Yankelevich — 1999 — In Proc. of Simposio en Tecnolog a de Software, Buenos Aires
…Towards a Periodic Table of Connectors Dan Hirsch, Sebastian Uchitel, and Daniel Yankelevich…
Cited by 6 (0 self) – Add To MetaCart

CML as a development tool. A case study
by Mónica Bobrowski, Sebastián Uchitel, Daniel Yankelevich, Balachander Krishnamurthy — 1996 — En 1st Workshop on Functional Programming, Buenos Aires, Argentina, Septiembre
…CML as a development tool. A case study M'onica Bobrowski, Sebasti'an Uchitel, Daniel Yankelevich…
Cited by 1 (1 self) – Add To MetaCart

Modal Logic as a Design Notation
by Carlos Areces, Miguel Felder, Dan Hirsch, Miguel Hirsch, Daniel Yankelevich — 1998
…Modal Logic as a Design Notation Areces, Carlos Felder, Miguel Hirsch, Dan Yankelevich, Daniel…
Add To MetaCart

Static checking of system behaviors using derived component assumptions
by Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich — 2000 — ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
… dell’ Aquila ALEXANDER L. WOLF University of Colorado at Boulder and DANIEL YANKELEVICH Universidad de…
Cited by 34 (3 self) – Add To MetaCart

SEA Group Software Engineering and Architecture Group Compositionality, Coordination and Software Architecture d i
by Paola Inverardi, Alexander Wolf, Daniel Yankelevich, Simone Scriboni, Massimo Tivoli, Sea Group
… to the general issue over the years … ? Alexander Wolf ? Daniel Yankelevich ? Sebastian Uchitel ? Simone Scriboni…
Add To MetaCart

Optimality in Abstractions of Model Checking
by Rance Cleaveland Purush, Rance Cleaveland, Daniel Yankelevich — 1995 — In SAS'95: Proc. 2d. Static Analysis Symposium, Lecture Notes in Computer Science 983
…Optimality in Abstractions of Model Checking Rance Cleaveland 1? , Purush Iyer 1?? and Daniel…
Add To MetaCart

Towards a Periodic Table of Connectors
by Dan Hirsch Sebasti'an, Dan Hirsch, Sebastian Uchitel, Daniel Yankelevich — 1999 — In Proc. of Simposio en Tecnolog a de Software, Buenos Aires
…Towards a Periodic Table of Connectors Dan Hirsch, Sebastian Uchitel, and Daniel Yankelevich…
Add To MetaCart

Behavioral Type Checking of Architectural Components Based on Assumptions
by Alexander L. Wolf, Paola Inverardi, Paola Inverardi, Er L. Wolf, Daniel Yankelevich, Daniel Yankelevich — 1998
… Alexander L. Wolf Daniel Yankelevich Dipartimento di Matematica Department of Computer Science Departmento…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB