MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Development of Z." – sorted by Relevance.

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

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

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

ATOM

Systems Development using Z Generics
by Fiona Polack, Susan Stepney — 1999
…Systems Development using Z Generics Fiona Polack 1 and Susan Stepney 2 1 Department…
Cited by 5 (4 self) – Add To MetaCart

ForSe FIElds' -- Force Sensors For Interactive
by Environments Lisa Mcelligott, Lisa Mcelligott, Michelle Dillon, Krispin Leydon, Bruce Richardson, Mikael Fernström, Joe Paradiso — 2002 — Eds.): UbiComp 2002, Springer-Verlag Berlin Heidelberg, LNCS 2498
…, Cambridge, MA, USA Abstract In this paper we discuss the development of ‘Z-Tiles’ in conjunction with a…
Add To MetaCart

From Z to BON/Eiffel
by Jonathan S. Ostroff, Richard F. Paige, Richard F. Paige, Jonathan S. Ostroff — 1998 — In Proc. Automated Software Engineering
… specification and development. Z is a mathematical notation, with a rich collection of idioms based on typed set…
Cited by 9 (6 self) – Add To MetaCart

Exploiting ORDBMS Technology to Implement the ZYX Data Model for Multimedia Documents and Presentations
by Susanne Boll, Wolfgang Klas, Utz Westermann — 1999
… that gives this comprehensive support. In the project context, we have been developing the Z Y X data model…
Cited by 5 (5 self) – Add To MetaCart

Cluster Expansions And Pirogov Sinai Theory For Long Range Spin Systems
by Anton Bovier, Milos Zahradnik — 2001 — Markov Proc. Rel. Fields 8
… of the Pirogov{Sinai theory to such models developed in [Z3] allows then the investigation of the low…
Cited by 3 (0 self) – Add To MetaCart

Recent books on Formal Methods
by Cliff Jones, Ros A. W. Roscoe, Sbc S. Stepney, R. Barden, D. Cooper — 1996
…-Verlag, 1993. [Wor92] J. B. Wordsworth. Software Development with Z. Addison-Wesley, 1992. [WSL93] M. Weber, M…
Add To MetaCart

Reasoning about the Composition of Heterogeneous Architectures
by Ahmed Abd-Allah, Barry Boehm — 1995
…. Software Development with Z, Addison-Wesley Publishing Company, 1994 Reasoning about the Composition…
Cited by 4 (0 self) – Add To MetaCart

Control. Honeywell Technology Center, Minneapolis, MN. [GACE95] C. Gacek, A. Abd-Allah, B. Clark, B. Boehm. "On the Definition of Software Architecture",
by Icse Software Architecture
…. Software Development with Z, Addison-Wesley Publishing Company, 1994 20 Reasoning about the Composition…
Add To MetaCart

Undecidability Results on Two-Variable Logics
by Erich Grädel, Martin Otto, Eric Rosen — 1998 — in Proceedings of 14th Symposium on Theoretical Aspects of Computer Science STACS`97, Lecture Notes in Computer Science Nr. 1200
… was partially supported by the German-Israeli Foundation for Scientific Research and Development. z Lehrgebiet…
Cited by 24 (4 self) – Add To MetaCart

On State Aggregation for Scalable QoS Routing
by Liang Guo, Ibrahim Matta — 1998 — In Proceedings of the ATM Workshop'98
…, respectively. We obtain transient performance measures for multi-service networks using our recently developed…
Cited by 9 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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