MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Thomas Gehrke" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 8 documents found, showing 1 through 8.
ATOM RSS
  • ProFun - a Language for Executable Specifications  
  • by Thomas Gehrke, Michaela Huhn — 1996 — Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics and Programs (PLILP '96), volume 1140 of Lecture Notes in Computer Science
  • …. We present a new programming language ProFun which is aimed for the specification and prototype implementation of reactive systems. ProFun combines the paradigms of concurrent and functional programming. A formal operational semantics is developed as a basis for verification techniques. We hav…
  • Cited by 2 (1 self) – Add To MetaCart
  • A Mobile Calculus with Data  
  • by Thomas Gehrke Arend, Abteilung Programmierung, Abteilung Programmierung, Thomas Gehrke, Thomas Gehrke, Thomas Gehrke, Arend Rensink, Arend Rensink, Arend Rensink — 1999
  • …Process algebras are a widely used formalism for the specication of the structure and the behaviour of reactive systems. Some process algebras, e.g. the pi- calculus and the fusion calculus, allow for mobility, i.e. it is possible to change the system structure dynamically by sending channel names …
  • Add To MetaCart
  • An Algebraic Semantics for Message Sequence Chart Documents  
  • by Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim — 1998 — Proceedings of FORTE/PSTV '98
  • …Message Sequence Charts (MSCs) are a graphical and textual language for the speci cation of message passing systems, in particular telecommunication systems. MSCs are standardised by the Internal Telecommunication Union in standard Z.120. Included in the standard is a formal semantics for MSCs by me…
  • Cited by 15 (5 self) – Add To MetaCart
  • The Dynamic Models of UML: Towards a Semantics and its Application in the Development Process  
  • by Dieser Bericht Ist, Thomas Gehrke, Thomas Gehrke, Ursula Goltz, Heike Wehrheim, Heike Wehrheim — 1998
  • …Recently, UML has been suggested as a standard notation for the analysis and design of object-oriented systems. UML integrates the specification of static aspects of systems with that of dynamic aspects. However, UML lacks both a methodology settling the use of its various diagrams and a formal sema…
  • Add To MetaCart
  • The Dynamic Models of UML: Towards a Sematics and its . . .  
  • by Dieser Bericht Ist, Thomas Gehrke, Thomas Gehrke, Ursula Goltz, Heike Wehrheim, Heike Wehrheim — 1998
  • …Recently, UML has been suggested as a standard notation for the analysis and design of object-oriented systems. UML integrates the specication of static aspects of systems with that of dynamic aspects. However, UML lacks both a methodology settling the use of its various diagrams and a formal sem…
  • Add To MetaCart
  • Generative Sequence Diagrams with Textual Annotations  
  • by Thomas Gehrke, Thomas Firley, Technische Universitat Braunschweig — 1999 — In Formale Beschreibungstechniken fur verteilte Systeme (FBT99
  • …Interaction diagrams like Message Sequence Charts and the Sequence Diagrams of UML can be used to describe a set of possible interaction sequences which are all correct system behaviour. These so-called generative diagrams make use of complex graphical elements in order to specify iteration or ch…
  • Cited by 2 (0 self) – Add To MetaCart
  • Generative Sequence Diagrams with Textual Annotations  
  • by Thomas Gehrke Thomas, Thomas Firley, Technische Universitat Braunschweig — 1999 — In Formale Beschreibungstechniken fur verteilte Systeme (FBT99
  • …Interaction diagrams like Message Sequence Charts and the Sequence Diagrams of UML can be used to describe a set of possible interaction sequences which are all correct system behaviour. These so-called generative diagrams make use of complex graphical elements in order to specify iteration or ch…
  • Add To MetaCart
Help! Showing 1 through 8.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB