MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Specification Formalisms and Models." – sorted by Relevance.

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

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

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

ATOM

Attributed Automata: A Formal Model for Protocol Specification
by Jaan Penjam, Jaan Penjam — 1994
… of Cybernetics Attributed Automata: A Formal Model for Protocol Specification Jaan Penjam December 1994 TRITA…
Cited by 1 (0 self) – Add To MetaCart

Compatibility Verification for Web Service Choreography
by Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer — 2004 — In Proc. ICWS
… suite of cooperating tools for specification, formal modeling and providing verification results from…
Cited by 19 (0 self) – Add To MetaCart

The Role of Polymorphic Reuse Mechanisms in Schema Evolution in an Object-Oriented Database
by Ling Liu, Roberto Zicari, J. W. Goethe-universitat, Fachbereich Informatik, Walter Hursch, Karl Lieberherr — 1997
…. Propagation patterns are employed as an interesting specification formalism for modeling operational…
Cited by 6 (1 self) – Add To MetaCart

Polymorphic Reuse Mechanisms for Object-Oriented Database Specifications
by Ling Liu, Roberto Zicari, J. W. Goethe-universitat, Fachbereich Informatik, Robert Mayerstrae, Walter Hürsch, Karl Lieberherr — 1994 — In International Conference on Data Engineering
… refinement. Propagation patterns can be seen as an interesting specification formalism for modeling…
Cited by 4 (4 self) – Add To MetaCart

Model-based verification of web service compositions
by Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer — 2003
… by the composition. The approach is supported by a suite of cooperating tools for specification, formal modeling…
Cited by 95 (12 self) – Add To MetaCart

A calculus for modular and extensible language definition in LDL
by Ralf Lämmel, Günter Riedewald — 1996
… formalisms and the model of language definition of LDL 3 . Namely, LDL language definitions consist…
Add To MetaCart

LTSA-WS: a tool for modelbased verification of web service compositions and choreography
by Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer — 2006 — In Proceeding of the 28th international conference on Software Engineering (ICSE) – Research Demonstration
… supports verification of properties created from design specifications and implementation models to confirm…
Cited by 3 (0 self) – Add To MetaCart

Tool Support for Model-Based Engineering of Web Service Compositions," presented at
by Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer — 2005 — 3rd IEEE International Conference on Web Services (ICWS2005
… providing cooperating tools for specification, formal modeling and trace animation of the composition…
Cited by 10 (5 self) – Add To MetaCart

Model-based analysis of obligations in web service choreography
by Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer — 2006 — In Proc. of IEEE International Conference on Internet&Web Applications and Services
… of cooperating tools for specification, formal modeling, animation and providing verification results from…
Cited by 13 (0 self) – Add To MetaCart

Model-based Simulation of Web Applications for Usability Assessment
by Robert Chatley, Jeff Kramer, Jeff Magee, Sebastian Uchitel — 2003 — in ICSE Workshop on Bridging the Gaps between Software Engineering and Human-Computer Interaction
…. The approach is supported by a suite of cooperating tools for specification, formal modelling and animation…
Cited by 5 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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